Quadratur des Kreises

Das Quadrat und der Kreis haben den gleichen Flächeninhalt.

Die Quadratur des Kreises ist ein klassisches Problem der Geometrie. Die Aufgabe besteht darin, aus einem gegebenen Kreis in endlich vielen Schritten ein Quadrat mit demselben Flächeninhalt zu konstruieren. Sie ist äquivalent zur so genannten Rektifikation des Kreises, also der Konstruktion einer geraden Strecke, die dem Kreisumfang entspricht. Beschränkt man die Konstruktionsmittel auf Lineal und Zirkel, ist die Aufgabe unlösbar. Dies konnte jedoch erst im Jahr 1882 vom deutschen Mathematiker Ferdinand von Lindemann bewiesen werden.

Die Quadratur des Kreises gehört zu den populärsten Problemen der Mathematik. Jahrhundertelang suchten neben Mathematikern auch immer wieder Laien vergeblich nach einer Lösung. Der Begriff Quadratur des Kreises ist in vielen Sprachen zu einer Metapher für eine unlösbare Aufgabe geworden.

Geschichte

→ Hauptartikel: Kreiszahl

Vorgeschichte

Ägyptische Musterlösung nach Papyrus Rhind

Bereits in den altorientalischen Hochkulturen gab es Verfahren zur Berechnung von Kreisflächen. In einer Problemstellung des Papyrus Rhind (um 1650 v. Chr.) beispielsweise wird für die Fläche eines Kreises vom Durchmesser 9 das Quadrat der Seitenlänge 8 angegeben, was einem recht genauen Wert für die Kreiszahl π von 3 + ¹/₉ + ¹/₂₇ + ¹/₈₁ = 3,16… entspricht. Derartige Musterlösungen waren aus der Praxis gewonnen und für die Praxis bestimmt, es gab keine weitergehenden theoretischen Überlegungen, insbesondere wurde kein Unterschied zwischen exakter Lösung und Näherung gemacht.^[1]

Eine deduktive Vorgehensweise in der Mathematik, bei der durch Beweise gestützte Sätze die Musteraufgaben ersetzen, entwickelte sich ab dem 6. Jahrhundert v. Chr. in Griechenland. Ansatzweise ist sie schon bei Thales von Milet, deutlicher in der von Pythagoras von Samos gegründeten Schule der Pythagoreer zu erkennen. Mit der gemeinhin dem Pythagoreer Hippasos von Metapont zugeschriebenen Entdeckung inkommensurabler Strecken im späten 6. oder frühen 5. Jahrhundert stellte sich heraus, dass es konstruierbare Objekte gibt (beispielsweise die Diagonale eines Quadrats), die nicht als ganzzahliges Verhältnis darstellbar sind. Als Folge dieser Entdeckung trat die Arithmetik zugunsten der Geometrie in den Hintergrund, Gleichungen mussten jetzt geometrisch gelöst werden, etwa durch Aneinanderlegung von Figuren und Überführung verschiedener Figuren in Rechtecke oder Quadrate. Aus dem späten 5. Jahrhundert stammen die drei klassischen Konstruktionsprobleme der antiken Mathematik, neben der Quadratur des Kreises noch die Aufgabe der Dreiteilung des Winkels und das Delische Problem der Verdoppelung des Würfels.

Eine Beschränkung der Konstruktionsmittel auf Zirkel und Lineal wurde dabei nicht generell gefordert. Während der Beschäftigung mit den klassischen Problemen wurden schon früh Lösungen gefunden, die auf weitergehenden Hilfsmitteln basieren. Allerdings kristallisierte sich im Lauf der Zeit eine Haltung heraus, die eine möglichst weitgehende Beschränkung verlangt. Spätestens bei Pappos war diese weitestgehende Beschränkung zur Maßregel geworden.^[2]

Frühe Arbeiten

Als einer der ersten soll dem griechischen Schriftsteller Plutarch zufolge der Philosoph Anaxagoras „im Gefängnis die Quadratur des Kreises aufgeschrieben (oder: gezeichnet, altgr. ἔγραφε) “^[3] haben, nähere Angaben zu Anaxagoras' Konstruktion macht Plutarch nicht. Ein Gefängnisaufenthalt des Anaxagoras wäre auf etwa 430 v. Chr. zu datieren, als der Philosoph in Athen wegen Gottlosigkeit angeklagt war und schließlich fliehen musste. Ausführlichere Quellen zu den Anfängen der Forschung sind hauptsächlich spätantike Kommentare zu Werken des Aristoteles, Schriften also, die mit einer zeitlichen Distanz von rund 900 Jahren entstanden sind. Dementsprechend unsicher sind zeitliche Reihenfolge und genaue Gedankengänge der ersten Ansätze. Die wichtigsten Arbeiten des 5. Jahrhunderts v. Chr. stammen von Hippokrates von Chios, Antiphon, Bryson von Herakleia und Hippias von Elis.

Die „Möndchen des Hippokrates“: Die Fläche des grauen „Möndchens“ entspricht der des rechtwinkligen Dreiecks ABC

