Satz von Legendre (Diophantische Gleichungen)
# Satz von Legendre (Diophantische Gleichungen)

In der Zahlentheorie, einem der Teilgebiete der Mathematik, ist der Satz von Legendre (englisch Legendre’s theorem) über diophantische Gleichungen ein etwa um das Jahr 1785 von dem Mathematiker Adrien-Marie Legendre (1752–1833) vorgelegter Lehrsatz, der die Lösbarkeit solcher Gleichungen aus ternären quadratischen Formen ohne gemischte Glieder behandelt.

## Formulierung des Legendre’schen Satzes

Der Satz lässt sich folgendermaßen formulieren:

    Gegeben seien drei quadratfreie und paarweise teilerfremde ganze Zahlen $a,b,c\in \mathbb {Z} \setminus \{0\}$.
    Dann gilt:
    Die diophantische Gleichung
       $ax^{2}+by^{2}+cz^{2}=0$
    ist in ganzen Zahlen $x,y,z$ nichttrivial lösbar dann und nur dann, wenn folgende Bedingungen erfüllt sind:
       (I) $a,b,c$ haben nicht alle dasselbe Vorzeichen.
       (II.1) $-bc$ ist quadratischer Rest ${\bmod {a}}$.
       (II.2) $-ac$ ist quadratischer Rest ${\bmod {b}}$.
       (II.3) $-ab$ ist quadratischer Rest ${\bmod {c}}$.

## Anmerkungen und Erläuterungen

* Man bezeichnet die oben auftretende Gleichung auch als Legendre’sche Gleichung (englisch Legendre’s equation).
* Da $x=y=z=0$ stets eine Lösung der Legendre’schen Gleichung liefert (nämlich die sogenannte triviale Lösung), bedeutet die obige Fragestellung nichts anderes als die Frage nach den Bedingungen, unter denen eine nichttriviale Lösung vorliegt, also ein Tripel $(x,y,z)\in {\mathbb {Z} }^{3}\setminus \{(0,0,0)\}$, sodass $x,y$ und $z$ die Legendre’sche Gleichung erfüllen.
* Der Satz von Legendre ist – wie auch der Vier-Quadrate-Satz von Lagrange – einer von mehreren Sätzen der Zahlentheorie, die sich auf den Gitterpunktsatz von Hermann Minkowski (1864–1909) zurückführen lassen.
* Nach den obigen Bedingungen zu den quadratischen Resten gilt also (bei Anwendung des Legendre-Jacobi-Symbols) $\left({\frac {-ab}{c}}\right)=\left({\frac {-bc}{a}}\right)=\left({\frac {-ca}{b}}\right)=+1$.
