Zwei-Quadrate-Satz

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

Eine ungerade Primzahl ${\displaystyle p}$ kann genau dann in der Form

${\displaystyle p=x^{2}+y^{2}}$

mit ganzzahligen ${\displaystyle x}$ und ${\displaystyle y}$ dargestellt werden, wenn

${\displaystyle p\equiv 1{\pmod {4}}.}$

Primzahlen, die letztere Bedingung erfüllen, nennt man auch pythagoreische Primzahlen.

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

${\displaystyle {\begin{aligned}5&=1^{2}+2^{2}\\13&=2^{2}+3^{2}\\17&=1^{2}+4^{2}\\29&=2^{2}+5^{2}\\37&=1^{2}+6^{2}\\41&=4^{2}+5^{2}\end{aligned}}}$

Andererseits sind die Primzahlen 3, 7, 11, 19, 23 und 31 kongruent zu 3 modulo 4 und können nicht als Summe zweier Quadrate geschrieben werden.

Als Arbeitsdefinition wird im Folgenden darstellbare Zahl kurz für „Zahl, die eine Darstellung als Summe zweier Quadratzahlen besitzt“ gebraucht. Dies entspricht auch dem Sprachgebrauch des im Buch der Beweise vorgestellten Beweises, den wir im Folgenden skizzieren wollen:^[1]

Der einfachere Teil des Satzes (dass jede darstellbare ungerade Primzahl pythagoreisch ist) folgt ganz leicht aus der Tatsache, dass ein Quadrat modulo 4 nur zu 0 oder zu 1 kongruent sein kann. Daher ging es immer nur darum, zu zeigen, dass auch umgekehrt jede pythagoreische Zahl darstellbar ist.

Historische Bemerkungen

Als Erster hat Albert Girard diese Beobachtung gemacht, er hat sogar alle (nicht nur die primen) positiven, ganzen Zahlen beschrieben, die als Summe zweier Quadrate ausgedrückt werden können, dies wurde 1625 veröffentlicht.^[2][3] Die Aussage, dass jede Primzahl der Form ${\displaystyle 4n+1}$ die Summe zweier Quadrate ist, heißt manchmal Satz von Girard.^[4] 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.^[5][6] 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. 2016 veröffentlichte D. Christopher einen kombinatorisch-zahlentheoretischen Beweis.^[7]

Eulers Beweis mit der Methode des unendlichen Abstiegs

Der Beweis von Euler besteht aus fünf Schritten. Die ersten vier Schritte sind die Sätze 1 bis 4 aus dem ersten der oben erwähnten Artikel, der fünfte Schritt stammt aus dem zweiten Artikel.

Im Folgenden kann auch die Null Summand der „Summe zweier Quadrate“ sein. Somit können auch Quadratzahlen als Summen zweier Quadrate aufgefasst werden.

1. Das Produkt zweier Zahlen, die jeweils als Summen zweier Quadrate darstellbar sind, lässt sich selbst als Summe zweier Quadrate schreiben.

Dies ist eine wohlbekannte Eigenschaft, die auf der Identität

${\displaystyle (a^{2}+b^{2})(p^{2}+q^{2})=(ap+bq)^{2}+(aq-bp)^{2}}$

beruht, die auf Diophant zurückgeht.

2. Wenn die Summe zweier Quadrate durch eine Primzahl teilbar ist, die sich ebenfalls als Summe zweier Quadrate schreiben lässt, dann ist auch der Quotient die Summe zweier Quadrate. (Satz 1 in Eulers erstem Artikel)

Zum Beweis wird angenommen, dass ${\displaystyle a^{2}+b^{2}}$ durch ${\displaystyle p^{2}+q^{2}}$ teilbar ist, wobei der letzte Term eine Primzahl ist. Dann teilt ${\displaystyle p^{2}+q^{2}}$ auch

${\displaystyle (pb-aq)(pb+aq)=p^{2}b^{2}-a^{2}q^{2}=p^{2}(a^{2}+b^{2})-a^{2}(p^{2}+q^{2}).}$

