The proof gets a bit dodgy towards the end... but you get the idea (hopefully
.)
P(x) = x^3 - x +3
Let p+ q.sqrt(m) be a root of P(x)
Where p and q are non-zero rational numbers
and m > 0 (so that sqrt(m) is real)
0 = P(p + q.sqrt(m))
0 = (p + q.sqrt(m))^3 - (p + q.sqrt(m)) + 3
0 = p^3 + 3(p^2)(q.sqrt(m)) + 3(p)(q^2)(m.sqrt(m)) + (q^3)(m.sqrt(m)) - p - q.sqrt(m) + 3
Since 0 is a rational number:
0 = 3.(p^2).q.sqrt(m) + (q^3).m.sqrt(m) - q.sqrt(m)
0 = (q.sqrt(m))(3(p^2) + (q^2)m -1)
0 = 3(p^2) + (q^2)m - 1 Noting q =/ 0 , m =/ 0
p = sqrt((1 - (q^2)m) / 3)
Since p is rational:
1 - (q^2)m must be divisible by three and greater than 0
But m > o
.: 0 < 1 - (q^2)m < 1
But none of the values in this range is divisble by three.
.: p is irrational.
.: p + q.sqrt(m) is not a soloution to P(x)