Mathematik/Einführender Text/Quadratur des Kreises/Vortrag/latex

\seitenueberschrift{Die Quadratur des Kreises}

Häufig hört man Leute sagen, vor allem wenn sie vor großen Schwierigkeiten stehen, so was wie \anfuehrung{hier wird die Quadratur des Kreises versucht}{}.

Was ist mit dieser Redewendung gemeint? Irgendwie soll man aus einem Kreis ein Quadrat machen, und aus irgendeinem Grund soll das schwierig oder gar unmöglich sein. Nicht gemeint ist jedenfalls sowas wie




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

\bildlizenz { Circumscribed2.png } {} {Maksim} {Commons} {PD} {}

das wäre zu einfach. Gemeint ist vielmehr folgendes

Problem: Gegeben sei ein Kreis. Aufgabe: Konstruiere dazu ein Quadrat mit dem gleichen \stichwort {Flächeninhalt} {} wie der Kreis.

\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 {Duerer_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} {}

Ein Kreis ist bestimmt durch seinen \stichwort {Mittelpunkt} {} und seinen \stichwort {Radius} {}, also den Abstand von Mittelpunkt zu einem Punkt des Kreisbogens. Bezeichnen wir den Radius mit $r$. Dann wissen wir aus der Schule oder vom Hörensagen, dass der Flächeninhalt des Kreises gleich
\mavergleichskettedisp
{\vergleichskette
{F }
{ =} { \pi r^2 }
{ } { }
{ } { }
{ } { }
} {}{}{} ist, wobei $\pi$ die \stichwort {Kreiszahl} {} bezeichnet. Wenn wir im Taschenrechner $\pi$ eingeben, erhalten wir
\mathdisp {\pi \cong 3,14159265 \ldots} { . }
Wenn wir einen besseren Taschenrechner haben, so erhalten wir mehr Nachkommastellen. Der Flächeninhalt eines Quadrates ist einfach zu berechnen, er ist einfach das Quadrat einer Seite $s$. Ein flächengleiches Quadrat muss also die Seitenlänge exakt
\mavergleichskettedisp
{\vergleichskette
{s }
{ =} { \sqrt{\pi} r }
{ } { }
{ } { }
{ } { }
} {}{}{} besitzen. Es ist
\mavergleichskettedisp
{\vergleichskette
{ \sqrt{\pi} }
{ \cong} { 1,77245384 \ldots }
{ } { }
{ } { }
{ } { }
} {}{}{.}

Da haben wir das zu konstruierende Quadrat also schon gefunden, zumindest wissen wir, wie groß es sein muss. Doch bleiben zwei Fragen offen: Was ist der exakte Wert für $\pi$, und welche Methoden sind in der Konstruktion erlaubt?

Problem: Gegeben sei ein Kreis. Aufgabe: Konstruiere dazu nur mit \stichwort {Zirkel und Lineal} {} ein Quadrat mit dem exakt gleichen Flächeninhalt wie der Kreis.

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

\bildlizenz { Geom compass ruler.jpg } {} {Magnus Manske} {Commons} {PD} {}

Dieses Problem ist klassisch und wurde bereits im antiken Griechenland betrachtet.

Mit Zirkel und Lineal kann man folgende drei Konstruktionen durchführen \auflistungdrei{Durch zwei gegebene Punkte darf man mit dem Lineal eine \zusatzklammer {unendlich lange} {} {} Gerade ziehen. }{Zu zwei gegebenen Punkten kann man den Kreis zeichnen, der den einen Punkt als Mittelpunkt besitzt und durch den anderen Punkt läuft. }{Wenn sich zwei Geraden oder zwei Kreise oder eine Gerade und ein Kreis schneiden, so darf man die Schnittpunkte markieren \zusatzklammer {und weiterverwenden} {} {.} }

All diese Operationen sind \stichwort {idealistisch} {} zu verstehen, d.h. man geht davon aus, dass man sie vollkommen \stichwort {exakt} {} durchführen kann. Wichtig ist von daher nicht die \anfuehrung{wirkliche zeichnerische Durchführung}{,} sondern die mathematische Berechnung der Schnittpunkte.

Damit kann man schon erstaunlich viele Punkte in der Ebene markieren. Man braucht natürlich mindestens zwei vorgegebene Startpunkte, um überhaupt loslegen zu können. Ein vorgegebener Kreis, gegeben durch den Mittelpunkt und einen Punkt der Peripherie, entspricht genau zwei vorgegebenen Punkten. Wir nennen den Mittelpunkt $0$ und den andern Punkt $1$ \zusatzklammer {das ist nur eine Normierung} {} {.}