Da ${\displaystyle p^{2}+q^{2}}$ eine Primzahl ist, muss es einen der beiden Faktoren teilen. Zunächst wird angenommen, dass ${\displaystyle p^{2}+q^{2}}$ Teiler von ${\displaystyle pb-aq}$ ist. Wegen Diophants Identität

${\displaystyle (a^{2}+b^{2})(p^{2}+q^{2})=(ap+bq)^{2}+(aq-bp)^{2}}$

folgt daraus, dass ${\displaystyle p^{2}+q^{2}}$ Teiler von ${\displaystyle (ap+bq)^{2}}$ ist.

Daher kann die Gleichung durch das Quadrat von ${\displaystyle p^{2}+q^{2}}$ dividiert werden, ohne den Bereich der ganzen Zahlen zu verlassen. Es ergibt sich

${\displaystyle {\frac {a^{2}+b^{2}}{p^{2}+q^{2}}}=\left({\frac {ap+bq}{p^{2}+q^{2}}}\right)^{2}+\left({\frac {aq-bp}{p^{2}+q^{2}}}\right)^{2}.}$

Das bedeutet, dass der Quotient, wie behauptet, die Summe zweier Quadrate ist.

Entsprechendes gilt, wenn ${\displaystyle p^{2}+q^{2}}$ Teiler von ${\displaystyle pb+aq}$ ist. Für die Begründung verwendet man eine Variante von Diophants Identität, nämlich

${\displaystyle (a^{2}+b^{2})(q^{2}+p^{2})=(aq+bp)^{2}+(ap-bq)^{2}.}$

3. Wenn die Summe zweier Quadrate durch eine Zahl teilbar ist, die sich nicht als Summe zweier Quadrate schreiben lässt, dann hat der Quotient einen Teiler, der nicht als Summe zweier Quadrate darstellbar ist. (Satz 2 aus Eulers zweitem Artikel)

${\displaystyle q}$ sei ein Teiler von ${\displaystyle a^{2}+b^{2}}$, der sich nicht als Summe zweier Quadrate ausdrücken lässt. Der Quotient wird in (möglicherweise mehrfach auftretende) Primfaktoren zerlegt, also in der Form ${\displaystyle p_{1}p_{2}\cdots p_{n}}$ geschrieben, sodass ${\displaystyle a^{2}+b^{2}=qp_{1}p_{2}\cdots p_{n}}$ gilt. Wenn alle Faktoren ${\displaystyle p_{i}}$ als Summen zweier Quadrate darstellbar sind, dann kann man ${\displaystyle a^{2}+b^{2}}$ der Reihe nach durch ${\displaystyle p_{1}}$, ${\displaystyle p_{2}}$ usw. dividieren; aus Schritt (2.) schließt man, dass die kleiner werdenden Quotienten jeweils Summen zweier Quadrate sind. Letztendlich wäre ${\displaystyle q}$ selbst die Summe zweier Quadrate, was in Widerspruch zur Voraussetzung steht. Folglich ist wenigstens eine der Primzahlen ${\displaystyle p_{i}}$ nicht die Summe zweier Quadrate.

4. Sind ${\displaystyle a}$ und ${\displaystyle b}$ teilerfremde natürliche Zahlen, dann ist jeder Faktor von ${\displaystyle a^{2}+b^{2}}$ die Summe zweier Quadrate. (Dieser Schritt verwendet Schritt (3.), um einen ‚unendlichen Abstieg‘ zu erzeugen, und entspricht dem Satz 4 in Eulers erstem Artikel. Der Beweis, der hier skizziert wird, enthält auch den Beweis von Eulers Satz 3.)

Es seien ${\displaystyle a,b}$ teilerfremde natürliche Zahlen. Ohne Beschränkung der Allgemeinheit sei ${\displaystyle a^{2}+b^{2}}$ nicht selbst prim, denn sonst gäbe es nichts zu beweisen. Es sei daher ${\displaystyle q}$ ein echter Teiler von ${\displaystyle a^{2}+b^{2}}$, nicht notwendig eine Primzahl: Wir wollen zeigen, dass ${\displaystyle q}$ die Summe zweier Quadrate ist. Dabei kann ${\displaystyle q>2}$ vorausgesetzt werden, da der Fall ${\displaystyle q=2=1^{2}+1^{2}}$ offensichtlich ist.

