Maths Olympiad Prep

Track / Stage 5 / 295 of 400 #895 of 1964

Problem 895

AIME late
Number theory Difficulty 5.7 Prove it

Do there exist three different prime numbers such that the sum of any two of them is a square?

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

The answer is no. We work modulo 4 (i.e. we look at remainders on division by 4). Note that any square is 0\equiv 0 or 1mod41 \bmod 4. Indeed, if n=2kn=2 k is even, n2=4k20n^{2}=4 k^{2} \equiv 0, while if n=2k+1n=2 k+1 is odd, n2=4k2+4k+11n^{2}=4 k^{2}+4 k+1 \equiv 1.

Now suppose some three such primes exist. If they are all odd, then each of them is 1\equiv 1 or 3(mod3(\bmod 4); some two must then have the same value modulo 4 (both 1 or both 3 ), and then their sum is 2\equiv 2 (mod4)(\bmod 4), so it cannot be a square.

Thus, the primes are not all odd, so one of them is 2 . Since they are all different, the other two are odd. If these two are both 3\equiv 3, then again their sum is 2\equiv 2 and cannot be a square. So one of them is 1\equiv 1, but then this prime plus 2 is congruent to 3 , so that sum cannot be a square. So, once again, we can find two of the three primes whose sum is not a square.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.