Zum Inhalt springen

Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Vorlesung 20/latex

Aus Wikiversity

\setcounter{section}{20}

Wir kehren zur Thematik der Primzahlen und der Primfaktorzerlegung einer natürlichen Zahl zurück. Bisher kennen wir nur die Existenz einer Primfaktorzerlegung \zusatzklammer {siehe Satz 12.9} {} {,} aber noch nicht die Eindeutigkeit. Obwohl wir diese Fragestellung für natürliche Zahlen formuliert haben, ergibt sich im Kontext der ganzen Zahlen ein neuer Zusammenhang, der für diese Thematik hilfreich ist.






\zwischenueberschrift{Teilerfremdheit und das Lemma von Bezout}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Kielcanal.PNG} }
\end{center}
\bildtext {} }

\bildlizenz { Kielcanal.PNG } {} {Grunners} {Commons} {PD} {}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Zille vorichte.png} }
\end{center}
\bildtext {} }

\bildlizenz { Zille vorichte.png } {Heinrich Zille} {Hendrike} {Commons} {gemeinfrei} {}


Die Wasserspedition \anfuehrung{Alles im Eimer}{} verfügt über einen $7$- und einen $10$-Liter-Eimer, die allerdings keine Markierungen haben. Sie erhält den Auftrag, insgesamt genau einen Liter Wasser von der Nordsee in die Ostsee zu transportieren. Kann sie diesen Auftrag erfüllen?