Die Überführung von Dreiecken in Rechtecke, von Rechtecken in Quadrate oder die Addition zweier Quadrate war mit den bekannten geometrischen Sätzen bereits damals elementar zu bewältigen. Die grundlegende Frage, ob auch krummlinig begrenzte Flächen exakt in Quadrate überführt werden können, konnte um 440 v. Chr. von Hippokrates von Chios positiv beantwortet werden. Ausgehend von dem bei ihm noch als Axiom benutzten Satz, dass sich die Flächen ähnlicher Kreissegmente wie die Quadrate über ihren Sehnen verhalten, gelang es Hippokrates, von Kreisbögen begrenzte Flächen, die so genannten „Möndchen des Hippokrates“, zu quadrieren. Die Quadratur des Kreises ist auf diese Weise jedoch nicht zu erreichen, da nur bestimmte Möndchen – zum Beispiel die über der Seite des Quadrats, nicht jedoch die über der Seite eines regelmäßigen Sechsecks – quadrierbar sind.

Da Dreiecke (und damit beliebige Vielecke) in ein Quadrat übergeführt werden konnten, war ein zweiter Ansatz, ein dem Kreis flächengleiches Polygon zu konstruieren. Antiphon hatte die Idee, den Kreis durch einbeschriebene Vielecke anzunähern. Bryson von Herakleia verfeinerte dieses Vorgehen, indem er den Kreis zusätzlich durch umbeschriebene Vielecke näherte und einen Zwischenwert bildete.

Hippias von Elis entwickelte etwa 425 v. Chr. zur Lösung der Winkeldreiteilung eine Kurve, die mechanisch durch die Überlagerung einer kreisförmigen mit einer linearen Bewegung erzeugt wurde. Gut hundert Jahre später entdeckte Deinostratos, dass mit Hilfe dieser Kurve, der so genannten Quadratrix, die Strecke der Länge 2 / π – und damit mit Hilfe weiterer elementarer Konstruktionen ein Quadrat der Fläche π – konstruiert werden kann. Da die Quadratrix selbst jedoch eine so genannte transzendente Kurve ist, also nicht mit Zirkel und Lineal zu erzeugen, war die Lösung im strengen Sinne damit nicht erreicht.^[4][5]

Archimedes

Kreisquadratur mit Hilfe der Spirale: A bezeichne den Punkt der Spirale um den Ursprung O, den sie nach der ersten Umdrehung erreicht. Die Tangente an die Spirale in diesem Punkt schneide die Senkrechte zu OA in B. Nach Archimedes ist die Strecke BO gleich dem Umfang des Kreises mit Radius OA, die Fläche des roten Kreises also gleich der Fläche des blauen Dreiecks.

Eine ausführliche Abhandlung mit dem Titel Kreismessung ist von Archimedes überliefert.^[6] Archimedes beweist in dieser Arbeit drei grundlegende Sätze:

1. Die Fläche eines Kreises ist gleich der Fläche eines rechtwinkligen Dreiecks mit dem Kreisradius als der einen und dem Kreisumfang als der anderen Kathete. Berechnen lässt sich die Kreisfläche also als ½ · Radius · Umfang.
2. Die Fläche eines Kreises verhält sich zum Quadrat seines Durchmessers nahezu wie ¹¹/₁₄.
3. Der Umfang eines Kreises ist größer als 3¹⁰/₇₁ und kleiner als 3¹/₇ des Durchmessers.

Mit dem ersten Satz ist das Problem der Quadratur des Kreises auf die Frage nach der Konstruierbarkeit des Umfangs eines Kreises aus dem vorgegebenen Radius und damit auf die Konstruierbarkeit von π zurückgeführt. Im dritten Satz gibt Archimedes gleich eine ebenso einfache wie genaue Näherung dieser Zahl, nämlich ²²/₇, ein Wert (~3.143), der für praktische Zwecke noch heute Verwendung findet. Der zweite Satz ist ein einfaches Korollar aus den beiden anderen; dass sich die Fläche eines Kreises proportional zum Quadrat seines Durchmessers verhält, war bereits Euklid bekannt,^[7] Archimedes gibt hier den Wert der Proportionalitätskonstanten an.

Zum Beweis seiner Aussagen greift Archimedes die Brysonsche Idee der beliebigen Annäherung des Kreises durch ein- und umbeschriebene regelmäßige Vielecke auf. Ausgehend vom einbeschriebenen Sechseck und umbeschriebenen Dreieck gelangt Archimedes durch sukzessive Verdoppelung der Seitenzahl jeweils beim 96-Eck an. Eine geschickte Abschätzung der in den einzelnen Rechenschritten auftretenden Quadratwurzeln ergibt die in Satz 3 genannten Schranken.^[8]

In einer weiteren Arbeit Über Spiralen^[6] beschreibt Archimedes die Konstruktion der später nach ihm benannten archimedischen Spirale, die ähnlich wie Hippias' Quadratrix durch die Überlagerung einer kreisförmigen mit einer linearen Bewegung gewonnen wird. Er zeigt, dass durch das Anlegen der Tangente an diese Spirale der Umfang eines Kreises auf einer Geraden abgetragen werden kann. Auf die damit geleistete Quadratur des Kreises weisen spätere Kommentatoren hin, Archimedes selbst macht hierzu keine Aussage. Wie bei der Quadratrix sind weder die Spirale selbst noch ihre Tangente mit Zirkel und Lineal konstruierbar.^[9]

