Maths Olympiad Prep

Library / /3 of 3

Algebra Difficulty 7.1 National olympiad, round 2 Prove it Mongolia

Prove that the polynomial P(X)=X5+61X+2025P(X) = X^5 + 61X + 2025 is not the product of two non-constant polynomials with integer coefficients.
(Otgonbayar Uuye)

Solution

Suppose, for contradiction, that P(X)P(X) can be written as the product of two non-constant polynomials with integer coefficients. Since P(X)P(X) is of degree 55, the only possible degrees for the factors are (1,4)(1,4) or (2,3)(2,3).

First, check if P(X)P(X) has an integer root. If aa is an integer root, then a5+61a+2025=0a^5 + 61a + 2025 = 0, so aa divides 20252025 (by the Rational Root Theorem). The divisors of 20252025 are ±1,±3,±5,±9,±15,±25,±27,±45,±75,±81,±135,±225,±405,±675,±2025\pm1, \pm3, \pm5, \pm9, \pm15, \pm25, \pm27, \pm45, \pm75, \pm81, \pm135, \pm225, \pm405, \pm675, \pm2025.

Check each possible aa:

- For a=1a = 1: 1+61+2025=208701 + 61 + 2025 = 2087 \neq 0
- For a=1a = -1: 161+2025=19630-1 - 61 + 2025 = 1963 \neq 0
- For a=3a = 3: 243+183+2025=24510243 + 183 + 2025 = 2451 \neq 0
- For a=3a = -3: 243183+2025=15990-243 - 183 + 2025 = 1599 \neq 0
- For a=5a = 5: 3125+305+2025=545503125 + 305 + 2025 = 5455 \neq 0
- For a=5a = -5: 3125305+2025=14050-3125 - 305 + 2025 = -1405 \neq 0
- For a=9a = 9: 59049+549+2025=61623059049 + 549 + 2025 = 61623 \neq 0
- For a=9a = -9: 59049549+2025=576730-59049 - 549 + 2025 = -57673 \neq 0
- For a=15a = 15: 759375+915+2025=7623150759375 + 915 + 2025 = 762315 \neq 0
- For a=15a = -15: 759375915+2025=7582650-759375 - 915 + 2025 = -758265 \neq 0
- For a=25a = 25: 9765625+1525+2025=976917509765625 + 1525 + 2025 = 9769175 \neq 0
- For a=25a = -25: 97656251525+2025=97651250-9765625 - 1525 + 2025 = -9765125 \neq 0
- For a=27a = 27: 14348907+1647+2025=14352579014348907 + 1647 + 2025 = 14352579 \neq 0
- For a=27a = -27: 143489071647+2025=143485290-14348907 - 1647 + 2025 = -14348529 \neq 0
- For a=45a = 45: 184528125+2745+2025=1845328950184528125 + 2745 + 2025 = 184532895 \neq 0
- For a=45a = -45: 1845281252745+2025=1845288450-184528125 - 2745 + 2025 = -184528845 \neq 0
- For a=75a = 75: 2373046875+4575+2025=237305347502373046875 + 4575 + 2025 = 2373053475 \neq 0
- For a=75a = -75: 23730468754575+2025=23730494250-2373046875 - 4575 + 2025 = -2373049425 \neq 0
- For a=81a = 81: 3486784401+4941+2025=348678936703486784401 + 4941 + 2025 = 3486789367 \neq 0
- For a=81a = -81: 34867844014941+2025=34867873170-3486784401 - 4941 + 2025 = -3486787317 \neq 0
- For a=135a = 135: 454354244875+8235+2025=4543542551350454354244875 + 8235 + 2025 = 454354255135 \neq 0
- For a=135a = -135: 4543542448758235+2025=4543542510850-454354244875 - 8235 + 2025 = -454354251085 \neq 0
- For a=225a = 225: 3802040328125+13725+2025=380204034887503802040328125 + 13725 + 2025 = 3802040348875 \neq 0
- For a=225a = -225: 380204032812513725+2025=38020403391250-3802040328125 - 13725 + 2025 = -3802040339125 \neq 0
- For a=405a = 405: 11040808032005+24705+2025=11040808058735011040808032005 + 24705 + 2025 = 11040808058735 \neq 0
- For a=405a = -405: 1104080803200524705+2025=110408080547850-11040808032005 - 24705 + 2025 = -11040808054785 \neq 0
- For a=675a = 675: 1434890703125+41175+2025=143489074632501434890703125 + 41175 + 2025 = 1434890746325 \neq 0
- For a=675a = -675: 143489070312541175+2025=14348907420750-1434890703125 - 41175 + 2025 = -1434890742075 \neq 0
- For a=2025a = 2025: 3452271214390625+123525+2025=345227121451617503452271214390625 + 123525 + 2025 = 3452271214516175 \neq 0
- For a=2025a = -2025: 3452271214390625123525+2025=34522712145131250-3452271214390625 - 123525 + 2025 = -3452271214513125 \neq 0

