Maths Olympiad Prep

Library / HMMT February /1005 of 1302

HMMT February

Algebra Difficulty 5.6 AIME, harder Find the answer

There exists a polynomial PP of degree 5 with the following property: if zz is a complex number such that z5+2004z=1z^{5}+2004 z=1, then P(z2)=0P(z^{2})=0. Calculate the quotient P(1)/P(−1)P(1) / P(-1).

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

Solution

Let z1,…,z5z_{1}, \ldots, z_{5} be the roots of Q(z)=z5+2004z−1Q(z)=z^{5}+2004 z-1. We can check these are distinct (by using the fact that there's one in a small neighborhood of each root of z5+2004zz^{5}+2004 z, or by noting that Q(z)Q(z) is relatively prime to its derivative). And certainly none of the roots of QQ is the negative of another, since z5+2004z=1z^{5}+2004 z=1 implies (−z)5+2004(−z)=−1(-z)^{5}+2004(-z)=-1, so their squares are distinct as well. Then, z12,…,z52z_{1}^{2}, \ldots, z_{5}^{2} are the roots of PP, so if we write CC for the leading coefficient of PP, we have P(1)P(−1)=C(1−z12)⋯(1−z52)C(−1−z12)⋯(−1−z52)=[(1−z1)⋯(1−z5)]⋅[(1+z1)⋯(1+z5)][(i−z1)⋯(i−z5)]⋅[(i+z1)⋯(i+z5)]=[(1−z1)⋯(1−z5)]⋅[(−1−z1)⋯(−1−z5)][(i−z1)⋯(i−z5)]⋅[(−i−z1)⋯(−i−z5)]=(15+2004⋅1−1)(−15+2004⋅(−1)−1)(i5+2004⋅i−1)(−i5+2004⋅(−i)−1)=(2004)(−2006)(−1+2005i)(−1−2005i)=−20052−120052+1=−4020024/4020026=−2010012/2010013\begin{aligned} \frac{P(1)}{P(-1)} & =\frac{C\left(1-z_{1}^{2}\right) \cdots\left(1-z_{5}^{2}\right)}{C\left(-1-z_{1}^{2}\right) \cdots\left(-1-z_{5}^{2}\right)} \\ & =\frac{\left[\left(1-z_{1}\right) \cdots\left(1-z_{5}\right)\right] \cdot\left[\left(1+z_{1}\right) \cdots\left(1+z_{5}\right)\right]}{\left[\left(i-z_{1}\right) \cdots\left(i-z_{5}\right)\right] \cdot\left[\left(i+z_{1}\right) \cdots\left(i+z_{5}\right)\right]} \\ & =\frac{\left[\left(1-z_{1}\right) \cdots\left(1-z_{5}\right)\right] \cdot\left[\left(-1-z_{1}\right) \cdots\left(-1-z_{5}\right)\right]}{\left[\left(i-z_{1}\right) \cdots\left(i-z_{5}\right)\right] \cdot\left[\left(-i-z_{1}\right) \cdots\left(-i-z_{5}\right)\right]} \\ & =\frac{\left(1^{5}+2004 \cdot 1-1\right)\left(-1^{5}+2004 \cdot(-1)-1\right)}{\left(i^{5}+2004 \cdot i-1\right)\left(-i^{5}+2004 \cdot(-i)-1\right)} \\ & =\frac{(2004)(-2006)}{(-1+2005 i)(-1-2005 i)} \\ & =-\frac{2005^{2}-1}{2005^{2}+1} \\ & =-4020024 / 4020026=-2010012 / 2010013 \end{aligned}

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.