Mittelalter

Die Kreisquadratur des Franco von Lüttich: Franco zerlegt den Kreis in 44 Sektoren, die er zu einem Rechteck zusammensetzt.

In Folge eines verstärkten Interesses für die antike Mathematik im christlichen Europa ab etwa dem 11. Jahrhundert entstanden etliche Abhandlungen über die Quadratur des Kreises, jedoch ohne dass dabei wesentliche Beiträge zur eigentlichen Lösung geleistet wurden. Als Rückschritt zu betrachten ist, dass im Mittelalter der Archimedische Näherungswert von ²²/₇ für die Kreiszahl lange Zeit als exakt galt.^[10]

Einer der ersten Autoren des Mittelalters, der das Problem der Kreisquadratur wiederaufnahm, war Franco von Lüttich. Um 1050 entstand sein Werk De quadratura circuli.^[11] Franco stellt darin zunächst drei Quadraturen vor, die er verwirft. Die ersten beiden geben für die Seitenlänge des Quadrates ⁷/₈ beziehungsweise für die Diagonale ¹⁰/₈ des Kreisdurchmessers an, was relativ schlechten Näherungen von 3¹/₁₆ und 3¹/₈ für π entspricht. Der dritte Vorschlag wiederum setzt den Umfang des Quadrates dem Kreisumfang gleich, verlangt also die Rektifikation des letzteren.

Francos eigene Lösung geht von einem Kreis mit Durchmesser 14 aus. Dessen Fläche beträgt aus seiner Sicht genau 7² x ²²/₇ = 154. Rechnerisch lässt sich nach Francos Argumentation kein flächengleiches Quadrat finden, da die Quadratwurzel aus ²²/₇ irrational ist, konstruktiv jedoch schon. Dazu zerlegt er den Kreis in 44 gleiche Sektoren, die er zu einem Rechteck der Seitenlängen 11 und 14 zusammenfügt. Den nötigen Kunstgriff, bei dem er die Kreissektoren durch rechtwinklige Dreiecke mit Katheten der Länge 1 und 7 ersetzt, erläutert Franco allerdings nicht. Problematisch ist auch sein nicht ganz geglückter Versuch, das Rechteck anschließend durch eine geeignete Zerlegung in ein Quadrat zu überführen. Offensichtlich war Franco das althergebrachte griechische Verfahren nicht geläufig.

Spätere Abhandlungen der Scholastik erschöpfen sich mehr oder minder in einer Abwägung der Argumente der bekannten Klassiker. Erst mit der Verbreitung lateinischer Übersetzungen der archimedischen Schriften im Spätmittelalter wurde der Wert ²²/₇ wieder als Näherung erkannt und nach neuen Lösungen des Problems gesucht, so beispielsweise von Nikolaus von Kues. Dieser griff die Idee, den Kreis durch eine Folge regelmäßiger Vielecke mit wachsender Seitenzahl anzunähern, wieder auf, suchte im Gegensatz zu Archimedes jedoch nicht den Kreisumfang, sondern den Kreisradius bei vorgegebenem gleichbleibendem Umfang der Polygone zu bestimmen. In einem Brief gab von Kues eine solche Lösung, die er für genau hielt, an. Der daraus ermittelte Wert für die Kreiszahl liegt auch immerhin zwischen den von Archimedes gegebenen Grenzen. Die eigentlichen cusanischen Arbeiten zum Thema liefern deutlich schlechtere Näherungen und wurden damit zum Ziel einer Streitschrift des Regiomontanus, der die Ungenauigkeit der Berechnungen nachwies und die Beweise „als philosophische, aber nicht als mathematische“ bezeichnete.^[12]

Fortschritte der Kreismessung in der frühen Neuzeit

Fortschritte in der Kreisberechnung brachten ab dem 16. Jahrhundert die Weiterentwicklung des archimedischen Näherungsverfahrens sowie das Aufkommen moderner analytischer Methoden.

Bei der ursprünglichen Methode des Archimedes wird der Kreisumfang durch den Umfang eines dem Kreis einbeschriebenen und den eines dem Kreis umbeschriebenen Vielecks abgeschätzt. Genauere Schranken ergeben sich durch eine Erhöhung der Eckenzahl. Der niederländische Mathematiker Willebrord van Roijen Snell (Snellius) fand heraus, dass auch ohne die Seitenzahl zu vergrößern feinere Schranken für die Länge eines Bogenstückes als nur die Sehnen der Polygone angegeben werden können. Er konnte dieses Ergebnis allerdings nicht streng beweisen. Die Ausarbeitung und Verbesserung des snelliusschen Ansatzes leistete Christiaan Huygens in seiner Arbeit De circuli magnitudine inventa,^[13] in der er auch den Beweis der von Snellius aufgestellten Sätze erbrachte. Auf rein elementargeometrischem Weg gelang Huygens eine so gute Eingrenzung der zwischen Vieleck und Kreis liegenden Fläche, dass er bei entsprechender Seitenzahl der Polygone die Kreiszahl auf mindestens dreimal soviel Stellen genau erhielt wie Archimedes mit seinem Verfahren.

