Maths Olympiad Prep

Library / /790 of 860

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+2004z1Q(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(1z12)(1z52)C(1z12)(1z52)=[(1z1)(1z5)][(1+z1)(1+z5)][(iz1)(iz5)][(i+z1)(i+z5)]=[(1z1)(1z5)][(1z1)(1z5)][(iz1)(iz5)][(iz1)(iz5)]=(15+200411)(15+2004(1)1)(i5+2004i1)(i5+2004(i)1)=(2004)(2006)(1+2005i)(12005i)=20052120052+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,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.