2. Given , prove: .
Solution
2. We prove the general case
Taking , then we have . From equation (2), we know the sequence is strictly monotonically increasing, and (for all ). Also, since , we get
a_{n-1}^{2}+2\sqrt{a_{n}^{2}+2} \geqslant \sqrt{2 n+1+2}=\sqrt{2(n+1)+2}
\end{array}
Thus, the conclusion holds for . By induction, equation (1) is true.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.