Maths WorkshopMaths problems with full solutions
Exercise 1293Algebra › PolynomialsOlympiadAdded 5 Nov 2026

A monic polynomial with root √2 + √3 + √5

#algebraic numbers#minimal polynomial#rational root theorem#irrationality

Statement

  1. Find a monic polynomial with integer coefficients having 2+3\sqrt2+\sqrt3 as a root.
  2. Do the same for s=2+3+5s=\sqrt2+\sqrt3+\sqrt5, with a polynomial of degree 88.
  3. Prove that ss is irrational.
Hint

Isolate one square root and square, repeatedly. For part 3 use the rational root theorem: a rational root of a monic integer polynomial is an integer.

Show solutionHide solution

Solution

1. Let t=2+3t=\sqrt2+\sqrt3. Then t2=5+26t^2=5+2\sqrt6, so (t2−5)2=24(t^2-5)^2=24, i.e.
t4−10t2+1=0.t^4-10t^2+1=0.

2. Let x=2+3+5=t+5x=\sqrt2+\sqrt3+\sqrt5=t+\sqrt5, so t=x−5t=x-\sqrt5. Substituting:
(x−5)4−10(x−5)2+1=0.(x-\sqrt5)^4-10(x-\sqrt5)^2+1=0.
Expand: (x−5)4=x4−45x3+30x2−205x+25(x-\sqrt5)^4=x^4-4\sqrt5x^3+30x^2-20\sqrt5x+25 and −10(x−5)2=−10x2+205x−50-10(x-\sqrt5)^2=-10x^2+20\sqrt5x-50. The terms in xx cancel and
x4+20x2−24=45 x3.x^4+20x^2-24=4\sqrt5\,x^3.
Squaring: (x4+20x2−24)2=80x6(x^4+20x^2-24)^2=80x^6, that is
x8−40x6+352x4−960x2+576=0.x^8-40x^6+352x^4-960x^2+576=0.
So ss is a root of this monic integer polynomial of degree 88.

3. By the rational root theorem, a rational root of this monic polynomial is an integer. But 5.37<s<5.405.37<s<5.40: ss lies strictly between 55 and 66 and is not an integer. Hence ss is irrational. ■\blacksquare

Remark. The degree 88 is the best possible: the 88 numbers ±2±3±5\pm\sqrt2\pm\sqrt3\pm\sqrt5 are the roots of this polynomial.

Lesson. To find a polynomial killing a sum of square roots, eliminate the radicals one at a time.