Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil I/Vorlesung 12/latex
\setcounter{section}{12}
\epigraph { Man muss auch teilen können. } { }
\zwischenueberschrift{Teilbarkeitseigenschaften}
Wir besprechen nun die Eigenschaft, dass eine natürliche Zahl eine weitere natürliche Zahl teilt.
\inputdefinition
{}
{
Man sagt, dass die
\definitionsverweis {natürliche Zahl}{}{}
$a$ die natürliche Zahl $b$ \definitionswort {teilt}{}
\zusatzklammer {oder dass $b$ von $a$ \definitionswort {geteilt}{} wird, oder dass $b$ ein \definitionswort {Vielfaches}{} von $a$ ist} {} {,}
wenn es eine natürliche Zahl $c$ derart gibt, dass
\mavergleichskette
{\vergleichskette
{b
}
{ = }{c \cdot a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Man schreibt dafür auch $a {{|}} b$.
}
Beispielsweise sind
\mathl{1,2,5,10}{} Teiler von $10$ und
\mathl{1,3,9,27,81}{} die Teiler von
\mathl{81}{.} Eine Zerlegung
\mavergleichskettedisp
{\vergleichskette
{n
}
{ =} {st
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
nennt man auch eine \stichwort {Faktorzerlegung} {} von $n$. Wenn $a$ ein Teiler von $b$ ist und
\mavergleichskettedisp
{\vergleichskette
{a
}
{ \neq} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
so ist die Zahl $c$ mit
\mavergleichskette
{\vergleichskette
{b
}
{ = }{ac
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nach der Kürzungsregel
eindeutig bestimmt. Man nennt diese Zahl den \stichwort {Gegenteiler} {} oder \stichwort {komplementären Teiler} {} und schreibt dafür
\mathl{{ \frac{ b }{ a } }}{.} Da wir im Moment die rationalen Zahlen noch nicht zur Verfügung haben, ist dies nur dann eine erlaubte Schreibweise, wenn die Teilerbeziehung vorliegt und
\mavergleichskette
{\vergleichskette
{a
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\zusatzklammer {so wie die Schreibweise \mathlk{a-b}{} bisher nur erlaubt ist, wenn
\mavergleichskette
{\vergleichskette
{b
}
{ \leq }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist} {} {.}
Es ist also $0$ ein Teiler der $0$, der Ausdruck
\mathl{0/0}{} ist aber nicht definiert\zusatzfussnote {Orte können miteinander verbunden sein oder nicht. Man kann von $A$ nach $B$ gelangen, wenn es einen Weg von $A$ nach $B$ gibt. Aber nur, wenn es genau einen Weg von $A$ nach $B$ gibt, kann man von
\betonung{dem}{} Weg von $A$ nach $B$ sprechen} {.} {.}
Wenn
\mavergleichskette
{\vergleichskette
{a
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Teiler von $b$ ist, so nennt man die Bestimmung des eindeutig bestimmten $c$ mit
\mavergleichskettedisp
{\vergleichskette
{b
}
{ =} {ac
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Teilen. Man sagt, dass man $b$ durch $a$ teilt mit dem Ergebnis $c$.
\inputfaktbeweis
{Teilbarkeitstheorie (N)/Größenbeziehung/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{n
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {natürliche Zahl}{}{}
und $t$ ein
\definitionsverweis {Teiler}{}{}
von $n$.}
\faktfolgerung {Dann ist
\mavergleichskette
{\vergleichskette
{t
}
{ \leq }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktzusatz {Insbesondere besitzt $n$ nur endlich viele Teiler.}
\faktzusatz {}
}
{
Da der Teiler $0$ ausgeschlossen ist, sind bei einer Faktorzerlegung
\mavergleichskette
{\vergleichskette
{n
}
{ = }{tc
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
beide Faktoren $\geq 1$. Wegen
Satz 10.8 (3)
ist daher
\mavergleichskettedisp
{\vergleichskette
{ n
}
{ =} { tc
}
{ \geq} { t \cdot 1
}
{ =} { t
}
{ } {
}
}
{}{}{.}
Der Zusatz ist klar, da es unterhalb von $n$ überhaupt nur endlich viele natürliche Zahlen gibt.
Wenn man also alle Teiler einer natürlichen Zahl $n$ finden möchte, so muss man einfach die Zahlen
\mavergleichskettedisp
{\vergleichskette
{a
}
{ \leq} {n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
der Reihe nach durchgehen und ihre Vielfachen
\mathdisp {1a =a,2a,3a, \ldots} { }
durchgehen, bis die Zahl $n$ auftaucht
\zusatzklammer {in welchem Fall $a$ ein Teiler ist} {} {}
oder eine Zahl $>n$ auftaucht
\zusatzklammer {dann liegt kein Teiler vor} {} {.}
Übrigens muss man nicht die Zahlen bis $n$ durchprobieren, sondern lediglich bis zur ersten Zahl $r$ mit
\mavergleichskette
{\vergleichskette
{r^2
}
{ \geq }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {man muss also nur bis zur Größenordnung der Quadratwurzel aus $n$ gehen} {} {.}
Dann muss man aber für jeden Teiler
\mavergleichskettedisp
{\vergleichskette
{t
}
{ \leq} {r
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
auch den Gegenteiler mitanführen, siehe
Aufgabe 12.13.
Für
\mathl{105}{} muss man maximal bis $11$ gehen. Es ergeben sich die Zerlegungen
\mavergleichskettedisp
{\vergleichskette
{105
}
{ =} {1 \cdot 105
}
{ =} {3 \cdot 35
}
{ =} {5 \cdot 21
}
{ =} {7 \cdot 15
}
}
{}{}{}
und die Teiler sind somit
\mathl{1,3,5,7,15,21,35,105}{.}
Eine durch $2$ teilbare Zahl, also ein Vielfaches von $2$, heißt \stichwort {gerade} {,} eine nicht durch $2$ teilbare Zahl heißt \stichwort {ungerade} {.} Für einige Zahlen gibt es einfache Tests, ob sie ein Teiler einer gewissen Zahl sind, die allerdings auf dem Dezimalsystem beruhen. Eine weitere wichtige Möglichkeit ist die Division mit Rest. Auch der dritte Teil des folgenden Lemmas hilft: Wenn $a$ kein Teiler von $n$ ist, so sind sämtliche Vielfache von $a$ ebenfalls kein Teiler von $n$.
\inputfaktbeweis
{Teilbarkeitstheorie (N)/Verschiedene Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {In $\N$ gelten folgende Teilbarkeitsbeziehungen.}
\faktfolgerung {\aufzaehlungsechs{Für jede natürliche Zahl $a$ gilt
\mathkor {} {1 \, {{|}}\, a} {und} {a \,{{|}}\, a} {.}
}{Für jede natürliche Zahl $a$ gilt
\mathl{a \,{{|}}\, 0}{.}
}{Gilt
\mathkor {} {a \,{{|}}\, b} {und} {b \,{{|}}\, c} {,}
so gilt auch
\mathl{a \,{{|}}\, c}{.}
}{Gilt
\mathkor {} {a \,{{|}}\, b} {und} {c \,{{|}}\, d} {,}
so gilt auch
\mathl{ac \,{{|}}\, bd}{.}
}{Gilt
\mathl{a \,{{|}}\, b}{,} so gilt auch
\mathl{ac \,{{|}}\, bc}{} für jede natürliche Zahl $c$.
}{Gilt
\mathkor {} {a \,{{|}}\, b} {und} {a \,{{|}}\, c} {,}
so gilt auch
\mathl{a \,{{|}}\, { \left( rb+sc \right) }}{} für beliebige natürliche Zahlen $r,s$.
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungsechs{Ist klar wegen
\mavergleichskettedisp
{\vergleichskette
{a
}
{ =} {a \cdot 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Ist klar wegen
\mavergleichskettedisp
{\vergleichskette
{0
}
{ =} {a \cdot 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Die beiden Voraussetzungen bedeuten die Existenz von
\mavergleichskette
{\vergleichskette
{ s,t
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{b
}
{ = }{as
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{c
}
{ = }{bt
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Somit ist
\mavergleichskettedisp
{\vergleichskette
{c
}
{ =} { bt
}
{ =} { (as)t
}
{ =} { a (st)
}
{ } {
}
}
{}{}{}
und $a$ ist auch ein Teiler von $c$.
}{Aus den Voraussetzungen
\mavergleichskette
{\vergleichskette
{ b
}
{ = }{as
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{d
}
{ = }{tc
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ergibt sich direkt
\mavergleichskettedisp
{\vergleichskette
{bd
}
{ =} {astc
}
{ =} { ac ts
}
{ } {
}
{ } {
}
}
{}{}{,}
also ist $ac$ ein Teiler von $bd$.
}{Aus der Voraussetzung
\mavergleichskette
{\vergleichskette
{ b
}
{ = }{as
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ergibt sich direkt
\mavergleichskettedisp
{\vergleichskette
{bc
}
{ =} {acs
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
also ist $ac$ ein Teiler von $bc$.
}{Aus den Voraussetzungen
\mavergleichskette
{\vergleichskette
{ b
}
{ = }{ a t
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{c
}
{ = }{ a u
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ergibt sich direkt mit dem Distributivgesetz
\mavergleichskettedisp
{\vergleichskette
{rb+sc
}
{ =} { rat +sau
}
{ =} { a (rt+su)
}
{ } {
}
{ } {
}
}
{}{}{,}
also ist $a$ ein Teiler von
\mathl{rb+sc}{.}
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Verband_Teiler30.png} }
\end{center}
\bildtext {} }
\bildlizenz { Verband_Teiler30.png } {} {SirJective} {Commons} {CC-by-sa 3.0} {}
\inputbeispiel{}
{
Wir betrachten die positiven natürlichen Zahlen $\N_+$ zusammen mit der Teilbarkeitsbeziehung. Dies ergibt eine
\definitionsverweis {Ordnung}{}{}
auf $\N_+$. Die Teilbarkeitsrelation ist in der Tat reflexiv, da stets
\mathl{n{{|}}n}{} ist, wie
\mavergleichskette
{\vergleichskette
{m
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zeigt. Die Transitivität wurde in
Lemma 12.3 (3)
gezeigt. Die Antisymmetrie folgt so: Aus
\mathkor {} {n=ak} {und} {k=bn} {}
folgt
\mavergleichskette
{\vergleichskette
{n
}
{ = }{(ab)n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Da wir uns auf positive natürliche Zahlen beschränken, folgt
mit der Kürzungsregel
\mavergleichskette
{\vergleichskette
{ab
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und daraus wegen
\mavergleichskette
{\vergleichskette
{a,b
}
{ \leq }{ ab
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auch
\mavergleichskette
{\vergleichskette
{a
}
{ = }{b
}
{ = }{1
}
{ }{
}
{ }{
}
}
{}{}{.}
Also ist
\mavergleichskette
{\vergleichskette
{k
}
{ = }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Einfache Beispiele wie \mathkon { 2 } { und } { 3 }{ } zeigen, dass hier keine
\definitionsverweis {totale Ordnung}{}{}
vorliegt, da weder $2$ von $3$ noch umgekehrt geteilt wird.
}
\zwischenueberschrift{Größter gemeinsamer Teiler und kleinstes gemeinsames Vielfaches}
\inputdefinition
{}
{
Es seien
\mathl{a_1 , \ldots , a_k}{}
\definitionsverweis {natürliche Zahlen}{}{.}
Dann heißt eine natürliche Zahl $t$ \definitionswort {gemeinsamer Teiler}{} der
\mathl{a_1 , \ldots , a_k}{,} wenn $t$ jedes $a_i$
\definitionsverweis {teilt}{}{}
für
\mavergleichskette
{\vergleichskette
{ i
}
{ = }{ 1 , \ldots , k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Eine natürliche Zahl $g$ heißt \definitionswort {größter gemeinsamer Teiler}{} der
\mathl{a_1 , \ldots , a_k}{,} wenn $g$ ein gemeinsamer Teiler ist und wenn $g$ unter allen gemeinsamen Teilern der
\mathl{a_1 , \ldots , a_k}{} der
\zusatzklammer {bezüglich der Ordnungsrelation auf den natürlichen Zahlen} {} {}
Größte ist.
}
Beispielsweise haben die Zahlen
\mathl{100,75,125}{} die gemeinsamen Teiler
\mathl{1,5,25}{,} und $25$ ist der größte gemeinsame Teiler.
\inputdefinition
{}
{
Zwei natürliche Zahlen heißen \definitionswort {teilerfremd}{,} wenn sie keinen gemeinsamen
\definitionsverweis {Teiler}{}{}
\mathl{\geq 2}{} besitzen.
}
Beispielsweise sind
\mathkor {} {12} {und} {25} {}
teilerfremd,
\mathkor {} {15} {und} {25} {}
sind nicht teilerfremd, da $5$ ein gemeinsamer Teiler ist. Die $1$ ist zu jeder natürlichen Zahl
\zusatzklammer {auch zu $0$ und $1$} {} {}
teilerfremd.
\inputdefinition
{}
{
Zu einer Menge von
\definitionsverweis {natürlichen Zahlen}{}{}
\mathdisp {a_1 , \ldots , a_n} { }
heißt eine natürliche Zahl $b$ ein \definitionswort {gemeinsames Vielfaches}{,} wenn $b$ ein
\definitionsverweis {Vielfaches}{}{}
von jedem $a_i$ ist, also von jedem $a_i$
\definitionsverweis {geteilt}{}{}
wird.
Die Zahl $b$ heißt das \definitionswort {kleinste gemeinsame Vielfache}{} der
\mathl{a_1 , \ldots , a_n}{,} wenn $b$ ein gemeinsames Vielfaches ist und unter allen gemeinsamen Vielfachen $\neq 0$ der
\mathl{a_1 , \ldots , a_n}{,} das Kleinste ist.
} Die Existenz eines größten gemeinsamen Teilers ist wegen Lemma 12.2 klar. Die Existenz des kleinsten gemeinsamen Vielfachen ist ebenfalls klar, da das Produkt der Zahlen ein gemeinsames Vielfaches ist. Wir werden später als eine Anwendung der eindeutigen Primfaktorzerlegung \zusatzklammer {Satz 21.4} {} {} sehen, dass jeder gemeinsame Teiler den größten gemeinsamen Teiler teilt und dass jedes gemeinsame Vielfache ein Vielfaches des kleinsten gemeinsamen Vielfachen ist.
\zwischenueberschrift{Primzahlen}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {New Animation Sieve of Eratosthenes.gif} }
\end{center}
\bildtext {Das \stichwort {Sieb des Eratosthenes} {} liefert eine einfache Methode, eine Liste von Primzahlen unterhalb einer bestimmten Größe $k$ zu erstellen. Man streicht einfach die echten Vielfachen der kleinen
\zusatzklammer {kleiner als oder gleich $\sqrt{k}$} {} {}
schon etablierten Primzahlen durch, die verbleibenden Zahlen sind prim.} }
\bildlizenz { New Animation Sieve of Eratosthenes.gif } {} {M.qrius} {Commons} {CC-by-sa 3.0} {}
\inputdefinition
{}
{
Eine
\definitionsverweis {natürliche Zahl}{}{}
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt eine \definitionswort {Primzahl}{,} wenn die einzigen natürlichen
\definitionsverweis {Teiler}{}{}
von ihr $1$ und $n$ sind.
}
Eine Primzahl ist also eine natürliche Zahl, die genau zwei Teiler hat, nämlich \mathkor {} {1} {und} {n} {,} und die müssen verschieden sein. $1$ ist also keine Primzahl. Eine Zahl $\geq 2$, die keine Primzahl ist, heißt \stichwort {zusammengesetzt} {.}
Die ersten Primzahlen sind
\mathl{2,3,5,7,11,13,17,19,23,29,31, { \ldots }}{.} Für eine Primzahl $p$ und eine natürliche Zahl $n$ gilt folgende Alternative: Entweder teilt $p$ die Zahl $n$, oder aber
\mathkor {} {p} {und} {n} {}
sind teilerfremd. Ein gemeinsamer Teiler muss ja ein Teiler von $p$ sein, und da kommen nur
\mathkor {} {1} {und} {p} {}
in Frage.
Ein wichtiger Satz ist der Satz über die eindeutige Primfaktorzerlegung. Eine einfache Version davon ist der folgende Satz.
\inputfaktbeweis
{Zahlentheorie/Primfaktorzerlegung/Existenz/Fakt}
{Satz}
{}
{
Jede
\definitionsverweis {natürliche Zahl}{}{}
\mathbed {n \in \N} {}
{n \geq 2} {}
{} {} {} {,}
besitzt eine Zerlegung in Primfaktoren.
D.h. es gibt eine Darstellung
\mavergleichskettedisp
{\vergleichskette
{n
}
{ =} {p_1 \cdot p_2 { \cdots } p_r
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\definitionsverweis {Primzahlen}{}{}
$p_i$.
}
{
Wir beweisen die Existenz durch Induktion über $n$.
Für
\mavergleichskette
{\vergleichskette
{n
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
liegt eine Primzahl vor Bei
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist entweder $n$ eine Primzahl, und diese bildet die Primfaktorzerlegung, oder aber $n$ ist keine Primzahl. In diesem Fall gibt es eine nichttriviale Zerlegung
\mavergleichskette
{\vergleichskette
{ n
}
{ = }{ ab
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit kleineren Zahlen
\mavergleichskette
{\vergleichskette
{a,b
}
{ < }{ n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für diese Zahlen gibt es nach Induktionsvoraussetzung jeweils eine Zerlegung in Primfaktoren, und diese setzen sich zu einer Primfaktorzerlegung für $n$ zusammen
Für
\mathl{105}{} beispielsweise findet man den Primfaktor $3$ und kann daher
\mavergleichskette
{\vergleichskette
{ 105
}
{ = }{ 3 \cdot 35
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schreiben. Für $35$ hat man die Zerlegung
\mavergleichskette
{\vergleichskette
{ 35
}
{ = }{ 5 \cdot 7
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und man erhält
\mavergleichskettedisp
{\vergleichskette
{ 105
}
{ =} { 3 \cdot 5 \cdot 7
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wenn man mit dem Primfaktor $5$ startet, so ergibt sich
\mavergleichskette
{\vergleichskette
{ 105
}
{ = }{ 5 \cdot 21
}
{ = }{ 5 \cdot 3 \cdot 7
}
{ }{
}
{ }{
}
}
{}{}{,}
insgesamt kommen also die gleichen Primfaktoren vor. Gelegentlich betrachten wir die Gleichung
\mavergleichskette
{\vergleichskette
{ 1
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
als die Primfaktorzerlegung der $1$, hier tritt jeder Primfaktor mit dem Exponenten $0$ auf, das leere Produkt ist $1$. Wir werden später in
Satz 21.4
zeigen, dass die Primfaktorzerlegung bis auf die Reihenfolge eindeutig ist, was keineswegs selbstverständlich ist, einiger Vorbereitungen bedarf und am besten innerhalb der ganzen Zahlen bewiesen wird.
Der folgende Satz wird Euklid zugeschrieben.
\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 } {} {Luestling} {Commons} {PD} {http://www.bath.ac.uk/~ma1dp/Biography.html}
\inputfaktbeweis
{Primzahlen/Unendlich viele/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktfolgerung {Es gibt unendlich viele Primzahlen.}
\faktzusatz {}
\faktzusatz {}
}
{
Angenommen die Menge aller Primzahlen sei endlich, sagen wir
\mathl{\{p_1, p_2 , \ldots , p_r \}}{} sei eine vollständige Auflistung aller Primzahlen. Man betrachtet die natürliche Zahl
\mavergleichskettedisp
{\vergleichskette
{N
}
{ =} { p_1 \cdot p_2\cdot p_3 { \cdots } p_r + 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Da bei Division von $N$ durch $p_i$ immer der Rest $1$ übrigbleibt
\zusatzklammer {bzw. nach
Aufgabe 12.12} {} {} ist diese Zahl durch keine der Primzahlen $p_i$ teilbar. Andererseits besitzt $N$ nach
Satz 12.9
eine Primfaktorzerlegung. Insbesondere gibt es eine Primzahl $p$, die $N$ teilt
\zusatzklammer {dabei könnte
\mavergleichskettek
{\vergleichskettek
{N
}
{ = }{p
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein} {} {.}
Doch damit muss $p$ gleich einem der $p_i$ aus der Liste sein, und diese sind keine Teiler von $N$. Dies ist ein Widerspruch, da ein $p_i$ nicht gleichzeitig ein Teiler und kein Teiler von $N$ sein kann. Also muss die Annahme
\zusatzklammer {nämlich die Endlichkeit der Primzahlmenge} {} {}
falsch gewesen sein.
\zwischenueberschrift{Primzahlprobleme}
In der Vorlesung Grundkurs Mathematik geht es um Sachverhalte, die allesamt seit mindestens $120$ Jahren gut verstanden sind und zu einem großen Teil sogar bis in die griechische Antike zurückreichen. Wir unterbrechen die allgemeine Darstellung und gehen kurz auf die Frage ein, was Mathematiker in der Forschung machen. Das ist im Allgemeinen schwierig zu vermitteln, im zahlentheoretischen Kontext gibt es aber einige Beispiele, die sich leicht erläutern lassen.
Die treibende Kraft der Mathematik ist es, Probleme zu lösen. Schwierige Probleme gibt es in allen Bereichen der Mathematik, besonders prägnant sind sie in der Zahlentheorie, da es dort eine Vielzahl von elementar formulierten ungelösten Problemen gibt. Man spricht von \stichwort {offenen Problemen} {,} oder, wenn man eine bestimmte Erwartung hat, von einer \stichwort {Vermutung} {.} Als Beispiel besprechen wir das Problem der Primzahlzwillinge, zu dem es vor einigen Jahren \zusatzklammer {2013} {} {} einen wichtigen Fortschritt gab.
\inputdefinition
{}
{
Ein \definitionswort {Primzahlzwilling}{} ist ein Paar bestehend aus \mathkor {} {p} {und} {p+2} {,} wobei diese beiden Zahlen \definitionsverweis {Primzahlen}{}{} sind.
}
Die ersten Beispiele für Primzahlzwillinge sind
\mathdisp {(3,5),\, (5,7), \,(11,13),\,(17,19),\,(29,31), \ldots} { . }
Übrigens ist
\mathl{3,5,7}{} der einzige Doppel-Primzahlzwilling
,
siehe
Aufgabe 12.41.
\inputproblem{}
{
Gibt es unendlich viele \definitionsverweis {Primzahlzwillinge}{}{?}
}
Eine Lösung dieses Problems wäre ein mathematischer Satz, der entweder besagt, dass es unendlich viele Primzahlzwillinge gibt, oder dass es nur endlich viele Primzahlzwillinge gibt. D.h. das eine oder das andere müsste bewiesen werden. Bei schwierigen Problemen erwartet man nicht, dass jemand plötzlich einen Beweis hinschreibt, sondern dass eine neue und weit verzweigte Theorie entwickelt wird, mit der man letztlich einen Beweis geben kann.
\inputbemerkung
{}
{
Die Frage, ob es unendlich viele Primzahlzwillinge gibt, besitzt verschiedene schwächere Varianten. Man kann sich zum Beispiel fragen, ob es unendlich oft vorkommt, dass es in einem Zehnerintervall zwei Primzahlen gibt, oder dass es in einem Hunderterintervall zwei Primzahlen gibt, und so weiter. Die ersten Primzahlen vermitteln dabei ein Bild, dass Primzahlen ziemlich häufig sind. Sie werden aber zunehmend seltener, sodass es für hohe Hunderterintervalle, sagen wir für die Zahlen von
\mathdisp {1 000 000 000 000 000 \text{ bis } 1 000 000 000 000 100} { }
ziemlich unwahrscheinlich ist, eine Primzahl zu enthalten, geschweige denn zwei Primzahlen. Bis vor kurzem war es nicht bekannt, ob es überhaupt eine Zahl $m$ mit der Eigenschaft gibt, dass es unendlich viele Intervalle der Länge $m$ gibt, die zwei Primzahlen enthalten
\zusatzklammer {\mathlk{m=2}{} wäre die positive Lösung des Primzahlzwillingsproblems} {} {.}
Im Jahr 2013 bewies Zhang Yitang, dass man
\mavergleichskette
{\vergleichskette
{m
}
{ = }{70 000 000
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nehmen kann, dass es also unendlich viele Intervalle der Form
\mathdisp {[k,k+70 000 000]} { }
gibt, in denen zwei Primzahlen liegen. Dieses Resultat ist ein Durchbruch in der Primzahlzwillingforschung, da es erstmals zeigt, dass sich Primzahlen unendlich oft \anfuehrung{ziemlich nahe}{} kommen. Zwischenzeitlich wurde die Schranke von
\mathl{70 000 000}{} auf
\mathl{252}{} gesenkt, siehe http://arxiv.org/pdf/1402.4849v2.pdf.
}