Die Charakterisierung, dass eine Primzahl p als Summe zweier ganzer Quadrate darstellbar ist genau dann, wenn p = 2 oder p ≡ 1 (mod 4); erweitert auf ganze Zahlen: eine ganze Zahl n ist Summe zweier Quadrate genau dann, wenn jeder Primfaktor ≡ 3 (mod 4) mit geradem Exponenten vorkommt.

Prinzip

Das ordnende Prinzip ist die Entsprechung zwischen Darstellungen als Normen in den Gaußschen Zahlen und Kongruenzbedingungen der Primfaktoren: Faktorisierung in Z[i] und Parität der Exponenten steuern die Darstellbarkeit als x^2 + y^2.

Demonstration

Konkretes Beispiel: Die Primzahl 5 erfüllt 5 ≡ 1 (mod 4) und 5 = 1^2 + 2^2; dagegen ist die Primzahl 3 (≡ 3 mod 4) nicht als Summe zweier ganzer Quadrate darstellbar.

Fehlanwendung

Eine plausible Fehlanwendung ist anzunehmen, p ≡ 1 (mod 4) garantiere eine eindeutige Darstellung bis auf Ordnung und Vorzeichen; obwohl Darstellungen eingeschränkt sind, folgt Eindeutigkeit nicht ohne weitere Bedingungen, und für zusammengesetzte Zahlen ist der Paritätstest der Exponenten erforderlich.

Konsequenz

Korrekte Anwendung klassifiziert Summen zweier Quadrate unter ganzen Zahlen, ermöglicht explizite Konstruktion von Darstellungen mittels Gaußscher Faktorisierung und ist nützlich in zahlentheoretischen sowie quadratischen Formen-Fragen.

Umkehrung

Die Umkehrung betont Primzahlen p ≡ 3 (mod 4), die nicht als Summe zweier Quadrate darstellbar sind; das Umkehren der Kongruenzbedingung zeigt die klare Dichotomie modulo 4.

Abgrenzung

Geltungsbereich: Aussagen betreffen Summen ganzer Quadrate; sie schließen rationale oder algebraische Quadratzersetzungen ohne Umwandlung aus und erfordern die Primfaktorzerlegung in Z für das Kriterium bei ganzen Zahlen.

Semantische Spannung

Spannung besteht gegenüber allgemeineren Summen-von-Potenzen-Problemen (z. B. Waring) und gegenüber Darstellungen durch andere quadratische Formen; der Zwei-Quadrate-Satz ist spezifisch für x^2 + y^2 und gaußsche Methoden.

Synthese

Fermats Satz der zwei Quadrate verknüpft eine einfache Kongruenzbedingung modulo 4 und die Parität der Primtexponenten in der Primfaktorzerlegung mit der Normdarstellung in Z[i]: Genau dann sind Primzahlen und ganze Zahlen als Summe zweier Quadrate darstellbar, wenn ihre Faktorisierung die modularen und paritätischen Bedingungen erfüllt.