Vier-Quadrate-Satz

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten (Unterschied zur vorletzten Version).

Der Vier-Quadrate-Satz oder Satz von Lagrange ist ein Satz aus dem mathematischen Teilgebiet Zahlentheorie. Der Satz lautet:

Jede natürliche Zahl kann als Summe von vier Quadratzahlen geschrieben werden.

Einige Beispiele:

3 = 1 + 1 + 1 + 0

31 = 25 + 4 + 1 + 1

310 = 289 + 16 + 4 + 1

Die Aussage des Satzes von Lagrange wurde bereits 1621 von Bachet und 1640 von Pierre de Fermat vermutet. Joseph Louis Lagrange veröffentlichte im Jahre 1770 den ersten Beweis. Dieser wurde drei Jahre später von Leonhard Euler wesentlich vereinfacht.

[Bearbeiten] Natürliche Zahlen als Summe von Quadratzahlen

Es gibt natürliche Zahlen, die sich als Summe zweier Quadratzahlen darstellen lassen: So ist z.B. 20 = 16 + 4. Für 21 hingegen gibt es eine solche Darstellung nicht.

Allgemein gilt, dass eine natürliche Zahl n dann nicht als Summe zweier Quadratzahlen darstellbar ist, wenn die Primfaktorzerlegung von n mindestens eine Primzahl p in ungerader Vielfachheit enthält, für die gilt: : $p \equiv 3 \mod 4$ .

Beispiel: 14=2*7. Die 7 ist bezüglich 4 in der Restklasse 3. Also kann es keine Darstellung von 14 als Summe zweier Quadratzahlen geben. Hingegen ist 98 = 2*7*7. Hier gilt zwar ebenfalls, dass 7 bezüglich 4 in der Restklasse 3 ist, aber in der Primfaktorzerlegung doppelt vorhanden, also kann es eine Darstellung von 98 als Summe zweier Quadratzahlen geben, nämlich 49+49.

Umgekehrt hat Fermat herausgefunden, dass jede Primzahl p, für die gilt : $p \equiv 1 \mod 4$ , als Summe zweier Quadratzahlen darstellbar ist. Diese Erkenntnis wurde von dem Mathematiker Carl Gustav Jacob Jacobi verwendet, um den Satz zu beweisen:

Eine beliebige natürliche Zahl n ist genau dann als Summe zweier Quadrate darstellbar, wenn in der Primfaktorzerlegung von n alle : $p\equiv 3\mod 4$ in gerader Vielfachheit vorkommen.

Der deutsche Mathematiker Edmund Landau wies nach, dass die Anzahl solcher Zahlen, die sich als Summe zweier Quadratzahlen darstellen lassen, verhältnismäßig klein ist.

Interessant ist nun die Fragestellung, wie viele Summanden im Höchstfall notwendig sind, um jede beliebige natürliche Zahl als Summe von Quadraten darzustellen. Diese Frage beantwortet der oben dargestellte Vier-Quadrate-Satz.

[Bearbeiten] Erweiterung des Problems

Der Satz wurde 1798 von Adrien-Marie Legendre erweitert, indem er herausfand, dass jede natürliche Zahl aus maximal drei Quadratzahlen zusammengesetzt werden kann, für den Fall dass sie nicht in der Form 4^k (8m + 7) dargestellt werden kann. Eine Lücke im Beweis wurde später von Carl Friedrich Gauß geschlossen.

Als erweiterte Fragestellung trat nun das so genannte Waringsche Problem auf, inwiefern man die kleinste Anzahl von Summanden angeben kann, die notwendig ist, um jede natürliche Zahl als Summe von Zahlen mit dem Exponenten k darzustellen. Lagrange hat für k=2 nachgewiesen, dass es sich um vier Summanden handelt. Näheres zum Waringschen Problem siehe dort.