${\displaystyle m}$ und ${\displaystyle n}$ seien die nicht-negativen ganzen Zahlen mit der Eigenschaft, dass ${\displaystyle mq}$ bzw. ${\displaystyle nq}$ (dem Betrag nach) so nahe wie möglich bei ${\displaystyle a}$ bzw. ${\displaystyle b}$ liegt. Man beachte, dass die Differenzen ${\displaystyle c=a-mq}$ und ${\displaystyle d=b-nq}$ ganze Zahlen sind, deren absoute Beträge kleiner als ${\displaystyle q/2}$ sind.

Durch Ausmultiplizieren erhalten wir

${\displaystyle a^{2}+b^{2}=m^{2}q^{2}+2mqc+c^{2}+n^{2}q^{2}+2nqd+d^{2}=Aq+(c^{2}+d^{2}),}$

wobei ${\displaystyle A}$ eine eindeutig bestimmte nicht-negative ganze Zahl ist. Da ${\displaystyle q}$ Teiler von ${\displaystyle a^{2}+b^{2}}$ ist, muss auch ${\displaystyle c^{2}+d^{2}}$ durch ${\displaystyle q}$ teilbar sein: ${\displaystyle c^{2}+d^{2}=qr}$ mit einer ganzen Zahl ${\displaystyle r}$. Es sei nun ${\displaystyle g}$ der größte gemeinsame Teiler von ${\displaystyle c}$ und ${\displaystyle d}$, der wegen der Teilerfremdheit von ${\displaystyle a}$ und ${\displaystyle b}$ teilerfremd zu ${\displaystyle q}$ ist. Folglich ist ${\displaystyle g^{2}}$ Teiler von ${\displaystyle r}$. Setzt man ${\displaystyle e=c/g}$, ${\displaystyle f=d/g}$ und ${\displaystyle s=r/g^{2}}$, erhält man ${\displaystyle e^{2}+f^{2}=qs}$. ${\displaystyle e}$ und ${\displaystyle f}$ sind teilerfremd und es gilt ${\displaystyle s<q/2}$ wegen

${\displaystyle qs=e^{2}+f^{2}\leq c^{2}+d^{2}<\left({\frac {q}{2}}\right)^{2}+\left({\frac {q}{2}}\right)^{2}=q^{2}/2.}$

Nun erfolgt schließlich der Abstiegsschritt: Wenn ${\displaystyle q}$ nicht die Summe zweier Quadrate ist, dann muss es gemäß (3.) einen Faktor von ${\displaystyle s}$, etwa ${\displaystyle q_{1}}$, geben, der nicht Summe zweier Quadrate ist. Es gilt jedoch ${\displaystyle q_{1}\leq s<q/2<q}$. Wiederholt man diese Schritte (beginnend mit ${\displaystyle e,f;q_{1}}$ anstelle von ${\displaystyle a,b;q}$) immer wieder, so findet man eine streng monoton abnehmende unendliche Folge ${\displaystyle q,q_{1},q_{2},\ldots }$ von natürlichen Zahlen, die jeweils nicht als Summe zweier Quadrate darstellbar sind. Weil ein solcher unendlicher Abstieg unmöglich ist, muss ${\displaystyle q}$ die Summe zweier Quadrate sein, wie behauptet.

5. Jede Primzahl der Form ${\displaystyle 4n+1}$ ist die Summe zweier Quadrate. (Hauptresultat von Eulers zweitem Artikel)

Wenn ${\displaystyle p=4n+1}$ gilt, dann ist nach dem kleinen fermatschen Satz jede der Zahlen ${\displaystyle 1,2^{4n},3^{4n},\dots ,(4n)^{4n}}$ kongruent zu 1 modulo ${\displaystyle p}$. Die Differenzen ${\displaystyle 2^{4n}-1,3^{4n}-2^{4n},\dots ,(4n)^{4n}-(4n-1)^{4n}}$ sind daher alle durch ${\displaystyle p}$ teilbar. Jede dieser Differenzen kann faktorisiert werden als

${\displaystyle a^{4n}-b^{4n}=\left(a^{2n}+b^{2n}\right)\left(a^{2n}-b^{2n}\right).}$

