Maths Olympiad Prep

Library / /329 of 520

Algebra Difficulty 5.8 AIME, harder Find the answer

16. (CUB 2) Given a,θR,mNa, \theta \in \mathbb{R}, m \in \mathbb{N}, and P(x)=x2m2amxmcosθ+a2mP(x)=x^{2 m}-2|a|^{m} x^{m} \cos \theta+a^{2 m}, factorize P(x)P(x) as a product of mm real quadratic polynomials.

A number or a short expression. Spacing and $ signs are ignored.

Solution

16. First, we have P(x)=Q(x)R(x)P(x)=Q(x) R(x) for Q(x)=xmame40Q(x)=x^{m}-|a|^{m} e^{40} and R(x)=R(x)= xmameiθx^{m}-|a|^{m} e^{-i \theta}, where eiφe^{i \varphi} means of course cosφ+isinφ\cos \varphi+i \sin \varphi. It remains to factor both QQ and RR. Suppose that Q(x)=(xq1)(xqm)Q(x)=\left(x-q_{1}\right) \cdots\left(x-q_{m}\right) and R(x)=(xr1)(xrm)R(x)=\left(x-r_{1}\right) \cdots\left(x-r_{m}\right).
Considering Q(x)Q(x), we see that qkm=am\left|q_{k}^{m}\right|=|a|^{m} and also qk=a\left|q_{k}\right|=|a| for k=k= 1,,m1, \ldots, m. Thus we may put qk=aeiβkq_{k}=|a| e^{i \beta_{k}} and obtain by de Moivre's formula qkm=ameimβkq_{k}^{m}=|a|^{m} e^{i m \beta_{k}}. It follows that mβk=θ+2jπm \beta_{k}=\theta+2 j \pi for some jZj \in Z, and we have exactly mm possibilities for βk\beta_{k} modulo 2π:βk=θ+2(k1)πm2 \pi: \beta_{k}=\frac{\theta+2(k-1) \pi}{m} for k=1,2,,mk=1,2, \ldots, m.
Thus qk=aeiβkq_{k}=|a| e^{i \beta_{k}}; analogously we obtain for R(x)R(x) that rk=aeiβkr_{k}=|a| e^{-i \beta_{k}}. Consequently,
xmameiθ=k=1m(xaeiβk) and xmameiθ=k=1m(xaeiβk) x^{m}-|a|^{m} e^{i \theta}=\prod_{k=1}^{m}\left(x-|a| e^{i \beta_{k}}\right) \quad \text { and } \quad x^{m}-|a|^{m} e^{-i \theta}=\prod_{k=1}^{m}\left(x-|a| e^{-i \beta_{k}}\right) \text {. }

Finally, grouping the k.th factors of both polynomials, we get
P(x)=k=1m(xaeiβk)(xaeiβk)=k=1m(x22axcosβk+a2)=k=1m(x22axcosθ+2(k1)πm+a2). \begin{aligned} P(x) & =\prod_{k=1}^{m}\left(x-|a| e^{i \beta_{k}}\right)\left(x-|a| e^{-i \beta_{k}}\right)=\prod_{k=1}^{m}\left(x^{2}-2|a| x \cos \beta_{k}+a^{2}\right) \\ & =\prod_{k=1}^{m}\left(x^{2}-2|a| x \cos \frac{\theta+2(k-1) \pi}{m}+a^{2}\right) . \end{aligned}

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.