Therefore, P(X)P(X) has no integer roots, so it cannot have a linear factor with integer coefficients.

Now, suppose P(X)P(X) factors as the product of a quadratic and a cubic with integer coefficients:

Let P(X)=(X2+aX+b)(X3+cX2+dX+e)P(X) = (X^2 + aX + b)(X^3 + cX^2 + dX + e), with a,b,c,d,eZa, b, c, d, e \in \mathbb{Z}.

Expand the product:

(X2+aX+b)(X3+cX2+dX+e)=X5+(a+c)X4+(ac+b+d)X3+(ad+bc+e)X2+(ae+bd)X+be(X^2 + aX + b)(X^3 + cX^2 + dX + e) = X^5 + (a + c)X^4 + (ac + b + d)X^3 + (ad + bc + e)X^2 + (ae + bd)X + be

Set this equal to X5+61X+2025X^5 + 61X + 2025 and compare coefficients:

- X5X^5: 11
- X4X^4: a+c=0a + c = 0     \implies c=ac = -a
- X3X^3: ac+b+d=0ac + b + d = 0
- X2X^2: ad+bc+e=0ad + bc + e = 0
- X1X^1: ae+bd=61ae + bd = 61
- Constant: be=2025be = 2025

Now, be=2025be = 2025. Since b,eZb, e \in \mathbb{Z}, bb and ee are integer divisors of 20252025.

Try all possible pairs (b,e)(b, e) with be=2025be = 2025 and ae+bd=61ae + bd = 61 for some integer aa and dd.

But 2025=52×342025 = 5^2 \times 3^4, so it has many divisors, but b,e2025|b|, |e| \leq 2025.

But for each such pair, ae+bd=61ae + bd = 61 must be solvable in integers a,da, d.

But also, from above, c=ac = -a.

Let us try b=1b = 1, e=2025e = 2025:

Then ae+bd=a2025+1d=61ae + bd = a \cdot 2025 + 1 \cdot d = 61     \implies 2025a+d=612025a + d = 61     \implies d=612025ad = 61 - 2025a

Now, ac+b+d=0ac + b + d = 0     \implies a(a)+1+d=0a(-a) + 1 + d = 0     \implies a2+1+d=0-a^2 + 1 + d = 0     \implies d=a21d = a^2 - 1

So a21=612025aa^2 - 1 = 61 - 2025a     \implies a2+2025a62=0a^2 + 2025a - 62 = 0

This quadratic in aa has discriminant 20252+4×62=4100625+248=41008732025^2 + 4 \times 62 = 4100625 + 248 = 4100873, which is not a perfect square, so aa is not integer.

Try b=2025b = 2025, e=1e = 1:

ae+bd=a1+2025d=61ae + bd = a \cdot 1 + 2025 \cdot d = 61     \implies a+2025d=61a + 2025d = 61     \implies a=612025da = 61 - 2025d

ac+b+d=0ac + b + d = 0     \implies a(a)+2025+d=0a(-a) + 2025 + d = 0     \implies a2+2025+d=0-a^2 + 2025 + d = 0     \implies d=a22025d = a^2 - 2025

So a22025=da^2 - 2025 = d

But a=612025da = 61 - 2025d, so d=(612025d)22025d = (61 - 2025d)^2 - 2025

This is a quadratic in dd with huge coefficients, and it is clear that dd will not be integer.

Similarly, for other small divisors, the equations become unsolvable in integers.

Therefore, P(X)P(X) cannot be factored as a product of a quadratic and a cubic with integer coefficients.

Thus, P(X)P(X) is irreducible over Z\mathbb{Z}, i.e., it cannot be written as the product of two non-constant polynomials with integer coefficients.

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.