Maths Olympiad Prep

Library / Baltic Way Problem Shortlist /20 of 31

Baltic Way Problem Shortlist, 2011

Algebra Difficulty 8.3 Shortlist Prove it Baltic Way

For any real number aa we define a sequence x0,x1,…x_0, x_1, \dots such that x0=ax_0 = a and xi+1=3xi−xi3x_{i+1} = 3x_i - x_i^3 for all i≥0i \ge 0. Determine the number of reals aa for which x2011=x0x_{2011} = x_0.

Solution

If ∣xi∣>2|x_i| > 2 then ∣xi+1∣=∣xi∣⋅∣3−xi2∣>∣xi∣|x_{i+1}| = |x_i| \cdot |3 - x_i^2| > |x_i| it follows that the sequence (∣xi∣)(|x_i|) is strictly increasing therefore the sequence (∣xi∣)(|x_i|) cannot be periodic. It is thus enough to consider the case when ∣a∣≤2|a| \le 2.
Denote xi=2sin⁡αx_i = 2 \sin \alpha, where −π2≤α≤π2-\frac{\pi}{2} \le \alpha \le \frac{\pi}{2}. Then
xi+1=6sin⁡α−8sin⁡3α=2sin⁡α(3−4sin⁡2α)=2sin⁡α(3cos⁡2α−sin⁡2α)=4sin⁡αcos⁡2α+2sin⁡α(cos⁡2α−sin⁡2α)=2sin⁡(2α)cos⁡α+2sin⁡αcos⁡(2α)=2sin⁡(3α). \begin{aligned} x_{i+1} &= 6 \sin \alpha - 8 \sin^3 \alpha \\ &= 2 \sin \alpha (3 - 4 \sin^2 \alpha) \\ &= 2 \sin \alpha (3 \cos^2 \alpha - \sin^2 \alpha) \\ &= 4 \sin \alpha \cos^2 \alpha + 2 \sin \alpha (\cos^2 \alpha - \sin^2 \alpha) \\ &= 2 \sin(2\alpha) \cos \alpha + 2 \sin \alpha \cos(2\alpha) \\ &= 2 \sin(3\alpha). \end{aligned}
By an easy induction it follows that if x0=2sin⁡αx_0 = 2 \sin \alpha then xn=2sin⁡(3nα)x_n = 2 \sin(3^n \alpha). The equation x0=x2011x_0 = x_{2011} now transforms to sin⁡α=sin⁡(32011α)\sin \alpha = \sin(3^{2011}\alpha), this equation has two sets of solutions:
{α∣32011α=α+2πn, n∈Z} \{\alpha \mid 3^{2011}\alpha = \alpha + 2\pi n,\ n \in \mathbb{Z}\}
and
{α∣32011α=π−α+2πm, m∈Z}. \{\alpha \mid 3^{2011}\alpha = \pi - \alpha + 2\pi m,\ m \in \mathbb{Z}\}.
This can be transformed to
{α∣α=2πn32011−1, n∈Z} \{\alpha \mid \alpha = \frac{2\pi n}{3^{2011} - 1},\ n \in \mathbb{Z}\}
and
{α∣α=π+2πm32011+1, m∈Z}. \{\alpha \mid \alpha = \frac{\pi + 2\pi m}{3^{2011} + 1},\ m \in \mathbb{Z}\}.
These sets of solutions do not intersect. Assume that for some nn and mm
2πn32011−1=π+2πm32011+1 \frac{2\pi n}{3^{2011} - 1} = \frac{\pi + 2\pi m}{3^{2011} + 1}
then 2n(32011+1)=(1+2m)(32011−1)2n(3^{2011} + 1) = (1 + 2m)(3^{2011} - 1) which is impossible because the left side is divisible by 4 while the right side of the equation is not (32011−1≡2(mod4))(3^{2011} - 1 \equiv 2 \pmod 4).
It remains to count the number of nn and mm for which the corresponding α\alpha is in the interval [−π/2,π/2][-\pi/2, \pi/2]. This leads to inequalities
−π2≤2πn32011−1≤π2,n∈Z -\frac{\pi}{2} \le \frac{2\pi n}{3^{2011} - 1} \le \frac{\pi}{2}, \quad n \in \mathbb{Z}
and
−π2≤π+2πm32011+1≤π2,m∈Z -\frac{\pi}{2} \leq \frac{\pi + 2\pi m}{3^{2011} + 1} \leq \frac{\pi}{2}, \quad m \in \mathbb{Z}
which can be rewritten as
−32011−14≤n≤32011−14,n∈Z -\frac{3^{2011}-1}{4} \leq n \leq \frac{3^{2011}-1}{4}, \quad n \in \mathbb{Z}
and
−32011+34≤m≤32011−14,m∈Z. -\frac{3^{2011}+3}{4} \leq m \leq \frac{3^{2011}-1}{4}, \quad m \in \mathbb{Z}.
The first inequality has 2⌊32011−14⌋+1=232011−34+12\left\lfloor\frac{3^{2011}-1}{4}\right\rfloor + 1 = 2\frac{3^{2011}-3}{4} + 1 solutions while the second one has ⌊32011+34⌋+⌊32011−14⌋+1=32011+14+32011−34+1\left\lfloor\frac{3^{2011}+3}{4}\right\rfloor + \left\lfloor\frac{3^{2011}-1}{4}\right\rfloor + 1 = \frac{3^{2011}+1}{4} + \frac{3^{2011}-3}{4} + 1. The total number of solutions is
232011−34+1+32011+14+32011−34+1=32011. 2\frac{3^{2011}-3}{4} + 1 + \frac{3^{2011}+1}{4} + \frac{3^{2011}-3}{4} + 1 = 3^{2011}.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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