Daily

Random

Practice set

Baltic Way 2011 · Shortlist problem

Algebra

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.

Change pool

When you’re ready

Review material becomes available with the next Daily.

Review

Topics

Sequences and recurrences

Solutions

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}.