Website durchsuchen

Zwei-Quadrate-Satz

Der Zwei-Quadrate-Satz von Fermat ist ein mathematischer Satz der Zahlentheorie, er lautet:

Eine ungerade Primzahl p kann genau dann als
{\displaystyle p=x^{2}+y^{2}}
mit ganzzahligen x und y ausgedrückt werden, wenn
{\displaystyle p\equiv 1{\pmod {4}}.}

Primzahlen, auf die das zutrifft, nennt man auch pythagoreische Primzahlen.

Beispielsweise sind die Primzahlen 5, 13, 17, 29, 37 und 41 kongruent zu 1 modulo 4 und sie können wie folgt als Summe zweier Quadrate geschrieben werden:

{\displaystyle 5=1^{2}+2^{2},\quad 13=2^{2}+3^{2},\quad 17=1^{2}+4^{2},\quad 29=2^{2}+5^{2},\quad 37=1^{2}+6^{2},\quad 41=4^{2}+5^{2}.}

Andererseits sind die Primzahlen 3, 7, 11, 19, 23 und 31 kongruent zu 3 modulo 4 und keine kann als Summe zweier Quadrate geschrieben werden. Dies ist der einfachere Teil des Satzes, er folgt sofort aus der Beobachtung, dass ein Quadrat modulo 4 nur zu 0 oder 1 kongruent sein kann.

Historische Bemerkungen

Als Erster hat Albert Girard diese Beobachtung gemacht, er hat sogar alle positiven, ganzen Zahlen, nicht nur Primzahlen, beschrieben, die als Summe zweier Quadrate ausgedrückt werden können, dies wurde 1625 veröffentlicht. Die Aussage, dass jede Primzahl der Form {\displaystyle 4n+1} die Summe zweier Quadrate ist, heißt manchmal Satz von Girard. Diesen Teil der Aussage sowie die Bestimmung der Anzahl der verschiedenen Möglichkeiten, eine gegebene Primzahlpotenz als Summe zweier Quadrate zu schreiben, hat Fermat in einem Brief an Marin Mersenne ausgearbeitet, dieser datiert vom 25. Dezember 1640. Daher wird diese Version des Satzes manchmal auch Fermats Weihnachtstheorem genannt.

Beweise des Zwei-Quadrate-Satzes

Üblicherweise hat Fermat keine Beweise seiner Behauptungen veröffentlicht, auch für den Zwei-Quadrate-Satz hat er keinen Beweis geliefert. Ein erster Beweis wurde mit viel Aufwand mittels der Methode des unendlichen Abstiegs von Euler gefunden. Er hatte ihn zunächst in zwei Briefen vom 6. Mai 1747 und 12. April 1749 an Goldbach angekündigt, der vollständige Beweis wurde dann zwischen 1752 und 1755 in zwei Artikeln veröffentlicht. Lagrange erbrachte 1775 einen Beweis mittels seiner Untersuchungen über quadratische Formen. Dieser wurde von Gauß in seinen Disquisitiones Arithmeticae vereinfacht. Dedekind lieferte mindestens zwei Beweise, die auf der Arithmetik gaußscher Zahlen fußen. Weiter gibt es einen eleganten Beweis, der den minkowskischen Gitterpunktsatz verwendet. Zagier hat einen sehr kurzen Beweis gefunden, eine Vereinfachung eines früheren kurzen Beweises von Heath-Brown, der wiederum von auf Lagrange zurückgehenden Ideen inspiriert war. 2016 veröffentlichte D. Christopher einen kombinatorisch-zahlentheoretischen Beweis.

Verwandte Resultate

Vierzehn Jahre später hatte Fermat zwei verwandte Resultate angekündigt. In einem Brief vom 25. September 1654 an Blaise Pascal behauptete er über eine ungerade Primzahl p:

Weiter schrieb er:

Enden zwei Primzahlen auf die Ziffern 3 oder 7 und sind beide um 3 größer als ein Vielfaches von 4, so ist ihr Produkt eine Summe aus einem Quadrat und dem Fünffachen eines Quadrates.

Mit anderen Worten, wenn p und q Primzahlen der Form {\displaystyle 20k+3} oder {\displaystyle 20k+7} sind, dann ist pq von der Form {\displaystyle x^{2}+5y^{2}}. Euler hat dies später zu der Vermutung ausgeweitet, dass

Beide Behauptungen von Fermat sowie die von Euler aufgestellten Vermutungen wurden schließlich von Lagrange bewiesen.

Gemäß der Brahmagupta–Fibonacci-Identität ist das Produkt zweier ganzer Zahlen, die sich beide als Summe zweier Quadrate darstellen lassen, wieder eine Summe zweier Quadrate. Wendet man nun den Zwei-Quadrate-Satz von Fermat auf die Primfaktorzerlegung einer positiven Zahl n an, so erkennt man, dass n als Summe zweier Quadrate darstellbar ist, falls jeder Primfaktor, der kongruent zu 3 modulo 4 ist, mit einem geradzahligen Exponenten vorkommt. Hiervon gilt auch die Umkehrung.

Siehe auch

Trenner
Basierend auf einem Artikel in: Extern Wikipedia.de
Seitenende
Seite zurück
© biancahoegel.de
Datum der letzten Änderung: Jena, den: 09.11. 2022