Wir können dann die Gerade durch $0$ und $1$ zeichnen und den Kreis mit Mittelpunkt $0$ durch $1$ und umgekehrt, den Kreis mit Mittelpunkt $1$ durch $0$. Diese Gerade nennen wir von nun an die $x$-\stichwort {Achse} {.} Es ergeben sich vier neue Schnittpunkte: auf der Gerade ergeben sich die Punkte
\mathl{(2,0)}{} und
\mathl{(-1,0)}{.} Welche Koordinaten haben die beiden Schnittpunkte der Kreise? Wegen der Symmetrie der Situation ist die $x$-Koordinate gleich $\frac{1}{2}$, die $y$-Koordinate ergibt sich aus dem \stichwort {Satz des Pythagoras} {} zu
\mavergleichskettedisp
{\vergleichskette
{y }
{ =} {\sqrt{1- \left(\frac{1}{2}\right)^2 } }
{ =} {\frac{\sqrt{3} }{2} }
{ } { }
{ } { }
} {}{}{.} Damit ist der Punkt
\mathl{\left( \frac{1}{2} , \, \frac{\sqrt{3} }{2} \right)}{} konstruierbar. Es treten also schon sehr früh Zahlen auf, die \stichwort {nicht rational} {} sind.

Mit den soeben konstruierten Punkten kann man jetzt weitermachen. Unsere Frage können wir jetzt so formulieren:

Frage: Treten bei diesem Verfahren irgendwann zwei Punkte auf, die zueinander exakt den Abstand $\sqrt{\pi}$ besitzen?

Wie gesagt, es geht um eine exakte Darstellung von $\sqrt{\pi}$. Es lässt sich nämlich einfach zeigen, dass jede \stichwort {beliebige Approximation} {} von $\sqrt{\pi}$ konstruierbar ist. Betrachten wir etwa unsere Taschenrechnerapproximation
\mathdisp {1,77245384 \ldots} { , }
die sehr nahe an $\sqrt{\pi}$ liegt. Wie kann man diesen Abstand mit Zirkel und Lineal realisieren? Ganz einfach: Man konstruiert auf der positiven $x$-Achse einen Kreis nach dem anderen, in dem man den jeweils neuen Schnittpunkt mit der Achse als Mittelpunkt nimmt und den vorhergehenden Punkt als Peripheriepunkt. So kann man alle natürlichen Zahlen konstruieren. Nach $177 245 384$ Kreisen hat man dann die Zahl $177 245 384$ konstruiert \zusatzklammer {das kann man abkürzen} {!} {.} Jetzt konstruiert man mit dem gleichen Verfahren auf der $y$-Achse die Zahl $100 000 000$, und zeichnet die Verbindungsgerade der beiden Punkte. Zu dieser Geraden zeichnet man die parallele Gerade durch den Punkt
\mathl{(0,1)}{} \zusatzklammer {auf der $y$-Achse} {} {.} Die Steigung (bzw. das Gefälle) der beiden parallelen Geraden ist gleich, daher ist der Schnittpunkt der zweiten Geraden mit der $x$-Achse gleich $1,77245384$, wie gewünscht.

Dabei haben wir folgende Konstruktionen verwendet, die in der Tat mit Zirkel und Lineal durchführbar sind: \auflistungzwei{Eine Senkrechte zu einem gegebenen Punkt auf einer Geraden \zusatzklammer {für die $y$-Achse} {} {.} }{Die parallele Gerade zu einer gegebenen Geraden durch einen gegebenen Punkt. } Das ist beides möglich. Eine Mittelsenkrechte ergibt sich wie im folgenden Bild \zusatzklammer {wenn die Senkrechte durch einen vorgegebenen Punkt auf der Geraden gehen soll, so schlägt man zuerst den Kreis durch den Punkt mit einem beliebigen Radius, um die beiden Punkte $A$ und $B$ zu erhalten} {} {.} Für die Konstruktion braucht man dann einen Radius, der mindestens so groß wie die Hälfte des Abstandes von $A$ nach $B$ ist \zusatzklammer {am besten nimmt man, nicht wie im Bild, den Abstand von $A$ nach $B$ direkt als Radius} {} {.}

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

\bildlizenz { Middellooddlijnconstructie.jpg } {} {SieBot} {Commons} {CC-BY-SA-3.0} {}

