Question

設數列{a_n}滿足：a₁=1，a₂=2，a_n+2=

an(an+1 2+1)

a 2 n +1

（n≥1，n∈N^*）．
（1）求證：數列{

an+1

an+ 1 an

}是常數列；
（2）求證：當n≥2時，2＜a_n²-a_n-1²≤3；
（3）求a₂₀₁₁的整數部分．

Answer 1

分析：（1）對 an+2=

an( a 2 n+1 +1)

a 2 n +1

(n≥1，n∈N^*）變形化簡得

an+2

an+1+ 1 an+1

=

an+1

an+ 1 an

．將其迭代，利用a₁=1，a₂=2可以得到a_n+1與a_n之間的遞推關系式；
（2）由于數列遞增，所以對一切n≥1，有a_n≥1成立，從而 0＜

1

an2

≤1．又當n≥2時，

a

2 n

=(an-1+

1

an-1

)2=

a

2 n-1

+

1

a 2 n-1

+2，所以有

a

2 n

-

a

2 n-1

=

1

a 2 n-1

+2，從而問題得證．
（3）當n≥2時，

a

2 n

=

a

2 n-1

+

1

a 2 n-1

+2，

a

2 n

=

1

a 2 n-1

+…+

1

a 2 1

+2(n-1)．

a

2 2011

=

1

a 2 2010

+…+

1

a 2 1

+2(2011-1)＞4020＞3969=632
又當n≥3時，有a_n²＞2n，從而

a

2 2011

=

1

a 2 2010

+…+

1

a 2 1

+2(2011-1)=4020+

1

a 1 2

+…+

1

a 2010 2

＜4096，從而可解．

解答：解：（1）易知，對一切n≥1，a_n≠0，由a_n+2=

an(an+1+1)

a 2 n +1

，得

an+2

an+1+ 1 an+1

=

an+1

an+ 1 an

．
依次利用上述關系式，可得

an+1

an+ 1 an

=

an

an-1+ 1 an-1

=

an-1

an-2+ 1 an-2

=…=

a1

a1+ 1 a1

=

2

1+ 1 1

=1，
從而數列

an(an+1+1)

a 2 n +1

是常數列．（4分）
（2）由（1）得a_n+1=a_n+

1

an

．
又a₁=1，∴可知數列{a_n}遞增，則對一切n≥1，有a_n≥1成立，從而0＜a_n²≤1．（6分）
當n≥2時，a_n²=a_n-1²+

1

a 2 n-1

+2，
于是a_n²-a_n-1²=

1

a 2 n-1

+2，
∴2＜a_n²-a_n-1²≤3．（8分）
（3）當n≥2時，a_n²=a_n-1²+

1

a   2 n-1

+2，
∴a=1，a₂²=4，則當n≥3時，
a_n²＞2n．
a₂₀₁₁²＞4 022＞3 969=63²，（10分）
a₂₀₁₁²=

1

a 2 2010

+…+

1

a 2 1

+2（2011-1）+1
=4 022+

1

2

＜4 022+

1

2

×33
=4 022+

1

2

×33
＜4 022+

1

2

（19+4+10）＜4 039＜4 096=64²．（14分）
∴63＜a₂₀₁₁＜64，即a₂₀₁₁的整數部分為63．（16分）

點評：本題主要考查數列與不等式的綜合，技巧性強，難度大．