Problem:
Prove that if , and are integers such that the number
is a perfect square, then .
Solution
Solution:
Set
where is an integer, , and . Then we have
Since any square is congruent to or modulo , it follows from (1) that the integers , and are even. Set , and . Then (1) gives
and we conclude as above that , , and are even integers. Repeating the same argument we see that divides , and for every positive integer . Therefore , i.e. .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.