Maths Olympiad Prep

Library / /8 of 9

, 2019

Algebra Difficulty 5.9 AIME, harder Prove it United States

Problem:
Prove that for all positive integers nn, all complex roots rr of the polynomial
P(x)=(2n)x2n+(2n1)x2n1++(n+1)xn+1+nxn+(n+1)xn1++(2n1)x+2n P(x) = (2 n) x^{2 n} + (2 n-1) x^{2 n-1} + \cdots + (n+1) x^{n+1} + n x^{n} + (n+1) x^{n-1} + \cdots + (2 n-1) x + 2 n
lie on the unit circle (i.e. r=1|r|=1).

Solution

Solution:
Note that neither 00 nor 11 are roots of the polynomial. Consider the function
Q(x)=P(x)xn=(2n)xn+(2n)xn+(2n1)xn1+(2n1)xn+1++(n+1)x1+(n+1)x1+n. Q(x) = \frac{P(x)}{x^{n}} = (2 n) x^{n} + (2 n) x^{-n} + (2 n-1) x^{n-1} + (2 n-1) x^{-n+1} + \cdots + (n+1) x^{1} + (n+1) x^{-1} + n.
All 2n2 n of the complex roots of P(x)P(x) will be roots of Q(x)Q(x).
If x=1|x|=1, then x=eiθx = e^{i \theta}, and
Q(x)=(2n)(xn+xn)+(2n1)(xn1+xn+1)++(n+1)(x+x1)+n=(2n)(einθ+einθ)+(2n1)(ei(n1)θ+ei(n1)θ)++(n+1)(eiθ+eiθ)+n=(2n)(2cos(nθ))+(2n1)(2cos((n1)θ))++(n+1)(2cos(θ))+n \begin{aligned} Q(x) &= (2 n)\left(x^{n} + x^{-n}\right) + (2 n-1)\left(x^{n-1} + x^{-n+1}\right) + \cdots + (n+1)\left(x + x^{-1}\right) + n \\ &= (2 n)\left(e^{i n \theta} + e^{-i n \theta}\right) + (2 n-1)\left(e^{i(n-1) \theta} + e^{-i(n-1) \theta}\right) + \cdots + (n+1)\left(e^{i \theta} + e^{-i \theta}\right) + n \\ &= (2 n)(2 \cos (n \theta)) + (2 n-1)(2 \cos ((n-1) \theta)) + \cdots + (n+1)(2 \cos (\theta)) + n \end{aligned}
which is real. Thus on the unit circle, we have Q(x)Q(x) is real, and we want to show it has 2n2 n roots there. Rewrite
P(x)=(2n)x2n+(2n1)x2n1++(n+1)xn+1+nxn+(n+1)xn1++2n=(2n)(x2n+x2n1++1)(x2n1+2x2n2++(n1)xn+nxn1+(n1)xn2++2x2+x)=2nx2n+11x1x(x2n2+2x2n3++(n1)xn+nxn1+(n1)xn2++2x+1)=2nx2n+11x1x(xn1+xn2++x+1)2=2nx2n+11x1x(xn1x1)2 \begin{aligned} P(x) &= (2 n) x^{2 n} + (2 n-1) x^{2 n-1} + \cdots + (n+1) x^{n+1} + n x^{n} + (n+1) x^{n-1} + \cdots + 2 n \\ &= (2 n)\left(x^{2 n} + x^{2 n-1} + \cdots + 1\right) \\ &\quad - \left(x^{2 n-1} + 2 x^{2 n-2} + \cdots + (n-1) x^{n} + n x^{n-1} + (n-1) x^{n-2} + \cdots + 2 x^{2} + x\right) \\ &= 2 n \frac{x^{2 n+1} - 1}{x-1} - x\left(x^{2 n-2} + 2 x^{2 n-3} + \cdots + (n-1) x^{n} + n x^{n-1} + (n-1) x^{n-2} + \cdots + 2 x + 1\right) \\ &= 2 n \frac{x^{2 n+1} - 1}{x-1} - x\left(x^{n-1} + x^{n-2} + \cdots + x + 1\right)^{2} \\ &= 2 n \frac{x^{2 n+1} - 1}{x-1} - x\left(\frac{x^{n} - 1}{x-1}\right)^{2} \end{aligned}
and thus
Q(x)=2nxnx2n+11x1xxn(xn1x1)2 Q(x) = \frac{2 n}{x^{n}} \frac{x^{2 n+1} - 1}{x-1} - \frac{x}{x^{n}}\left(\frac{x^{n} - 1}{x-1}\right)^{2}
Consider the roots of unity rj=ei2π2njr_{j} = e^{i \frac{2 \pi}{2 n} j}, for j=0j = 0 to 2n12 n - 1. There are 2n2 n such roots of unity: they all have rj2n=1r_{j}^{2 n} = 1, and they alternate between those which satisfy rjn=1r_{j}^{n} = 1 or rjn=1r_{j}^{n} = -1. At those x=rjx = r_{j}, if rjn=1r_{j}^{n} = 1 but x1x \neq 1, then
Q(x)=2nxnx2n+11x1xxn(xn1x1)2=2nx11x1x(11x1)2=2n>0 \begin{aligned} Q(x) &= \frac{2 n}{x^{n}} \frac{x^{2 n+1} - 1}{x-1} - \frac{x}{x^{n}}\left(\frac{x^{n} - 1}{x-1}\right)^{2} \\ &= 2 n \frac{x^{1} - 1}{x-1} - x\left(\frac{1-1}{x-1}\right)^{2} = 2 n > 0 \end{aligned}
At x=1x = 1, we can easily see Q(1)>0Q(1) > 0.
If rjn=1r_{j}^{n} = -1, then
Q(x)=2nxnx2n+11x1xxn(xn1x1)2=2nx11x1+x(11x1)2=2n+4x(x1)2=2n+4x2+1/x=2n+42cos(2π2nj)2<2n4<0 \begin{aligned} Q(x) &= \frac{2 n}{x^{n}} \frac{x^{2 n+1} - 1}{x-1} - \frac{x}{x^{n}}\left(\frac{x^{n} - 1}{x-1}\right)^{2} \\ &= -2 n \frac{x^{1} - 1}{x-1} + x\left(\frac{-1-1}{x-1}\right)^{2} \\ &= -2 n + \frac{4 x}{(x-1)^{2}} \\ &= -2 n + \frac{4}{x - 2 + 1/x} \\ &= -2 n + \frac{4}{2 \cos \left(\frac{2 \pi}{2 n} j\right) - 2} < -2 n - 4 < 0 \end{aligned}
since the denominator of this second term is strictly negative (j0)(j \neq 0).
Thus at each of the 2n2 n-roots of unity, Q(x)Q(x) alternates in sign, and because Q(x)Q(x) is real and continuous on the unit circle, it has at least one root between every pair of consecutive roots of unity. Since there are 2n2 n of these pairs, and we know that Q(x)Q(x) has exactly 2n2 n roots (by the Fundamental Theorem of Algebra), we have found all of QQ's roots, and therefore those of PP.

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.