Maths Olympiad Prep

Library / /36 of 94

Algebra Difficulty 5.7 AIME, harder Prove it Hong Kong

Let x1x_1 be a positive real number and
xn+1=5xn+2xn2+1for n=1,2,3, x_{n+1} = \sqrt{5x_n + 2\sqrt{x_n^2 + 1}} \quad \text{for } n = 1, 2, 3, \dots
Prove that among x1,x2,,x2011x_1, x_2, \dots, x_{2011}, there are at least 670 irrational numbers.

Solution

We rewrite the recurrence relation as follows.
xn+1=5xn+2xn2+1(xn+15xn)2=4(xn2+1)xn225xn+1xn+(xn+124)=0. \begin{aligned} x_{n+1} &= \sqrt{5}x_n + 2\sqrt{x_n^2 + 1} \\ \Rightarrow \quad (x_{n+1} - \sqrt{5}x_n)^2 &= 4(x_n^2 + 1) \\ \Rightarrow \quad x_n^2 - 2\sqrt{5}x_{n+1}x_n + (x_{n+1}^2 - 4) &= 0. \end{aligned}
This is a quadratic equation in xnx_n. We use the quadratic formula to obtain
xn=5xn+1±5xn+12(xn+124)=5xn+1±2xn+12+1. x_n = \sqrt{5}x_{n+1} \pm \sqrt{5x_{n+1}^2 - (x_{n+1}^2 - 4)} = \sqrt{5}x_{n+1} \pm 2\sqrt{x_{n+1}^2 + 1}.
Using the given relation, it is clear that xn+1>xnx_{n+1} > x_n. Therefore,
xn=5xn+12xn+12+1. x_n = \sqrt{5}x_{n+1} - 2\sqrt{x_{n+1}^2 + 1}.
Together with xn+2=5xn+1+2xn+12+1x_{n+2} = \sqrt{5}x_{n+1} + 2\sqrt{x_{n+1}^2 + 1}, we obtain
xn+2+xn=25xn+1. x_{n+2} + x_n = 2\sqrt{5}x_{n+1}.
As xn,xn+1,xn+2>0x_n, x_{n+1}, x_{n+2} > 0, this relation suggests they cannot be all rational. Thus, there must be an irrational number in each of the groups (x3k+1,x3k+2,x3k+3)(x_{3k+1}, x_{3k+2}, x_{3k+3}) where k=0,1,,669k = 0, 1, \dots, 669. That means there are at least 670 irrational numbers.

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.