已知数列
{an},
an⩾0,
a1=0,
an+12+an+1−1=an2(
n∈N∗). 记
Sn=a1+a2+⋯+an,
Tn=1+a11+(1+a1)(1+a2)1+⋯+(1+a1)(1+a2)⋯(1+an)1. 求证:当
n∈N∗ 时,
(1)
an<an+1;
(2)
Sn>n−2;
(3)
Tn<3.
\begin{solution}
\begin{enumerate}
\item 由
an⩾0,递推式中的
an+1 取非负根,故
an+1=2−1+5+4an2
先证
0⩽an<1.
a1=0<1,若
0⩽an<1,则
5+4an2<9,从而
0<an+1<1,归纳可得对一切
n 都成立.
又因为两边均非负,
an+1>an⟺5+4an2>2an+1⟺5+4an2>(2an+1)2⟺an<1
所以
an<an+1.
\item
a2 是方程
x2+x−1=0 的非负根,故
a2=25−1>21.当
n=1,
2 时,分别有
S1=0>−1 和
S2=a2>0.
当
k⩾3 时,递推式可改写为
1−ak=ak2−ak−12=(ak−ak−1)(ak+ak−1)
由于数列递增且
a2>21,有
ak+ak−1>2a2>1,所以
1−ak<ak−ak−1.于是当
n⩾3 时,
n−Sn=k=1∑n(1−ak)<1+(1−a2)+(an−a2)<3−2a2<2
故
Sn>n−2.
\item 由
a1=0 且数列递增,
ak⩾a2 对
k⩾2 成立.因此
j=1∏k(1+aj)⩾(1+a2)k−1
从而
Tn⩽k=1∑n(1+a2)k−11<k=1∑∞(1+a2)k−11=a21+a2=23+5<3
\end{enumerate}
\end{solution}