Tout d'abord, il faut regarder quels sont les restes possibles de la division euclidienne d'un carré par 7.
Je m'explique :
Soit n un entier quelconque,
On a six cas :
nk [7] avec k=0..6.
On trouve que n2 ne peut être congru qu'à 0, 1, 2 ou 4 modulo 7.
Maintenant supposons que 7 divise a2+b2 mais qu'il ne divise ni a, ni b.
Ainsi, a2 et b2 ne sont pas divisibles par 7 et donc ils ne peuvent être congru qu'à 1,2 ou 4 modulo 7.
En regardant tous les cas, on s'aperçoit alors que a2+b2 ne peut être congru qu'à 1, 2, 3, 4, 5 ou 6 modulo 7 ce qui absurde. D'où le résultat.
Kaiser