Der rein geometrische Ansatz zur Bestimmung der Kreiskonstanten war mit Huygens Arbeit im Wesentlichen ausgeschöpft. Bessere Näherungen ergaben sich mit Hilfe von unendlichen Reihen, speziell der Reihenentwicklung trigonometrischer Funktionen. Zwar hatte François Viète schon Ende des 16. Jahrhunderts durch die Betrachtung bestimmter Streckenverhältnisse aufeinanderfolgender Polygone eine erste exakte Darstellung von π durch ein unendliches Produkt gefunden, doch erwies sich diese Formel als unhandlich. Eine einfachere Reihe, die darüber hinaus nur mit rationalen Operationen auskommt, stammt von John Wallis, eine weitere Darstellung der Kreiszahl als Kettenbruch von William Brouncker. Wichtiger für die Praxis war die von James Gregory und davon unabhängig von Gottfried Wilhelm Leibniz gefundene Reihe für den Arcustangens. Obwohl diese Reihe selbst nur langsam konvergiert, kann man aus ihr andere Reihen ableiten, die sich wiederum sehr gut zur Berechnung der Kreiszahl eignen. Anfang des 18. Jahrhunderts waren mit Hilfe solcher Reihen über 100 Stellen von π berechnet, neue Erkenntnisse über das Problem der Kreisquadratur konnten dadurch allerdings nicht gewonnen werden.

Algebraische Problemstellung und Irrationalität von π

Descartes beschreibt am Anfang seiner Géométrie den neuen Ansatz der analytischen Geometrie.

Zur Lösung des Problems bedurfte es zum einen der Möglichkeit, dem geometrischen Begriff „konstruierbar“ eine algebraische Bedeutung zu geben, zum anderen genauerer Einsicht der Eigenschaften der Kreiszahl.

Eine geometrische Konstruktion mit Zirkel und Lineal geht von einer endlichen Anzahl vorgegebener Punkte aus und ermittelt in einer endlichen Anzahl von Schritten neue Punkte durch das Schneiden zweier Geraden, zweier Kreise oder einer Geraden mit einem Kreis. Die Übersetzung dieser Vorgehensweise in die Sprache der Algebra gelang durch die Einführung von Koordinatensystemen im Rahmen der im 17. Jahrhundert hauptsächlich von Pierre de Fermat und René Descartes entwickelten analytischen Geometrie. Geraden und Kreise konnten mit den neuen Mitteln durch Gleichungen beschrieben, Schnittpunkte durch das Lösen von Gleichungssystemen bestimmt werden. Es stellte sich heraus, dass die mit Zirkel und Lineal konstruierbaren Streckenlängen genau die sind, die sich durch eine endliche Zahl von rationalen Operationen (Addition, Subtraktion, Multiplikation und Division) sowie einer endlichen Anzahl von Quadratwurzeln aus einer vorgegebenen Länge ableiten lassen. Insbesondere sind diese Längen algebraische Zahlen, also eine Teilmenge der Zahlen, die eine Lösung einer algebraischen Gleichung beliebigen Grades mit rationalen Koeffizienten sind. Zahlen, die nicht algebraisch sind, heißen transzendent und sind nicht konstruierbar.^[14]

Ausgangspunkt für die weiteren Untersuchungen der Kreiszahl waren einige grundlegende Erkenntnisse Leonhard Eulers, die dieser 1748 in seinem Werk Introductio in analysin infinitorum^[15] veröffentlicht hatte. Euler stellte unter anderem mit der bekannten Formel

$e^{i\,z} = \cos z + i \sin z$

erstmals einen Zusammenhang zwischen trigonometrischen Funktionen und der Exponentialfunktion her und lieferte darüber hinaus einige Kettenbruch- und Reihendarstellungen von π und der später nach ihm benannten eulerschen Zahl e.

Diese Vorarbeit machte sich Johann Heinrich Lambert zunutze, der mit Hilfe einer der eulerschen Kettenbruchentwicklungen 1766 erstmals zeigen konnte, dass e und π irrationale, also nicht durch einen ganzzahligen Bruch darstellbare Zahlen sind.^[16] Eine kleine Lücke in Lamberts Beweisführung wurde 1806 von Adrien-Marie Legendre geschlossen, der gleichzeitig den Irrationalitätsbeweis für π² erbrachte.^[17]

Die Vermutung, dass π nicht algebraisch sein könne, stand jetzt im Raum, wurde zumindest von Euler, Lambert und Legendre ausgesprochen. Dabei war bis zur Mitte des 19. Jahrhundert noch nicht klar, dass es überhaupt transzendente Zahlen geben musste. Dieser Nachweis gelang 1844/1851 Joseph Liouville durch explizite Konstruktion von transzendenten liouvilleschen Zahlen.^[18]

Beweis der Unmöglichkeit

Ferdinand von Lindemann konnte 1882 schließlich beweisen, dass π nicht algebraisch, sondern transzendent ist. Deshalb ist π in gerader Linie nicht konstruierbar und die Quadratur des Kreises unmöglich. ^[19]

