Question

已知函数，a_n+1=f（a_n），对于任意的n∈N^*，都有a_n+1＜a_n．
（Ⅰ）求a₁的取值范围；
（Ⅱ）若a₁=，证明a_n＜1+（n∈N₊，n≥2）．
（Ⅲ）在（Ⅱ）的条件下证明-n＜+1．

Answer

（Ⅰ）根据函数f（x）的表达式，结合an+1=f（an），解不等式an+1-an＜0，再结合an是正数，可得对任意n∈N+，
都有a1＞1．
（II）先用导数进行研究，可得函数f（x）在区间（1，+∞）上是增函数．再利用数学归纳的方法，可以证明
出an＜1+（n∈N+，n≥2）．
（III）由an+1=f（an）=，解出，再变形得到，
结合0＜an+1＜an得到，最后利用g（x）=在（1，+∞）是增函数，通过放缩得到，再以此为依据，进行累加可得原不等式成立．
【解析】
（Ⅰ）∵
∴＜0
∴
∵an是正数，
∴an＞1对任意n∈N+恒成立，因此a1＞1．
（II）∵
∴当x＞1时，f′（x）＞0，函数f（x）在区间（1，+∞）上是增函数
下面用数学归纳法，证明an＜1+（n∈N+，n≥2）．
①当n=2时，由a1=，得
②设当n=k时，ak＜1+成立
则当n=k+1时，ak+1=f（an）＜f（1+）=（1++）
=（1++1-）＜（2+）=1+，不等式也成立
综合①②可得，对任意的n∈N+，n≥2），均有an＜1+成立．
（III）⇒
⇒⇒
设g（x）=，则g（x）在（1，+∞）是增函数
∴
又∵
∴
=                                           
即对任意的n∈N+，n≥2，均有-n＜+1成立．