## [Fermats Satz Über Zwei Quadrate](/de/node/62959) Definition 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 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 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 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 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 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 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 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 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.