Maths Olympiad Prep

Library / /22 of 33

, 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=3xixi3x_{i+1} = 3x_i - x_i^3 for all i0i \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=xi3xi2>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 a2|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α8sin3α=2sinα(34sin2α)=2sinα(3cos2αsin2α)=4sinαcos2α+2sinα(cos2αsin2α)=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, nZ} \{\alpha \mid 3^{2011}\alpha = \alpha + 2\pi n,\ n \in \mathbb{Z}\}
and
{α32011α=πα+2πm, mZ}. \{\alpha \mid 3^{2011}\alpha = \pi - \alpha + 2\pi m,\ m \in \mathbb{Z}\}.
This can be transformed to
{αα=2πn320111, nZ} \{\alpha \mid \alpha = \frac{2\pi n}{3^{2011} - 1},\ n \in \mathbb{Z}\}
and
{αα=π+2πm32011+1, mZ}. \{\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πn320111=π+2πm32011+1 \frac{2\pi n}{3^{2011} - 1} = \frac{\pi + 2\pi m}{3^{2011} + 1}
then 2n(32011+1)=(1+2m)(320111)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 (3201112(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
π22πn320111π2,nZ -\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,mZ -\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
3201114n3201114,nZ -\frac{3^{2011}-1}{4} \leq n \leq \frac{3^{2011}-1}{4}, \quad n \in \mathbb{Z}
and
32011+34m3201114,mZ. -\frac{3^{2011}+3}{4} \leq m \leq \frac{3^{2011}-1}{4}, \quad m \in \mathbb{Z}.
The first inequality has 23201114+1=23201134+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+3201114+1=32011+14+3201134+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
23201134+1+32011+14+3201134+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,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.