Lindemann griff in seiner Arbeit auf ein Ergebnis des französischen Mathematikers Charles Hermite zurück. Dieser hatte 1873 gezeigt, dass die eulersche Zahl e transzendent ist. Darauf aufbauend konnte Lindemann den so genannten Satz von Lindemann-Weierstraß beweisen, welcher besagt, dass für beliebige voneinander verschiedene algebraische Zahlen $z_1 , \dots , z_r$ und für beliebige algebraische Zahlen $n_1 , \dots , n_r$ die Gleichung

$\sum_{i=1}^{r} n_i e^{z_i} = 0$

nur dann gelten kann, wenn alle n_i den Wert Null haben. Insbesondere kann für keine von Null verschiedene algebraische Zahl z der Ausdruck e^z eine rationale Zahl ergeben. Nach dieser Vorbereitung konnte Lindemann die Annahme, π sei algebraisch, mit Hilfe der eulerschen Identität e^iπ = − 1 zum Widerspruch führen; π musste somit transzendent sein.

Lindemanns Beweis für die Transzendenz von π wurde in den folgenden Jahren und Jahrzehnten noch wesentlich vereinfacht, so etwa durch David Hilbert im Jahre 1893.

Popularität der Kreisquadratur

Die Quadratur des Kreises erreichte wie nur wenige andere Fragestellungen auch außerhalb der Mathematik eine große Popularität. Als Folge versuchten sich viele mathematische Laien an der Lösung des einfach scheinenden Problems und etliche glaubten, sie gefunden zu haben.

Als frühester Beleg für das Auftauchen eines so genannten „Kreisquadrierers“ oder „Quadrators“ wird gelegentlich eine Stelle in Aristophanes' Komödie Die Vögel zitiert, in der Meton als Vermesser auftritt und den Grundriss einer neuen Stadt mit geometrischen Hilfsmitteln so festlegen will, dass „der Kreis ein Viereck werde“. Gemeint ist damit jedoch nicht die Quadratur eines Kreises, sondern das Anlegen zweier rechtwinklig aufeinander treffender Straßen, auch wenn der Ausdruck eine Anspielung auf die Kreisquadratur vermittelt.^[20]

Berichte über ein wachsendes Aufkommen an Amateurarbeiten ab dem 18. und 19. Jahrhundert und Beispiele zum Thema finden sich bei Jean-Étienne Montucla^[21], Johann Heinrich Lambert^[22] und Augustus de Morgan^[23]. In der Regel handelte es sich um Verfahren, bei denen das Problem mechanisch, numerisch oder durch eine geometrische Näherungskonstruktion „exakt“ gelöst wurde. Derartige Arbeiten wurden in einer so großen Zahl an Mathematiker oder wissenschaftliche Institutionen herangetragen, dass sich zum Beispiel die Pariser Akademie der Wissenschaften 1775 genötigt sah, die weitere Untersuchung von vorgeblichen Lösungen der Kreisquadratur offiziell abzulehnen:^[24]

« L'Académie a pris, cette année, la résolution de ne plus examiner aucune solution des problèmes de la duplication du cube, de la trisection de l'angle ou de la quadrature du cercle, ni aucune machine anoncée comme un mouvement perpétuel. »

„Die Akademie hat dieses Jahr die Entscheidung getroffen, in Zukunft weder die Lösungen der mathematischen Probleme betreffend die Verdoppelung des Würfels, die Dreiteilung des Winkels sowie die Quadratur des Kreises, noch jedwede Maschine mit dem Anspruch eines "Perpetuum mobile" zu untersuchen.“

Auch nach dem lindemannschen Unmöglichkeitsbeweis wurden immer noch vermeintliche Quadraturen veröffentlicht. In jüngerer Zeit sind die vergeblichen Versuche der Amateurmathematiker Stoff der Unterhaltungsmathematik geworden.

Ein Hauptgrund für die gerade für mathematische Laien hohe Attraktivität ist wohl die sehr elementare Problemstellung, die auch ohne tiefergehendes mathematisches Wissen verstanden werden kann oder zumindest verständlich erscheint. In Verbindung mit den vielen vergeblichen Lösungsversuchen etablierter Wissenschaftler entstand ein regelrechter Nimbus um die Kreisquadratur.^[25]

Ein weiterer nicht zu unterschätzender Grund für die zahlreichen Bemühungen um die Quadratur des Kreises war die verbreitete Meinung, auf die Lösung des Problems sei ein hoher Preis ausgesetzt – ein Irrglaube, der möglicherweise auf die falsche Vermutung zurückgeht, die Kreisquadratur stünde in direkter Verbindung mit dem ebenfalls lange offenen Problem der exakten Bestimmung der geographische Länge zur See, auf dessen Lösung in der Tat Preise ausgesetzt waren. Die Sage von den Preisausschreiben hielt sich so hartnäckig, dass selbst 1891 in Meyers Konversations-Lexikon noch zu lesen war, dass „Karl V. 100.000 Thaler und die holländischen Generalstaaten eine noch höhere Summe“ ausgesetzt hätten.^[26]

