Maths Olympiad Prep

Library / /5 of 6

Algebra Difficulty 5.7 AIME, harder Prove it Brazil

Show that the nnth root of a rational (for nn a positive integer) cannot be a root of the polynomial x5x44x3+4x2+2x^5 - x^4 - 4x^3 + 4x^2 + 2.

Solution

First we prove that P(x)=x5x44x3+4x2+2P(x) = x^5 - x^4 - 4x^3 + 4x^2 + 2 is irreducible in Z\mathbb{Z}. Its possible rational roots are ±1,±2\pm 1, \pm 2. Since P(x)=x2(x1)(x2)(x+2)+2P(x) = x^2(x-1)(x-2)(x+2)+2 it is clear that ±2\pm 2 and 11 are not roots and P(1)0P(-1) \neq 0 too. So if P(x)P(x) is reducible then it must be written as a product of two nonlinear polynomials. Looking P(x)P(x) modulo 22 we have P(x)=x4(x1)P(x) = x^4(x-1). Since there is unique factoring in polynomials in Z/2Z\mathbb{Z}/2\mathbb{Z} then if P(x)P(x) is reducible then P(x)=(xk+2P1(x))(xl(x1)+2P2(x))P(x) = (x^k + 2P_1(x))(x^l(x-1) + 2P_2(x)), P1(x)P_1(x) and P2(x)P_2(x) with integer coefficients and k,l>0k, l > 0. But then P(0)=4P1(x)P2(x)    P1(x)P2(x)=12P(0) = 4P_1(x)P_2(x) \iff P_1(x)P_2(x) = \frac{1}{2}, which is not possible. So P(x)P(x) is irreducible.

Let α\alpha be a root of P(x)P(x). Then P(x)P(x) is the minimal polynomial of α\alpha, and if αn=r\alpha^n = r, rr rational, then P(x)P(x) divides Q(x)=xnrQ(x) = x^n - r. But looking modulo 22 again we have x5x4(modP(x))x^5 \equiv x^4 \pmod{P(x)}, so xnx4(modP(x))x^n \equiv x^4 \pmod{P(x)} and so α\alpha is a root of x4rx^4 - r. This is a contradiction, since the minimal polynomial of α\alpha has degree 55.

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 and solution reproduced as published; topic and difficulty added by this site.