Das oben beschriebene Verfahren kann man für jede beliebige Approximation durchführen, man kann also stets Quadrate konstruieren, deren Flächeninhalte beliebig nahe beim Flächeninhalt des Kreises sind. In der \stichwort {reinen Mathematik} {} wollen wir es aber ganz genau wissen: nicht, ob es eine beliebig gute Approximation gibt (was es gibt und was für alle \stichwort {praktischen Zwecke} {} ausreicht), sondern ob es eine exakte Konstruktion gibt, was ein \stichwort {theoretisches Problem} {} darstellt. Die Frage, ob $\pi$ exakt mit Zirkel und Lineal konstruierbar ist, kann grundsätzlich nur auf zwei Arten beantwortet werden. \aufzaehlungzwei {Jemand findet eine Konstruktion mit Zirkel und Lineal, die genau $\sqrt{\pi}$ ergibt \zusatzklammer {wobei im Nachweis, dass wirklich $\sqrt{\pi}$ vorliegt, alles erlaubt ist; grundsätzlich könnte es auch einen reinen Existenzbeweis geben, ohne dass eine konkrete Konstruktion angegeben wird} {} {.} Das wurde über 2000 Jahre lang versucht, ohne Erfolg. } {Man gelangt irgendwie zu einer \stichwort {Übersicht über alle möglichen Konstruktionen} {,} z.B. eine Eigenschaft, die alle konstruierbaren Koordinaten erfüllen müssen, und zeigt daraus, dass $\sqrt{\pi}$ nicht konstruierbar ist. } In der Tat führte der unter (2) benannte Weg im Laufe des neunzehnten Jahrhunderts zum Erfolg. Wir haben oben gesehen, dass $\sqrt{3}$ konstruierbar ist, Quadratwurzeln tauchen also auf. Damit treten auch Quadratwurzeln aus Quadratwurzeln und ähnliche Ausdrücke auf, z. B.
\mathdisp {\sqrt{3}, \, \sqrt{\sqrt{3}-1 },\, \sqrt{ 4(\sqrt{\sqrt{3}-1 })+ \frac{2}{3} \sqrt{5} } ,\, \text{ etc. } \,} { }
Wenn man die erlaubten drei Konstruktionsschritte betrachtet, so sieht man, dass, wenn die beteiligten Koordinaten, die die Geraden und Kreise definieren, gegeben sind, die Koordinaten der Schnittpunkte \stichwort {lineare} {} oder \stichwort {quadratische Gleichungen} {} erfüllen, in denen die vorgegebenen Koordinaten als Koeffizienten auftreten. Jeder Punkt, der also ausgehend von $0$ und $1$ konstruierbar ist, erfüllt demnach eine \zusatzklammer {ziemlich wild} {} {} verschachtelte Folge von quadratischen Gleichungen. Insbesondere erfüllt jede konstruierbare Koordinate $x$ eine sogenannte \stichwort {algebraische Gleichung} {} über den ganzen Zahlen, d.h. $x$ ist die Nullstelle eines Polynoms mit \stichwort {ganzzahligen Koeffizienten} {:}
\mathbeddisp {a_nx^n+a_{n-1}x^{n-1} + \cdots + a_2x^2+a_1x +a_0 = 0} {mit}
{a_n,a_{n-1} , \ldots , a_2, a_1,a_0 \in \Z} {}
{} {} {} {.} Die Zahlen, für die es eine solche algebraische Gleichung gibt, nennt man auch \stichwort {algebraische Zahlen} {.} Das Gegenteil, also diejenigen Zahlen, für die es keine derartige Gleichung gibt, nennt man \stichwort {transzendent} {.}

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Carl_Louis_Ferdinand_von_Lindemann.jpg} }
\end{center}
\bildtext {Ferdinand von Lindemann (1852-1939)} }

\bildlizenz { Carl Louis Ferdinand von Lindemann.jpg } {unbekannt} {JdH} {Commons} {PD} {}

Die Lösung zu unserem Problem wurde auf diesem Weg 1882 von
\stichwort{Ferdinand von Lindemann}{} entschieden. Er bewies den

Satz: Die Kreiszahl $\pi$ ist nicht algebraisch. Damit ist auch $\sqrt{\pi}$ nicht algebraisch und insbesondere nicht mit Zirkel und Lineal konstruierbar. Es folgt, dass die Quadratur des Kreises nicht möglich ist.

Der Beweis dieses Satz ist nicht geometrisch, hat aber die geometrische Konsequenz, dass ein zu einem Kreis flächengleiches Quadrat nicht mit Zirkel und Lineal konstruierbar ist. Dennoch versuchen \anfuehrung{Hobbymathematiker}{} bis heute, eine solche Lösung zu finden.

Andere Konstruktionen

Neben der Frage nach der Quadratur des Kreises gibt es noch eine Reihe weiterer Fragen, was man mit Zirkel und Lineal konstruieren kann und was nicht. Es ist zum Beispiel einfach zu zeigen, dass man einen gegebenen Winkel, repräsentiert durch zwei sich schneidende Geraden, stets \stichwort {halbieren} {} kann. Dagegen kann man einen beliebig vorgegebenen Winkel nicht im allgemeinen \stichwort {dreiteilen} {,} also in drei gleichgroße Winkel zerteilen. Den Winkel
\mathl{120^\circ}{} kann man konstruieren, d.h. den Gesamtkreis kann man winkeldreiteilen, aber
\mathl{120^\circ}{} kann man selbst nicht dreiteilen, der Winkel
\mathl{40^\circ}{} ist nicht konstruierbar. Man kann also einen Kuchen nicht mit Zirkel und Lineal in $9$ gleichgroße Stücke unterteilen. In wie viele Stücke ist es möglich? Dafür gibt es eine exakte Charakterisierung, für
\mathl{n\leq 20}{} ist die Unterteilung eines Kuchens in $n$ gleichgroße Stücke \zusatzgs {man spricht von der \stichwort {Konstruktion des regelmäßigen} {} $n$-\stichwort {Ecks} {}} {} möglich für
\mathdisp {n=1,2,3,4,5,6,8,10,12,15,16,17,20} { , }
und nicht möglich für
\mathdisp {n= 7,9,11,13,14,18,19} { . }

Eine Konstruktion des regelmäßigen Fünfecks sieht folgendermaßen aus.

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

\bildlizenz { Pentagon construct.gif } {TokyoJunkie} {Mosmas} {Commons} {PD} {}

Zur Pdf-Version