La caractérisation selon laquelle un premier p s'écrit comme somme de deux carrés entiers exactement lorsque p = 2 ou p ≡ 1 (mod 4) ; étendue aux entiers : n est somme de deux carrés si et seulement si chaque premier congru à 3 (mod 4) apparaît avec exposant pair dans la factorisation première de n.

Principe

Le principe organisateur est la correspondance entre représentations par normes dans les entiers gaussiens et conditions de congruence sur les facteurs premiers : la factorisation dans Z[i] et la parité des exposants contrôlent la représentabilité en x^2 + y^2.

Démonstration

Exemple concret : le premier 5 vérifie 5 ≡ 1 (mod 4) et 5 = 1^2 + 2^2 ; en revanche le premier 3 (≡ 3 mod 4) ne se réécrit pas comme somme de deux carrés entiers.

Mauvaise application

Usage erroné plausible : supposer que p ≡ 1 (mod 4) assure une représentation unique à l'ordre et au signe près ; bien que les représentations soient contraintes, l'unicité ne suit pas sans conditions supplémentaires, et les composés nécessitent le test de parité des exposants.

Conséquence

L'application correcte classe les entiers exprimables comme somme de deux carrés, permet la construction explicite de représentations via la factorisation dans les entiers gaussiens et éclaire des problèmes en géométrie arithmétique et formes quadratiques.

Inversion

La réversion met l'accent sur les premiers p ≡ 3 (mod 4), qui ne peuvent pas s'écrire comme somme de deux carrés ; inverser la condition de congruence montre la dichotomie nette modulo 4.

Limite

Portée : les énoncés concernent des sommes d'entiers carrés ; ils excluent les décompositions en carrés rationnels ou algébriques sans conversion et requièrent la factorisation première dans Z pour le critère sur les entiers.

Tension sémantique

Tension avec des problèmes plus larges de sommes de puissances (par ex. problème de Waring) et avec les représentations par d'autres formes quadratiques ; le théorème des deux carrés est spécifique à la forme x^2 + y^2 et aux techniques d'entiers gaussiens.

Synthèse

Le théorème des deux carrés de Fermat relie une condition de congruence simple modulo 4 et la parité des exposants dans la factorisation première à une représentation par norme dans Z[i] : primes et entiers s'écrivent comme somme de deux carrés exactement lorsque leur factorisation satisfait les contraintes modulaires et de parité du théorème.