For each rational number consider the statement: If is a real number such that and are rational numbers, then is rational as well.
a) Prove the statement for and for .
b) Let be different odd primes such that . Show the statement is false for .
For each rational number consider the statement: If is a real number such that and are rational numbers, then is rational as well.
a) Prove the statement for and for .
b) Let be different odd primes such that . Show the statement is false for .
a) Let and be rational. Then
consequently
if (which is ), then
is rational.
We conclude that the given statement holds iff the equation
has no irrational roots. For the sake of completeness, note that if (1) has a rational root then and are rational as well:
If the determinant of (1) is less or equal 0, then (1) has no real solutions or a solution , which is rational. Since or the statement under consideration is true.
b) According to a) it suffices to show that and is irrational. We have
But thus and , that is is not a perfect square, that is is irrational.