Question

已知數(shù)列{a_n}，a_n≥0，a₁=0，a_n+1²+a_n+1-1=a_n²（n∈N^•）．記S_n=a₁+a₂+…+a_n．Tn=

1

1+a1

+

1

(1+a1)(1+a2)

+…+

1

(1+a1)(1+a2)…(1+an)

．
求證：當(dāng)n∈N^•時，
（Ⅰ）a_n＜a_n+1；
（Ⅱ）S_n＞n-2．

Answer 1

分析：（1）對于n∈N^•時的命題，考慮利用數(shù)學(xué)歸納法證明；
（2）由a_k+1²+a_k+1-1=a_k²，對k取1，2，…，n-1時的式子相加得S_n，最后對S_n進(jìn)行放縮即可證得．

解答：（Ⅰ）證明：用數(shù)學(xué)歸納法證明．
①當(dāng)n=1時，因?yàn)閍₂是方程x²+x-1=0的正根，所以a₁＜a₂．
②假設(shè)當(dāng)n=k（k∈N^*）時，a_k＜a_k+1，
因?yàn)閍_k+1²-a_k²=（a_k+2²+a_k+2-1）-（a_k+1²+a_k+1-1）=（a_k+2-a_k+1）（a_k+2+a_k+1+1），
所以a_k+1＜a_k+2．
即當(dāng)n=k+1時，a_n＜a_n+1也成立．
根據(jù)①和②，可知a_n＜a_n+1對任何n∈N^*都成立．

（Ⅱ）證明：由a_k+1²+a_k+1-1=a_k²，k=1，2，…，n-1（n≥2），
得a_n²+（a₂+a₃+…+a_n）-（n-1）=a₁²．
因?yàn)閍₁=0，所以S_n=n-1-a_n²．
由a_n＜a_n+1及a_n+1=1+a_n²-2a_n+1²＜1得a_n＜1，
所以S_n＞n-2．

點(diǎn)評：本題主要考查數(shù)列的遞推關(guān)系，數(shù)學(xué)歸納法、不等式證明等基礎(chǔ)知識和基本技能，同時考查邏輯推理能力．