每日一题[569]裂项求和

已知数列$\{a_n\}$满足$a_0=\dfrac 12$，$a_n=a_{n-1}+\dfrac 1{n^2}a_{n-1}^2$($n\in\mathcal N^*$)，求证：$\dfrac{n+1}{n+2}<a_n<n$($n\in\mathcal N^*$)．

---

证明　先用数学归纳法证明$0<a_n<n$($n\in\mathcal N^*$)．

当$n=1$时，有$a_1=\dfrac 34$符合题意．

假设当$n=k$时命题成立，即$0<a_k<k$($k\in\mathcal N^*$)，则当$n=k+1$时，有

$$a_{k+1}=a_k+\dfrac{a_{k}^2}{(k+1)^2}<k+\dfrac{k^2}{(k+1)^2}<k+1,$$ 因此当$n=k+1$时命题依然成立．

综上所述，$0<a_n<n$($n\in\mathcal N^*$)．

接下来，考虑到

$$\dfrac{1}{a_n}=\dfrac{n^2}{a_{n-1}(n^2+a_{n-1})}=\dfrac{1}{a_{n-1}}-\dfrac{1}{n^2+a_{n-1}},$$ 因此 $$\begin{split} \dfrac{1}{a_0}-\dfrac{1}{a_n}&=\dfrac 1{1^2+a_0}+\dfrac 1{2^2+a_1}+\cdots +\dfrac{1}{n^2+a_{n-1}} \\ &>\dfrac{1}{1^2+1}+\dfrac{1}{2^2+2}+\cdots +\dfrac{1}{n^2+n}\\ &=\left(1-\dfrac 12\right)+\left(\dfrac 12-\dfrac 13\right)+\cdots +\left(\dfrac{1}{n}-\dfrac{1}{n+1}\right) \\ & =1-\dfrac{1}{n+1},\end{split}$$ 即 $$2-\dfrac{1}{a_n}>1-\dfrac{1}{n+1},$$ 整理即得 $$a_n>\dfrac{n+1}{n+2},n\in\mathcal N^*.$$

这样我们就证明了$\dfrac{n+1}{n+2}<a_n<n$($n\in\mathcal N^*$)．

注　其中用到了重要的“裂项”变形：$\dfrac{\lambda }{n(n+\lambda)}=\dfrac{1}{n}-\dfrac{1}{n+\lambda}$．左边不等式也可以通过数学归纳法证明．