Question

数列{a_n}满足：a₁=1，a_n+1=

an+2

an+1

（I）求证：1＜a_n＜2（n∈N^*，n≥2），
（Ⅱ）令b_n=|a_n-

2

|
（1）求证：{b_n}是递减数列；
（2）设{b_n}的前n项和为S_n，求证：S_n＜

2(2 2 -1)

7

．

Answer 1

（Ⅰ）a₁=1，a2=

1+2

1+1

=

3

2

，
（1）n=2时，1＜a₂=

3

2

＜2，∴n=2时不等式成立；
（2）假设n=k（k∈N^*，k≥2）时不等式成立，即1＜a_k＜2，
ak+1=1+

1

ak+1

，
∴

4

3

＜ak+1＜

3

2

，
∴n=k+1时不等式成立，
由（1）（2）可知对n∈N^*，n≥2都有1＜a_n＜2；
（Ⅱ）（1）

bn+1

bn

=

|an+1- 2 |

|an- 2 |

=

| an+2 an+1 - 2 |

|an- 2 |

=

1

|an+1|

•

|an+2- 2 an- 2 |

|an- 2 |

=

1

|an+1|

•

|an(1- 2 )+ 2 ( 2 -1)|

|an- 2 |

=

| 2 -1|

|an+1|

，
又

| 2 -1|

|an+1|

＜

2 -1

2

＜1，
∴{b_n}是递减数列；
（2）由（1）知：

bn+1

bn

＜

2 -1

2

，∴bn+1＜

2 -1

2

bn，
则bn＜

2 -1

2

bn-1＜(

2 -1

2

)2bn-2＜…＜(

2 -1

2

)n-1b1=（

2

-1）(

2 -1

2

)n-1，
所以S_n=b₁+b₂+b₃+…+b_n＜（

2

-1）[1+

2 -1

2

+(

2 -1

2

)2+…+(

2 -1

2

)n-1]
=(

2

-1)

1-( 2 -1 2 )n

1- 2 -1 2

=

2( 2 -1)(3+ 2 )

7

[1-(

2 -1

2

)n]＜

2(2 2 -1)

7

．