Question

设数列{a_n}满足a_n+1=

1

an2+2

（n∈N^*），0＜a₁＜

1

2

（Ⅰ）求证：|a_n+2-a_n+1|＜

1

4

|a_n+1-a_n|（n∈N^*）
（Ⅱ）求证：|a_n+1-a_n|＜（

1

4

）^n-1（n∈N^*）
（Ⅲ）对任意n，m，k∈N^*且n＞m＞k，求证：|a_m-a_n|＜

4

3

•（

1

4

）^k．

Answer 1

考点：数列递推式

专题：证明题,点列、递归数列与数学归纳法

分析：（Ⅰ）结合已知a_n+1=

1

an2+2

，把不等式的左边变形，化为含有a_n+1和a_n的代数式，然后利用绝对值的不等式放大，最后利用作差法证明不等式；
（Ⅱ）利用（Ⅰ）中的结论直接循环放大得答案；
（Ⅲ）由n，m，k∈N^*且n＞m＞k得到m-1≥k，然后把不等式左边变形，得到|a_m-a_n|=|（a_m-a_m+1）+（a_m+1-a_m+2）+…+（a_n-1-a_n）|，再利用绝对值的不等式放大，结合（Ⅱ）的结论得答案．

解答： 证明：（Ⅰ）：∵a_n+1=

1

an2+2

，
∴|a_n+2-a_n+1|=

|an+1+an|

(an+12+2)(an2+2)

|an+1-an|≤

|an+1|+|an|

(an+12+2)(an2+2)

|an+1-an|，
而

1

4

-

|an+1|+|an|

(an+12+2)(an2+2)

=

(an+12+2)(an2+2)-4|an+1|-4|an|

4(an+12+2)(an2+2)

=

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

4(an+12+2)(an2+2)

＞0，
即：|a_n+2-a_n+1|＜

1

4

|a_n+1-a_n|（n∈N^*）；
（Ⅱ）∵|a_n+2-a_n+1|＜

1

4

|a_n+1-a_n|（n∈N^*），
∴|an+1-an|＜

1

4

|an-an-1|＜(

1

4

)2|an-1-an-2|＜…＜(

1

4

)n-1|a2-a1|＜(

1

4

)n-1(|a1|+|a2|)，
又0＜a₁＜

1

2

，
∴0＜a2=

1

a12+2

＜

1

2

．
∴|a₁|+|a₂|＜1．
∴：|a_n+1-a_n|＜（

1

4

）^n-1（n∈N^*）；
（Ⅲ）对任意n，m，k∈N^*且n＞m＞k，
∴m-1≥k，
∴|a_m-a_n|=|（a_m-a_m+1）+（a_m+1-a_m+2）+…+（a_n-1-a_n）|
≤|a_m-a_m+1|+|a_m+1-a_m+2|+…+|a_n-1-a_n|
＜(

1

4

)m-1+(

1

4

)m+…+(

1

4

)n-2=

( 1 4 )m-1[1-( 1 4 )n-m]

1- 1 4

＜

4

3

(

1

4

)m-1≤

4

3

(

1

4

)k．

点评：本题考查了数列递推式，考查了利用放缩法证明不等式，解答的关键是借助于已知条件灵活变形，适当的放大，考查了学生的逻辑思维能力，是压轴题．