Maths Olympiad Prep

Track / Stage 6 / 313 of 400 #1953 of 2604

Problem 1953

National Olympiad, first round
Algebra Difficulty 6.6 Prove it Ukrainian National Mathematical Olympiad · Ukraine

A sequence (xn)(x_n) satisfies the following conditions: x1=ax_1 = a, xn+1=12(xn−1xn)x_{n+1} = \frac{1}{2}\left(x_n - \frac{1}{x_n}\right), n∈Nn \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.)

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Let us denote x1=a=ctg⁡αx_1 = a = \operatorname{ctg} \alpha. Then
x2=12(x1−1x1)=12(ctg⁡α−tg⁡α)=12⋅cos⁡2α−sin⁡2αsin⁡α⋅cos⁡α=cos⁡2αsin⁡2α=ctg⁡2α, 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(xn−1xn)=12(ctg⁡2n−1α−tg⁡2n−1α)=12⋅cos⁡22n−1α−sin⁡22n−1αsin⁡2n−1α⋅cos⁡2n−1α=ctg⁡2nα,∀n∈N. 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 xi≠0x_i \ne 0, i=1,2017‾i = \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}}.

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