标签：存在 常见 inf image row com rac 观察 证明
已知数列$\{a_n\}$满足:$a_1=1,a_{n+1}=a_n+\dfrac{a_n^2}{n(n+1)}$
1)证明:对任意$n\in N^+,a_n<5$
2)证明:不存在$M\le4$,使得对任意$n,a_n<M$
证明:
1)显然$a_{n+1}>a_n,a_{n+1}=a_n+\dfrac{a_n^2}{n(n+1)}<a_n+\dfrac{a_na_{n+1}}{n(n+1)}$
故$\dfrac{1}{a_n}<\dfrac{1}{a_{n+1}}+\dfrac{1}{n(n+1)}$累加得:$\dfrac{1}{a_3}<\dfrac{1}{a_n}+\dfrac{1}{3}-\dfrac{1}{n}$
由于$a_1=1,a_2=\dfrac{3}{2},a_3=\dfrac{15}{8}$代入上式得$\dfrac{1}{a_n}\ge \dfrac{1}{n}+\dfrac{1}{5}>\dfrac{1}{5}$.故$a_n<5(n\in N^+)$
2)由(1)$\dfrac{1}{a_n}\ge \dfrac{1}{n}+\dfrac{1}{5}<\dfrac{5n}{n+1}$
故$a_{n+1}=a_n+\dfrac{a_n^2}{n(n+1)}<a_n+\dfrac{\frac{5n}{n+1}a_n}{n(n+1)}=\dfrac{n^2+2n+6}{(n+1)^2}a_n$
故$a_n\ge\dfrac{(n+1)^2}{n^2+2n+6}a_{n+1}$
故$a_{n+1}=a_n+\dfrac{a_n^2}{n(n+1)}\ge a_n+\dfrac{\frac{(n+1)^2}{n^2+2n+6}a_na_{n+1}}{n(n+1)}=a_n+\dfrac{n+1}{n^3+2n^2+6n}a_na_{n+1}$
故$\dfrac{1}{a_n}\ge\dfrac{1}{a_{n+1}}+\dfrac{n+1}{n^2+2n+6}\ge\dfrac{1}{a_{n+1}}+\dfrac{3}{4n(n+1)},(n\ge3)$
累加得$\dfrac{1}{a_1}\ge\dfrac{1}{a_n}+\dfrac{3}{4}(1-\dfrac{1}{n})$
代入$a_1=1$得,$a_n\ge\dfrac{4n}{n+3}\rightarrow 4$
故不存在$M\le4$,使得对任意$n,a_n<M$
注:此类题型也较常见，但往往最后一步裂项放缩要观察一下。
标签：存在 常见 inf image row com rac 观察 证明
原文地址：https://www.cnblogs.com/mathstudy/p/8954407.html
