Question

設(shè)函數(shù)f(x)＝x－xlnx，數(shù)列{a_n}滿足0＜a₁＜1，a_n＋1＝f(a_n)．求證：

(1) 函數(shù)f(x)在區(qū)間(0，1)是增函數(shù)；

(2) a_n＜a_n＋1＜1.

Answer 1

證明：(1) f(x)＝x－xlnx，f′(x)＝－lnx，當(dāng)x∈(0，1)時(shí)，f′(x)＝－lnx＞0，故函數(shù)f(x)在區(qū)間(0，1)上是增函數(shù)．

(2) (用數(shù)學(xué)歸納法)①當(dāng)n＝1時(shí)，0＜a₁＜1，a₁ln a₁＜0，a₂＝f(a₁)＝a₁－a₁lna₁＞a₁.

由函數(shù)f(x)在區(qū)間(0，1)是增函數(shù)，且f(1)＝1，得f(x)在區(qū)間(0，1)是增函數(shù)，a₂＝f(a₁)＝a₁－a₁lna₁＜f(1)＝1，即a₁＜a₂＜1成立．

②假設(shè)當(dāng)n＝k(k∈N^*)時(shí)，a_k＜a_k＋1＜1成立，

即0＜a₁≤a_k≤a_k＋1＜1，

那么當(dāng)n＝k＋1時(shí)，由f(x)在區(qū)間(0，1]上是增函數(shù)，得0＜a₁≤a_k≤a_k＋1＜1，

得f(a_k)＜f(a_k＋1)＜f(1)，而a_n＋1＝f(a_n)，則a_k＋1＝f(a_k)，a_k＋2＝f(a_k＋1)，即a_k＋1＜a_k＋2＜1，也就是說(shuō)當(dāng)n＝k＋1時(shí)，a_n＜a_n＋1＜1也成立．

由①②可得對(duì)任意的正整數(shù)n，a_n＜a_n＋1＜1恒成立．