Mathematik/Einführender Text/Pythagoreische Tripel und der Einheitskreis/Vortrag/latex
\seitenueberschrift{Pythagoreische Tripel und der Einheitskreis}
\zwischenueberschrift{Der Satz des Pythagoras}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Kapitolinischer Pythagoras.jpg} }
\end{center}
\bildtext {Pythagoras von Samos lebte im sechsten vorchristlichen Jahrhundert. \anfuehrung{Sein}{} Satz war aber schon tausend Jahre früher in Babylon bekannt.} }
\bildlizenz { Kapitolinischer Pythagoras.jpg } {} {Galilea} {de Wikipedia} {CC-by-sa 3.0} {}
Wir rufen uns den Satz des Pythagoras in Erinnerung.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Pythagoras large font.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Pythagoras large font.svg } {} {KaiMartin} {Commons} {CC-by-sa 3.0} {}
\inputfakt{Dreiecksgeometrie/Satz des Pythagoras/Fakt}{Satz}{}
{
\faktsituation {}
\faktvoraussetzung {In einem rechtwinkligen Dreieck}
\faktfolgerung {ist der Flächeninhalt des Hypotenusenquadrats gleich der Summe der Flächeninhalte der beiden Kathetenquadrate.}
\faktzusatz {}
\faktzusatz {}
}
Wenn man die beiden Kathetenlängen mit
\mathkor {} {a} {und} {b} {}
und die Hypotenusenlänge mit $c$ bezeichnet, so besteht also der Zusammenhang
\mavergleichskettedisp
{\vergleichskette
{a^2+b^2
}
{ =} {c^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
In diesem Vortrag soll es aber nicht um den Satz selbst gehen, sondern um die Zahlen
\mathl{a,b,c \in \R}{,} die diese Gleichung erfüllen. Wenn man sich einen Punkt und einen rechten Winkel vorgibt
\zusatzklammer {durch zwei von dem Punkt ausgehenden, zueinander senkrechten Halbgeraden} {} {,}
so kann man sich beliebige Kathetenlängen
\mathkor {} {a} {und} {b} {}
vorgeben und diese auf den beiden Halbgeraden eintragen. Zusammen mit der Verbindungsgeraden der Endpunkte entsteht ein rechtwinkliges Dreieck mit den vorgegebenen Kathetenlängen, und die Hypotenusenlänge ist dann
\mavergleichskettedisp
{\vergleichskette
{c
}
{ =} { \sqrt{a^2 +b^2}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Kathetenlängen kann man sich also frei vorgeben, und das legt die Hypotenusenlänge fest. Allerdings kann man nicht erwarten, dass sich \anfuehrung{schöne}{} Eigenschaften von
\mathkor {} {a} {und} {b} {}
übertragen. Wenn beispielsweise
\mathkor {} {a=2} {und} {b=3} {}
ist, so ist
\mavergleichskettedisp
{\vergleichskette
{c
}
{ =} { \sqrt{2^2 + 3^2}
}
{ =} { \sqrt{13}
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Hypotenusenlänge ist also eine irrationale Zahl
\zusatzklammer {da Quadratwurzeln aus Primzahlen stets irrational sind} {} {,}
obwohl die Länge der Katheten natürliche Zahlen sind. Zur Erinnerung: Natürliche Zahlen sind die Zahlen
\mathdisp {0,1,2,3,4. \ldots} { , }
ganze Zahlen sind die Zahlen
\mathdisp {\ldots , -4 , -3 ,-2, -1,0,1,2,3,4, \ldots} { }
und rationale Zahlen sind Zahlen, die man als Brüche aus ganzen Zahlen darstellen kann, also
\mavergleichskettedisp
{\vergleichskette
{\Q
}
{ =} { { \left\{ { \frac{ a }{ b } } \mid a, b \in \Z , \, b \neq 0 \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Reelle Zahlen, die nicht rational sind, nennt man irrational. Beispielsweise sind
\mathdisp {-5, \, 3, \, 0,\, { \frac{ 1 }{ 2 } }, \, { \frac{ 1 }{ 10 } }, \, { \frac{ 3 }{ 5 } }, \, { \frac{ 19 }{ 6 } } \,} { }
rationale Zahlen, dagegen sind
\mathdisp {\sqrt{2},\, \sqrt{3} ,\, \sqrt{13}, \, \sqrt[7]{5}, \, \pi, \, e\,} { }
irrational, wobei das teilweise schwierige Sätze sind. Optisch sind rationale Zahlen von irrationalen Zahlen auf der Zahlengeraden schwer zu unterscheiden.
In jeder beliebig kleinen Umgebung einer rationalen Zahl gibt es
\zusatzklammer {unendlich viele} {} {}
irrationale Zahlen und in jeder beliebig kleinen Umgebung einer irrationalen Zahl gibt es
\zusatzklammer {unendlich viele} {} {}
rationale Zahlen.
\zwischenueberschrift{Pythagoreische Tripel}
In diesem Vortrag beschäftigen wir uns mit den sogenannten pythagoreischen Tripeln.
\inputdefinition
{}
{
Ein \definitionswort {pythagoreisches Tripel}{} ist eine ganzzahlige Lösung
\mathl{(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} {}
\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} {}
Lösungstripel, bei denen (mindestens) ein Eintrag null 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 (dabei sind $x, y$ die Seitenlängen der Katheten und $z$ ist die Seitenlänge der Hypotenuse). Das bekannteste pythagoreische Tripel ist zweifellos
\mathdisp {(3,4,5)} { . }
Die einfachste Möglichkeit, neue pythagoreische Tripel zu erhalten, ist es, das Tripel mit einer ganzzahligen Konstanten komponentenweise zu multiplizieren, also beispielsweise
\mavergleichskettedisp
{\vergleichskette
{ 2 \cdot (3,4,5)
}
{ =} { (6,8,10)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
zu betrachten. Wenn man sich auf primitive Tripel beschränkt, ist diese Operation nicht mehr erlaubt. Wenn zwei Zahlen des Tripels einen gemeinsamen Teiler haben, so hat natürlich auch die dritte diesen Teiler, und das Tripel ist nicht primitiv.
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
\zusatzklammer {in der Ebene mit Mittelpunkt $(0,0)$ und Radius $1$} {} {,}
deren beide Koordinaten rationale Zahlen sind. Wir sprechen kurz von rationalen Punkten. Die trivialen Lösungen sind die Zahlenpaare
\mathl{(1,0), \, (-1,0),\, (0,1),\, (0,-1)}{.}
Wenn umgekehrt eine rationale Lösung vorliegt, also
\mathdisp {(r,s) \in \Q^2 \text{ mit } r^2 + s^2 = 1} { , }
so kann man daraus einfach ein
\zusatzklammer {primitives} {} {}
pythagoreisches Tripel errechnen. Wenn
\mathkor {} {r= { \frac{ n }{ m } }} {und} {s= { \frac{ k }{ \ell } }} {}
mit ganzen Zahlen
\mathl{n,m,k, \ell}{} ist, so ist also
\mavergleichskettedisp
{\vergleichskette
{ { \left( { \frac{ n }{ m } } \right) }^2 + { \left( { \frac{ k }{ \ell } } \right) }^2
}
{ =} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und durch Multiplikation mit
\mathl{m^2 \ell^2}{} erhält man daraus
\mavergleichskettedisp
{\vergleichskette
{ (n\ell)^2 +(k m)^2
}
{ =} { (m \ell)^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Durch Division durch einen gemeinsamen Teiler ergibt sich ein primitives Tripel.
\zwischenueberschrift{Parametrisierungen des Einheitskreises}
Der (Einheits-)Kreis ist ein eindimensionales Objekt und es gibt verschiedene (Teil-)Parametrisierungen für ihn oder Ausschnitte von ihm. Unter einer Parametrisierung einer Kurve $C$ im $\R^2$ versteht man generell eine Abbildung \maabbdisp {} {\R} {C } {,} die eine Bijektion zwischen $\R$ \zusatzklammer {oder einem Intervall} {} {} und der Kurve \zusatzklammer {oder einem möglichst großen Ausschnitt daraus} {} {} vermittelt. Das Ziel einer Parametrisierung ist es, durch die Beziehung zu dem linearen Objekt $\R$ auch das \anfuehrung{krumme Objekt}{} $C$ besser zu verstehen.
Da
\mathl{x^2+y^2=1}{} gelten soll, kann man sich $x$ zwischen
\mathkor {} {-1} {und} {1} {}
frei vorgeben und erhält für $y$ die Bedingung
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { \sqrt{1-x^2}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Der Graph dieser Abbildung ist die obere Hälfte des Einheitskreises. Wenn man für $x$ eine rationale Zahl nimmt, also
\mathl{x \in [-1,1] \cap \Q}{,} so gibt es aber keinen Grund, warum
\mathl{\sqrt{1-x^2}}{} ebenfalls rational sein sollte. Für
\mavergleichskette
{\vergleichskette
{x
}
{ = }{ { \frac{ 3 }{ 5 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { \sqrt{1- { \frac{ 3 }{ 5 } } ^2}
}
{ =} { \sqrt{ { \frac{ 25 }{ 25 } } - { \frac{ 9 }{ 25 } } }
}
{ =} { \sqrt{ { \frac{ 16 }{ 25 } } }
}
{ =} { { \frac{ 4 }{ 5 } }
}
}
{}{}{}
wieder rational, für
\mavergleichskette
{\vergleichskette
{x
}
{ = }{ { \frac{ 2 }{ 5 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { \sqrt{1- { \frac{ 2 }{ 5 } } ^2}
}
{ =} { \sqrt{ { \frac{ 25 }{ 25 } } - { \frac{ 4 }{ 25 } } }
}
{ =} { \sqrt{ { \frac{ 21 }{ 25 } } }
}
{ =} { { \frac{ \sqrt{21} }{ 5 } }
}
}
{}{}{}
nicht rational. Wenn man sich \anfuehrung{zufällig}{} eine rationale Zahl $x$ aussucht, wird
\mathl{\sqrt{1-x^2}}{} meistens irrational sein.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Unit circle2.svg} }
\end{center}
\bildtext {Ein Winkel definiert einen eindeutigen Punkt auf dem Einheitskreis} }
\bildlizenz { Unit circle2.svg } {} {Pyramide} {Commons} {CC-by-sa 3.0} {}
Eine weitere wichtige Parametrisierung des Einheitskreises wird durch die trigonometrischen Funktionen Sinus und Kosinus gegeben. Zu einem Winkel $\alpha$ betrachtet man ein rechtwinkliges Dreieck mit Hypotenusenlänge $1$, wobei einer der Winkel $\alpha$ sei. Im Einheitskreis entsteht dieses Dreieck, wenn man den Winkel an die positive $x$-Achse gegen den Uhrzeigersinn im Nullpunkt anlegt und den Durchstoßungspunkt $P$ des zugehörigen Strahles
\zusatzklammer {der Halbgeraden} {} {}
mit dem Einheitskreis bestimmt. Der Nullpunkt, der Punkt $P$ und der Lotfußpunkt von $P$ auf die $x$-Achse bilden ein rechtwinkliges Dreieck. Die Länge der Gegenkathete
\zusatzklammer {gegenüber dem Nullpunkt} {} {}
bezeichnet man mit
\mathl{\sin \alpha}{} und die Länge der Ankathete bezeichnet man mit
\mathl{\cos \alpha}{.} Somit besitzt der Kreispunkt $P$ die Koordinaten
\mavergleichskettedisp
{\vergleichskette
{P (\alpha)
}
{ =} { (\cos \alpha,\sin \alpha )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wenn $\alpha$ sämtliche Winkel durchläuft, durchläuft
\mathl{P(\alpha)}{} den Einheitskreis. Die Zuordnung
\mathdisp {\alpha \longmapsto (\cos \alpha,\sin \alpha )} { }
bildet also eine Parametrisierung des Einheitskreises. Hierbei kann man den Winkel auf unterschiedliche Arten messen, etwa durch den Grad, bei dem eine Volldrehung als $360$ Grad angesetzt wird, oder durch das Bogenmaß, bei dem die Länge des zugehörigen Kreisbogens als Winkel genommen wird und eine Volldrehung somit $2 \pi$ entspricht.
Diese trigonometrische Parametrisierung ist auf einem reellen Intervall
\zusatzklammer {im Bogenmaß nimmt man
\mathl{[0, 2 \pi[}{} als Definitionsintervall} {} {}
definiert, und man kann sich wieder fragen, was bei ihr mit rationalen Zahlen passiert. Wenn wir mit der Gradeinteilung arbeiten, so geht es um die Frage, ob die Koordinaten zu einer rationalen Teildrehung rational sind. Zu einer Vierteldrehung
\zusatzklammer {immer gemessen von der $x$-Achse aus} {} {}
erhält man die rationalen Koordinaten
\mathl{(0,1)}{,} zu einer Achteldrehung
\zusatzklammer {also zum Winkel $45$ Grad} {} {}
erhält man die Koordinaten
\mathdisp {\left( { \frac{ 1 }{ \sqrt{2} } } , \, { \frac{ 1 }{ \sqrt{2} } } \right)} { , }
die beide irrational sind, für eine Zwölfteldrehung
\zusatzklammer {also zum Winkel $30$ Grad} {} {}
erhält man die Koordinaten
\mathdisp {\left( { \frac{ \sqrt{3} }{ 2 } } , \, { \frac{ 1 }{ 2 } } \right)} { , }
wobei die zweite Koordinate rational, die erste aber irrational ist. Die trigonometrische Parametrisierung hilft also ebenfalls nicht, die rationalen Punkte auf dem Einheitskreis besser zu verstehen.
\zwischenueberschrift{Eine rationale Parametrisierung des Einheitskreises}
Wir brauchen eine Parametrisierung, die rationale Zahlen in solche Punkte überführt, deren beide Koordinaten rational sind, und dabei möglichst all diese Punkte trifft.
\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 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)(x-1)+t^2 (x+1)(x+1)
}
{ =} { (x+1) { \left( x-1+t^2(x+1) \right) }
}
{ } {
}
}
{}{}{.}
Da uns die erste Lösung
\mavergleichskette
{\vergleichskette
{x
}
{ = }{-1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nicht interessiert
\zusatzklammer {da diese dem Punkt
\mathl{(-1,0)}{} auf dem Kreis entspricht} {} {,}
betrachten wir den zweiten Faktor
\mavergleichskettedisp
{\vergleichskette
{0
}
{ =} {x-1+t^2 (x+1)
}
{ =} {x(1+t^2) +t^2-1
}
{ } {
}
{ } {
}
}
{}{}{,}
die zu
\mavergleichskettedisp
{\vergleichskette
{ x(1+t^2)
}
{ =} { 1-t^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und damit 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) } = t \cdot { \frac{ 1-t^2 + 1+ t^2 }{ 1+t^2 } } = { \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 Parametrisierung des Einheitskreises. Bei dieser Parametrisierung werden alle Punkte des Einheitskreises mit Ausnahme von
\mathl{(-1,0)}{} genau einmal getroffen. Das Urbild zum Punkt
\mathl{(x,y)}{} ist
\mavergleichskettedisp
{\vergleichskette
{t
}
{ =} { { \frac{ y }{ 1+x } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{x
}
{ \neq }{-1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Eine schlechte Eigenschaft dieser Abbildung ist, dass sie sehr große Verzerrungen besitzt. Die Punkte des Kreises, die nah bei
\mathl{(-1,0)}{} liegen, werden enorm auseinandergerissen. Die gute und für uns entscheidende Eigenschaft kann man direkt aus den funktionalen Ausdrücken ablesen: Diese Parametrisierung macht aus rationalen Zahlen
\mathl{t \in \Q}{} ein rationales Punktepaar auf dem Einheitskreis. Wenn nämlich
\mavergleichskettedisp
{\vergleichskette
{t
}
{ =} { { \frac{ u }{ v } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist, so ist
\mavergleichskettealign
{\vergleichskettealign
{(x,y)
}
{ =} { \left( { \frac{ 1-t^2 }{ 1+t^2 } } , \, { \frac{ 2t }{ 1+t^2 } } \right)
}
{ =} { \left( { \frac{ 1- { \left( { \frac{ u }{ v } } \right) }^2 }{ 1+ { \left( { \frac{ u }{ v } } \right) }^2 } } , \, { \frac{ 2 { \left( { \frac{ u }{ v } } \right) } }{ 1+ { \left( { \frac{ u }{ v } } \right) }^2 } } \right)
}
{ =} { \left( { \frac{ v^2 - u^2 }{ u^2+ v^2 } } , \, { \frac{ 2 u v }{ u^2+v^2 } } \right)
}
{ } {
}
}
{}
{}{.}
Durch diese Abbildung werden auch alle Punkte des Einheitskreises mit rationalen Koordinaten durch einen rationalen Parameter erfasst. Wenn
\mathkor {} {x} {und} {y} {}
beide rational sind, so ist auch das Urbild
\mavergleichskettedisp
{\vergleichskette
{t
}
{ =} { { \frac{ y }{ 1+x } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
rational. Wir fassen zusammen:
\inputfakt{Einheitskreis/Rationale Parametrisierung/1/Fakt}{Satz}{}
{
Die Abbildung
\mathdisp {\varphi: \Q \longrightarrow S^1_{\Q} \setminus \{ (-1,0) \}, \, t \longmapsto \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 ohne den Punkt
\mathl{(-1,0)}{} ist eine Bijektion, d.h. durch sie stehen die rationalen Zahlen in eindeutiger Beziehung zu den rationalen Punkten auf dem Einheitskreis.
}
Es folgt insbesondere die keineswegs selbstverständliche Aussage, dass es auf dem Einheitskreis unendlich viele rationale Punktepaare gibt.
Wenn man
\mavergleichskettedisp
{\vergleichskette
{t
}
{ =} { { \frac{ u }{ v } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit ganzen Zahlen
\mathl{u,v}{} ansetzt, so ist der Bildpunkt auf dem Kreis gleich
\mathdisp {\left( { \frac{ v^2 - u^2 }{ u^2+ v^2 } } , \, { \frac{ 2 u v }{ u^2+v^2 } } \right)} { . }
Daher gehört zu einem jeden Paar
\mathl{(u,v) \in \Z \times \Z \setminus \{0\}}{} das pythagoreische Tripel
\mathdisp {( v^2- u^2, 2uv , u^2+v^2)} { . }
Als \anfuehrung{Probe}{,} dass es sich um ein pythagoreisches Tripel handelt, kann man auch direkt
\mavergleichskettedisp
{\vergleichskette
{ (v^2-u^2)^2 + (2uv)^2
}
{ =} { v^4 -2u^2v^2 +u^4 + 4u^2v^2
}
{ =} { v^4 +2u^2v^2 + u^4
}
{ =} { (u^2 + v^2)^2
}
{ } {
}
}
{}{}{}
ausrechnen. Wir halten fest.
\inputfakt{Pythagoreische Tripel/Parametrische Charakterisierung/1/Fakt}{Satz}{}
{
Zu jedem primitiven pythagoreischen Tripel
\mathl{(x,y,z)}{} mit
\mathl{y \neq 0}{} gibt es
\mathl{u \in \Z}{} und
\mathl{v \in \N_+}{} mit
\mathdisp {x = v^2-u^2 , \, y = 2uv ,\, z= u^2+v^2} { . }
}
Wenn
\mathkor {} {u} {und} {v} {}
einen gemeinsamen Teiler haben, so erhält man nichtprimitive Tripel. Um alle pythagoreischen Tripel überhaupt zu erhalten, muss man eventuell noch mit einer positiven ganzen Zahl multiplizieren. In der folgenden Tabelle werden nur teilerfremde und positive
\mathl{u,v}{} angeführt.
%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
\zwischenueberschrift{Die Dichtheit der rationalen Punkte}
Wir wissen nun, wie man sämtliche rationalen Punkte auf dem Einheitskreis erhalten kann, wir wissen aber noch nicht, wie sie auf dem Einheitskreis verteilt sind. Die folgende Überlegung zeigt, dass es in jedem beliebig kleinen Ausschnitt des Einheitskreises stets unendlich viele rationale Punkte gibt. Dies beruht darauf, dass rationale Funktionen stetig sind. Es ist typisch für die höhere Mathematik, dass algebraische, arithmetische, analytische, numerische, geometrische und topologische Methoden Hand in Hand gehen.
\inputfaktbeweis
{Einheitskreis/Rationale Punkte/Dichtheit/1/Fakt}
{Korollar}
{}
{
Die Menge der Punkte auf dem Einheitskreis mit rationalen Koordinaten bilden eine \definitionsverweis {dichte}{}{} Teilmenge. Das bedeutet, dass es zu jedem Punkt $P$ auf dem Einheitskreis in jeder beliebig kleinen Umgebung von $P$ unendlich viele rationale Punkte auf dem Einheitskreis gibt.
}
{
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)}{} (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)}{}
\zusatzklammer {das ist die Intervallumgebung \mathlk{]t-\delta, 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.
Wenn manbeispielsweise einen rationalen Punkt auf dem Einheitskreis sucht, der möglichst nahe an dem irrationalen Punkt
\mathl{\left( { \frac{ 1 }{ \sqrt{2} } } , \, { \frac{ 1 }{ \sqrt{2} } } \right)}{} liegen soll, so kann man
\mavergleichskettedisp
{\vergleichskette
{t
}
{ =} { { \frac{ { \frac{ 1 }{ \sqrt{2} } } }{ 1+ { \frac{ 1 }{ \sqrt{2} } } } }
}
{ =} { { \frac{ 1 }{ 1+ \sqrt{2} } }
}
{ =} { 0,414213 ...
}
{ } {
}
}
{}{}{}
berechnen. Die rationale Approximation
\mavergleichskettedisp
{\vergleichskette
{ t'
}
{ =} { { \frac{ 414213 }{ 1000000 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
führt zum rationalen Punkt
\mathdisp {\left( { \frac{ 828427590631 }{ 1171572409369 } } , \, { \frac{ 828426000000 }{ 1171572409369 } } \right)} { }
auf dem Einheitskreis und zum pythagoreischen Tripel
\mavergleichskettealign
{\vergleichskettealign
{x
}
{ =} { v^2 - u^2
}
{ =} { 1000000^2 - 414213^2
}
{ =} { 1000000000000 - 171572409369
}
{ =} { 828427590631
}
}
{}
{}{,}
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { 2 \cdot 414213 \cdot 1000000
}
{ =} { 828426000000
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettealign
{\vergleichskettealign
{z
}
{ =} { u^2+v^2
}
{ =} {414213^2 + 1000000^2
}
{ =} {1171572409369
}
{ } {
}
}
{}
{}{.}
In der Tat ist
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ 828427590631^2 + 828426000000^2
}
{ =} { 686292272918683718978161 + 686289637476000000000000
}
{ =} { 1372581910394683718978161
}
{ =} { 1171572409369^2
}
{ } {
}
}
{}{}{,}
wie man unmittelbar nachrechnet.
\zwischenueberschrift{Gleichungen von höherem Grad}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Pierre_de_Fermat.jpg} }
\end{center}
\bildtext {Pierre de Fermat (1607/08-1665)} }
\bildlizenz { Pierre de Fermat.jpg } {} {Magnus Manske} {en.wikipedia.org} {PD} {http://www-groups.dcs.st-and.ac.uk/~history/PictDisplay/Fermat.html}
Statt der Gleichung
\mavergleichskettedisp
{\vergleichskette
{x^2+y^2
}
{ =} {z^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
kann man auch andere Gleichungen in Hinblick darauf untersuchen, ob und wie viele ganzzahlige Lösungen sie haben. Generell nennt man Gleichungen der Form
\mavergleichskettedisp
{\vergleichskette
{ x^n+y^n
}
{ =} { z^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Fermat-Gleichungen. Die berühmte Vermutung von Fermat aus dem siebzehnten Jahrhundert, der sogenannte \anfuehrung{Große Fermat}{,} besagt, dass es für
\mathl{n \geq 3}{} keine nicht-trivialen Lösungen gibt. Die Fälle
\mathl{n=3,4}{} wurden von Euler bewiesen.
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}
\inputfakt{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.