Solution:
Obviously, p13=2, because sum of squares of 12 prime numbers is greater or equal to 12×22=48. Thus, p13 is odd number and p13≥7.
We have that n2≡1(mod8), when n is odd. Let k be the number of prime numbers equal to 2. Looking at equation modulo 8 we get:
4k+12−k≡1(mod8)
So, k≡7(mod8) and because k≤12 we get k=7. Therefore, p1=p2=…=p7=2. Furthermore, we are looking for solutions of equations:
28+p82+p92+p102+p112+p122=p132
where p8,p9,…,p13 are odd prime numbers and one of them is equal to p9+4.
Now, we know that when n is not divisible by 3, n2≡1(mod3). Let s be number of prime numbers equal to 3. Looking at equation modulo 3 we get:
28+5−s≡1(mod3)
Thus, s≡2(mod3) and because s≤5, s is either 2 or 5. We will consider both cases.
i. When s=2, we get p8=p9=3. Thus, we are looking for prime numbers p10≤p11≤p12≤p13 greater than 3 and at least one of them is 7 (certainly p13=7), that satisfy
46+p102+p112+p122=p132
We know that n2≡1(mod5) or n2≡4(mod5) when n is not divisible by 5. It is not possible that p10=p11=5, because in that case p12 must be equal to 7 and the left-hand side would be divisible by 5, which contradicts the fact that p13≥7. So, we proved that p10=5 or p10=7.
If p10=5 then p11=7 because p11 is the least of remaining prime numbers. Thus, we are looking for solutions of equation
120=p132−p122
in prime numbers. Now, from
23⋅3⋅5=(p13−p12)(p13+p12)
that desired solutions are p12=7,p13=13; p12=13,p13=17; p12=29,p13=31.
If p10=7 we are solving equation:
95+p112+p122=p132
in prime numbers greater than 5. But left side can give residues 0 or 3 modulo 5, while right side can give only 1 or 4 modulo 5. So, in this case we do not have solution.
ii. When s=5 we get equation:
28+45=73=p132
but 73 is not square or integer and we do not have solution in this case.
Finally, only solutions are:
{(2,2,2,2,2,2,2,3,3,5,7,7,13),(2,2,2,2,2,2,2,3,3,5,7,13,17),(2,2,2,2,2,2,2,3,3,5,7,29,31)}.