Use a proof by contradiction to show that there is no rational number for which
Proof
Assume that is a root, where and are integers and is in lowest terms.
We see that
if is odd, then is even,
if is even, then is odd.
Substitute
Multiply by
If is odd, is even, then
is odd, is even, is even. Hence the sum is odd. But zero is an even number.
We have a contradiction in this case.
If is even, is odd, then
is even, is even, is odd. Hence the sum is odd. But zero is an even number.
We have a contradiction in this case.
Therefore our assumption leads to the contradiction.
Therefore there is no rational number for which
Comments