Prominentes Beispiel für einen Amateurmathematiker, der die Quadratur des Kreises gefunden zu haben glaubte, war der englische Philosoph Thomas Hobbes. Seine 1665 in seinem Werk De corpore veröffentlichte Lösung – in Wirklichkeit eine Näherungskonstruktion – wurde von John Wallis noch im selben Jahr zurückgewiesen. In der Folgezeit entspann sich zwischen den beiden eine in scharfem Tonfall vorgetragene Auseinandersetzung, die erst mit Hobbes' Tod im Jahr 1679 endete.

Lambert berichtet von drei Kreisquadraturen mit Hilfe eines bestimmten rationalen Wertes. Die in der Mitte des 18. Jahrhunderts erschienenen Arbeiten beruhen auf der Näherung ³⁵/₃₁ für das Verhältnis von Kreisdurchmesser zur Seite des flächengleichen Quadrats. Für die Kreiszahl erhält man daraus die Näherung

$\pi \approx \frac{3844}{1225} = 3{,}1379\dots .$

Einem der drei Autoren, dem Prediger Merkel aus Ravensburg, widmete Gotthold Ephraim Lessing das Gedicht „Auf den Herrn M** den Erfinder der Quadratur des Zirkels“.^[27]

Die Kreisquadratur des amerikanischen Arztes Edward J. Goodwin erschien 1894 sogar im ersten Band des American Mathematical Monthly, wenn auch nur als Annonce des Autors. Die Arbeit selbst ist in sich widersprüchlich und lässt je nach Lesart mehrere Werte für π zu. Sie war Grundlage für einen 1897 dem Parlament von Indiana vorgelegten Gesetzentwurf, der so genannten Indiana Pi Bill, durch den die Erkenntnisse Goodwins zum Gesetz erhoben werden sollten.

Näherungskonstruktionen

Babylonisches Verfahren nach Dürer (1525)

Näherungskonstruktion von Kochański (1685)

Näherungskonstruktion von Ramanujan (1913)

Loynes' Konstruktion (1961)

Obwohl eine exakte Lösung mit Zirkel und Lineal nicht möglich ist, gibt es Näherungskonstruktionen für die Kreisquadratur, die für viele Zwecke exakt genug sind. Einfache, schon in der Antike bekannte Verfahren geben ein ganzzahliges Verhältnis von Durchmesser oder Radius des Kreises zur Seite oder Diagonalen des Quadrates an. Neben der im Papyrus Rhind erwähnten Gleichsetzung des Kreises vom Durchmesser 9 mit dem Quadrat der Seitenlänge 8 war auch die des Kreises vom Durchmesser 8 mit dem Quadrat der Diagonalen 10 bekannt. Diese Konstruktion findet sich bei den Babyloniern und eventuell beim römischen Feldmesser Vitruv.^[28] Sie liefert den Wert 3¹/₈ für π. Um ein bequemes zeichnerisches Verfahren anzugeben, nimmt Albrecht Dürer diese Konstruktion im Jahr 1525 in seinem Werk Vnderweysung der messung mit dem zirckel und richtscheyt wieder auf. Dürer ist sich dabei bewusst, dass es sich um eine reine Näherungslösung handelt, er schreibt explizit, dass eine exakte Lösung noch nicht gefunden sei:^[29]

„Vonnöten wäre zu wissen Quadratura circuli, das ist die Gleichheit eines Zirkels und eines Quadrates, also daß eines ebenso viel Inhalt hätte als das andere. Aber solches ist noch nicht von den Gelehrten demonstrirt. Mechanice, das ist beiläufig, also daß es im Werk nicht oder nur um ein kleines fehlt, mag diese Gleichheit also gemacht werden. Reiß eine Vierung und teile den Ortsstrich in zehn Teile und reiße danach einen Zirkelriß, dessen Durchmesser acht Teile haben soll, wie die Quadratur deren 10; wie ich das unten aufgerissen habe.“

Eine klassische Näherungslösung ist die Näherungskonstruktion von Kochański, die der polnische Mathematiker Adam Adamandy Kochański im Jahr 1685 entdeckt hat. Sie kommt mit nur einer Zirkelöffnung aus. Die eigentliche Konstruktion besteht aus einer Rektifikation des Halbkreises, Kochanski konstruierte aus dem vorgegebenen Radius r näherungsweise eine gerade Strecke der Länge rπ. Die Quadratur folgt daraus elementar mit Hilfe des Kathetensatzes. Die Kreiszahl wird bei Kochański auf vier Nachkommastellen genau angenähert:

$\pi \approx \sqrt{\frac{40}{3}-2\sqrt{3}} = 3{,}141533\dots$

Im Jahr 1913 erschien eine Konstruktion des indischen Mathematikers S. A. Ramanujan,^[30] die auf der Näherung

$\pi\approx\frac{355}{113} = 3{,}1415929\dots$

beruht, einem Wert, der sogar auf sechs Nachkommastellen genau ist und in Europa jedenfalls seit dem 17. Jahrhundert, in China schon seit dem 5. Jahrhundert bekannt war. Ramanujan merkte bezüglich der Genauigkeit seines Verfahrens an, dass bei einer Kreisfläche von 140.000 Quadratmeilen die konstruierte Quadratseite nur um etwa einen Inch vom wahren Wert abweiche. In einer Arbeit aus dem Folgejahr^[31] lieferte Ramanujan neben anderen Näherungsverfahren eine weitere Quadratur mit Zirkel und Lineal. Dieser liegt der Wert

