Let be a prime number, and let be an integer. If is a perfect square, prove that can be represented as a sum of squares of exactly positive integers.
Solution
Let be a positive integer such that . Note that .
Since is prime, it follows that or . We treat these two cases separately:
i) Let , i.e. let for some integer .
Now we have:
Notice that implies , so and are both positive integers.
ii) Let , so that for some integer .
Analogously to the first case, we get .
It remains to show that is indeed a positive integer, i.e. that we have .
If we assume the contrary (), it follows that , i.e. .
This contradicts the given condition that .
We conclude that the assertion holds for any choice of and satisfying the conditions of the problem.
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.