Vier-Quadrate-Satz - LinkFang.de





Vier-Quadrate-Satz


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

Es gibt Zahlen, für die es mehrere Darstellungen als Summe von vier Quadratzahlen gibt:

310 = 289 + 16 + 4 + 1 = 225 + 81 + 4 + 0

Dieses Ergebnis wurde 1621 von Bachet in seiner einflussreichen Diophant-Ausgabe vermutet und 1770 von Lagrange bewiesen,[1] mit Hilfe einer Identität von Euler.[2]

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.

Da das Quadrat einer ungeraden Zahl immer [math]\equiv 1 \mod 4[/math] ist, gilt allgemein, 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 ist kongruent 3 modulo 4 oder in mathematischer Schreibweise: [math]p \equiv 3 \mod 4[/math].

Beispiele:

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.
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: [math]p \equiv 1 \mod 4[/math], 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 [math]p \equiv 3 \mod 4[/math] 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.

Bezug zum eulerschen Vier-Quadrate-Satz

Hat man mit

[math]n_1 = a_1^2+b_1^2+c_1^2+d_1^2[/math]    und    [math]\qquad n_2 = a_2^2+b_2^2+c_2^2+d_2^2[/math]

die Darstellungen zweier Zahlen n1 und n2 als Summe von 4 Quadraten, dann hat man über die Quaternionen

[math]x_i=a_i+b_i\cdot\mathrm i+c_i\cdot\mathrm j+d_i\cdot\mathrm k [/math]    und die Gleichung    [math]\qquad |x_1|^2\cdot|x_2|^2=|x_1x_2|^2[/math]

eine Darstellung auch des Produktes

[math]n_1 n_2 = (a_1^2+b_1^2+c_1^2+d_1^2)(a_2^2+b_2^2+c_2^2+d_2^2)[/math]
[math]=(a_1a_2-b_1b_2-c_1c_2-d_1d_2)^2+(a_1b_2+b_1a_2+c_1d_2-d_1c_2)^2\,[/math]
[math]+(a_1c_2-b_1d_2+c_1a_2+d_1b_2)^2+(a_1d_2+b_1c_2-c_1b_2+d_1a_2)^2.\,[/math]

als Summe von 4 Quadraten. Diese Identität hatte bereits Leonhard Euler 1748 entdeckt und ist nach ihm auch Eulerscher Vier-Quadrate-Satz benannt. Mit diesem Satz reduzierte er den Beweis des Satzes, dass jede Zahl sich als Summe von vier Quadratzahlen schreiben lässt, auf Primzahlen.[3] Sind nämlich Primzahlen als Summen von vier Quadraten darstellbar, so auch Produkte von Primzahlen; so auch alle natürlichen Zahlen, da sie Produkte von Primzahlen sind.

Verwandte Probleme und Resultate

Im Jahre 1798 behandelte Adrien-Marie Legendre die verwandte Frage der Summendarstellung von natürlichen Zahlen durch höchstens drei Quadratzahlen. Er fand und formulierte, dass eine natürliche Zahl immer dann aus drei oder weniger Quadratzahlen zusammengesetzt werden kann, wenn sie nicht von der Form [math]4^i(8j + 7)[/math] mit ganzzahligen [math]i,j \geq 0[/math] ist. Man nennt diesen Satz auch den Drei-Quadrate-Satz.[4]

Eine Lücke in Legendres Beweis wurde später von Carl Friedrich Gauß geschlossen, weshalb er auch als Satz von Gauß bekannt ist. Peter Gustav Lejeune Dirichlet und Edmund Landau fanden Vereinfachungen des Beweises.

Der Drei-Quadrate-Satz zieht nicht zuletzt den bekannten (und schon von Pierre de Fermat vermuteten) Satz nach sich, dass jede natürliche Zahl als Summe von höchstens drei Dreieckszahlen darstellbar ist .[5]

In Erweiterung der dem Vier-Quadrate-Satz zugrundeliegenden Fragestellung behandelt das Waringsche Problem die Frage, ob es zu jedem Exponenten [math]k=2,\,3,\dotsc[/math]  eine Zahl [math]g_k[/math] gibt, so dass jede natürliche Zahl sich als Summe von höchstens [math]g_k[/math]  [math]k[/math]-ten Potenzen schreiben lässt, und die daran anschließende Frage, auf welchem Wege die kleinstmögliche dieser Zahlen [math]g_k[/math] zu finden sei. Dass solche [math]g_k[/math] stets existieren, hat David Hilbert im Jahre 1909 bewiesen.[6]

Anzahl der Darstellungen

Wie schon in der Einleitung gezeigt, gibt es teilweise mehrere Darstellungen einer Zahl als Summe vierer Quadratzahlen. Eine Formel für die Anzahl solcher Darstellungen liefert der Satz von Jacobi.

Siehe auch

Literatur

Einzelnachweise

  1. S. 421 in John Stillwell: Mathematics and its history. 3. Auflage. Springer, New York 2010, ISBN 978-1-4419-6052-8, doi:10.1007/978-1-4419-6053-5 .
  2. S. 423 in John Stillwell: Mathematics and its history. 3. Auflage. Springer, New York 2010, ISBN 978-1-4419-6052-8, doi:10.1007/978-1-4419-6053-5 .
  3. Vgl. Brief von Leonhard Euler an Christian Goldbach (4. Mai 1748/12. April 1749).
  4. Vgl. Adrien-Marie Legendre: Essai sur la Theorie des Nombres. Paris 21808, S. 293-339 (Théorie des Nombres considérés comme décomposables en trois quarrés ).
  5. Wacław Sierpiński: Elementary Theory of Numbers 1988, S. 391-392
  6. David Hilbert: Beweis für die Darstellbarkeit der ganzen Zahlen durch eine feste Anzahl n-ter Potenzen (Waringsches Problem). In: Mathematische Annalen 67 (1909), S. 281-300. Vgl. Erhard Schmidt: Zum Hilbertschen Beweise des Waringschen Theorems. (Aus einem an Herrn Hilbert gerichteten Briefe.) In: Mathematische Annalen 74 (1913), Nr. 2, S. 271-274.

Kategorien: Zahlentheorie | Satz (Mathematik)

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Vier-Quadrate-Satz (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.