Question

函數(shù)f（x）=x-ln（x+1），數(shù)列{a_n}，滿足0＜a₁＜1，a_n+1=f（a_n），數(shù)列{b_n}滿足b1=

1

2

，bn+1=

1

2

(n+1)bn，n∈N+，
（1）求函數(shù)f（x）的單調(diào)區(qū)間；
（2）求證：0＜a_n+1＜a_n＜1；
（3）若a1=

2

2

且a_n+1＜

an2

2

，則當(dāng)n≥2時(shí)，求證：b_n＞a_n•n!

Answer 1

分析：（1）由已知可得f′（x）=

x

x+1

，利用導(dǎo)數(shù)可求得函數(shù)f（x）的遞減區(qū)間（-1，0），遞增區(qū)間（0，+∞）；
（2）先用數(shù)學(xué)歸納法證明0＜a_n＜1，n∈N^*．再由a_n+1-a_n=-ln（1+a_n）＜0，可得0＜a_n+1＜a_n＜1；
（3）由b1=

1

2

，bn+1=

1

2

(n+1)bn，可得

bn+1

bn

=

n+1

2

，迭乘后可得bn=

1

2n

•n!，結(jié)合（2）中結(jié)論，可得an＜

1

2n

，進(jìn)而得到：b_n＞a_n•n!．

解答：解：（1）∵f（x）=x-ln（x+1），x∈（-1，+∞）
∴f′（x）=1-

1

x+1

=

x

x+1

∵當(dāng)x∈（-1，0）時(shí)，f′（x）＜0
當(dāng)x∈（0，+∞）時(shí)，f′（x）＞0
∴函數(shù)f（x）的遞減區(qū)間（-1，0），遞增區(qū)間（0，+∞）
證明：（2）先用數(shù)學(xué)歸納法證明0＜a_n＜1，n∈N^*．
①當(dāng)n=1時(shí)，由已知得結(jié)論成立．
②假設(shè)n=k時(shí)，0＜a_k＜1成立．
則當(dāng)n=k+1時(shí)由（1）可得函數(shù)f（x）=x-ln（1+x）在x∈（0，1）上是增函數(shù)，
所以f（0）＜f（a_k）＜f（1）=1-ln2＜1，
所以0＜a_k+1＜1，即n=k+1時(shí)命題成立，
由①②可得0＜a_n＜1，n∈N^*成立．
又a_n+1-a_n=-ln（1+a_n）＜0，
所以a_n+1＜a_n成立．
所以0＜a_n+1＜a_n＜1
（3）因?yàn)?span id="ulhco8j" class="MathJye">b1=

1

2

，bn+1=

1

2

(n+1)bn，所以

bn+1

bn

=

n+1

2

，
所以bn=

bn

bn-1

•

bn-1

bn-2

…

b2

b1

=

1

2n

•n!…①
因?yàn)?span id="dd2lf2i" class="MathJye">an+1＜

a 2 n

2

則

an+1

an

＜

an

2

，所以

an

a1

=

a2

a1

•

a3

a2

…

an

an-1

＜

a1

2

•

a2

2

…

an-1

2

因?yàn)?span id="obz8a3d" class="MathJye">a1=

2

2

，當(dāng)n≥2時(shí)，0＜a_n+1＜a_n＜1，
所以an＜

a1

2

•

a2

2

…

an-1

2

•a1＜

a n 1

2n-1

≤

2 a 2 1

2n

=

1

2n

…②
由①②兩式可知b_n＞a_n•n!

點(diǎn)評：本題考查的知識(shí)點(diǎn)是數(shù)列與不等式的綜合，數(shù)列的函數(shù)特性，數(shù)列的遞推公式，運(yùn)算強(qiáng)度大，綜合性強(qiáng)，屬于難題．