Question

（2012•芜湖二模）已知函数f(x)=

1

2

(x+

1

x

)，x≥0，a_n+1=f（a_n），对于任意的n∈N^*，都有a_n+1＜a_n．
（Ⅰ）求a₁的取值范围；
（Ⅱ）若a₁=

3

2

，证明a_n＜1+

1

2n+1

（n∈N₊，n≥2）．
（Ⅲ）在（Ⅱ）的条件下证明

a1

a2

+

a2

a3

+…+

an

an+1

-n＜

2

+1．

Answer 1

分析：（Ⅰ）根据函数f（x）的表达式，结合a_n+1=f（a_n），解不等式a_n+1-a_n＜0，再结合a_n是正数，可得对任意n∈N₊，
都有a₁＞1．
（II）先用导数进行研究，可得函数f（x）在区间（1，+∞）上是增函数．再利用数学归纳的方法，可以证明
出a_n＜1+

1

2n+1

（n∈N₊，n≥2）．
（III）由a_n+1=f（a_n）=

1

2

(an+

1

an

)，解出an=an+1+

an+12-1

，再变形得到

an

an+1

-1=

1- 1 an+12

，
结合0＜a_n+1＜a_n得到

an

an+1

-1＜

1- 1 an2

，最后利用g（x）=

1- 1 x2

在（1，+∞）是增函数，通过放缩得到

an

an+1

-1＜

1 2n

，再以此为依据，进行累加可得原不等式成立．

解答：解：（Ⅰ）∵f(an)=

1

2

(an+

1

an

)， an＞0
∴an+1-an=

1

2

(an+

1

an

)-an=

1

2

(

1

an

-an)＜0
∴

1

2

 •

1-an2

an

＜0
∵a_n是正数，
∴a_n＞1对任意n∈N₊恒成立，因此a₁＞1．
（II）∵f/(x) =

1

2

(x+

1

x

)/=

x2-1

2x2

∴当x＞1时，f′（x）＞0，函数f（x）在区间（1，+∞）上是增函数
下面用数学归纳法，证明a_n＜1+

1

2n+1

（n∈N₊，n≥2）．
①当n=2时，由a₁=

3

2

，得a2=

1

2

(a1+

1

a1

)=

13

12

＜1+

1

23

=

9

8

②设当n=k时，a_k＜1+

1

2k+1

成立
则当n=k+1时，a_k+1=f（a_n）＜f（1+

1

2k+1

）=

1

2

（1+

1

2k+1

+

1

1+  1 2k+1

）
=

1

2

（1+

1

2k+1

+1-

1

1+2k+1

）＜

1

2

（2+

1

2 k+1

）=1+

1

2 (k+1)+1

，不等式也成立
综合①②可得，对任意的n∈N₊，n≥2），均有a_n＜1+

1

2n+1

成立．
（III）an+1=

1

2

(an+

1

an

)⇒an=an+1+

an+12-1

⇒

an

an+1

=1+

1- 1 an+12

⇒

an

an+1

-1=

1- 1 an+12

＜

1- 1 an2

设g（x）=

1- 1 x2

，则g（x）在（1，+∞）是增函数
∴

an

an+1

-1＜ 

1- 1 an 2

＜

1- 1 (1+ 1 2n+1 )2

= 

2×2n+1+1 (2n+1+1)2

＜

2 2n+1+1

＜

1 2n

又∵

a1

a2

-1=

5

13

＜

1 2

∴

a1

a2

+

a2

a3

+…+

an

an+1

-n＜

1 2

+

1 22

+

1 23

+…+

1 2n

=

2 2 [1-( 2 2 )n]

1- 2 2

=(

2

+1) [1-(

2

2

)n] ＜

2

+1                                           
即对任意的n∈N₊，n≥2，均有

a1

a2

+

a2

a3

+…+

an

an+1

-n＜

2

+1成立．

点评：本题综合考查了函数的单调性、函数与方程、数列的递推关系、等比数列的求和公式和运用放缩法证明不等式等知识点，属于难题．