Kurs:Zahlentheorie (Osnabrück 2008)/Vorlesung 10/latex
\setcounter{section}{10}
\inputdefinition
{}
{
Ein \definitionswort {pythagoreisches Tripel}{} ist eine ganzzahlige Lösung
\mavergleichskette
{\vergleichskette
{ (x,y,z)
}
{ \in }{ \Z^3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
der diophantischen Gleichung
\mavergleichskettedisp
{\vergleichskette
{ x^2+y^2
}
{ =} { z^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Es heißt \definitionswort {primitiv}{,} wenn
\mathl{x, y, z}{} keinen gemeinsamen Teiler besitzen.
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Pell_right_triangles.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Pell right triangles.svg } {David Eppstein} {} {en.wikipedia.org} {PD} {}
\inputbemerkung
{}
{
Lösungstripel, bei denen
\zusatzklammer {mindestens} {} {}
ein Eintrag $0$ ist, heißen trivial. Nach der Umkehrung des Satzes des Pythagoras bildet ein solches Tripel die Seitenlängen eines rechtwinkligen Dreieckes. Es geht also um rechtwinklige Dreiecke mit der Eigenschaft, dass alle drei Seiten eine ganzzahlige Länge haben
\zusatzklammer {dabei sind $x, y$ die Seitenlängen der Katheten und $z$ ist die Seitenlänge der Hypotenuse} {} {.}
Das bekannteste pythagoreische Tripel ist zweifellos
\mathl{(3,4,5)}{.} Wenn zwei Zahlen davon einen gemeinsamen Teiler haben, so hat natürlich auch die dritte diesen Teiler, und das Tripel ist nicht primitiv.
}
Ferner sind $x$ und $y$ nicht zugleich ungerade, siehe Aufgabe 10.1.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Ternas_pitagoricas.svg} }
\end{center}
\bildtext {Die roten Punkte sind primitive pythagoreische Tripel, die blauen nicht-primitive} }
\bildlizenz { Ternas pitagóricas.svg } {Arkady} {Kordas} {es.wikipedia.org} {CC-by-sa 3.0} {}
Wir wollen alle
\zusatzklammer {primitiven} {} {}
pythagoreischen Tripel finden. Man kann das Problem umformulieren, indem man durch $z^2$ teilt. Dann ist das Problem äquivalent zu:
Bestimme alle rationalen Lösungen für die Gleichung
\mathdisp {r^2 +s^2=1 \, \, (r,s \in {\Q})} { . }
Es geht also um alle Punkte auf dem Einheitskreis (in der Ebene mit Mittelpunkt $(0,0)$ und Radius $1$, deren beide Koordinaten rationale Zahlen sind. Die trivialen Lösungen sind die komplexen Zahlen
\mathl{1, { \mathrm i} , -1, - { \mathrm i}}{.}
\inputbemerkung
{}
{
Der
\zusatzklammer {Einheits} {-} {}Kreis ist ein eindimensionales Objekt und es gibt verschiedene
\zusatzklammer {Teil} {-} {}Parametrisierungen für ihn, etwa durch
\mathdisp {x \longmapsto { \left( x, \sqrt{1-x^2} \right) }} { , }
oder die trigonometrische Parametrisierung
\mathdisp {t \longmapsto (\cos (t), \sin (t))} { , }
Hier brauchen wir aber eine Parametrisierung, die rationale Zahlen in solche Punkte überführt, deren beide Koordinaten rational sind.
Wir betrachten hierzu die Abbildung, die einen Punkt $t$ auf der $y$-Achse auf den Durchstoßungspunkt
\mathl{(x,y)}{} abbildet, den der Einheitskreis mit der durch
\mathkor {} {(0,t)} {und} {(-1,0)} {}
definierten Geraden bildet. Aufgrund des Strahlensatzes haben wir die Bedingung
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ t }{ 1 } }
}
{ =} { { \frac{ y }{ 1+x } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bzw.
\mavergleichskette
{\vergleichskette
{ y
}
{ = }{t(1+x)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Setzt man diese Gleichung in die Gleichung des Einheitskreises ein, so erhält man
\mavergleichskettedisp
{\vergleichskette
{1
}
{ =} {x^2+y^2
}
{ =} {x^2+t^2 (x+1)^2
}
{ } {
}
{ } {
}
}
{}{}{}
und damit
\mavergleichskettedisp
{\vergleichskette
{ 0
}
{ =} { (x^2-1)+t^2 (x+1)^2
}
{ =} { (x+1) { \left( (x-1)+t^2(x+1) \right) }
}
{ } {
}
{ } {
}
}
{}{}{.}
Da uns die erste Lösung
\mavergleichskette
{\vergleichskette
{x
}
{ = }{-1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nicht interessiert, betrachten wir den zweiten Faktor
\mavergleichskettedisp
{\vergleichskette
{0
}
{ =} {(x-1)+t^2 (x+1)
}
{ =} {x(1+t^2) +t^2-1
}
{ } {
}
{ } {
}
}
{}{}{,}
die zu
\mathdisp {x = \frac{1-t^2}{1+t^2} \, \, \, \text{ und } \, \, \, y = t \cdot (x+1) = t \cdot { \left( \frac{1-t^2}{1+t^2}+1 \right) } = \frac{2t}{1+t^2}} { }
führt. Die Abbildung
\mathdisp {t \longmapsto { \left( \frac{1-t^2}{1+t^2},\frac{2t}{1+t^2} \right) } = (x,y)} { }
ist also eine rationale Parametrisierung des Einheitskreises.
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Kreis TdM.png} }
\end{center}
\bildtext {} }
\bildlizenz { Kreis TdM.png } {M Gausmann} {} {Commons} {CC-by-sa 4.0} {}
Wir fassen zusammen:
{Einheitskreis/Rationale Parametrisierung/Fakt}
{Satz}
{}
{
Die Abbildung
\maabbeledisp {} {\Q} { S^1_{\Q}
} {t} { \left( { \frac{ 1-t^2 }{ 1+t^2 } } , \, { \frac{ 2t }{ 1+t^2 } } \right) = (x,y)
} {,}
von der Menge der rationalen Zahlen in die Menge der Punkte auf dem Einheitskreis mit rationalen Koordinaten ist injektiv, und mit der Ausnahme von
\mathl{(-1,0)}{} liegt jeder Punkt im Bild.
}}
{
\inputfaktbeweis
{Einheitskreis/Rationale Punkte/Dichtheit/Fakt}
{Korollar}
{}
{
Die Menge der Punkte auf dem Einheitskreis mit rationalen Koordinaten bilden eine \definitionsverweis {dichte}{}{} Teilmenge.
}
{
Die Parametrisierung
\maabbeledisp {\varphi} { \R } { S^1
} {t} { \varphi(t) = \left( { \frac{ 1-t^2 }{ 1+t^2 } } , \, { \frac{ 2t }{ 1+t^2 } } \right)
} {,}
ist stetig, da sie komponentenweise durch rationale Funktionen gegeben ist. Es sei
\mathl{s \in S^1}{} ein Punkt des Einheitskreises. Der Punkt
\mathl{s=(-1,0)}{}
\zusatzklammer {der Punkt, der von der Parametrisierung nicht erfasst wird} {} {,}
ist selbst rational. Es sei also
\mathl{s \neq (-1,0)}{,} und sei
\mathl{t \in \R}{} eine reelle Zahl mit
\mathl{\varphi(t)= s}{.} Es sei
\mathl{\epsilon >0}{} vorgegeben. Aufgrund der Stetigkeit gibt es dann auch ein
\mathl{\delta >0}{} derart, dass die Ballumgebung
\mathl{B(t,\delta)}{} nach
\mathl{B(s,\epsilon)}{} hinein abgebildet wird, also
\mathl{\varphi(B(t,\delta)) \subseteq B(s,\epsilon)}{.} Da die rationalen Zahlen innerhalb der reellen Zahlen dicht liegen, gibt es eine rationale Zahl
\mathl{q\in B(t,\delta)}{.} Dann ist
\mathl{\varphi(q)}{} ein Punkt auf dem Einheitskreis mit rationalen Koordinaten, der in der $\epsilon$-Umgebung von $s$ liegt.
\inputfaktbeweis
{Pythagoreische Tripel/Parametrische Charakterisierung/Fakt}
{Satz}
{}
{
\faktsituation {Es sei
\mathl{(x,y,z)}{} ein
\definitionsverweis {pythagoreisches Tripel}{}{}
mit $y$ gerade und mit
\mavergleichskette
{\vergleichskette
{z
}
{ \neq }{-x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktfolgerung {Dann gibt es eindeutig bestimmte ganze teilerfremde Zahlen
\mathl{(u,v)}{} mit
\mavergleichskette
{\vergleichskette
{v
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und mit
\mathdisp {x = a (v^2-u^2), \, y = a(2uv),\, z=a(u^2+v^2)} { . }
}
\faktzusatz {Das pythagoreische Tripel ist primitiv genau dann, wenn $a$ eine Einheit ist und $u$ und $v$ nicht beide ungerade sind.}
\faktzusatz {}
}
{
Es sei
\mathl{(x,y,z)}{} ein pythagoreisches Tripel. Der Fall
\mavergleichskette
{\vergleichskette
{ z
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist ausgeschlossen. Dann ist
\mathl{\left( { \frac{ x }{ z } } , \, { \frac{ y }{ z } } \right)}{} ein Punkt auf dem Einheitskreis mit rationalen Koordinaten. Nach
Satz 10.4
gibt es, da
\mavergleichskette
{\vergleichskette
{ z
}
{ \neq }{ -x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorausgesetzt wurde, eine eindeutig bestimmte rationale Zahl $t$ mit
\mavergleichskettedisp
{\vergleichskette
{ \left( { \frac{ 1-t^2 }{ 1+t^2 } } , \, { \frac{ 2t }{ 1+t^2 } } \right)
}
{ =} { \left( { \frac{ x }{ z } } , \, { \frac{ y }{ z } } \right)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann gibt es eine rationale Zahl
\mavergleichskette
{\vergleichskette
{ q
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathdisp {x=q(1-t^2), \, y=q 2t,\, z =q (1+t^2)} { . }
Sei
\mavergleichskette
{\vergleichskette
{ t
}
{ = }{ { \frac{ u }{ v } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit ganzen teilerfremden Zahlen
\mathl{u,v}{,}
\mavergleichskette
{\vergleichskette
{ v
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir ersetzen $q$ durch
\mavergleichskettedisp
{\vergleichskette
{ \tilde{q}
}
{ =} { { \frac{ q }{ v^2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und haben dann
\mathdisp {x=\tilde{q}(v^2-u^2), \, y=\tilde{q} 2uv,\, z = \tilde{q} (u^2+v^2)} { . }
Da $u$ und $v$ teilerfremd sind, sind auch
\mathl{u,v,v^2-u^2}{} paarweise teilerfremd. Ein Primteiler des Nenners von $\tilde{q}$ teilt
\mathl{2uv}{} und
\mathl{v^2-u^2}{.} Daher kommt nur $2$ in Frage. In diesem Fall wären aber
\mathl{v^2-u^2}{} und
\mathl{u^2+v^2}{} gerade, und $u$ und $v$ wären beide ungerade. Dann wäre aber
\mavergleichskette
{\vergleichskette
{ y
}
{ = }{ \tilde{q} 2uv
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ungerade im Widerspruch zur Voraussetzung. Also ist $\tilde{q}$ eine ganze Zahl.
Wenn das pythagoreische Tripel primitiv ist, so muss in dieser Darstellung
\mavergleichskette
{\vergleichskette
{ \tilde{q}
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
oder $-1$ sein. Außerdem können dann $u$ und $v$ nicht beide ungerade sein, sonst wäre $2$ ein gemeinsamer Teiler des Tripels. Wenn umgekehrt diese Bedingungen erfüllt sind, so ist das Tripel primitiv.
%Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ }
\renewcommand{\leitzeileeins}{ $u$ }
\renewcommand{\leitzeilezwei}{ $v$ }
\renewcommand{\leitzeiledrei}{ $x=v^2 -u^2$ }
\renewcommand{\leitzeilevier}{ $y=2uv$ }
\renewcommand{\leitzeilefuenf}{ $z=u^2+v^2$ }
\renewcommand{\leitzeilesechs}{ $x^2+y^2=z^2$ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ }
\renewcommand{\leitspalteeins}{ }
\renewcommand{\leitspaltezwei}{ }
\renewcommand{\leitspaltedrei}{ }
\renewcommand{\leitspaltevier}{ }
\renewcommand{\leitspaltefuenf}{ }
\renewcommand{\leitspaltesechs}{ }
\renewcommand{\leitspaltesieben}{ }
\renewcommand{\leitspalteacht}{ }
\renewcommand{\leitspalteneun}{ }
\renewcommand{\leitspaltezehn}{ }
\renewcommand{\leitspalteelf}{ }
\renewcommand{\leitspaltezwoelf}{ }
\renewcommand{\leitspaltedreizehn}{ }
\renewcommand{\leitspaltevierzehn}{ }
\renewcommand{\leitspaltefuenfzehn}{ }
\renewcommand{\leitspaltesechzehn}{ }
\renewcommand{\leitspaltesiebzehn}{ }
\renewcommand{\leitspalteachtzehn}{ }
\renewcommand{\leitspalteneunzehn}{ }
\renewcommand{\leitspaltezwanzig}{ }
\renewcommand{\aeinsxeins}{ 1 }
\renewcommand{\aeinsxzwei}{ 2 }
\renewcommand{\aeinsxdrei}{ 3 }
\renewcommand{\aeinsxvier}{ 4 }
\renewcommand{\aeinsxfuenf}{ 5 }
\renewcommand{\aeinsxsechs}{ 9+16=25 }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ 2 }
\renewcommand{\azweixzwei}{ 3 }
\renewcommand{\azweixdrei}{ 5 }
\renewcommand{\azweixvier}{ 12 }
\renewcommand{\azweixfuenf}{ 13 }
\renewcommand{\azweixsechs}{ 25+144=169 }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ 1 }
\renewcommand{\adreixzwei}{ 4 }
\renewcommand{\adreixdrei}{ 15 }
\renewcommand{\adreixvier}{ 8 }
\renewcommand{\adreixfuenf}{ 17 }
\renewcommand{\adreixsechs}{ 225+64=289 }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ 3 }
\renewcommand{\avierxzwei}{ 4 }
\renewcommand{\avierxdrei}{ 7 }
\renewcommand{\avierxvier}{ 24 }
\renewcommand{\avierxfuenf}{ 25 }
\renewcommand{\avierxsechs}{ 49+576=625 }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ 2 }
\renewcommand{\afuenfxzwei}{ 5 }
\renewcommand{\afuenfxdrei}{ 21 }
\renewcommand{\afuenfxvier}{ 20 }
\renewcommand{\afuenfxfuenf}{ 29 }
\renewcommand{\afuenfxsechs}{ 441+400= 841 }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ 1 }
\renewcommand{\asechsxzwei}{ 6 }
\renewcommand{\asechsxdrei}{ 35 }
\renewcommand{\asechsxvier}{ 12 }
\renewcommand{\asechsxfuenf}{ 37 }
\renewcommand{\asechsxsechs}{ 1225+144=1369 }
\renewcommand{\asechsxsieben}{ }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ 4 }
\renewcommand{\asiebenxzwei}{ 5 }
\renewcommand{\asiebenxdrei}{ 9 }
\renewcommand{\asiebenxvier}{ 40 }
\renewcommand{\asiebenxfuenf}{ 41 }
\renewcommand{\asiebenxsechs}{ 81+1600=1681 }
\renewcommand{\asiebenxsieben}{ }
\renewcommand{\asiebenxacht}{ }
\renewcommand{\asiebenxneun}{ }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ 2 }
\renewcommand{\aachtxzwei}{ 7 }
\renewcommand{\aachtxdrei}{ 45 }
\renewcommand{\aachtxvier}{ 28 }
\renewcommand{\aachtxfuenf}{ 53 }
\renewcommand{\aachtxsechs}{ 2025+784=2809 }
\renewcommand{\aachtxsieben}{ }
\renewcommand{\aachtxacht}{ }
\renewcommand{\aachtxneun}{ }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ 5 }
\renewcommand{\aneunxzwei}{ 6 }
\renewcommand{\aneunxdrei}{ 11 }
\renewcommand{\aneunxvier}{ 60 }
\renewcommand{\aneunxfuenf}{ 61 }
\renewcommand{\aneunxsechs}{ 121+3600=3721 }
\renewcommand{\aneunxsieben}{ }
\renewcommand{\aneunxacht}{ }
\renewcommand{\aneunxneun}{ }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ 4 }
\renewcommand{\azehnxzwei}{ 7 }
\renewcommand{\azehnxdrei}{ 33 }
\renewcommand{\azehnxvier}{ 56 }
\renewcommand{\azehnxfuenf}{ 65 }
\renewcommand{\azehnxsechs}{ 1089+3136=4225 }
\renewcommand{\azehnxsieben}{ }
\renewcommand{\azehnxacht}{ }
\renewcommand{\azehnxneun}{ }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ 1 }
\renewcommand{\aelfxzwei}{ 8 }
\renewcommand{\aelfxdrei}{ 63 }
\renewcommand{\aelfxvier}{ 16 }
\renewcommand{\aelfxfuenf}{ 65 }
\renewcommand{\aelfxsechs}{ 3969+256=4225 }
\renewcommand{\aelfxsieben}{ }
\renewcommand{\aelfxacht}{ }
\renewcommand{\aelfxneun}{ }
\renewcommand{\aelfxzehn}{ }
\renewcommand{\aelfxelf}{ }
\renewcommand{\aelfxzwoelf}{ }
\renewcommand{\azwoelfxeins}{ 3 }
\renewcommand{\azwoelfxzwei}{ 8 }
\renewcommand{\azwoelfxdrei}{ 55 }
\renewcommand{\azwoelfxvier}{ 48 }
\renewcommand{\azwoelfxfuenf}{ 73 }
\renewcommand{\azwoelfxsechs}{ 3025+2304=5329 }
\renewcommand{\azwoelfxsieben}{ }
\renewcommand{\azwoelfxacht}{ }
\renewcommand{\azwoelfxneun}{ }
\renewcommand{\azwoelfxzehn}{ }
\renewcommand{\azwoelfxelf}{ }
\renewcommand{\azwoelfxzwoelf}{ }
\renewcommand{\adreizehnxeins}{ 6 }
\renewcommand{\adreizehnxzwei}{ 7 }
\renewcommand{\adreizehnxdrei}{ 13 }
\renewcommand{\adreizehnxvier}{ 84 }
\renewcommand{\adreizehnxfuenf}{ 85 }
\renewcommand{\adreizehnxsechs}{ 169+7056=7225 }
\renewcommand{\adreizehnxsieben}{ }
\renewcommand{\adreizehnxacht}{ }
\renewcommand{\adreizehnxneun}{ }
\renewcommand{\adreizehnxzehn}{ }
\renewcommand{\adreizehnxelf}{ }
\renewcommand{\adreizehnxzwoelf}{ }
\renewcommand{\avierzehnxeins}{ 2 }
\renewcommand{\avierzehnxzwei}{ 9 }
\renewcommand{\avierzehnxdrei}{ 77 }
\renewcommand{\avierzehnxvier}{ 36 }
\renewcommand{\avierzehnxfuenf}{ 85 }
\renewcommand{\avierzehnxsechs}{ 5929+1296=7225 }
\renewcommand{\avierzehnxsieben}{ }
\renewcommand{\avierzehnxacht}{ }
\renewcommand{\avierzehnxneun}{ }
\renewcommand{\avierzehnxzehn}{ }
\renewcommand{\avierzehnxelf}{ }
\renewcommand{\avierzehnxzwoelf}{ }
\renewcommand{\afuenfzehnxeins}{ 5 }
\renewcommand{\afuenfzehnxzwei}{ 8 }
\renewcommand{\afuenfzehnxdrei}{ 39 }
\renewcommand{\afuenfzehnxvier}{ 80 }
\renewcommand{\afuenfzehnxfuenf}{ 89 }
\renewcommand{\afuenfzehnxsechs}{ 1521+6400=7921 }
\renewcommand{\afuenfzehnxsieben}{ }
\renewcommand{\afuenfzehnxacht}{ }
\renewcommand{\afuenfzehnxneun}{ }
\renewcommand{\afuenfzehnxzehn}{ }
\renewcommand{\afuenfzehnxelf}{ }
\renewcommand{\afuenfzehnxzwoelf}{ }
\renewcommand{\asechzehnxeins}{ 4 }
\renewcommand{\asechzehnxzwei}{ 9 }
\renewcommand{\asechzehnxdrei}{ 65 }
\renewcommand{\asechzehnxvier}{ 72 }
\renewcommand{\asechzehnxfuenf}{ 97 }
\renewcommand{\asechzehnxsechs}{ 4225 + 5184 = 9409 }
\renewcommand{\asechzehnxsieben}{ }
\renewcommand{\asechzehnxacht}{ }
\renewcommand{\asechzehnxneun}{ }
\renewcommand{\asechzehnxzehn}{ }
\renewcommand{\asechzehnxelf}{ }
\renewcommand{\asechzehnxzwoelf}{ }
\renewcommand{\asiebzehnxeins}{ }
\renewcommand{\asiebzehnxzwei}{ }
\renewcommand{\asiebzehnxdrei}{ }
\renewcommand{\asiebzehnxvier}{ }
\renewcommand{\asiebzehnxfuenf}{ }
\renewcommand{\asiebzehnxsechs}{ }
\renewcommand{\asiebzehnxsieben}{ }
\renewcommand{\asiebzehnxacht}{ }
\renewcommand{\asiebzehnxneun}{ }
\renewcommand{\asiebzehnxzehn}{ }
\renewcommand{\asiebzehnxelf}{ }
\renewcommand{\asiebzehnxzwoelf}{ }
\renewcommand{\aachtzehnxeins}{ }
\renewcommand{\aachtzehnxzwei}{ }
\renewcommand{\aachtzehnxdrei}{ }
\renewcommand{\aachtzehnxvier}{ }
\renewcommand{\aachtzehnxfuenf}{ }
\renewcommand{\aachtzehnxsechs}{ }
\renewcommand{\aachtzehnxsieben}{ }
\renewcommand{\aachtzehnxacht}{ }
\renewcommand{\aachtzehnxneun}{ }
\renewcommand{\aachtzehnxzehn}{ }
\renewcommand{\aachtzehnxelf}{ }
\renewcommand{\aachtzehnxzwoelf}{ }
\tabelleleitsechzehnxsechs
\inputfaktbeweis
{Zahlentheorie/x^4+y^4 ist z^2/Keine Lösung/Fakt}
{Satz}
{}
{
Die diophantische Gleichung
\mavergleichskettedisp
{\vergleichskette
{ x^4+y^4
}
{ =} { z^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
hat keine ganzzahlige nichttriviale Lösung.
}
{
Es sei
\mathl{(x,y,z)}{} eine nichttriviale Lösung, d.h. alle Einträge sind $\neq 0$. Wir können annehmen, dass alle Einträge sogar positiv sind. Wenn es eine solche Lösung gibt, dann gibt es auch eine nichttriviale Lösung mit minimalem positiven $z$
\zusatzklammer {unter allen nichttrivialen Lösungen} {} {.}
Wir zeigen, dass es dann eine Lösung mit kleinerem positiven $z_1$ gibt, was einen Widerspruch bedeutet.
Wegen der Minimalität ist
\mathl{(x,y,z)}{} primitiv, die Einträge sind also
\zusatzklammer {sogar paarweise} {} {}
teilerfremd. Wir können $x$ als ungerade annehmen. Es ist dann
\mathdisp {(x^2,y^2,z)} { }
ein primitives pythagoreisches Tripel. Daher gibt es nach
Satz 10.6
teilerfremde natürliche Zahlen $(u,v)$ mit
\mathdisp {x^2=u^2-v^2,\, y^2=2uv,\, z=u^2+v^2} { }
und mit
\mathl{u+v}{} ungerade. Betrachtung der ersten Gleichung modulo $4$ zeigt, dass $u$ ungerade sein muss
\zusatzklammer {und $v$ gerade} {} {.}
Die erste Gleichung
\mavergleichskettedisp
{\vergleichskette
{u^2
}
{ =} { x^2+v^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist selbst ein primitives pythagoreisches Tripel. Es gibt als erneut teilerfremde natürliche Zahlen
\mathl{(r,s)}{} mit
\mathdisp {x=r^2-s^2,\, v=2rs ,\,u=r^2+s^2} { }
($x$ ist ungerade, $v$ gerade) mit
\mathl{r+s}{} ist ungerade. Somit sind
\mathl{r,s,r^2+s^2= u}{} paarweise teilerfremd. Aus
\mavergleichskettedisp
{\vergleichskette
{ y^2
}
{ =} { 2uv
}
{ =} { 4(r^2+s^2)rs
}
{ } {
}
{ } {
}
}
{}{}{}
folgt
\mavergleichskettedisp
{\vergleichskette
{ \left( \frac{ y }{ 2 } \right)^2
}
{ =} {(r^2+s^2)rs
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und aus der Teilerfremdheit der Faktoren folgt, dass die einzelnen Faktoren hier selbst Quadrate sind, also
\mathdisp {r=x_1^2,\, s=y_1^2,\, r^2+s^2=z_1^2} { . }
Damit ist
\mavergleichskettedisp
{\vergleichskette
{ z_1^2
}
{ =} { r^2+s^2
}
{ =} { x_1^4+y_1^4
}
{ } {
}
{ } {
}
}
{}{}{}
eine neue nichttriviale Lösung der ursprünglichen Gleichung. Wegen
\mavergleichskettedisp
{\vergleichskette
{ z_1
}
{ \leq} { z_1^2
}
{ =} { r^2+s^2
}
{ =} { u
}
{ <} { u^2+v^2
}
}
{
\vergleichskettefortsetzung
{ =} { z
}
{ } {}
{ } {}
{ } {}
}{}{}
widerspricht dies der Minimalität von $z$.
\inputfaktbeweis
{Zahlentheorie/Großer Fermat/Exponent 4/Fakt}
{Korollar}
{}
{
Die Fermat-Quartik
\mavergleichskettedisp
{\vergleichskette
{ x^4+y^4
}
{ =} { z^4
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
besitzt keine ganzzahlige nichttriviale Lösung.
}
{
Dies folgt sofort aus dem Satz von Euler.
Generell nennt man Gleichungen der Form
\mavergleichskettedisp
{\vergleichskette
{x^n +y^n
}
{ =} {z^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Fermat-Gleichungen. Die berühmte Vermutung von Fermat, der sogenannte \anfuehrung{Große Fermat}{,} besagt, dass es für
\mathl{n \geq 3}{} keine nicht-trivialen Lösungen gibt. Dies haben wir soeben für
\mathl{n=4}{} bewiesen. Der Fall
\mathl{n=3}{} (Fermat-Kubiken) lässt sich ebenfalls noch einigermaßen elementar bestätigen (Euler) und hat mit den Eisenstein-Zahlen zu tun. Nach rund 350 Jahren wurde der Große Fermat schließlich 1995 von Andrew Wiles bewiesen.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Andrew_wiles1-3.jpg} }
\end{center}
\bildtext {Andrew Wiles (*1953)} }
\bildlizenz { Andrew wiles1-3.jpg } {C. J. Mozzochi, Princeton N.J} {Nyks} {Commons} {freie Verwendung, copyright C. J. Mozzochi, Princeton N.J.} {http://www.mozzochi.org/deligne60/Deligne1/_DSC0024.jpg}
{Zahlentheorie/Großer Fermat/Satz von Wiles/Fakt}
{Satz}
{}
{
Die diophantische Gleichung
\mavergleichskettedisp
{\vergleichskette
{ x^n+ y^n
}
{ =} { z^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
besitzt für kein
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine ganzzahlige nichttriviale Lösung.
}
{
Der Beweis für diese Aussage geht bei Weitem über den Inhalt einer Vorlesung über elementare oder algebraische Zahlentheorie hinaus.