Let us assume that is a rationnal number. Set two coprime integers such that .
Show that this statement is absurd.
Hints
1Hint 1
Open this only if you want a small nudge before looking at the solutions.
Solutions
1Reveal solutionsAre you sure? Give it a try first.
Squaring the equation gives and taking the -adic valuation leads to:
But is an integer and is not an even integer so this is absurd.
