Maths Olympiad Prep

Track / Stage 5 / 261 of 400 #1501 of 2604

Problem 1501

AIME late
Algebra Difficulty 5.5 Find the answer HMMT February

A sequence {an}n≥0\left\{a_{n}\right\}_{n \geq 0} of real numbers satisfies the recursion an+1=an3−3an2+3a_{n+1}=a_{n}^{3}-3 a_{n}^{2}+3 for all positive integers nn. For how many values of a0a_{0} does a2007=a0a_{2007}=a_{0} ?

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Next problem →

Official solution

If xx appears in the sequence, the next term x3−3x2+3x^{3}-3 x^{2}+3 is the same if and only if 0=x3−3x2−x+3=(x−3)(x−1)(x+1)0=x^{3}-3 x^{2}-x+3=(x-3)(x-1)(x+1). Moreover, that next term is strictly larger if x>3x>3 and strictly smaller if x<−1x<-1. It follows that no values of a0a_{0} with ∣a0−1∣>2\left|a_{0}-1\right|>2 yield a0=a2007a_{0}=a_{2007}. Now suppose a0=a2007a_{0}=a_{2007} and write a0=1+eαi+e−αia_{0}=1+e^{\alpha i}+e^{-\alpha i}; the values a0a_{0} we seek will be in bijective correspondence with solutions α\alpha where 0≤α≤π0 \leq \alpha \leq \pi. Then a1=(a0−1)3−3a0+4=e3αi+3eαi+3e−αi+e−3αi−3eαi−3e−αi−3+4=e3αi+e−3αi+1a_{1}=\left(a_{0}-1\right)^{3}-3 a_{0}+4=e^{3 \alpha i}+3 e^{\alpha i}+3 e^{-\alpha i}+e^{-3 \alpha i}-3 e^{\alpha i}-3 e^{-\alpha i}-3+4=e^{3 \alpha i}+e^{-3 \alpha i}+1 and an easy inductive argument gives a2007=e32007αi+e−32007αi+1a_{2007}=e^{3^{2007} \alpha i}+e^{-3^{2007} \alpha i}+1. It follows that a0=a2007a_{0}=a_{2007} is equivalent to cos⁡(α)=cos⁡(32007α)\cos (\alpha)=\cos \left(3^{2007} \alpha\right). Now, cos⁡(32007α)−cos⁡(α)=2sin⁡((32007+12)α)sin⁡((32007−12)α)\cos \left(3^{2007} \alpha\right)-\cos (\alpha)=2 \sin \left(\left(\frac{3^{2007}+1}{2}\right) \alpha\right) \sin \left(\left(\frac{3^{2007}-1}{2}\right) \alpha\right) so since sin⁡(kx)=0\sin (k x)=0 for a positive integer kk if and only if xx is a multiple of πk\frac{\pi}{k}, the solutions α\alpha are {0,2π32007−1,4π32007−1,…,π}∪{0,2π32007+1,…,π}\left\{0, \frac{2 \pi}{3^{2007}-1}, \frac{4 \pi}{3^{2007}-1}, \ldots, \pi\right\} \cup\left\{0, \frac{2 \pi}{3^{2007}+1}, \ldots, \pi\right\}. Because our values kk are consecutive, these sets overlap only at 0 and π\pi, so there are 320073^{2007} distinct α\alpha.

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.