Maths Olympiad Prep

Library / /1 of 18

Algebra Difficulty 5.0 AIME Prove it Vietnam

Let a>0a > 0 and the sequence (xn)(x_n) is defined by
x1=a, x_1 = a,
xn+1=xn+xnn2,n1. x_{n+1} = x_n + \frac{\sqrt{x_n}}{n^2}, \forall n \ge 1.
Prove that (xn)(x_n) has a finite limit when nn tends to infinity.

Solution

We have xn+1<xn+1+14n4=xn+2xn2n2+14n4=(xn+12n2)2x_{n+1} < x_{n+1} + \frac{1}{4n^4} = x_n + 2\frac{\sqrt{x_n}}{2n^2} + \frac{1}{4n^4} = \left(\sqrt{x_n} + \frac{1}{2n^2}\right)^2.
Therefore xn+1<xn+12n2\sqrt{x_{n+1}} < \sqrt{x_n} + \frac{1}{2n^2}, n=1,2,3,n = 1, 2, 3, \dots thus
xn+1<a+i=1n12i2<a+12+i=2n12i(i1)<a+12+12i=2n(1i11i)==a+12+12(11n)<a+1 \begin{aligned} \sqrt{x_{n+1}} &< \sqrt{a} + \sum_{i=1}^{n} \frac{1}{2i^2} < \sqrt{a} + \frac{1}{2} + \sum_{i=2}^{n} \frac{1}{2i(i-1)} < \sqrt{a} + \frac{1}{2} + \frac{1}{2} \sum_{i=2}^{n} \left( \frac{1}{i-1} - \frac{1}{i} \right) = \\ &= \sqrt{a} + \frac{1}{2} + \frac{1}{2} \left( 1 - \frac{1}{n} \right) < \sqrt{a} + 1 \end{aligned}
So xn+1<(a+1)2x_{n+1} < (\sqrt{a} + 1)^2 for all nn. The given sequence is bounded above, strictly increasing and so has a finite limit. (Q.E.D).

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.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.