Question

12．已知數(shù)列{a_n}，滿足a₁=2，a_n+1=$\frac{{a}_{n}}{2}$+$\frac{1}{{a}_{n}}$，求證：1＜a_n＜$\frac{3}{2}$+$\frac{1}{n}$．

Answer 1

分析 由題意可知a_n＞0，把原遞推式化為$\frac{1}{2}$a_n²-a_n+1a_n+1=0，由△≥0得到${a}_{n}＞\sqrt{2}＞1$，然后利用數(shù)學(xué)歸納法證明a_n＜$\frac{3}{2}$+$\frac{1}{n}$．

解答 證明：∵a₁=2，a_n+1=$\frac{{a}_{n}}{2}$+$\frac{1}{{a}_{n}}$，∴a_n＞0，
由a_n+1=$\frac{{a}_{n}}{2}$+$\frac{1}{{a}_{n}}$，得$\frac{1}{2}$a_n²-a_n+1a_n+1=0，由△=a_n+1²-2≥0，得${a}_{n+1}≤-\sqrt{2}$（舍去）或${a}_{n+1}≥\sqrt{2}$，
則a_n＞1．
當(dāng)n=1時(shí)，a₁=2＜$\sqrt{2}$+1$＜\frac{3}{2}+1$；
當(dāng)n=2時(shí)，a₂=$\frac{1}{2}{a}_{1}+\frac{1}{{a}_{1}}$=$\frac{3}{2}$＜$\sqrt{2}$+$\frac{1}{2}$$＜\frac{3}{2}+\frac{1}{2}$．
假設(shè)當(dāng)n=k（k∈N^*）時(shí)，a_k＜$\sqrt{2}+\frac{1}{k}$$＜\frac{3}{2}+\frac{1}{k}$，
那么當(dāng)n=k+1時(shí)，${a}_{k+1}=\frac{1}{2}{a}_{k}+\frac{1}{{a}_{k}}$，
∵$\frac{1}{2}{a}_{k}+\frac{1}{{a}_{k}}≥\sqrt{2}$，當(dāng)且僅當(dāng)${a}_{k}=\sqrt{2}$時(shí)等號(hào)成立，$\sqrt{2}$≤a_k＜$\sqrt{2}$+$\frac{1}{k}$，
∴${a}_{k+1}≤\frac{1}{2}$（$\sqrt{2}+\frac{1}{k}$）+$\frac{1}{\sqrt{2}+\frac{1}{k}}$．
下面用作商法比較$\frac{1}{2}$（$\sqrt{2}+\frac{1}{k}$）+$\frac{1}{\sqrt{2}+\frac{1}{k}}$和$\sqrt{2}$+$\frac{1}{k+1}$的大�。�
∵$\frac{\frac{1}{2}（\sqrt{2}+\frac{1}{k}）+\frac{1}{\sqrt{2}+\frac{1}{k}}}{\sqrt{2}+\frac{1}{k+1}}$=$\frac{\frac{4{k}^{2}+2\sqrt{2}k+1}{2k（\sqrt{2}k+1）}}{\frac{\sqrt{2}k+\sqrt{2}+1}{k+1}}$=$\frac{4{k}^{3}+（4+2\sqrt{2}）{k}^{2}+（2\sqrt{2}+1）k+1}{4{k}^{3}+4（1+\sqrt{2}）{k}^{2}+2（\sqrt{2}+1）k}$＜1，
∴$\frac{1}{2}$（$\sqrt{2}+\frac{1}{k}$）+$\frac{1}{\sqrt{2}+\frac{1}{k}}$＜$\sqrt{2}$+$\frac{1}{k+1}$，
∴${a}_{k+1}＜\sqrt{2}+\frac{1}{k+1}＜\frac{3}{2}+\frac{1}{k+1}$，
即當(dāng)n=k+1時(shí)，a_n＜$\frac{3}{2}$+$\frac{1}{n}$成立．
綜上a_n＜$\frac{3}{2}$+$\frac{1}{n}$．
∴1＜a_n＜$\frac{3}{2}$+$\frac{1}{n}$．

點(diǎn)評 本題考查數(shù)列遞推式，考查了數(shù)學(xué)歸納法證明數(shù)列不等式，利用歸納法證明與自然數(shù)有關(guān)的命題時(shí)，中間可穿插分析法，作商法等數(shù)學(xué)方法，是中檔題．