Als Primzahl muss ${\displaystyle p}$ einen der beiden Faktoren teilen. Wenn ${\displaystyle p}$ in jedem der ${\displaystyle 4n-1}$ Fälle den ersten Faktor teilt, kann man nach dem letzten Schritt schließen, dass ${\displaystyle p}$ selbst die Summe zweier Quadrate ist; ${\displaystyle a}$ und ${\displaystyle b}$ unterscheiden sich nämlich um 1 und sind daher teilerfremd. Es genügt also zu zeigen, dass ${\displaystyle p}$ nicht immer den zweiten Faktor teilen kann.

Angenommen, ${\displaystyle p}$ teilt alle ${\displaystyle 4n-1}$ Differenzen ${\displaystyle 2^{2n}-1,3^{2n}-2^{2n},\dots ,(4n)^{2n}-(4n-1)^{2n}}$. Dann teilt ${\displaystyle p}$ auch alle ${\displaystyle 4n-2}$ Differenzen der ursprünglichen Differenzen, alle ${\displaystyle 4n-3}$ Differenzen von deren Differenzen und so weiter. Da die ${\displaystyle k}$-ten Differenzen der Folge ${\displaystyle 1^{k},2^{k},3^{k},\dots }$ alle gleich ${\displaystyle k!}$ sind, wären die ${\displaystyle 2n}$-ten Differenzen alle konstant und gleich ${\displaystyle (2n)!}$. Andererseits ist ${\displaystyle (2n)!}$ sicher nicht durch ${\displaystyle p}$ teilbar. ${\displaystyle p}$ kann also nicht alle zweiten Faktoren teilen. Durch diesen Widerspruch ist bewiesen, dass ${\displaystyle p}$ tatsächlich die Summe zweier Quadrate ist.

Beweis mit dem Gitterpunktsatz von Minkowski

Ist ${\displaystyle p}$ eine Primzahl, die kongruent zu 1 modulo 4 ist, dann ist ${\displaystyle -1}$ nach dem eulerschen Kriterium ein quadratischer Rest modulo ${\displaystyle p}$. Daher existiert eine ganze Zahl ${\displaystyle m}$, sodass ${\displaystyle p}$ Teiler von ${\displaystyle m^{2}+1}$ ist. Es seien nun ${\displaystyle \mathbf {e_{1}} }$, ${\displaystyle \mathbf {e_{2}} }$ die Elemente der Standardbasis des Vektorraums ${\displaystyle \mathbb {R} ^{2}}$, außerdem ${\displaystyle \mathbf {u} =\mathbf {e_{1}} +m\mathbf {e_{2}} }$ und ${\displaystyle \mathbf {v} =0\mathbf {e_{1}} +p\mathbf {e_{2}} }$. Man betrachtet das Gitter ${\displaystyle S=\{a\mathbf {u} +b\mathbf {v} \mid a,b\in \mathbb {Z} \}}$. Wenn ${\displaystyle \mathbf {w} =a\mathbf {u} +b\mathbf {v} =a\mathbf {e_{1}} +(am+bp)\mathbf {e_{2}} }$ Element von ${\displaystyle S}$ ist, gilt ${\displaystyle \|\mathbf {w} \|^{2}=a^{2}+(am+bp)^{2}\equiv a^{2}(1+m^{2})\equiv 0{\pmod {p}}}$. Daher ist ${\displaystyle p}$ für jedes ${\displaystyle \mathbf {w} \in S}$ ein Teiler von ${\displaystyle \|\mathbf {w} \|^{2}}$.

Der Flächeninhalt der Grundmasche (Fundamentalmasche) des Gitters ist ${\displaystyle p}$. Der Flächeninhalt der offenen Kreisscheibe ${\displaystyle D}$ mit dem Mittelpunkt im Ursprung und dem Radius ${\displaystyle {\sqrt {2p}}}$ beträgt ${\displaystyle 2\pi p>4p}$. Außerdem ist ${\displaystyle D}$ konvex und symmetrisch bezüglich des Ursprungs. Daher existiert nach dem Gitterpunktsatz von Minkowski ein vom Nullvektor verschiedener Vektor ${\displaystyle \mathbf {w} \in S}$ mit ${\displaystyle \mathbf {w} \in D}$. Weil ${\displaystyle \|\mathbf {w} \|^{2}<2p}$ gilt und ${\displaystyle p}$ Teiler von ${\displaystyle \|\mathbf {w} \|^{2}}$ ist, muss ${\displaystyle p=\|\mathbf {w} \|^{2}}$ gelten. Folglich ist ${\displaystyle p}$ die Summe zweier Quadrate, nämlich der Quadrate der Koordinaten von ${\displaystyle \mathbf {w} }$.

