Find all quadruplets of integers such that is a prime number and for which
Solution
The equality in the statement involves many squares. The first thing to do is to study it modulo a number for which there are few quadratic residues. We therefore study the case , as the squares modulo 8 are 0, 1, and 4.
In particular, if is odd, the equation becomes , and this equation has no solutions. We deduce that , and it is now a matter of finding the integers , and such that .
Without loss of generality, we assume that , and are positive or zero. Since and play symmetric roles, we assume even that . We then observe that , so that . Since , we deduce in addition that 17 divides . This means that , and our equation becomes , which means that and .
In conclusion, the only possible solutions are
Conversely, and by virtue of the equality , these quadruplets indeed work.
Comment from the graders: Many students approached the problem but few managed to make real progress. The exercise consisted of two parts: looking modulo 8 to show that , then finding the solutions. It is a pity that many students attempted simplifications without ultimately looking for the case , which was quite easy to handle and could have earned points. This case is also more relevant than cases like or , since there is little chance of achieving such an equality.
Regarding the modular studies of the first equation, looking modulo 8 is quite natural in the presence of squares. When there are multiple squares present, one should study modulo 4, 3, and then 8 first, as these are three moduli very well suited for these equations. To succeed, one needs to look at what the squares modulo 8 are, which are 0, 1, and 4, and deduce that cannot be odd.
Let's also recall that it is pointless to look at the equation modulo a number that has two different prime factors, such as or . For , the equation provides as much information as the equation taken modulo 2 and then modulo 3, and the calculations are simpler in this case.