Développement : Théorème des deux carrés de Fermat (par les entiers de Gauss)

Détails/Enoncé :

Un entier est somme de deux carrés si et seulement si la $p$-valuation de chacun des facteurs premiers $p$ congru à $3$ modulo $4$ est paire.


Cela revient à donner une condition nécessaire sur l'existence d'une solution à l'équation diophantienne

$$ n = x^2+ y^2$$

Versions :