Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Vorlesung 23/latex
\setcounter{section}{23}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Squaring_the_circle.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Squaring the circle.svg } {} {Alexei Kouprianov} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Dürer_quadratur.jpg} }
\end{center}
\bildtext {Auch Albrecht Dürer hatte Spaß an der Quadratur des Kreises} }
\bildlizenz { Dürer quadratur.jpg } {Albrecht Dürer} {SOP} {Commons} {PD} {}
Unter den drei klassischen Problemen der antiken Mathematik versteht man \aufzaehlungdrei{die Quadratur des Kreises, }{die Dreiteilung des Winkels, }{die Würfelverdoppelung. } Dabei sollen diese Konstruktionen ausschließlich mit Zirkel und Lineal durchgeführt werden, wobei dies natürlich präzisiert werden muss. Nach langen vergeblichen Versuchen, solche Konstruktionen zu finden, ergab sich im Laufe des neunzehnten Jahrhunderts die Erkenntnis, dass es keine solche Konstruktionen geben kann. Dies erfordert natürlich, dass man eine Übersicht über alle möglichen Konstruktionen erhalten kann.
\zwischenueberschrift{Konstruktionen mit Zirkel und Lineal}
Unter der Ebene $E$ verstehen wir im Folgenden die Anschauungsebene, die wir später mit
\mavergleichskette
{\vergleichskette
{ \R^2
}
{ \cong }{ {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
identifizieren. Zunächst sind die Konstruktionen \anfuehrung{koordinatenfrei}{.} An elementargeometrischen Objekten verwenden wir Punkte, Geraden und Kreise. An elementargeometrischen Gesetzmäßigkeiten verwenden wir, dass zwei verschiedene Punkte eine eindeutige Gerade definieren, dass zwei Geraden entweder identisch sind oder parallel und schnittpunktfrei oder genau einen Schnittpunkt haben, u.s.w.
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ M
}
{ \subseteq }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Teilmenge der Ebene $E$. Eine Gerade
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt aus $M$ \definitionswort {elementar konstruierbar}{,} wenn es zwei Punkte
\mathbed {P,Q \in M} {}
{P\neq Q} {}
{} {} {} {,}
derart gibt, dass die Verbindungsgerade von
\mathkor {} {P} {und} {Q} {}
gleich $G$ ist. Ein Kreis
\mavergleichskette
{\vergleichskette
{C
}
{ \subseteq }{E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt aus $M$ \definitionswort {elementar konstruierbar}{,} wenn es zwei Punkte
\mathbed {Z,S \in M} {}
{Z \neq S} {}
{} {} {} {,}
derart gibt, dass der Kreis mit dem Mittelpunkt $Z$ und durch den Punkt $S$ gleich $C$ ist.
}
Man kann also an zwei Punkte aus der vorgegebenen Menge $M$ das \stichwort {Lineal anlegen} {} und die dadurch definierte Gerade zeichnen, und man darf die \stichwort {Nadelspitze des Zirkels} {} in einen Punkt der Menge stechen und die \stichwort {Stiftspitze des Zirkels} {} an einen weiteren Punkt der Menge anlegen und den Kreis ziehen.
Wenn ein Koordinatensystem vorliegt, und zwei Punkte
\mathkor {} {P=(p_1,p_2)} {und} {Q=(q_1,q_2)} {} gegeben sind, so ist die Gleichung der Verbindungsgeraden der beiden Punkte bekanntlich
\mathdisp {(p_1-q_1)y+(q_2-p_2)x+ q_1p_2-q_2p_1 =0} { . }
Wenn zwei Punkte
\mathkor {} {Z=(z_1,z_2)} {und} {S=(s_1,s_2)} {} gegeben sind, so besitzt der Kreis mit dem Mittelpunkt $Z$ durch den Punkt $S$ die Kreisgleichung
\mathdisp {(x-z_1)^2 + (y-z_2)^2 - (s_1-z_1)^2-(s_2-z_2)^2=0} { . }
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ M
}
{ \subseteq }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Teilmenge der Ebene $E$. Dann heißt ein Punkt
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
aus $M$ \definitionswort {in einem Schritt konstruierbar}{,} wenn eine der folgenden Möglichkeiten zutrifft.
\aufzaehlungdrei{Es gibt zwei aus $M$
\definitionsverweis {elementar konstruierbare Geraden}{}{}
\mathkor {} {G_1} {und} {G_2} {}
mit
\mavergleichskette
{\vergleichskette
{G_1 \cap G_2
}
{ = }{ \{ P \}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es gibt eine aus $M$ elementar konstruierbare Gerade $G$ und einen aus $M$ elementar konstruierbaren Kreis $C$ derart, dass $P$ ein Schnittpunkt von
\mathkor {} {G} {und} {C} {}
ist.
}{Es gibt zwei aus $M$ elementar konstruierbare Kreise
\mathkor {} {C_1} {und} {C_2} {}
derart, dass $P$ ein Schnittpunkt der beiden Kreise ist.
}
}
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ M
}
{ \subseteq }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Teilmenge der Ebene $E$. Dann heißt ein Punkt
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
aus $M$ \definitionswort {konstruierbar}{} \zusatzklammer {oder \definitionswort {mit Zirkel und Lineal konstruierbar}{}} {} {,}
wenn es eine Folge von Punkten
\mathdisp {P_1 , \ldots , P_n=P} { }
gibt derart, dass $P_{i}$ jeweils aus
\mathl{M \cup \{ P_1 , \ldots , P_{i-1} \}}{} \definitionsverweis {in einem Schritt konstruierbar}{}{}
ist.
}
\inputdefinition
{}
{
Eine Zahl
\mavergleichskette
{\vergleichskette
{z
}
{ \in }{ {\mathbb C}
}
{ \cong }{E
}
{ }{
}
{ }{
}
}
{}{}{}
heißt \definitionswort {konstruierbar}{} oder \definitionswort {konstruierbare Zahl}{,} wenn sie aus der Startmenge
\mavergleichskette
{\vergleichskette
{ \{0 , 1 \}
}
{ \subset }{ \R
}
{ \subset }{ {\mathbb C}
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {mit Zirkel und Lineal konstruierbar}{}{}
ist.
}
\inputbemerkung
{}
{
Man startet also mit zwei beliebig vorgegebenen Punkten, die man
\mathkor {} {0} {und} {1} {} nennt und die dann die arithmetische Funktion übernehmen, die mit diesen Symbolen verbunden wird. Als erstes kann man die Gerade durch
\mathkor {} {0} {und} {1} {} ziehen, und diese Gerade wird mit den reellen Zahlen $\R$ identifiziert. Wir werden gleich sehen, dass man eine zu $\R$ senkrechte Gerade durch $0$ konstruieren kann, mit deren Hilfe ein \stichwort {kartesisches Koordinatensystem} {} entsteht und mit dem wir die Ebene mit den komplexen Zahlen ${\mathbb C}$ identifizieren können.
In den folgenden Konstruktionen verwenden wir einige Begrifflichkeiten aus der euklidischen Geometrie, wie Winkel, senkrecht, parallel, Strecke und elementare Grundtatsachen wie die Strahlensätze, Symmetriesätze und den Satz des Pythagoras. }
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Mediatrice_compas.gif} }
\end{center}
\bildtext {} }
\bildlizenz { Mediatrice compas.gif } {} {Pdebart} {Commons} {PD} {}
\inputfaktbeweis
{Zirkel und Lineal/Wichtige Konstruktionen/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktuebergang {In der Ebene lassen sich folgende Konstruktionen mit Zirkel und Lineal durchführen.}
\faktfolgerung {\aufzaehlungvier{Zu einer Geraden $G$ und zwei Punkten
\mavergleichskette
{\vergleichskette
{ Q_1,Q_2
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man die zu $G$ senkrechte Gerade zeichnen, die die Strecke zwischen
\mathkor {} {Q_1} {und} {Q_2} {} halbiert.
}{Zu einer Geraden $G$ und einem Punkt
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man die zu $G$ senkrechte Gerade durch $P$ zeichnen.
}{Zu einer Geraden $G$ und einem Punkt $P$ kann man die zu $G$ senkrechte Gerade durch $P$ zeichnen.
}{Zu einer gegebenen Geraden $G$ und einem gegebenen Punkt $P$ kann man die Gerade $G'$ durch $P$ zeichnen, die zu $G$ parallel ist.
}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir verwenden im Beweis einige elementargeometrische Grundtatsachen. \aufzaehlungvier{Wir zeichnen die beiden Kreise \mathkor {} {C_1} {und} {C_2} {} mit dem Mittelpunkt $Q_1$ durch $Q_2$ und umgekehrt. Die beiden Schnittpunkte von \mathkor {} {C_1} {und} {C_2} {} seien \mathkor {} {S_1} {und} {S_2} {.} Deren Verbindungsgerade steht senkrecht auf $G$ und halbiert die Strecke zwischen \mathkor {} {Q_1} {und} {Q_2} {.} }{Man zeichnet einen Kreis $C$ mit $P$ als Mittelpunkt und einem beliebigen Radius \zusatzklammer {dazu braucht man neben $P$ noch einen weiteren Punkt} {} {.} Es seien \mathkor {} {Q_1} {und} {Q_2} {} die beiden Schnittpunkte der Gerade $G$ mit $C$. Für diese beiden Punkte führen wir die in (1) beschriebene Konstruktion durch. Diese Halbierungsgerade läuft dann durch $P$ und steht senkrecht auf $G$. }{Wenn $P$ auf der Geraden liegt, sind wir schon fertig mit der Konstruktion in (2). Andernfalls zeichnen wir einen Kreis mit $P$ als Mittelpunkt mit einem hinreichend großen Radius derart, dass sich zwei Schnittpunkte \mathkor {} {Q_1} {und} {Q_2} {} mit der Geraden ergeben \zusatzklammer {dafür braucht man, dass mindestens ein weiterer Punkt zur Verfügung steht} {} {.} Dann führt wieder die erste Konstruktion zum Ziel. }{Dafür führt man zuerst die Konstruktion der Senkrechten $S$ durch $P$ wie in (3) beschrieben durch. Mit $P$ und $S$ führt man dann die Konstruktion (2) durch. }
\zwischenueberschrift{Arithmetische Eigenschaften von konstruierbaren Zahlen}
\inputfaktbeweis
{Zirkel und Lineal/Konstruierbare Zahl/Koordinatencharakterisierung/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{ P
}
{ = }{(x,y)
}
{ \in }{ {\mathbb C}
}
{ \cong }{ \R^2
}
{ }{
}
}
{}{}{}
ein Punkt in der Ebene.}
\faktfolgerung {Dann ist $P$ genau dann
\definitionsverweis {konstruierbar}{}{,}
wenn die beiden Koordinaten
\mathkor {} {x} {und} {y} {}
konstruierbar sind.}
\faktzusatz {}
\faktzusatz {}
}
{
Zunächst einmal kann man aufgrund der vorgegebenen Punkte die $x$-Achse und dann wegen Lemma 23.15 die dazu senkrechte Achse durch $0$, also die $y$-Achse, konstruieren. Es steht also das Achsenkreuz zur Verfügung. Wenn nun $P$ gegeben ist, so kann man aufgrund von Lemma 23.15 (4) die zu den Achsen parallelen Geraden zeichnen und erhält somit die Koordinatenwerte. Den $y$-Wert kann man dann noch mit einem Kreis mit dem Nullpunkt als Mittelpunkt auf die $x$-Achse transportieren. Wenn umgekehrt die beiden Koordinaten gegeben sind, so kann man durch diese die senkrechten Geraden zeichnen. Deren Schnittpunkt ist der gesuchte Punkt.
\inputfaktbeweis
{Zirkel und Lineal/Reell/Summe/Produkt/Division/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $G$ eine mit
\mathkor {} {0} {und} {1} {} markierte Gerade, die wir mit den reellen Zahlen identifizieren. Es seien zwei Punkte
\mavergleichskette
{\vergleichskette
{ a,b
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben.}
\faktuebergang {Dann gelten folgende Aussagen}
\faktfolgerung {\aufzaehlungdrei{Die Summe
\mathl{a+b}{} ist
\definitionsverweis {(mit Zirkel und Lineal) konstruierbar}{}{.}
}{Das Produkt
\mathl{ab}{} ist konstruierbar.
}{Bei
\mavergleichskette
{\vergleichskette
{b
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist der Quotient
\mathl{a/b}{} konstruierbar.
}}
\faktzusatz {}
\faktzusatz {}
}
{
\teilbeweis {}{(1) Wir verwenden eine zu $G$ senkrechte Gerade $H$ durch $0$ und darauf einen Punkt
\mavergleichskette
{\vergleichskette
{x
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dazu nehmen wir die zu $H$ senkrechte Gerade $G'$ durch $x$, die also parallel zu $G$ ist.\leerzeichen{}}{}
{Wir zeichnen die Gerade $H'$, die parallel zu $H$ ist und durch
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
verläuft. Der Schnittpunkt von
\mathkor {} {H'} {und} {G'} {}
markieren wir als $a'$, sodass der Abstand von $a'$ zu $x$ gleich $a$ ist. Jetzt zeichnen wir die Gerade $L$ durch
\mathkor {} {b} {und} {x} {}
und dazu die parallele Gerade $L'$ durch $a'$. Der Schnittpunkt von
\mathkor {} {L'} {mit} {G} {}
ist
\mavergleichskette
{\vergleichskette
{y
}
{ = }{a+b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
da
\mathl{x,b,a',y}{} ein Parallelogramm bilden.}
{}
\teilbeweis {}{Zum Beweis von (2) und (3) verwenden wir wieder die zu $G$ senkrechte Gerade $H$. Wir schlagen Kreise mit dem Nullpunkt als Mittelpunkt durch
\mathbed {1} {}
{a} {und}
{b} {} {} {}
und markieren die entsprechenden Punkte auf $H$ als
\mathbed {1'} {}
{a'} {und}
{b'} {} {} {.}
Dabei wählt man $1'$ als einen der beiden Schnittpunkte und
\mathkor {} {a'} {und} {b'} {}
müssen dann auf den entsprechenden Halbgeraden sein.\leerzeichen{}}{}
{Um das Produkt zu erhalten, zeichnet man die Gerade $L$ durch
\mathkor {} {a} {und} {1'} {} und dazu die parallele Gerade $L'$ durch $b'$. Diese Gerade schneidet $G$ in genau einem Punkt $x$. Für diesen Punkt gilt nach dem Strahlensatz das Steckenverhältnis
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ x }{ a } }
}
{ =} { { \frac{ b' }{ 1' } }
}
{ =} { { \frac{ b }{ 1 } }
}
{ } {}
{ } {}
}
{}{}{.}
Also ist
\mavergleichskette
{\vergleichskette
{ x
}
{ = }{ ab
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
{}
\teilbeweis {}{}{}
{Um den Quotienten
\mathl{{ \frac{ a }{ b } }}{} bei
\mavergleichskette
{\vergleichskette
{b
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu erhalten, zeichnet man die Gerade $T$ durch
\mathkor {} {1} {und} {b'} {}
und dazu parallel die Gerade $T'$ durch $a'$. Der Schnittpunkt von $T'$ mit $G$ sei $z$. Aufgrund des Strahlensatzes gilt die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ b } }
}
{ =} { { \frac{ a' }{ b' } }
}
{ =} {z
}
{ } {}
{ } {}
}
{}{}{.}}
{}
\inputfaktbeweis
{Zirkel und Lineal/Konstruierbare Zahlen bilden einen Unterkörper/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktfolgerung {Die Menge der
\definitionsverweis {konstruierbaren Zahlen}{}{} ist ein
\definitionsverweis {Unterkörper}{}{} von ${\mathbb C}$.}
\faktzusatz {}
\faktzusatz {}
}
{
Die \mathkor {} {0} {und die} {1} {} sind als Ausgangsmenge automatisch darin enthalten. Zu einem Punkt $P$ gehört auch der \anfuehrung{gegenüberliegende}{} Punkt $-P$ dazu, da man ihn konstruieren kann, indem man die Gerade durch \mathkor {} {P} {und} {0} {} und den Kreis mit Mittelpunkt $0$ und Radius $P$ zeichnet; der zweite Schnittpunkt von diesem Kreis und dieser Geraden ist $-P$. Die Menge der konstruierbaren Zahlen ist also unter der Bildung des Negativen abgeschlossen.
Aufgrund von Lemma 23.16 kann man sich beim Nachweis der Körpereigenschaften darauf beschränken, dass die reellen konstruierbaren Zahlen einen Körper bilden. Dies folgt aber aus Lemma 23.17.
\zwischenueberschrift{Konstruktionen mit Zirkel und Lineal}
Unter der Ebene $E$ verstehen wir im Folgenden die Anschauungsebene, die wir später mit
\mavergleichskette
{\vergleichskette
{ \R^2
}
{ \cong }{ {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
identifizieren. Zunächst sind die Konstruktionen \anfuehrung{koordinatenfrei}{.} An elementargeometrischen Objekten verwenden wir Punkte, Geraden und Kreise. An elementargeometrischen Gesetzmäßigkeiten verwenden wir, dass zwei verschiedene Punkte eine eindeutige Gerade definieren, dass zwei Geraden entweder identisch sind oder parallel und schnittpunktfrei oder genau einen Schnittpunkt haben, u.s.w.
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ M
}
{ \subseteq }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Teilmenge der Ebene $E$. Eine Gerade
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt aus $M$ \definitionswort {elementar konstruierbar}{,} wenn es zwei Punkte
\mathbed {P,Q \in M} {}
{P\neq Q} {}
{} {} {} {,}
derart gibt, dass die Verbindungsgerade von
\mathkor {} {P} {und} {Q} {}
gleich $G$ ist. Ein Kreis
\mavergleichskette
{\vergleichskette
{C
}
{ \subseteq }{E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt aus $M$ \definitionswort {elementar konstruierbar}{,} wenn es zwei Punkte
\mathbed {Z,S \in M} {}
{Z \neq S} {}
{} {} {} {,}
derart gibt, dass der Kreis mit dem Mittelpunkt $Z$ und durch den Punkt $S$ gleich $C$ ist.
}
Man kann also an zwei Punkte aus der vorgegebenen Menge $M$ das \stichwort {Lineal anlegen} {} und die dadurch definierte Gerade zeichnen, und man darf die \stichwort {Nadelspitze des Zirkels} {} in einen Punkt der Menge stechen und die \stichwort {Stiftspitze des Zirkels} {} an einen weiteren Punkt der Menge anlegen und den Kreis ziehen.
Wenn ein Koordinatensystem vorliegt, und zwei Punkte
\mathkor {} {P=(p_1,p_2)} {und} {Q=(q_1,q_2)} {} gegeben sind, so ist die Gleichung der Verbindungsgeraden der beiden Punkte bekanntlich
\mathdisp {(p_1-q_1)y+(q_2-p_2)x+ q_1p_2-q_2p_1 =0} { . }
Wenn zwei Punkte
\mathkor {} {Z=(z_1,z_2)} {und} {S=(s_1,s_2)} {} gegeben sind, so besitzt der Kreis mit dem Mittelpunkt $Z$ durch den Punkt $S$ die Kreisgleichung
\mathdisp {(x-z_1)^2 + (y-z_2)^2 - (s_1-z_1)^2-(s_2-z_2)^2=0} { . }
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ M
}
{ \subseteq }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Teilmenge der Ebene $E$. Dann heißt ein Punkt
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
aus $M$ \definitionswort {in einem Schritt konstruierbar}{,} wenn eine der folgenden Möglichkeiten zutrifft.
\aufzaehlungdrei{Es gibt zwei aus $M$
\definitionsverweis {elementar konstruierbare Geraden}{}{}
\mathkor {} {G_1} {und} {G_2} {}
mit
\mavergleichskette
{\vergleichskette
{G_1 \cap G_2
}
{ = }{ \{ P \}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es gibt eine aus $M$ elementar konstruierbare Gerade $G$ und einen aus $M$ elementar konstruierbaren Kreis $C$ derart, dass $P$ ein Schnittpunkt von
\mathkor {} {G} {und} {C} {}
ist.
}{Es gibt zwei aus $M$ elementar konstruierbare Kreise
\mathkor {} {C_1} {und} {C_2} {}
derart, dass $P$ ein Schnittpunkt der beiden Kreise ist.
}
}
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ M
}
{ \subseteq }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Teilmenge der Ebene $E$. Dann heißt ein Punkt
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
aus $M$ \definitionswort {konstruierbar}{} \zusatzklammer {oder \definitionswort {mit Zirkel und Lineal konstruierbar}{}} {} {,}
wenn es eine Folge von Punkten
\mathdisp {P_1 , \ldots , P_n=P} { }
gibt derart, dass $P_{i}$ jeweils aus
\mathl{M \cup \{ P_1 , \ldots , P_{i-1} \}}{} \definitionsverweis {in einem Schritt konstruierbar}{}{}
ist.
}
\inputdefinition
{}
{
Eine Zahl
\mavergleichskette
{\vergleichskette
{z
}
{ \in }{ {\mathbb C}
}
{ \cong }{E
}
{ }{
}
{ }{
}
}
{}{}{}
heißt \definitionswort {konstruierbar}{} oder \definitionswort {konstruierbare Zahl}{,} wenn sie aus der Startmenge
\mavergleichskette
{\vergleichskette
{ \{0 , 1 \}
}
{ \subset }{ \R
}
{ \subset }{ {\mathbb C}
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {mit Zirkel und Lineal konstruierbar}{}{}
ist.
}
\inputbemerkung
{}
{
Man startet also mit zwei beliebig vorgegebenen Punkten, die man
\mathkor {} {0} {und} {1} {} nennt und die dann die arithmetische Funktion übernehmen, die mit diesen Symbolen verbunden wird. Als erstes kann man die Gerade durch
\mathkor {} {0} {und} {1} {} ziehen, und diese Gerade wird mit den reellen Zahlen $\R$ identifiziert. Wir werden gleich sehen, dass man eine zu $\R$ senkrechte Gerade durch $0$ konstruieren kann, mit deren Hilfe ein \stichwort {kartesisches Koordinatensystem} {} entsteht und mit dem wir die Ebene mit den komplexen Zahlen ${\mathbb C}$ identifizieren können.
In den folgenden Konstruktionen verwenden wir einige Begrifflichkeiten aus der euklidischen Geometrie, wie Winkel, senkrecht, parallel, Strecke und elementare Grundtatsachen wie die Strahlensätze, Symmetriesätze und den Satz des Pythagoras. }
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Mediatrice_compas.gif} }
\end{center}
\bildtext {} }
\bildlizenz { Mediatrice compas.gif } {} {Pdebart} {Commons} {PD} {}
\inputfaktbeweis
{Zirkel und Lineal/Wichtige Konstruktionen/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktuebergang {In der Ebene lassen sich folgende Konstruktionen mit Zirkel und Lineal durchführen.}
\faktfolgerung {\aufzaehlungvier{Zu einer Geraden $G$ und zwei Punkten
\mavergleichskette
{\vergleichskette
{ Q_1,Q_2
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man die zu $G$ senkrechte Gerade zeichnen, die die Strecke zwischen
\mathkor {} {Q_1} {und} {Q_2} {} halbiert.
}{Zu einer Geraden $G$ und einem Punkt
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man die zu $G$ senkrechte Gerade durch $P$ zeichnen.
}{Zu einer Geraden $G$ und einem Punkt $P$ kann man die zu $G$ senkrechte Gerade durch $P$ zeichnen.
}{Zu einer gegebenen Geraden $G$ und einem gegebenen Punkt $P$ kann man die Gerade $G'$ durch $P$ zeichnen, die zu $G$ parallel ist.
}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir verwenden im Beweis einige elementargeometrische Grundtatsachen. \aufzaehlungvier{Wir zeichnen die beiden Kreise \mathkor {} {C_1} {und} {C_2} {} mit dem Mittelpunkt $Q_1$ durch $Q_2$ und umgekehrt. Die beiden Schnittpunkte von \mathkor {} {C_1} {und} {C_2} {} seien \mathkor {} {S_1} {und} {S_2} {.} Deren Verbindungsgerade steht senkrecht auf $G$ und halbiert die Strecke zwischen \mathkor {} {Q_1} {und} {Q_2} {.} }{Man zeichnet einen Kreis $C$ mit $P$ als Mittelpunkt und einem beliebigen Radius \zusatzklammer {dazu braucht man neben $P$ noch einen weiteren Punkt} {} {.} Es seien \mathkor {} {Q_1} {und} {Q_2} {} die beiden Schnittpunkte der Gerade $G$ mit $C$. Für diese beiden Punkte führen wir die in (1) beschriebene Konstruktion durch. Diese Halbierungsgerade läuft dann durch $P$ und steht senkrecht auf $G$. }{Wenn $P$ auf der Geraden liegt, sind wir schon fertig mit der Konstruktion in (2). Andernfalls zeichnen wir einen Kreis mit $P$ als Mittelpunkt mit einem hinreichend großen Radius derart, dass sich zwei Schnittpunkte \mathkor {} {Q_1} {und} {Q_2} {} mit der Geraden ergeben \zusatzklammer {dafür braucht man, dass mindestens ein weiterer Punkt zur Verfügung steht} {} {.} Dann führt wieder die erste Konstruktion zum Ziel. }{Dafür führt man zuerst die Konstruktion der Senkrechten $S$ durch $P$ wie in (3) beschrieben durch. Mit $P$ und $S$ führt man dann die Konstruktion (2) durch. }
\zwischenueberschrift{Arithmetische Eigenschaften von konstruierbaren Zahlen}
Von nun an werden wir stets die Ebene $E$ mit der reellen Zahlenebene $\R^2$ bzw. der komplexen Ebene ${\mathbb C}$ identifizieren. Dies erlaubt es, die geometrischen Objekte und die Konstruktionen mit Hilfe von Koordinaten zu beschreiben.
\inputfaktbeweis
{Zirkel und Lineal/Konstruierbare Zahl/Koordinatencharakterisierung/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{ P
}
{ = }{(x,y)
}
{ \in }{ {\mathbb C}
}
{ \cong }{ \R^2
}
{ }{
}
}
{}{}{}
ein Punkt in der Ebene.}
\faktfolgerung {Dann ist $P$ genau dann
\definitionsverweis {konstruierbar}{}{,}
wenn die beiden Koordinaten
\mathkor {} {x} {und} {y} {}
konstruierbar sind.}
\faktzusatz {}
\faktzusatz {}
}
{
Zunächst einmal kann man aufgrund der vorgegebenen Punkte die $x$-Achse und dann wegen Lemma 23.15 die dazu senkrechte Achse durch $0$, also die $y$-Achse, konstruieren. Es steht also das Achsenkreuz zur Verfügung. Wenn nun $P$ gegeben ist, so kann man aufgrund von Lemma 23.15 (4) die zu den Achsen parallelen Geraden zeichnen und erhält somit die Koordinatenwerte. Den $y$-Wert kann man dann noch mit einem Kreis mit dem Nullpunkt als Mittelpunkt auf die $x$-Achse transportieren. Wenn umgekehrt die beiden Koordinaten gegeben sind, so kann man durch diese die senkrechten Geraden zeichnen. Deren Schnittpunkt ist der gesuchte Punkt.
\inputfaktbeweis
{Zirkel und Lineal/Reell/Summe/Produkt/Division/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $G$ eine mit
\mathkor {} {0} {und} {1} {} markierte Gerade, die wir mit den reellen Zahlen identifizieren. Es seien zwei Punkte
\mavergleichskette
{\vergleichskette
{ a,b
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben.}
\faktuebergang {Dann gelten folgende Aussagen}
\faktfolgerung {\aufzaehlungdrei{Die Summe
\mathl{a+b}{} ist
\definitionsverweis {(mit Zirkel und Lineal) konstruierbar}{}{.}
}{Das Produkt
\mathl{ab}{} ist konstruierbar.
}{Bei
\mavergleichskette
{\vergleichskette
{b
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist der Quotient
\mathl{a/b}{} konstruierbar.
}}
\faktzusatz {}
\faktzusatz {}
}
{
\teilbeweis {}{(1) Wir verwenden eine zu $G$ senkrechte Gerade $H$ durch $0$ und darauf einen Punkt
\mavergleichskette
{\vergleichskette
{x
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dazu nehmen wir die zu $H$ senkrechte Gerade $G'$ durch $x$, die also parallel zu $G$ ist.\leerzeichen{}}{}
{Wir zeichnen die Gerade $H'$, die parallel zu $H$ ist und durch
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
verläuft. Der Schnittpunkt von
\mathkor {} {H'} {und} {G'} {}
markieren wir als $a'$, sodass der Abstand von $a'$ zu $x$ gleich $a$ ist. Jetzt zeichnen wir die Gerade $L$ durch
\mathkor {} {b} {und} {x} {}
und dazu die parallele Gerade $L'$ durch $a'$. Der Schnittpunkt von
\mathkor {} {L'} {mit} {G} {}
ist
\mavergleichskette
{\vergleichskette
{y
}
{ = }{a+b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
da
\mathl{x,b,a',y}{} ein Parallelogramm bilden.}
{}
\teilbeweis {}{Zum Beweis von (2) und (3) verwenden wir wieder die zu $G$ senkrechte Gerade $H$. Wir schlagen Kreise mit dem Nullpunkt als Mittelpunkt durch
\mathbed {1} {}
{a} {und}
{b} {} {} {}
und markieren die entsprechenden Punkte auf $H$ als
\mathbed {1'} {}
{a'} {und}
{b'} {} {} {.}
Dabei wählt man $1'$ als einen der beiden Schnittpunkte und
\mathkor {} {a'} {und} {b'} {}
müssen dann auf den entsprechenden Halbgeraden sein.\leerzeichen{}}{}
{Um das Produkt zu erhalten, zeichnet man die Gerade $L$ durch
\mathkor {} {a} {und} {1'} {} und dazu die parallele Gerade $L'$ durch $b'$. Diese Gerade schneidet $G$ in genau einem Punkt $x$. Für diesen Punkt gilt nach dem Strahlensatz das Steckenverhältnis
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ x }{ a } }
}
{ =} { { \frac{ b' }{ 1' } }
}
{ =} { { \frac{ b }{ 1 } }
}
{ } {}
{ } {}
}
{}{}{.}
Also ist
\mavergleichskette
{\vergleichskette
{ x
}
{ = }{ ab
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
{}
\teilbeweis {}{}{}
{Um den Quotienten
\mathl{{ \frac{ a }{ b } }}{} bei
\mavergleichskette
{\vergleichskette
{b
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu erhalten, zeichnet man die Gerade $T$ durch
\mathkor {} {1} {und} {b'} {}
und dazu parallel die Gerade $T'$ durch $a'$. Der Schnittpunkt von $T'$ mit $G$ sei $z$. Aufgrund des Strahlensatzes gilt die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ b } }
}
{ =} { { \frac{ a' }{ b' } }
}
{ =} {z
}
{ } {}
{ } {}
}
{}{}{.}}
{}
\inputfaktbeweis
{Zirkel und Lineal/Konstruierbare Zahlen bilden einen Unterkörper/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktfolgerung {Die Menge der
\definitionsverweis {konstruierbaren Zahlen}{}{} ist ein
\definitionsverweis {Unterkörper}{}{} von ${\mathbb C}$.}
\faktzusatz {}
\faktzusatz {}
}
{
Die \mathkor {} {0} {und die} {1} {} sind als Ausgangsmenge automatisch darin enthalten. Zu einem Punkt $P$ gehört auch der \anfuehrung{gegenüberliegende}{} Punkt $-P$ dazu, da man ihn konstruieren kann, indem man die Gerade durch \mathkor {} {P} {und} {0} {} und den Kreis mit Mittelpunkt $0$ und Radius $P$ zeichnet; der zweite Schnittpunkt von diesem Kreis und dieser Geraden ist $-P$. Die Menge der konstruierbaren Zahlen ist also unter der Bildung des Negativen abgeschlossen.
Aufgrund von Lemma 23.16 kann man sich beim Nachweis der Körpereigenschaften darauf beschränken, dass die reellen konstruierbaren Zahlen einen Körper bilden. Dies folgt aber aus Lemma 23.17.
\zwischenueberschrift{Konstruktion von Quadratwurzeln}
Wenn man sich zwei Punkte \mathkor {} {0} {und} {1} {} vorgibt und man die dadurch definierte Gerade mit $\R$ identifiziert, so wird diese Gerade durch $0$ in zwei Hälften \zusatzklammer {Halbgeraden} {} {} unterteilt, wobei man dann diejenige Hälfte, die $1$ enthält, als positive Hälfte bezeichnet. Aus solchen positiven reellen Zahlen kann man mit Zirkel und Lineal die Quadratwurzel ziehen.
\inputfaktbeweis
{Zirkel und Lineal/Wurzelkonstruktion/Fakt}
{Lemma}
{}
{
Es sei $G$ eine mit zwei Punkten
\mathkor {} {0} {und} {1} {}
markierte Gerade, die wir mit den reellen Zahlen identifizieren. Es sei
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ G_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine positive reelle Zahl. Dann ist die Quadratwurzel $\sqrt{a}$ aus
\mathl{0,1,a}{} mittels Zirkel und Lineal
\definitionsverweis {konstruierbar}{}{.}
}
{
Wir zeichnen den Kreis mit Mittelpunkt $0$ durch $1$ und markieren den zweiten Schnittpunkt dieses Kreises mit $G$ als $-1$. Wir halbieren die Strecke zwischen
\mathkor {} {-1} {und} {a} {}
gemäß
Lemma 23.15
und erhalten den konstruierbaren Punkt
\mavergleichskette
{\vergleichskette
{M
}
{ = }{ { \frac{ a-1 }{ 2 } }
}
{ \in }{ G
}
{ }{
}
{ }{
}
}
{}{}{.}
Der Abstand von $M$ zu $a$ als auch zu $-1$ ist dann
\mathl{{ \frac{ a+1 }{ 2 } }}{.} Wir zeichnen den Kreis mit Mittelpunkt $M$ und Radius
\mathl{{ \frac{ a+1 }{ 2 } }}{} und markieren einen der Schnittpunkte des Kreises mit der zu $G$ senkrechten Geraden $H$ durch $0$ als $x$. Wir wenden
den Satz des Pythagoras
auf das Dreieck mit den Ecken
\mathl{0,x,M}{} an. Daraus ergibt sich
\mavergleichskettedisp
{\vergleichskette
{x^2
}
{ =} { { \left( { \frac{ a+1 }{ 2 } } \right) }^2 - { \left( { \frac{ a-1 }{ 2 } } \right) }^2
}
{ =} { { \frac{ a^2+2a+1-(a^2-2a+1) }{ 4 } }
}
{ =} { { \frac{ 4a }{ 4 } }
}
{ =} { a
}
}
{}{}{.}
Also repräsentiert
\zusatzklammer {der Abstand von $0$ zu} {} {}
$x$ die Quadratwurzel aus $a$.
| << | Kurs:Körper- und Galoistheorie (Osnabrück 2011) | >> |
|---|