Maths Olympiad Prep

Library / HMMT February /571 of 1302

HMMT February

Algebra Difficulty 5.2 AIME, harder Find the answer

Let q(x)=q1(x)=2x2+2x−1q(x)=q^{1}(x)=2x^{2}+2x-1, and let qn(x)=q(qn−1(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?

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

Solution

Define g(x)=2x2−1g(x)=2x^{2}-1, so that q(x)=−12+g(x+12)q(x)=-\frac{1}{2}+g(x+\frac{1}{2}). Thus qN(x)=0⟺12=gN(x+12)q^{N}(x)=0 \Longleftrightarrow \frac{1}{2}=g^{N}(x+\frac{1}{2}) where N=2016N=2016. But, viewed as function g:[−1,1]→[−1,1]g:[-1,1] \rightarrow[-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(2^{2016} \arccos(x+\frac{1}{2}))=\frac{1}{2}. Thus, the solutions for xx are x=−12+cos⁡(π/3+2πn22016)x=-\frac{1}{2}+\cos(\frac{\pi / 3+2 \pi n}{2^{2016}}) for n=0,1,…,22016−1n=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(22016−1)<n<16(5⋅22016−1)\frac{1}{6}(2^{2016}-1)<n<\frac{1}{6}(5 \cdot 2^{2016}-1). The number of values of nn that fall in this range is 16(5⋅22016−2)−16(22016+2)+1=16(4⋅22016+2)=13(22017+1)\frac{1}{6}(5 \cdot 2^{2016}-2)-\frac{1}{6}(2^{2016}+2)+1=\frac{1}{6}(4 \cdot 2^{2016}+2)=\frac{1}{3}(2^{2017}+1).

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: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.