Maths Olympiad Prep

Library / /966 of 1394

, 2016

Algebra Difficulty 5.5 AIME, harder Prove it United States

Problem:
Let q(x)=q1(x)=2x2+2x1q(x) = q^{1}(x) = 2x^{2} + 2x - 1, and let qn(x)=q(qn1(x))q^{n}(x) = q(q^{n-1}(x)) for n>1n > 1. How many negative real roots does q2016(x)q^{2016}(x) have?

Solution

Solution:
Define g(x)=2x21g(x) = 2x^{2} - 1, so that q(x)=12+g(x+12)q(x) = -\frac{1}{2} + g\left(x + \frac{1}{2}\right). Thus
qN(x)=012=gN(x+12) q^{N}(x) = 0 \Longleftrightarrow \frac{1}{2} = g^{N}\left(x + \frac{1}{2}\right)
where N=2016N = 2016.
But, viewed as function g:[1,1][1,1]g : [-1, 1] \to [-1, 1] we have that g(x)=cos(2arccos(x))g(x) = \cos(2 \arccos(x)). Thus, the equation qN(x)=0q^{N}(x) = 0 is equivalent to
cos(22016arccos(x+12))=12 \cos\left(2^{2016} \arccos\left(x + \frac{1}{2}\right)\right) = \frac{1}{2}
Thus, the solutions for xx are
x=12+cos(π/3+2πn22016)n=0,1,,220161 x = -\frac{1}{2} + \cos\left(\frac{\pi/3 + 2\pi n}{2^{2016}}\right) \quad n = 0, 1, \ldots, 2^{2016} - 1
So, the roots are negative for the values of nn such that
13π<π/3+2πn22016<53π \frac{1}{3}\pi < \frac{\pi/3 + 2\pi n}{2^{2016}} < \frac{5}{3}\pi
which is to say
16(220161)<n<16(5220161) \frac{1}{6}\left(2^{2016} - 1\right) < n < \frac{1}{6}\left(5 \cdot 2^{2016} - 1\right)
The number of values of nn that fall in this range is 16(5220162)16(22016+2)+1=16(422016+2)=13(22017+1)\frac{1}{6}\left(5 \cdot 2^{2016} - 2\right) - \frac{1}{6}\left(2^{2016} + 2\right) + 1 = \frac{1}{6}\left(4 \cdot 2^{2016} + 2\right) = \frac{1}{3}\left(2^{2017} + 1\right).

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.