Maths Olympiad Prep

Library / /489 of 860

Algebra Difficulty 5.2 AIME, harder Find the answer

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?

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

Solution

Define g(x)=2x21g(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)=012=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,,220161n=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}(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(5220162)16(22016+2)+1=16(422016+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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.