Question

12．已知每一項都是正數(shù)的數(shù)列{a_n}滿足a₁=1，a_n+1=$\frac{{a}_{n}+1}{1{2a}_{n}}$（n∈N^*）．
（1）用數(shù)學(xué)歸納法證明：a_2n+1＜a_2n-1；
（2）證明：$\frac{1}{6}$≤a_n≤1；
（3）記S_n為數(shù)列{|a_n+1-a_n|}的前n項和，證明：S_n＜6（n∈N^*）．

Answer 1

分析 （1）根據(jù)數(shù)學(xué)歸納法證明即可，
（2）由（1）可得a_2n+1＜a_2n-1，同理可得a_2n＜a_2n+2，利用放縮可猜想a_2n＜$\frac{1}{3}$＜a_2n-1，繼而可證，
（3）利用放縮可得|a_n+1-a_n|≤$\frac{6}{7}$|a_n-a_n-1|，再逐步放縮，根據(jù)等比數(shù)列的前n項和公式，再放縮即可證明．

解答 證明：（1）由題知，a₁=1＞0，a_n+1=$\frac{{a}_{n}+1}{1{2a}_{n}}$＞0（n∈N^*）．
①當(dāng)n=1時，a₁=1，a₂=$\frac{{a}_{1}+1}{12{a}_{1}}$=$\frac{1}{6}$，a₃=$\frac{{a}_{2}+1}{12{a}_{2}}$=$\frac{7}{12}$，a₃＜a₁成立；
②假設(shè)n=k時，結(jié)論成立，即a_2k+1＜a_2k-1，
因為a_2n+1=$\frac{{a}_{2n}+1}{12{a}_{2n}}$=$\frac{\frac{{a}_{2n-1}+1}{12{a}_{2n-1}}+1}{12\frac{{a}_{2n-1}+1}{{a}_{2n-1}}}$=$\frac{13{a}_{2n-1}+1}{12（{a}_{2n-1}+1）}$，
所以a_2k+3-a_2k+1=$\frac{13{a}_{2k+1}+1}{12（{a}_{2k+1}+1）}$-$\frac{13{a}_{2k-1}+1}{12（{a}_{2k-1}+1）}$=$\frac{{a}_{2k+1}-{a}_{2k-1}}{（{a}_{2k+1}+1）（{a}_{2k-1}+1）}$＜0
即n=k+1時也成立，
由①②可知對于n∈N*，都有a_2n+1＜a_2n-1成立．
（2）由（1）知，a_2n+1＜a_2n-1，
所以1=a₁＞…＞a_2n-1＞a_2n+1，
同理由數(shù)學(xué)歸納法可證a_2n＜a_2n+2，
a_2n＞a_2n-2＞…＞a₂=$\frac{1}{6}$．
猜測：a_2n＜$\frac{1}{3}$＜a_2n-1，下證這個結(jié)論．
因為a_n+1-$\frac{1}{3}$=$\frac{-（{a}_{n}-\frac{1}{3}）}{4{a}_{n}}$，
所以a_n+1-$\frac{1}{3}$與a_n-$\frac{1}{3}$異號．
注意到a₁-$\frac{1}{3}$＞0，知a_2n-1-$\frac{1}{3}$＞0，a_2n-$\frac{1}{3}$＜0，
即a_2n＜$\frac{1}{3}$＜a_2n-1．
所以有a₁＞…＞a_2n-1＞a_2n+1＞$\frac{1}{3}$＞a_2n＞a_2n-2＞…＞a₂=$\frac{1}{6}$．
從而可知$\frac{1}{6}$≤a_n≤1．
（3）|a_n+2-a_n+1|=|$\frac{{a}_{n+1}+1}{12{a}_{n+1}}$-$\frac{{a}_{n}+1}{12{a}_{n}}$|=$\frac{|{a}_{n+1}-{a}_{n}|}{12{a}_{n}{a}_{n+1}}$=$\frac{|{a}_{n+1}-{a}_{n}|}{{a}_{n}+1}$≤$\frac{|{a}_{n+1}-{a}_{n}|}{{a}_{2}+1}$=$\frac{6}{7}$|a_n+1-a_n|
所以|a_n+1-a_n|≤$\frac{6}{7}$|a_n-a_n-1|≤（$\frac{6}{7}$）²|a_n-1-a_n-2|≤…≤（$\frac{6}{7}$）^n-1|a₂-a₁|=$\frac{5}{6}$×（$\frac{6}{7}$）^n-1，
所以S_n=|a₂-a₁|+|a₃-a₂|+…+|a_n+1-a_n|≤$\frac{5}{6}$[1+$\frac{6}{7}$+（$\frac{6}{7}$）²+…+（$\frac{6}{7}$）^n-1]=$\frac{5}{6}$×$\frac{1-（\frac{6}{7}）^{N}}{1-\frac{6}{7}}$＜$\frac{35}{6}$＜$\frac{36}{6}$=6

點評 本題考查了數(shù)學(xué)歸納u法和放縮法證明不等式成立的問題，考查了學(xué)生的轉(zhuǎn)化能力和運算能力，屬于難題．