Don Zagiers Beweis

Berühmt geworden ist ein Beweis von Don Zagier, den er selbst als „Einzeiler“ bezeichnete (one-sentence proof). Dies ist eine Vereinfachung eines früheren kurzen Beweises von Heath-Brown, der wiederum von auf Lagrange zurückgehenden Ideen inspiriert war.

Der Beweis lautet folgendermaßen: Für eine Primzahl ${\displaystyle p=4k+1}$ hat die auf der endlichen Menge ${\displaystyle S=\{(x,y,z)\in \mathbb {N} ^{3}:x^{2}+4yz=p\}}$ definierte Involution, gegeben durch

${\displaystyle (x,y,z)\mapsto {\begin{cases}(x+2z,~z,~y-x-z),\quad {\textrm {wenn}}\,\,\,x<y-z\\(2y-x,~y,~x-y+z),\quad {\textrm {wenn}}\,\,\,y-z<x<2y\\(x-2y,~x-y+z,~y),\quad {\textrm {wenn}}\,\,\,x>2y\end{cases}}}$

einen Fixpunkt. Daher ist die Mächtigkeit ${\displaystyle \vert S\vert }$ ungerade. Aus dieser Tatsache kann man folgern, dass auch die Involution ${\displaystyle (x,y,z)\mapsto (x,z,y)}$ auf ${\displaystyle S}$ einen Fixpunkt besitzt. Weil für diesen Fixpunkt ${\displaystyle y=z}$ gelten muss, folgt ${\displaystyle x^{2}+4y^{2}=p,}$ d. h., ${\displaystyle p}$ lässt sich als Summe zweier Quadratzahlen schreiben.

Zagier gab im selben Artikel, in dem er den Beweis vorstellte, zu, dass dieser one-sentence proof mehrere Annahmen trifft, die man mit mehr als einem Satz erklären müsse – wie, dass die Menge ${\displaystyle S}$ endlich ist, dass die erste Abbildung eine wohldefinierte Involution mit eindeutig bestimmtem Fixpunkt ist und wie genau daraus der Zwei-Quadrate-Satz folgt.^[8]

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 ${\displaystyle p}$:

• ${\displaystyle p}$ ist genau dann von der Form ${\displaystyle x^{2}+2y^{2}}$, wenn ${\displaystyle p\equiv 1{\mbox{ oder }}p\equiv 3{\pmod {8}}}$,
• ${\displaystyle p}$ ist genau dann von der Form ${\displaystyle x^{2}+3y^{2}}$, wenn ${\displaystyle p\equiv 1{\pmod {3}}}$.

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 ${\displaystyle p}$ und ${\displaystyle q}$ Primzahlen der Form ${\displaystyle 20k+3}$ oder ${\displaystyle 20k+7}$ sind, dann ist ${\displaystyle pq}$ von der Form ${\displaystyle x^{2}+5y^{2}}$. Euler hat dies später zu der Vermutung ausgeweitet, dass gilt:

• ${\displaystyle p}$ ist genau dann von der Form ${\displaystyle x^{2}+5y^{2}}$, wenn ${\displaystyle p\equiv 1{\mbox{ oder }}p\equiv 9{\pmod {20}}}$,
• ${\displaystyle 2p}$ ist genau dann von der Form ${\displaystyle x^{2}+5y^{2}}$, wenn ${\displaystyle p\equiv 3{\mbox{ oder }}p\equiv 7{\pmod {20}}}$.

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

Algorithmische Lösung

