Problem:
Find all ordered pairs such that and are integers and is a perfect square.
Solution
Solution:
It is obvious that and must be non-negative.
Suppose that . We can assume that is positive. We first work modulo . Since , it follows that
Since no square can be congruent to modulo , it follows that we have either (i) is odd and is even or (ii) is even and is odd.
Case (i): Let . Then
It cannot be the case that divides both and . But each of these is a power of . It follows that , and therefore
If , then , and we obtain the solution . So suppose that . Then . This is impossible, since the smallest positive value of such that is given by , and therefore all such that are even, contradicting the fact that is odd.
Case (ii): Let . Then
Thus each of and is a power of . Since cannot divide both of these, it follows that , and therefore
Look first at the case . Then , and we obtain the solution . So from now on we may assume that . Then . The smallest positive integer such that is given by . It follows that must be a multiple of . Let . Note that is odd, so in particular .
Let . Then , and therefore
It follows that for some positive , and that for some . But since
it follows that , which is impossible since .