Maths Olympiad Prep

Library / /14 of 21

, 2009

Algebra Difficulty 6.6 National Olympiad Prove it Vietnam

A sequence of real numbers (xn)(x_n) is given by
x1=12andxn=xn12+4xn1+xn12for all n2. x_1 = \frac{1}{2} \quad \text{and} \quad x_n = \frac{\sqrt{x_{n-1}^2 + 4x_{n-1}} + x_{n-1}}{2} \quad \text{for all } n \ge 2.
For each non-negative integer nn, let
yn=i=1n1xi2. y_n = \sum_{i=1}^{n} \frac{1}{x_i^2}.
Show that the sequence (yn)(y_n) has a finite limit when nn \to \infty. Find this limit.

Solution

From its definition, it is easy to see that xn>0x_n > 0 for all n1n \ge 1.

Reformulate the defining relation for the sequence (xn)(x_n) in the following form:
2xnxn1=xn12+4xn1n2. 2x_n - x_{n-1} = \sqrt{x_{n-1}^2 + 4x_{n-1}} \quad \forall n \ge 2.
It follows that:
xn1=xn2xnxn1n2. x_{n-1} = x_n^2 - x_n x_{n-1} \quad \forall n \ge 2.
Consequently:
1xn2=1xn11xnn2 \frac{1}{x_n^2} = \frac{1}{x_{n-1}} - \frac{1}{x_n} \quad \forall n \ge 2
(since xn0x_n \ne 0 for all n2n \ge 2).

Hence, for all n2n \ge 2, we have
yn=i=1n1xi2=1x12+i=2n(1xi11xi)=1x12+1x11xn=61xn y_n = \sum_{i=1}^{n} \frac{1}{x_i^2} = \frac{1}{x_1^2} + \sum_{i=2}^{n} \left( \frac{1}{x_{i-1}} - \frac{1}{x_i} \right) = \frac{1}{x_1^2} + \frac{1}{x_1} - \frac{1}{x_n} = 6 - \frac{1}{x_n}
It follows easily that (1xn)\left(\frac{1}{x_n}\right) is a decreasing sequence, bounded below by 00. Hence (1xn)\left(\frac{1}{x_n}\right) converges and according to the above, we have
limn1xn=0. \lim_{n \to \infty} \frac{1}{x_n} = 0.
Thus (yn)(y_n) is convergent and
limnyn=6. \lim_{n \to \infty} y_n = 6.

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.