Die gesuchten Zahlen ${\displaystyle x,y}$, mit denen ${\displaystyle p=x^{2}+y^{2}}$ gilt, lassen sich algorithmisch finden. Ein naheliegender Algorithmus ergibt sich mithilfe des Lemmas von Thue und lautet folgendermaßen: Für ein natürliches ${\displaystyle x}$ mit ${\displaystyle 1\leq x<{\sqrt {p}}}$ überprüfe man, ob ${\displaystyle {\sqrt {p-x^{2}}}}$ eine ganze Zahl ist. Falls dies so ist, so hat man das ${\displaystyle x}$ gefunden und das ${\displaystyle y}$ ergibt sich von selbst. Jedoch wächst mit größer werdendem ${\displaystyle p}$ der Rechenaufwand exponentiell, sodass sich dieser Weg nur für kleinere Primzahlen eignet.

Der Mathematiker Stan Wagon gab einen Algorithmus an, der unter Benutzung des euklidischen Algorithmus das Problem in Polynomialzeit löst.^[9]

Darstellung natürlicher Zahlen als Summe zweier Quadratzahlen

Auf den Zwei-Quadrate-Satz aufbauend kann man sich fragen, welche natürlichen Zahlen (nicht nur Primzahlen) als Summe zweier Quadratzahlen darstellbar sind. Hieraus ergibt sich folgender Satz:

Genau dann ist eine natürliche Zahl darstellbar als Summe zweier Quadratzahlen, wenn in der Primfaktorzerlegung jeder Primfaktor der Form ${\displaystyle 4m+3}$ mit geradem Exponenten auftritt.

Beweisskizze

Für die eine Richtung benötigt man folgende Tatsachen:

• Die Zahlen ${\displaystyle 1}$ und ${\displaystyle 2}$ sind darstellbar, denn ${\displaystyle 1=1^{2}+0^{2}}$ und ${\displaystyle 2=1^{2}+1^{2}}$.
• Nach dem Zwei-Quadrate-Satz sind ungerade Primzahlen nur darstellbar, wenn sie von der Form ${\displaystyle 4m+1}$ sind.
• Nach der Brahmagupta–Fibonacci-Identität ist das Produkt zweier darstellbarer Zahlen wieder darstellbar.
• Wenn ${\displaystyle n=x^{2}+y^{2}}$ darstellbar ist, so ist auch ${\displaystyle nz^{2}}$ für ${\displaystyle z\in \mathbb {Z} }$ darstellbar, denn

${\displaystyle nz^{2}=(zx)^{2}+(zy)^{2}.}$

Für die Rückrichtung benötigt man zusätzlich folgende Aussagen:

• Ist ${\displaystyle 4m+3}$ eine Primzahl, die eine darstellbare Zahl ${\displaystyle n=x^{2}+y^{2}}$ teilt, so teilt sie auch ${\displaystyle x}$ und ${\displaystyle y}$.
• Wenn ${\displaystyle n}$ darstellbar ist und durch eine Primzahl der Form ${\displaystyle 4m+3}$ teilbar ist, so ist ${\displaystyle m}$ auch durch ${\displaystyle (4m+3)^{2}}$ teilbar und der Quotient ${\displaystyle n/(4m+3)^{2}}$ ist immer noch darstellbar.

Die ganze Aussage ergibt sich dann, indem man die Primfaktorzerlegung betrachtet.

Beispiel

Die Zahl ${\displaystyle 127050643720}$, gegeben durch die Primfaktorzerlegung ${\displaystyle 2^{3}\cdot 5\cdot 7^{4}\cdot 11^{2}\cdot 13\cdot 29^{2}}$, ist darstellbar als Summe zweier Quadratzahlen. Nicht nur ist die Existenz bewiesen; aus dem Abschnitt zur algorithmischen Lösung und der Beweisskizze kann man die Darstellung sogar per Hand berechnen.

Dafür findet man zunächst die Darstellungen der darstellbaren Primfaktoren (das wären hier ${\displaystyle 2}$, ${\displaystyle 5}$ und ${\displaystyle 13}$). Dann ergibt sich unter Anwendung der Brahmagupta–Fibonacci-Identität und der Tatsache ${\displaystyle nz^{2}=(zx)^{2}+(zy)^{2}}$ die folgende Darstellung als Summe:

