Question

10．已知數列{a_n}滿足a₁=1，a_n+1=$\frac{{a}_{n}}{1+{{a}_{n}}^{2}}$（n∈N^*）．
（1）證明：當n≥1，n∈N^*時，$\frac{2}{n+2}$≤a_n≤1；
（2）設S_n為數列{a_n}的前n項和，證明：S_n≤$\sqrt{2n-1}$（n∈N^*）．

Answer 1

分析 （1）由題意可得a_n+1＜a_n，即有0＜a_n≤1，可得$\frac{1}{{a}_{n+1}}$=a_n+$\frac{1}{{a}_{n}}$≥2，運用數學歸納法證明；
（2）運用數學歸納法證明，注意$\frac{2}{k+3}$≤a_k+1≤$\frac{2}{k+2}$，（k≥1），化簡整理，即可得證．

解答 證明：（1）a_n+1=$\frac{{a}_{n}}{1+{{a}_{n}}^{2}}$，可得$\frac{{a}_{n+1}}{{a}_{n}}$=$\frac{1}{{{a}_{n}}^{2}+1}$∈（0，1），
即有a_n+1＜a_n，即有0＜a_n≤1，
可得$\frac{1}{{a}_{n+1}}$=a_n+$\frac{1}{{a}_{n}}$≥2，即有a_n+1≤$\frac{1}{2}$＜1；
又n=1時，$\frac{2}{3}$≤a₁≤1，成立；
假設n=k時，1≥a_k≥$\frac{2}{2+k}$，
當n=k+1時，$\frac{1}{{a}_{k+1}}$=a_k+$\frac{1}{{a}_{k}}$≤$\frac{2}{2+k}$+$\frac{2+k}{2}$，
由$\frac{2}{2+k}$+$\frac{2+k}{2}$-$\frac{k+3}{2}$=$\frac{2}{2+k}$-$\frac{1}{2}$=$\frac{2-k}{2（2+k）}$≤0，
即有$\frac{1}{{a}_{k+1}}$≤$\frac{k+3}{2}$，即為$\frac{2}{k+3}$≤a_k+1≤1；
綜上可得，當n≥1，n∈N^*時，$\frac{2}{n+2}$≤a_n≤1；
（2）當n=1時，S₁=a₁=1，$\sqrt{2-1}$=1，即有不等式成立；
n=k時，S_k≤$\sqrt{2k-1}$，
當n=k+1時，S_k+1=S_k+a_k+1≤$\sqrt{2k-1}$+a_k+1，
由$\frac{2}{k+3}$≤a_k+1≤$\frac{2}{k+2}$，（k≥1），
可得$\sqrt{2k-1}$+a_k+1≤$\sqrt{2k-1}$+$\frac{2}{k+2}$，
$\sqrt{2k+1}$-$\sqrt{2k-1}$=$\frac{2}{\sqrt{2k+1}+\sqrt{2k-1}}$＞$\frac{2}{2+k}$
?$\sqrt{2k-1}$+$\sqrt{2k+1}$＜2+k?4$\sqrt{2k-1}$+4$\sqrt{2k+1}$＜（1+2k）+（2k-1）+8
?（$\sqrt{2k-1}$-2）²+（$\sqrt{2k+1}$-2）²＞0，
即有$\sqrt{2k-1}$+$\frac{2}{k+2}$＜$\sqrt{2k+1}$，
故當n=k+1時，不等式成立，
綜上可得，S_n≤$\sqrt{2n-1}$（n∈N^*）．

點評 本題考查不等式的證明，注意運用數學歸納法和放縮法，考查推理能力，屬于中檔題．