Die Aufgabe ist lösbar: Man macht dreimal den $7$-Liter-Eimer in der Nordsee voll und transportiert dies in die Ostsee. Danach \zusatzklammer {oder gleichzeitig} {} {} macht man zweimal den $10$-Liter-Eimer in der Ostsee voll und transportiert dies in die Nordsee. Unterm Strich hat man dann
\mavergleichskettedisp
{\vergleichskette
{3 \cdot 7 -2 \cdot 10 }
{ =} {1 }
{ } { }
{ } { }
{ } { }
} {}{}{} Liter transportiert \zusatzklammer {eine andere Möglichkeit ist
\mavergleichskettek
{\vergleichskettek
{5 \cdot 10 - 7 \cdot 7 }
{ = }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{}} {} {.} Die dieser Überlegung zugrunde liegende Aussage heißt \stichwort {Lemma von Bezout} {.}




\inputfaktbeweis
{Lemma von Bezout/N/Teilerfremd/Induktion/Fakt}
{Satz}
{}
{

\faktsituation {}
\faktvoraussetzung {Es seien
\mavergleichskette
{\vergleichskette
{a,b }
{ \in }{\N }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} zwei \definitionsverweis {teilerfremde}{}{} natürliche Zahlen.}
\faktfolgerung {Dann gibt es ganze Zahlen
\mavergleichskette
{\vergleichskette
{r,s }
{ \in }{\Z }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{ ra+sb }
{ = }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Wir beweisen die Aussage durch Induktion über das Maximum von \mathkor {} {a} {und} {b} {,} wobei wir ohne Einschränkung
\mavergleichskette
{\vergleichskette
{a }
{ \leq }{b }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} wählen können. Wenn das Maximum $0$ ist, so sind beide Zahlen $0$ und somit nicht teilerfremd. Wenn das Maximum $1$ ist, so ist
\mavergleichskette
{\vergleichskette
{b }
{ = }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und somit ergeben
\mavergleichskette
{\vergleichskette
{r }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{s }
{ = }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine Darstellung der $1$. Es seien nun
\mavergleichskette
{\vergleichskette
{a }
{ \leq }{b }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} teilerfremd,
\mavergleichskette
{\vergleichskette
{b }
{ \geq }{2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und die Aussage sei für alle Zahlenpaare, deren Maxima kleiner als $b$ sind, schon bewiesen. Dann ist
\mavergleichskette
{\vergleichskette
{a }
{ < }{b }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} da bei
\mavergleichskette
{\vergleichskette
{a }
{ = }{b }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die beiden Zahlen nicht teilerfremd sind. Ebenso können wir
\mavergleichskette
{\vergleichskette
{a }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ausschließen. Wir betrachten das Zahlenpaar
\mathl{(a,b-a)}{} und wollen darauf die Induktionsvoraussetzung anwenden. Das Maximum dieses neuen Paares ist jedenfalls kleiner als $b$. Allerdings müssen wir, damit die Induktionsvoraussetzung wirklich angewendet werden kann, wissen, dass auch \mathkor {} {a} {und} {b-a} {} teilerfemd sind. Dazu führen wir einen Widerspruchsbeweis.  Nehmen wir also an, dass \mathkor {} {a} {und} {b-a} {} nicht teilerfremd sind. Dann gibt es eine natürliche Zahl
\mavergleichskette
{\vergleichskette
{t }
{ \geq }{2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} die sowohl \mathkor {} {a} {als auch} {b-a} {} teilt. Dies bedeutet wiederum, dass es natürliche Zahlen
\mathl{m,n}{} mit \mathkor {} {a=mt} {und} {b-a =nt} {} gibt. Doch dann ist
\mavergleichskettedisp
{\vergleichskette
{b }
{ =} {(b-a)+a }
{ =} { nt +mt }
{ =} { (n+m)t }
{ } { }
} {}{}{} ebenfalls ein Vielfaches von $t$, im Widerspruch zur Teilerfremdheit von \mathkor {} {a} {und} {b} {.}  Die Induktionsvoraussetzung ist also auf \mathkor {} {a} {und} {b-a} {} anwendbar und somit gibt es ganze Zahlen
\mathl{r,s}{} mit
\mavergleichskettedisp
{\vergleichskette
{ra+s(b-a) }
{ =} {1 }
{ } { }
{ } { }
{ } { }
} {}{}{.} Dann ist aber auch
\mavergleichskettedisp
{\vergleichskette
{ (r-s)a +sb }
{ =} { ra +s(b-a) }
{ =} {1 }
{ } { }
{ } { }
} {}{}{} und wir haben eine Darstellung der $1$ mit \mathkor {} {a} {und} {b} {} gefunden.

}


Man sagt auch, dass
\mavergleichskette
{\vergleichskette
{ ra+sb }
{ = }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine \stichwort {Darstellung} {} der $1$ als eine \stichwort {Linearkombination} {} der \mathkor {} {a} {und} {b} {} ist. Die
\mathl{r,s}{} heißen \stichwort {Koeffizienten} {} der Darstellung.






\zwischenueberschrift{Die Untergruppen von $\Z$ }

Die Division mit Rest, die wir bisher nur für natürliche Zahlen formuliert haben, überträgt sich unmittelbar auf ganze Zahlen \zusatzklammer {der Divisor bleibt eine natürliche Zahl} {} {.}

\inputfaktbeweis
{Division mit Rest/Z/Fakt}
{Satz}
{}
{

\faktsituation {}
\faktvoraussetzung {Es sei $d$ eine fixierte positive natürliche Zahl.}
\faktfolgerung {Dann gibt es zu jeder ganzen Zahl $n$ eine eindeutig bestimmte ganze Zahl $q$ und eine eindeutig bestimmte natürliche Zahl
\mathbed {r} {}
{0 \leq r \leq d-1} {}
{} {} {} {,} mit
\mavergleichskettedisp
{\vergleichskette
{n }
{ =} {qd+r }
{ } { }
{ } { }
{ } { }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{ Siehe Aufgabe 20.9. }





\inputdefinition
{}
{

Es sei
\mathl{(G,e,\circ)}{} eine \definitionsverweis {Gruppe}{}{.} Eine Teilmenge
\mavergleichskette
{\vergleichskette
{ H }
{ \subseteq }{ G }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} heißt \definitionswort {Untergruppe}{} von $G$ wenn folgendes gilt. \aufzaehlungdrei{
\mavergleichskette
{\vergleichskette
{ e }
{ \in }{ H }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Mit
\mavergleichskette
{\vergleichskette
{ g,h }
{ \in }{ H }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist auch
\mavergleichskette
{\vergleichskette
{ g \circ h }
{ \in }{ H }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Mit
\mavergleichskette
{\vergleichskette
{ g }
{ \in }{ H }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist auch
\mavergleichskette
{\vergleichskette
{ g^{-1} }
{ \in }{ H }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }

} In einer Untergruppe kann man also die Verknüpfung der Gruppe ausführen, man kann das Inverse nehmen und das neutrale Element gehört dazu. In additiver Schreibweise, die für uns im Mittelpunkt steht, bedeuten die Bedingungen einfach \aufzaehlungdrei{
\mavergleichskette
{\vergleichskette
{ 0 }
{ \in }{ H }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Mit
\mavergleichskette
{\vergleichskette
{ g,h }
{ \in }{ H }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist auch
\mavergleichskette
{\vergleichskette
{ g+h }
{ \in }{H }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Mit
\mavergleichskette
{\vergleichskette
{ g }
{ \in }{ H }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist auch das Negative
\mavergleichskette
{\vergleichskette
{ -g }
{ \in }{ H }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} } Beispielsweise bilden alle Vielfachen der $5$ innerhalb der ganzen Zahlen eine Untergruppe, die wir mit $\Z 5$ bezeichnen. Es ist ja
\mavergleichskettedisp
{\vergleichskette
{0 }
{ =} { 0 \cdot 5 }
{ } { }
{ } { }
{ } { }
} {}{}{,} wenn
\mavergleichskette
{\vergleichskette
{ g }
{ = }{ 5 \cdot a }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{ h }
{ = }{ 5 \cdot b }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} sind, so ist
\mavergleichskettedisp
{\vergleichskette
{h+g }
{ =} { 5 \cdot (a+b) }
{ } { }
{ } { }
{ } { }
} {}{}{} nach dem Distributivgesetz und mit
\mavergleichskette
{\vergleichskette
{g }
{ = }{ 5 \cdot a }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist
\mavergleichskette
{\vergleichskette
{-g }
{ = }{ 5 \cdot (-a) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Wie im eingangs gegebenen Beispiel kann man sich eine Menge
\mathl{a_1 , \ldots , a_k}{} von ganzen Zahlen \zusatzklammer {Eimergrößen} {} {} vorgeben und sich fragen, welche Zahlen man daraus mit Hilfe von ganzzahligen Koeffizienten bilden kann \zusatzklammer {welche Wassermengen man transportieren kann} {} {.} Es geht also um die Menge aller Zahlen der Form
\mathdisp {n_1a_1 + \cdots + n_ka_k \text{ mit } n_j \in \Z} { . }
Diese Gesamtmenge bildet eine Untergruppe von $\Z$, siehe Aufgabe 20.27, man spricht von der von den
\mathl{a_1 , \ldots , a_k}{} \stichwort {erzeugten Untergruppe} {} von $\Z$. Statt Eimern kann man sich auch eine Menge von ganzzahligen Pfeilen, die man hintereinanderlegen und umdrehen kann, vorstellen, oder eine vorgegebene Menge an Sprungmöglichkeiten, oder eine Menge an Gewichten. Der folgende Satz heißt auch \anfuehrung{Ein-Eimer-Satz}{.}





\inputfaktbeweis
{Untergruppen von Z/Ein Erzeuger/Fakt}
{Satz}
{}
{

\faktsituation {}
\faktvoraussetzung {Die \definitionsverweis {Untergruppen}{}{} von $\Z $ sind genau}
\faktfolgerung {die Teilmengen der Form
\mavergleichskettedisp
{\vergleichskette
{ \Z d }
{ =} { { \left\{ kd \mid k \in \Z \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{} mit einer eindeutig bestimmten nichtnegativen Zahl $d$.}
\faktzusatz {}
\faktzusatz {}

}
{

Eine Teilmenge der Form $\Z d$ ist aufgrund des Distributivgesetzes eine Untergruppe. Es sei umgekehrt
\mavergleichskette
{\vergleichskette
{H }
{ \subseteq }{ \Z }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine Untergruppe. Bei
\mavergleichskette
{\vergleichskette
{H }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} kann man
\mavergleichskette
{\vergleichskette
{d }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} nehmen, sodass wir voraussetzen dürfen, dass $H$ neben $0$ noch mindestens ein weiteres Element $x$ enthält. Wenn $x$ negativ ist, so muss die Untergruppe $H$ auch das Negative davon, also $-x$ enthalten, welches positiv ist. D.h. $H$ enthält auch positive Zahlen. Es sei nun $d$ die kleinste positive Zahl aus $H$. Wir behaupten
\mavergleichskette
{\vergleichskette
{H }
{ = }{\Z d }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Dabei ist die Inklusion
\mavergleichskette
{\vergleichskette
{ \Z d }
{ \subseteq }{H }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} klar, da mit $d$ alle \zusatzklammer {positiven und negativen} {} {} Vielfachen von $d$ dazugehören müssen. Für die umgekehrte Inklusion sei
\mavergleichskette
{\vergleichskette
{h }
{ \in }{H }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} beliebig. Nach der Division mit Rest gilt
\mathdisp {h=qd+r \text{ mit } 0 \leq r < d} { . }
Wegen \mathkon { h \in H } { und } { qd \in H }{ } ist auch
\mavergleichskette
{\vergleichskette
{ r }
{ = }{ h-qd }
{ \in }{ H }
{ }{ }
{ }{ }
} {}{}{.} Nach der Wahl von $d$ muss wegen
\mavergleichskette
{\vergleichskette
{r }
{ < }{d }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gelten:
\mavergleichskette
{\vergleichskette
{r }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Dies bedeutet
\mavergleichskette
{\vergleichskette
{h }
{ = }{qd }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und damit
\mavergleichskette
{\vergleichskette
{h }
{ \in }{\Z d }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} also
\mavergleichskette
{\vergleichskette
{H }
{ \subseteq }{\Z d }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}

}





\inputfaktbeweis
{Teilbarkeitstheorie (Z)/Gemeinsame Teiler/Charakterisierung mit Untergruppen/Fakt}
{Lemma}
{}
{

\faktsituation {}
\faktvoraussetzung {Es seien
\mathl{a_1 , \ldots , a_k}{} ganze Zahlen und
\mavergleichskette
{\vergleichskette
{H }
{ = }{(a_1 , \ldots , a_k ) }
{ = }{ { \left\{ n_1a_1+n_2a_2 + \cdots + n_ka_k \mid n_j \in \Z \right\} } }
{ }{ }
{ }{ }
} {}{}{} die davon \definitionsverweis {erzeugte Untergruppe}{}{.}}
\faktfolgerung {Eine ganze Zahl $t$ ist ein \definitionsverweis {gemeinsamer Teiler}{}{} der $a_1 , \ldots , a_k$ genau dann, wenn
\mavergleichskette
{\vergleichskette
{H }
{ \subseteq }{ \Z t }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist, und $t$ ist ein \definitionsverweis {größter gemeinsamer Teiler}{}{} genau dann, wenn
\mavergleichskette
{\vergleichskette
{H }
{ = }{ \Z t }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist.}
\faktzusatz {}
\faktzusatz {}

}
{

Aus
\mavergleichskette
{\vergleichskette
{ H }
{ = }{ (a_1 , \ldots , a_k ) }
{ \subseteq }{ (t) }
{ }{ }
{ }{ }
} {}{}{} folgt sofort
\mavergleichskette
{\vergleichskette
{a_i \Z }
{ \subseteq }{t \Z }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} für jedes
\mavergleichskette
{\vergleichskette
{i }
{ = }{1 , \ldots , k }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} was gerade bedeutet, dass $t$ diese Zahlen teilt, also ein gemeinsamer Teiler ist. Es sei umgekehrt $t$ ein gemeinsamer Teiler. Dann ist
\mavergleichskette
{\vergleichskette
{a_i }
{ \in }{t \Z }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und da
\mavergleichskette
{\vergleichskette
{H }
{ = }{(a_1 , \ldots , a_k ) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die kleinste Untergruppe ist, die alle $a_i$ enthält, muss
\mavergleichskette
{\vergleichskette
{H }
{ \subseteq }{ t \Z }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gelten.

Aufgrund von Satz 20.4 wissen wir, dass es eine ganze Zahl $g$ gibt mit
\mavergleichskette
{\vergleichskette
{H }
{ = }{\Z d }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Für einen anderen gemeinsamen Teiler $t$ der $a_i$ gilt
\mavergleichskette
{\vergleichskette
{\Z d }
{ = }{H }
{ \subseteq }{ \Z t }
{ }{ }
{ }{ }
} {}{}{,} sodass $d$ von allen anderen gemeinsamen Teilern geteilt wird, also ein größter gemeinsamer Teiler ist.

}






\zwischenueberschrift{Der Euklidische Algorithmus}

Der euklidische Algorithmus dient dazu, zu gegebenen Zahlen $a,b$ ihren größten gemeinsamen Teiler zu bestimmen, und eine Darstellung dieses größten gemeinsamen Teilers ale eine Linearkombination der \mathkor {} {a} {und} {b} {} explizit zu finden.

Es seien $a,b$ ganze Zahlen,
\mavergleichskette
{\vergleichskette
{b }
{ \neq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Dann kann man die Division mit Rest durchführen und erhält \mathkor {} {a=qb+r} {mit} {0 \leq r< \betrag { b }} {.} Danach kann man \zusatzklammer {bei
\mavergleichskettek
{\vergleichskettek
{r }
{ \neq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{}} {} {} die Division mit Rest von $b$ durch $r$ durchführen, d.h. $b$ nimmt die Rolle von $a$ und $r$ die Rolle von $b$ ein und erhält einen neuen Rest. Dies kann man fortsetzen, und da dabei die Reste immer kleiner werden bricht das Verfahren irgendwann ab.






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Euklid-von-Alexandria_1.jpg} }
\end{center}
\bildtext {Euklid (4. Jahrhundert v. C.)} }

\bildlizenz { Euklid-von-Alexandria 1.jpg } {unbekannt} {Luestling} {Commons} {PD} {http://www.bath.ac.uk/~ma1dp/Biography.html}





\inputdefinition
{}
{

Es seien zwei ganze Zahlen
\mathl{a,b}{} \zusatzklammer {mit
\mavergleichskettek
{\vergleichskettek
{b }
{ \neq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{}} {} {} gegeben. Dann nennt man die durch die Anfangsbedingungen \mathkor {} {r_0= a} {und} {r_1= b} {} und die mittels der Division mit Rest
\mavergleichskettedisp
{\vergleichskette
{ r_{i} }
{ =} { q_i r_{i+1} + r_{i+2} }
{ } { }
{ } { }
{ } { }
} {}{}{} rekursiv bestimmte Folge $r_i$ die \definitionswort {Folge der euklidischen Reste}{.}

}





\inputfaktbeweis
{Euklidischer Algorithmus/Z/ggT/Invarianz/Fakt}
{Satz}
{}
{

\faktsituation {}
\faktvoraussetzung {Es seien ganze Zahlen \mathkor {} {r_0= a} {und} {r_1= b \neq 0} {} gegeben.}
\faktfolgerung {Dann besitzt die Folge
\mathbed {r_i} {}
{i=0,1,2, \ldots} {}
{,} {} {} {} der \definitionsverweis {euklidischen Reste}{}{} folgende Eigenschaften. \aufzaehlungvier{Es ist \mathkor {} {r_{i+2} =0} {oder} {r_{i+2} < r_{i+1}} {\zusatzfussnote {Für
\mavergleichskette
{\vergleichskette
{ i }
{ \geq }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Da $b$ auch negativ sein könnte ist dies bei
\mavergleichskette
{\vergleichskette
{ i }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} als
\mavergleichskette
{\vergleichskette
{ r_2 }
{ < }{ \betrag { r_1 } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} zu lesen} {.} {.}} }{Es gibt ein (minimales) \mathkor {} {k \geq 2} {mit} {r_k= 0} {.} }{Es ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{ ggT} (r_{i-1} ,r_{i}) }
{ =} { \operatorname{ggT} (r_{i} ,r_{i+1}) }
{ } { }
{ } { }
{ } { }
} {}{}{} für alle
\mavergleichskette
{\vergleichskette
{i }
{ = }{1 , \ldots , k }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} }{Sei
\mavergleichskette
{\vergleichskette
{k }
{ \geq }{2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} der erste Index derart, dass
\mavergleichskette
{\vergleichskette
{r_k }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist. Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{ggT}(a,b) }
{ =} {r_{k-1} }
{ } { }
{ } { }
{ } { }
} {}{}{.} }}
\faktzusatz {}
\faktzusatz {}

}
{

\aufzaehlungvier{Dies folgt unmittelbar aus der Definition der Division mit Rest. }{Solange
\mavergleichskette
{\vergleichskette
{r_i }
{ \neq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist, wird die Folge der natürlichen Zahlen $r_i$ immer kleiner, sodass irgendwann der Fall
\mavergleichskette
{\vergleichskette
{r_i }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eintreten muss. }{Wenn $t$ ein gemeinsamer Teiler von \mathkor {} {r_{i}} {und von} {r_{i+1}} {} ist, so zeigt die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ r_{i-1} }
{ =} { q_{i-1} r_{i} + r_{i+1} }
{ } { }
{ } { }
{ } { }
} {}{}{,} dass $t$ auch ein Teiler von $r_{i-1}$ und damit ein gemeinsamer Teiler von
\mathl{r_{i-1}}{} und von $r_{i}$ ist. Die Umkehrung folgt genauso. }{Dies folgt aus (3) mit der Gleichungskette
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{ ggT} (a,b) }
{ =} { \operatorname{ ggT} (b,r_2) }
{ =} { \operatorname{ ggT} (r_2,r_3) }
{ =} { \ldots }
{ =} { \operatorname{ ggT} (r_{k-2},r_{k-1}) }
} {
\vergleichskettefortsetzung
{ =} { \operatorname{ ggT} (r_{k-1},r_{k}) }
{ =} { \operatorname{ ggT} (r_{k-1},0) }
{ =} { r_{k-1} }
{ } {}
}{}{.} }

}


\inputbeispiel
{}
{ \inputaufgabeloesungvar{

Bestimme in $\Z$ mit Hilfe des euklidischen Algorithmus den \definitionsverweis {größten gemeinsamen Teiler}{}{} von $71894$ und $45327$.

} {


Der Euklidische Algorithmus liefert:

\mathdisp {71894 = 1 \cdot 45327 + 26567} { }

\mathdisp {45327 = 1 \cdot 26567 + 18760} { }

\mathdisp {26567 = 1 \cdot 18760 + 7807} { }

\mathdisp {18760 = 2 \cdot 7807 + 3146} { }

\mathdisp {7807 = 2 \cdot 3146 + 1515} { }

\mathdisp {3146 = 2 \cdot 1515 + 116} { }

\mathdisp {1515 = 13 \cdot 116 + 7} { }

\mathdisp {116 = 16 \cdot 7 + 4} { }

\mathdisp {7 = 1 \cdot 4 + 3} { }

\mathdisp {4 = 1 \cdot 3 + 1} { . }
Die Zahlen \mathkor {} {71894} {und} {45327} {} sind also teilerfremd.


} }

Bei kleinen Zahlen sieht man häufig relativ schnell direkt, was ihr größter gemeinsamer Teiler ist, da man die Primfaktorzerlegung kennt bzw. mögliche gemeinsame Teiler schnell übersehen kann. Bei zwei größeren Zahlen müssten aber viel zu viele Probedivisionen durchgeführt werden! Der euklidische Algorithmus ist also zur Bestimmung des größten gemeinsamen Teilers ein sehr effektives Verfahren!

Wenn man mit dem euklidischen Algorithmus den größten gemeinsamen Teiler $d$ von zwei Zahlen \mathkor {} {a} {und} {b} {} gefunden hat, so kann man aus diesen Rechnungen auch die Quotienten \mathkor {} {{ \frac{ a }{ d } }} {und} {{ \frac{ b }{ d } }} {} bestimmen, da dann alle euklidischen Reste Vielfache von $d$ sind.






\zwischenueberschrift{Darstellung des größten gemeinsamen Teilers}

Mit dem euklidischen Algorithmus kann man auch durch Zurückrechnen eine Darstellung des größten gemeinsamen Teilers als Linearkombination der beiden vorgegebenen Zahlen erhalten. Dazu seien
\mavergleichskettedisp
{\vergleichskette
{ r_i }
{ =} {q_ir_{i+1} + r_{i+2} }
{ } { }
{ } { }
{ } { }
} {}{}{} die Gleichungen im euklidischen Algorithmus und
\mavergleichskette
{\vergleichskette
{ r_{k-1} }
{ = }{\operatorname{ggT} \,(r_0,r_1) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Aus der letzten Gleichung
\mavergleichskettedisp
{\vergleichskette
{ r_{k-3} }
{ =} {q_{k-3} r_{k-2} + r_{k-1} }
{ } { }
{ } { }
{ } { }
} {}{}{} erhält man die Darstellung
\mavergleichskettedisp
{\vergleichskette
{ r_{k-1} }
{ =} {r_{k-3} -q_{k-3} r_{k-2} }
{ } { }
{ } { }
{ } { }
} {}{}{} von $r_{k-1}$ als Linearkombination mit \mathkor {} {r_{k-3}} {und} {r_{k-2}} {.} Mit der vorhergehenden Zeile
\mavergleichskettedisp
{\vergleichskette
{ r_{k-4} }
{ =} {q_{k-4} r_{k-3} + r_{k-2} }
{ } { }
{ } { }
{ } { }
} {}{}{} bzw.
\mavergleichskettedisp
{\vergleichskette
{ r_{k-2} }
{ =} { r_{k-4} -q_{k-4} r_{k-3} }
{ } { }
{ } { }
{ } { }
} {}{}{} kann man in dieser Darstellung $r_{k-2}$ ersetzen und erhält eine Darstellung von $r_{k-1}$ als Linearkombination von \mathkor {} {r_{k-3}} {und} {r_{k-4}} {.} So fortfahrend erhält man schließlich eine Darstellung von
\mavergleichskettedisp
{\vergleichskette
{ r_{k-1} }
{ =} {\operatorname{ggT} \,(r_0,r_1) }
{ } { }
{ } { }
{ } { }
} {}{}{} als Linearkombination von \mathkor {} {r_0} {und} {r_1} {.}




\inputbeispiel{}
{

Wir wollen für \mathkor {} {52} {und} {30} {} eine Darstellung des größten gemeinsamen Teilers finden. Wir führen dazu den euklidischen Algorithmus durch.

\mathdisp {52 = 1 \cdot 30 + 22} { }

\mathdisp {30 = 1 \cdot 22 + 8} { }

\mathdisp {22 = 2 \cdot 8 + 6} { }

\mathdisp {8 = 1 \cdot 6 + 2} { }

\mathdisp {6 = 3 \cdot 2 + 0} { . }
D.h. $2$ ist der größte gemeinsame Teiler von \mathkor {} {52} {und} {30} {.} Rückwärts gelesen erhält man daraus die Darstellung
\mavergleichskettealign
{\vergleichskettealign
{2 }
{ =} {8-6 }
{ =} {8-(22- 2 \cdot 8 ) }
{ =} {3 \cdot 8 -22 }
{ =} {3 \cdot (30-22) -22 }
} {
\vergleichskettefortsetzungalign
{ =} {3 \cdot 30 - 4 \cdot 22 }
{ =} {3 \cdot 30 - 4 \cdot (52-30) }
{ =} {7 \cdot 30 -4 \cdot 52 }
{ } {}
} {}{.}


}






\zwischenueberschrift{Kommensurabilität}

Es seien zwei Strecken \mathkor {} {s} {und} {t} {} gegeben. Man sagt, dass $t$ ein \zusatzklammer {ganzzahliges} {} {} Vielfaches von $s$ ist, wenn es eine natürliche Zahl $n$ mit der Eigenschaft gibt, dass sich die Strecke $t$ ergibt, wenn man die Strecke $s$ $n$-fach gerade hintereinanderlegt \zusatzklammer {die Strecke wird also $n$-mal genommen} {} {.} Für zwei Strecken \mathkor {} {s} {und} {t} {} gibt es das folgende Konzept, das ihre ganzzahlige Vergleichbarkeit ausdrückt. Man beachte, dass dieses Konzept unabhängig von solchen Messungen ist, die die Längen in Zahlen mit Hilfe von Einheiten ausdrücken. Es werden nur die beiden Längen gegeneinander gemessen, man verwendet keine normierten Standardlängen.


\inputdefinition
{}
{

Zwei Strecken \mathkor {} {s} {und} {t} {} heißen \stichwort {kommensurabel} {,} wenn es eine Strecke $g$ mit der Eigenschaft gibt, dass beide Strecken ganzzahlige Vielfache von $g$ sind.

}

Auch vom euklidischen Algorithmus gibt es in diesem Kontext eine sinnvolle Version. Die Strecke $t$ sei mindestens so lang wie $s$. Dann ist
\mavergleichskettedisp
{\vergleichskette
{t }
{ =} {ns +r }
{ } { }
{ } { }
{ } { }
} {}{}{} mit
\mathl{n \in \N}{} und einer \anfuehrung{Reststrecke}{} $r$, die kürzer als $s$ ist und eventuell $0$ ist. Die Gleichung ist dabei als eine Gleichung von hintereinander hingelegten Strecken zu verstehen. Wie in Satz 20.7 ergibt sich, dass mit \mathkor {} {s} {und} {t} {} auch \mathkor {} {s} {und} {r} {} kommensurabel sind. Wenn man dieses Verfahren rekursiv fortsetzt, so tritt im Falle der Kommensurabilität irgendwann die Situation auf, wo die kleine Strecke in die größere Strecke voll aufgeht. Somit hat man dann auch die größte gemeinsame Teilerstrecke gefunden.