${\displaystyle 127050643720=35574^{2}+354662^{2}}$

Würde man ${\displaystyle 127050643720}$ mit ${\displaystyle 7}$ multiplizieren, dann wäre das Ergebnis nach dem obigen Resultat nicht mehr als Summe zweier Quadratzahlen darstellbar, da ${\displaystyle 7}$ geteilt durch ${\displaystyle 4}$ den Rest ${\displaystyle 3}$ hinterlässt, aber dann mit ungeradem Exponenten aufträte.

Verhältnis zu den Gaußschen Zahlen

Es besteht eine sehr starke Beziehung zu den Gaußschen Zahlen ${\displaystyle \mathbb {Z} [\mathrm {i} ]}$. Denn die Primelemente im Ring der Gaußschen Zahlen sind (abgesehen von den vier Einheiten ${\displaystyle \pm 1,\pm \mathrm {i} }$ als Faktoren) genau die Primzahlen der Form ${\displaystyle 4k+3,\ k\in \mathbb {N} _{0}}$, die Zahl ${\displaystyle 1+i}$ und die Zahlen ${\displaystyle a+b\cdot \mathrm {i} ,\ a,b\in \mathbb {Z} }$, für die ${\displaystyle a^{2}+b^{2}=p}$ eine Primzahl in ${\displaystyle \mathbb {Z} }$ ist, die man als ${\displaystyle p=4k+1,\ k\in \mathbb {Z} }$ schreiben kann.

Mit etwas Arbeit lässt sich daraus sogar die Leibniz-Reihe herleiten, wie das Edmund Weitz im Laufe seines Buches Pi und Primzahlen vorgestellt hat.^[10]

Siehe auch

• Drei-Quadrate-Satz von Legendre
• Vier-Quadrate-Satz von Lagrange
• Quadratsummen-Funktion
• Lemma von Thue

Literatur und Weblinks

• L. E. Dickson: History of the Theory of Numbers. Band 2. Chelsea Publishing Co., New York 1920.
• J. Stillwell: Introduction zu: Richard Dedekind: Theory of Algebraic Integers. Cambridge University Library, Cambridge University Press 1996, ISBN 0-521-56518-9.
• D. A. Cox: Primes of the Form x² + ny². Wiley-Interscience 1989, ISBN 0-471-50654-0.
• Manon Bischoff: Ein Theorem rund um Weihnachten, Windmühlen und Primzahlen. Artikel auf Spektrum.de mit Beweisskizze.

Einzelnachweise

1. ↑ Martin Aigner und Günter Ziegler: Das BUCH der Beweise, 5. Auflage, Springer, 2010, S. 24.
2. ↑ Simon Stevin: L’Arithmétique de Simon Stevin de Bruges, kommentiert von Albert Girard, Leyden 1625, Seite 622.
3. ↑ L. E. Dickson: History of the Theory of Numbers, Band II, Kap. VI, S. 227.
4. ↑ L. E. Dickson: History of the Theory of Numbers, Band II, Kap. VI, S. 228.
5. ↑ De numeris qui sunt aggregata duorum quadratorum. (Novi commentarii academiae scientiarum Petropolitanae 4 (1752/3), 1758, Seiten 3–40).
6. ↑ Demonstratio theorematis FERMATIANI omnem numerum primum formae 4n+1 esse summam duorum quadratorum. (Novi commentarii academiae scientiarum Petropolitanae 5 (1754/5), 1760, Seiten 3–13).
7. ↑ A. David Christopher: A partition-theoretic proof of Fermat’s Two Squares Theorem, Discrete Mathematics (2016), Band 339, Seiten 1410–1411.
8. ↑ D. Zagier: A one-sentence proof that every prime p ≡ 1 (mod 4) is a sum of two squares, American Mathematical Monthly, 1990, Band 97, Seite 144.
9. ↑ Stan Wagon: Editor’s Corner: The Euclidean Algorithm Strikes Again. The American Mathematical Monthly, Band 97, Nr. 2, 1990, S. 125–129.
10. ↑ Edmund Weitz: Pi und Primzahlen. Eine Entdeckungsreise durch die Mathematik. 2021, Springer Berlin, Heidelberg.