Browse · MathNet
PrintCroatia_2018
Croatia 2018 number theory
Problem
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.
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.
Techniques
Prime numbersFactorization techniques