Olympiad Maths Prep

Library / /50 of 60

Algebra Difficulty 6.6 National olympiad Prove it Ukraine

A sequence (xn)(x_n) satisfies the following conditions: x1=ax_1 = a, xn+1=12(xn1xn)x_{n+1} = \frac{1}{2}\left(x_n - \frac{1}{x_n}\right), nNn \in \mathbb{N}. Prove that there exists a number aa such that the sequence (xn)(x_n) has exactly 2018 pairwise distinct elements.
(If one of the elements of the sequence equals 0, then the sequence stops on that element.)

Solution

Let us denote x1=a=ctgαx_1 = a = \operatorname{ctg} \alpha. Then
x2=12(x11x1)=12(ctgαtgα)=12cos2αsin2αsinαcosα=cos2αsin2α=ctg2α, x_2 = \frac{1}{2}\left(x_1 - \frac{1}{x_1}\right) = \frac{1}{2}(\operatorname{ctg} \alpha - \operatorname{tg} \alpha) = \frac{1}{2} \cdot \frac{\cos^2 \alpha - \sin^2 \alpha}{\sin \alpha \cdot \cos \alpha} = \frac{\cos 2\alpha}{\sin 2\alpha} = \operatorname{ctg} 2\alpha,
In the same way we easily prove that
xn+1=12(xn1xn)=12(ctg2n1αtg2n1α)=12cos22n1αsin22n1αsin2n1αcos2n1α=ctg2nα,nN. x_{n+1} = \frac{1}{2}\left(x_n - \frac{1}{x_n}\right) = \frac{1}{2}\left(\operatorname{ctg} 2^{n-1}\alpha - \operatorname{tg} 2^{n-1}\alpha\right) = \frac{1}{2} \cdot \frac{\cos^2 2^{n-1}\alpha - \sin^2 2^{n-1}\alpha}{\sin 2^{n-1}\alpha \cdot \cos 2^{n-1}\alpha} = \operatorname{ctg} 2^n \alpha, \forall n \in \mathbb{N}.
The statement of the problem will be satisfied if xi0x_i \ne 0, i=1,2017i = \overline{1, 2017}, and x2018=0x_{2018} = 0. Therefore, it is sufficient to choose α\alpha such that x2018=ctg(22017α)=0x_{2018} = \operatorname{ctg}(2^{2017}\alpha) = 0. Thus we have 22017α=π22^{2017}\alpha = \frac{\pi}{2}, and α=π22018\alpha = \frac{\pi}{2^{2018}}.

Looking for a route rather than 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 and solution reproduced as published; topic and difficulty added by this site.