$\pi\approx\sqrt[4]{9^2 + \frac{19^2}{22}} = 3{,}141592652\dots$

zugrunde, der π sogar auf acht Stellen nahe kommt.

Eine einfachere Methode veröffentlichte Louis Loynes 1961.^[32] Sie beruht auf der Feststellung, dass der Flächeninhalt des Umkreises eines rechtwinkligen Dreiecks gleich dem Quadrat über der größeren Kathete ist, wenn der Tangens des kleineren Winkels, also das Verhältnis von kleinerer zu größerer Kathete,

$\sqrt{\frac{4}{\pi}-1} = 0{,}5227232\dots$

beträgt, ein Wert, der sehr nahe an dem Bruch

$\frac{23}{44} = 0{,}5227272\dots$

liegt. Daraus ergibt sich eine einfache Näherung, indem man das (konstruierbare) rechtwinklige Dreieck mit dem Katheten-Verhältnis 23:44 zur Quadratur benutzt. Der angenäherte Wert für die Kreiszahl von

$\pi\approx\frac{7744}{2465} = 3{,}141582\dots$

ist etwas besser als bei Kochańskis Konstruktion.

Varianten

Tarskis Problem der Quadratur des Kreises

Alfred Tarski stellte 1925 die Aufgabe, einen Kreis in beliebig viele Teile zu stückeln und diese dann durch reine Bewegung (also ohne Streckung) so zu verschieben, dass ein Quadrat entsteht.

Miklós Laczkovich gelang 1989 die Lösung: Er bewies, dass es möglich ist, einen Kreis in endlich viele Teile zu zerlegen und diese nur durch Bewegung so zu verschieben, dass ein Quadrat entsteht.^[33] Er zerteilte den Kreis in 10⁵⁰ Stücke. Für den Beweis benötigt er jedoch das Auswahlaxiom, welches von den meisten Wissenschaftlern heutzutage zwar akzeptiert wird, aber nicht selbstverständlich ist. Der Beweis ähnelt stark dem Banach-Tarski-Paradoxon.

Laczkovich hat zwar bewiesen, dass (unter Annahme des Auswahlaxioms) so eine Zerlegung existiert, diese Zerlegung lässt sich jedoch nicht explizit angeben.

Lemniskate

Quadratur der Lemniskate

Im Gegensatz zum Kreis ist es möglich, eine Lemniskate (∞) durch zwei Quadrate darzustellen, deren Seitenlänge dem größten Lemniskatenradius a entspricht. Die Lemniskate ergibt sich in der komplexen Zahlenebene aus der Wurzel der Kreisfunktion.

Literatur und Quellen

allgemein

• Eugen Beutel: Die Quadratur des Kreises. 2. Auflage. Teubner, Leipzig 1920. (Digitalisat)
• Moritz Cantor: Vorlesungen über Geschichte der Mathematik. Teubner, Leipzig 1880-1908 (4 Bde.).
• Helmuth Gericke: Mathematik in Antike und Orient. Springer, Berlin 1984, ISBN 3-540-11647-8.
• Helmuth Gericke: Mathematik im Abendland. Springer, Berlin 1990, ISBN 3-540-51206-3.
• Thomas Little Heath: A History of Greek Mathematics. Band 1, Clarendon Press, Oxford 1921. (Nachdruck: Dover, New York 1981, ISBN 0-486-24073-8.)
• Klaus Mainzer: Geschichte der Geometrie. Bibliographisches Institut, Mannheim u.a. 1980, ISBN 3-411-01575-6.
• Ferdinand Rudio: Archimedes, Huygens, Lambert, Legendre. Vier Abhandlungen über die Kreismessung. Teubner, Leipzig 1892. (Digitalisat)

zur Transzendenz von π

• Ferdinand Lindemann: Über die Zahl π. In: Mathematische Annalen 20 (1882), S. 213–225.
• David Hilbert: Ueber die Transcendenz der Zahlen e und π. In: Mathematische Annalen 43 (1893), S. 216–219.
• Paul Albert Gordan: Transcendenz von e und π. In: Mathematische Annalen 43 (1893), S. 222–224.
• Theodor Vahlen: Beweis des Lindemann'schen Satzes über die Exponentialfunction. In: Mathematische Annalen 53 (1900), S. 457–460.

Unterhaltungsmathematik

• Underwood Dudley: Mathematik zwischen Wahn und Witz. Trugschlüsse, falsche Beweise und die Bedeutung der Zahl 57 für die amerikanische Geschichte, Birkhäuser, Basel 1995, ISBN 3-7643-5145-4. (englischer Originaltitel: Mathematical cranks)

Einzelnachweise

1. ↑ s. etwa Mainzer, S.20.
2. ↑ Arthur Donald Steele: Über die Rolle von Zirkel und Lineal in der griechischen Mathematik. In: Oskar Becker (Hrsg.): Zur Geschichte der griechischen Mathematik. Wissenschaftliche Buchgesellschaft, Darmstadt 1965, S. 146-202.
3. ↑ zitiert nach Gericke: Antike und Orient, S.94.
4. ↑ James Gow: A Short History of Greek Mathematics. Cambridge University Press 2010, ISBN 9781108009034, S. 162-164 (Auszug in der Google Buchsuche)
5. ↑ Jean-Paul Delahaye: Pi - Die Story. Springer 1999, ISBN 3764360569, S. 71 (Auszug in der Google Buchsuche)
6. ↑ ^{a b} In englischer Übersetzung von Thomas Little Heath: The works of Archimedes, ed. in modern notation, with introductory chapters. University press, Cambridge 1897. Kreismessung: S.91ff., Über Spiralen: S.151ff. (Digitalisat)
7. ↑ Euklids Elemente XII, § 2.
8. ↑ ausführlich bei Beutel, S.14ff., Cantor, S.285ff.
9. ↑ s. Gericke: Antike und Orient, S.120ff.
10. ↑ s. Gericke: Abendland, S.75. Cantor Bd.1, S.133.
11. ↑ s. Gericke: Abendland, S.74 ff.
12. ↑ Rudio, S.27f.
13. ↑ Christiaan Huygens: De circuli magnitudine inventa. Elzevier, Lugdunum Batavorum (Leiden) 1654. Deutsch von Ferdinand Rudio: Über die gefundene Größe des Kreises. In: Rudio, S.83–132.
14. ↑ ausführlich etwa bei Felix Klein: Vorträge über ausgewählte Fragen der Elementargeometrie. Teubner, Leipzig 1895. (Digitalisat)
15. ↑ Leonhard Euler: Introductio in analysin infinitorum. Lausanne 1748. Deutsch von H. Maser: Einleitung in die Analysis des Unendlichen. Springer, Berlin 1885. (Reprint des ersten Bandes)
16. ↑ Johann Heinrich Lambert: Vorläufige Kenntnisse für die, so die Quadratur und Rectification des Circuls suchen. In: Beyträge zum Gebrauche der Mathematik und deren Anwendung durch J. H. Lambert. Berlin 1770. Nachdruck bei Rudio, S.133–155.
17. ↑ Adrien-Marie Legendre: Eléments de Géometrie. Note IV, où l'on démontre que le rapport de la circonférence au diametre et son quarré sont des nombres irrationels. Paris 1855¹⁴. Deutsch von Ferdinand Rudio: Beweis, dass das Verhältnis des Kreisumfanges zum Durchmesser und das Quadrat desselben irrationale Zahlen sind. In: Rudio, S.157–166.
18. ↑ Joseph Liouville: Sur des classes très-étendues de quantités dont la valeur n'est ni algébrique ni même réductible à des irrationelles algébriques. In: Journal de Mathématiques Pures et Appliquées 16 (1851).
19. ↑ Christoph J. Scriba & Peter Schreiber: 5000 Jahre Geometrie: Geschichte, Kulturen, Menschen (Vom Zählstein zum Computer). 1. Auflage, Springer Berlin/Heidelberg/New York ISBN 3-540-67924-3, S. 405-406.
20. ↑ Heath, S. 220f.
21. ↑ Jean-Étienne Montucla: Histoire des recherches sur la quadrature du cercle. Paris 1754. (Digitalisat der korrigierten Neuauflage 1831)
22. ↑ Johann Heinrich Lambert: Vorläufige Kenntnisse…, a.a.O.
23. ↑ Augustus de Morgan: A Budget of Paradoxes. London 1872. (Digitalisat auf en:Wikisource)
24. ↑ Histoire de L'Académie royale des sciences, année 1775. Paris 1778, S. 61ff. (Digitalisat)
25. ↑ so z.B. Rudio, S.3ff.
26. ↑ „Quadratur des Zirkels“. In: Meyers Konversations-Lexikon, 4. Auflage, 18. Band: Jahres-Supplement 1890–1891. (Digitalisat)
27. ↑ Gotthold Ephraim Lessing: Werke. Band 1, München 1970 ff., S. 44. (Text bei www.zeno.org)
28. ↑ s. Gericke: Abendland, S.75.
29. ↑ Albrecht Dürer: Vnderweysung der messung mit dem zirckel und richtscheyt. Nürnberg 1525. Zitiert nach Gericke: Abendland, S.191.
30. ↑ S. A. Ramanujan: Squaring the circle. In: Journal of the Indian Mathematical Society 5 (1913), S. 132.
31. ↑ S. A. Ramanujan: Modular Equations and Approximations to π. In: Quarterly Journal of Mathematics. 45 (1914), S. 350-374.
32. ↑ Louis Loynes: Approximate quadrature of the circle. In: The Mathematical Gazette 45 (1961), S. 330.
33. ↑ Laczkovich Equidecomposability and discrepancy: a solution to Tarski's circle squaring problem, Journal für die Reine und Angewandte Mathematik, Bd. 404, 1990, S. 77–117

Weblinks

 Wikiversity: Eine Vorlesung zur Quadratur des Kreises – Kursmaterialien, Forschungsprojekte und wissenschaftlicher Austausch

 Commons: Quadratur des Kreises – Sammlung von Bildern, Videos und Audiodateien

• „Quadratur des Kreises“ im digitalen Wortschatz-Lexikon (Uni Leipzig)
• Artikel im MacTutor History of Mathematics archive