Konstruierbare Zahl

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
DieQuadratwurzel aus 2ist gleich der Länge derHypotenuseeinesrechtwinkligen Dreiecksmit Schenkeln der Länge 1 und ist daher konstruierbar

In derGeometrieund derAlgebraheißt eine reelle Zahlkonstruierbar,wenn eine Strecke der Längein endlich vielen Schrittenmit Zirkel und Linealaus einer Strecke der Längekonstruiert werden kann. Das ist genau dann der Fall, wenn es einen geschlossenen Ausdruck fürgibt, der nur die Zahlen 0 und 1 sowie die Operationen Addition, Subtraktion, Multiplikation, Division und Quadratwurzeln verwendet.

Die geometrische Definition konstruierbarer Zahlen motiviert eine entsprechende Definition konstruierbarer Punkte, die wieder sowohl geometrisch als auch algebraisch beschrieben werden kann. Ein Punkt ist konstruierbar, wenn er ausgehend von einer gegebenen Einheitsstrecke mittels Zirkel und Lineal (als Endpunkt einer Strecke oder als Schnittpunkt zweier Geraden oder Kreise) erzeugt werden kann. Alternativ und äquivalent kann man die Punkteundin einemkartesischen Koordinatensystemals Endpunkte der gegebenen Strecke nehmen, ein Punkt ist dann und nur dann konstruierbar, wenn seine kartesischen Koordinaten konstruierbare Zahlen sind.[1] Um sie von Punkten aus anderen Konstruktionsprozessen zu unterscheiden, nennt man konstruierbare Punkte auch „Zirkel-und-Lineal-Punkte “.[2][3]

Die Menge der konstruierbaren Zahlen bildet einenKörper,das heißt, die Anwendung jeder der vier grundlegenden arithmetischen Operationen von Elementen dieser Menge ergibt eine weitere konstruierbare Zahl. Dieser Körper ist eineKörpererweiterungderrationalen Zahlenund ist seinerseits im Körper deralgebraischen Zahlenenthalten.[4] Er ist der euklidische Abschluss der rationalen Zahlen, das heißt, die kleinste Körpererweiterung der rationalen Zahlen, die die Quadratwurzel jedes ihrer positiven Elemente enthält.[5]

Der Beweis der Äquivalenz der algebraischen und geometrischen Definition der konstruierbaren Zahlen überträgt geometrische Fragen über die Konstruktion mit Zirkel und Lineal in die Algebra, das schließt auch einige berühmte Probleme der klassischen griechischen Mathematik ein. Die algebraische Formulierung dieser Fragen führte zu Beweisen, dass ihre Lösungen nicht konstruierbar sind, nachdem die geometrische Formulierung derselben Probleme jahrhundertelangen Lösungsversuchen widerstehen konnte.

Geometrische Definitionen

[Bearbeiten|Quelltext bearbeiten]

Geometrisch konstruierbare Punkte

[Bearbeiten|Quelltext bearbeiten]

Es seienundzwei verschiedene Punkte in dereuklidischen Ebeneundsei die Menge all derjenigen Punkte, die davon ausgehend mit Zirkel und Lineal konstruiert werden können. Die Punkte ausheißen konstruierbare Punkte. Definitionsgemäß sindundElemente von. Um die übrigen Punkte vonpräziser beschreiben zu können, treffen wir folgende Definitionen:[6]

  • Eine Strecke, deren Endpunkte inliegen, heißt eine konstruierte Strecke, und
  • ein Kreis, dessen Mittelpunkt inliegt und durch einen weiteren Punkt vonverläuft (oder anders ausgedrückt, dessen Radius gleich dem Abstand zwischen zwei Punkten ausist), heißt ein konstruierter Kreis.

besteht dann nebenundaus:[7][8]

  • demDurchschnittzweier nicht-paralleler konstruierter Strecken bzw. zweier nicht-paralleler Geraden durch eine konstruierte Strecke,
  • den Punkten des Durchschnitts eines konstruierten Kreises mit einer konstruierten Strecke bzw. einer Geraden durch eine konstruierte Strecke und
  • den Punkten des Durchschnitts zweier verschiedener konstruierter Kreise.

Beispielsweise ist der Mittelpunkt der konstruierten Streckeein konstruierbarer Punkt. Eine Konstruktion besteht darin, zunächst zwei Kreise mit Radiusumundzu schlagen und dann die Strecke zwischen den zwei Schnittpunkten dieser Kreise zu bilden. Der Mittelpunkt der Streckeist dann der Durchschnitt beider Strecken.[9]

Geometrisch konstruierbare Zahlen

[Bearbeiten|Quelltext bearbeiten]

Die Ausgangsdaten der geometrischen Formulierung können zur Definition eineskartesischen Koordinatensystemsverwendet werden, in demdem Ursprung mit den Koordinatenunddem Punkt mit den Koordinatenzugewiesen wird. Mittels der Punkte auskann nun die Verbindung zwischen Geometrie und Algebra geschlagen werden, indem man eine konstruierbare Zahl als Koordinate eines konstruierbaren Punktes definiert.[10]

Äquivalente Definitionen sind, dass eine konstruierbare Zahl die-Koordinate eines konstruierbaren Punktesist[11]oder die Länge einer konstruierbaren Strecke[12].Bei der längenbasierten Definition muss man dieals Spezialfall einer konstruierbaren Zahl hinzunehmen. Für eine Richtung dieser Äquivalenz beachte, dass, wenn ein konstruierbarer Punkt die Koordinatenhat, auch der PunktalsOrthogonalprojektionauf die-Achse konstruiert werden kann, und die Strecke vom Ursprung zu diesem Punkt die Längehat. Ist für die andere Richtungdie Länge einer Strecke, so schlage man einen Kreis mit diesem Radius um den Ursprung, um darausals Schnittpunkt dieses Kreises mit der-Achse zu erhalten. Es folgt aus dieser Äquivalenz, dass jeder Punkt, dessen kartesische Koordinaten konstruierbare Zahlen sind, selbst ein geometrisch konstruierbarer Punkt ist. Sind nämlichundgeometrisch konstruierbare Zahlen, erhält man den Punktals Durchschnitt der Geraden, die durchundund jeweils senkrecht zu den Achsen verlaufen.[13]

Algebraische Definitionen

[Bearbeiten|Quelltext bearbeiten]

Algebraisch konstruierbare Zahlen

[Bearbeiten|Quelltext bearbeiten]

Die algebraisch konstruierbaren reellen Zahlen sind diejenige Teilmenge der reellen Zahlen, die durch Kombinationen ganzer Zahlen mittels der Operationen Addition, Subtraktion, Multiplikation, Division und Ziehen der Quadratwurzel (einer positiven Zahl) beschrieben werden können. Man kann unter Inkaufnahme längerer Ausdrücke die Verwendung ganzer Zahlen auf 0 und 1 beschränken.[14]So ist zum Beispiel die Quadratwurzel aus 2 konstruierbar, da sie durch die Formelnoderbeschrieben werden kann.

Ganz analog sind die algebraisch konstruierbaren komplexen Zahlen diejenige Teilmenge der komplexen Zahlen, die durch Formeln desselben Typs beschrieben werden können, wobei das Ziehen der Quadratwurzel aber nicht auf positive Zahlen beschränkt ist, sondern aufbeliebige komplexe Argumenteangewendet werden kann. Alternativ kann man sie als die Menge der komplexen Zahlen beschreiben, deren Real- und Imaginärteil beide konstruierbare reelle Zahlen sind.[15]Beispielsweise hat die komplexe Zahldie Formelnoder,und ihr Real- und Imaginärteil sind die konstruierbaren Zahlen 0 bzw. 1.

Diese beiden Definitionen konstruierbarer komplexer Zahlen sind äquivalent.[16]Ist in einer Richtungeine komplexe Zahl, deren Realteilund Imaginärteilbeide konstruierbare reelle Zahlen sind, so liefert die Ersetzung ihrer Formeln ineine Formel fürals komplexe Zahl. Umgekehrt kann man aus jeder Formel für eine konstruierbare komplexe Zahl Formeln für ihren Real- und Imaginärteil gewinnen, indem man für alle Operationen sukzessive folgende Umformungen vornimmt:

  • ,wobeiund.

Algebraisch konstruierbare Punkte

[Bearbeiten|Quelltext bearbeiten]

Die algebraisch konstruierbaren Punkte können als die Punkte definiert werden, deren reelle kartesische Koordinaten algebraisch konstruierbare reelle Zahlen sind. Alternativ können sie als Punkte derkomplexen Ebenedefiniert werden, die durch algebraisch konstruierbare komplexe Zahlen gegeben sind. Auf Grund der Äquivalenz der beiden Definitionen der algebraisch konstruierbaren Zahlen sind auch diese beiden Definitionen der algebraisch konstruierbaren Punkte äquivalent.[16]

Äquivalenz von algebraischen und geometrischen Definitionen

[Bearbeiten|Quelltext bearbeiten]

Sindunddie vonverschiedenen Längen von geometrisch konstruierbaren Strecken, so können mittels elementarer Konstruktionen mit Zirkel und Lineal Strecken der Längen,,undkonstruiert werden. Die letzten beiden kann man mit einer Konstruktion auf Basis desStrahlensatzeserhalten. Eine nicht ganz so elementare Konstruktion unter Verwendung desHöhensatzeserlaubt die Konstruktion einer Strecke der Länge. Daraus folgt, dass jede algebraisch konstruierbare Zahl auch geometrisch konstruierbar ist, indem man mit diesen Techniken eine Formel für eine Zahl in eine geometrische Konstruktion übersetzt.[17][18]

In der anderen Richtung wird eine Menge geometrischer Objekte durch algebraisch konstruierbare reelle Zahlen bestimmt: Punkte durch Koordinaten, Geraden durchSteigungund-Achsenabschnitt,Kreise durch Mittelpunktskoordinaten und Radius. Es ist möglich, wenn auch mühsam, auf Grundlage dieser Werte unter Verwendung der arithmetischen Operationen und des Ziehens der Quadratwurzel Formeln zu entwickeln, indem man die Formeln gemäß der schrittweisen Konstruktion mit Zirkel und Lineal aufbaut. Aus diesen Formeln folgt, dass jede geometrisch konstruierbare Zahl auch algebraisch konstruierbar ist.[19]

Algebraische Eigenschaften

[Bearbeiten|Quelltext bearbeiten]

Die Definition der algebraisch konstruierbaren Zahlen schließt die Summe, die Differenz, das Produkt und das multiplikative Inverse dieser Zahlen ein, das sind dieselben Operationen, die in derabstrakten AlgebraeinenKörperdefinieren. Daher bilden die konstruierbaren Zahlen (in jeder der obigen Definitionen) einen Körper. Genauer bilden die konstruierbaren reellen Zahlen eineneuklidischen Körper,das heißt einengeordneten Körper,der für jedes seiner positiven Elemente auch eine Quadratwurzel enthält.[20] Die Untersuchung dieses Körpers und seinerUnterkörperführt zu notwendigen Bedingungen für die Konstruierbarkeit einer Zahl, was benutzt werden kann, um die Nichtkonstruierbarkeit einiger in klassischen geometrischen Konstruktionsproblemen auftauchenden Zahlen nachzuweisen.

Praktischerweise betrachtet man statt des ganzen Körpers der konstruierbaren Zahlen den Unterkörper,der von einer gegebenen konstruierbaren Zahlerzeugt wird, und verwendet algebraische Konstruktionen bzgl.,um diesen weiter zu zerlegen. Wenneine konstruierbare reelle Zahl ist, kann man mittels der Werte, die in einer beschreibenden Formel vorkommen, eine endliche Folgefinden, so dassfür jedeseine endlicheKörpererweiterungvonvomGradist.[21] In einer leicht abweichenden Terminologie ist eine reelle Zahlgenau dann konstruierbar, wenn sie im Körper am Ende eines endlichenKörperturmsreeller quadratischer Körpererweiterungen liegt, das heißt eines Turms

der mit dem Körperder rationalen Zahlen beginnt und in dem für allegilt sowie:liegt in.[22] Es folgt aus dieser Zerlegung, dass der Graddieser Körpererweiterung eineZweierpotenzist, wobeidie Anzahl der quadratischen Erweiterungsschritte ist.[23]

Analog zum reellen Fall ist eine komplexe Zahl genau dann konstruierbar, wenn sie im Körper am Ende eines endlichen Körperturms komplexer quadratischer Erweiterungen liegt.[24] Genauer istkonstruierbar, wenn es einen endlichen Körperturm

gibt, wobeiinliegt undfür jedesgilt. Der Unterschied zwischen diesen beiden Charakterisierungen besteht darin, dass hier die Körper des Körperturms nicht auf reelle Körper beschränkt sind.

Auch hier gilt: Ist eine komplexe Zahlkonstruierbar, so isteine Zweierpotenz. Diese notwendige Bedingung ist allerdings nicht hinreichend, denn es gibt Körpererweiterungen vom Grad einer Zweierpotenz, die nicht in eine Folge quadratischer Erweiterungen zerlegt werden kann.[25]

Die Körper, die auf diese Weise aus Türmen quadratischer Erweiterungen übergewonnen werden können, heißeniterierte quadratische Erweiterungenvon. Die Körper der reellen oder komplexen konstruierbaren Zahlen sind die Vereinigungen aller reellen bzw. komplexen iterierten quadratischen Erweiterungen von.[26]

Trigonometrische Zahlen

[Bearbeiten|Quelltext bearbeiten]

Trigonometrische Zahlen sind dieSinus- und KosinuswertevonWinkeln,die rationale Vielfache vonsind. Diese Zahlen sind stetsalgebraischaber nicht immer konstruierbar. Die Sinus- und Kosinuswerte von Winkelnsind nur für bestimmte Zahlenkonstruierbar:[27]

  • Zweierpotenzen
  • Fermatsche Primzahlen,das sind Primzahlen der Form.
  • Produkte aus Zweierpotenzen und verschiedenen Fermatschen Primzahlen.

So ist zum Beispielkonstruierbar, weil 15 das Produkt der beiden Fermatschen Primzahlenundist.

Weitere Beispiele von trigonometrischen Zahlen, die in Formeln mit Quadratwurzeln angegeben sind, finden sich im AbschnittWichtigste Funktionswerteim Artikel zur Sinus- und Kosinusfunktion.

Unlösbare Konstruktionsprobleme

[Bearbeiten|Quelltext bearbeiten]
Ein Würfel und seine Verdoppelung
Ein Winkel und seine Dreiteilung
Ein Kreis und ein inhaltsgleiches Quadrat

Diealten Griechenhielten einige nicht gelöste Konstruktionsprobleme mit Zirkel und Lineal nur für widerspenstig, nicht für unlösbar.[28] Die Nichtkonstruierbarkeit gewisser Zahlen beweist allerdings die logische Unmöglichkeit, solche Konstruktionen auszuführen. Die Probleme selbst sind lösbar, wenn man von der Zirkel-und-Lineal-Bedingung der Konstruktion abrückt, und die Griechen kannten solche Lösungen z. B. sogenannteNeusis-Konstruktionen.[29]

Insbesondere die algebraische Formulierung der konstruierbaren Zahlen führt zu Unmöglichkeitsbeweisen der folgenden Konstruktionsprobleme:

Würfelverdoppelung

[Bearbeiten|Quelltext bearbeiten]

Das Problem der Quadratverdoppelung kann leicht gelöst werden, indem man ein weiteres Quadrat über der Diagonale des ersten errichtet, diese hat eine-fache Seitenlänge und doppeltenFlächeninhalt.Das Problem der Würfelverdoppelung führt ganz analog auf das Problem, eine Strecke der Längezu konstruieren. Aber diese Zahl ist nicht konstruierbar, denn dasMinimalpolynomdieser Zahl hat den Gradüber.[30] Dieses muss als kubisches Polynom, dessen einzige reelleNullstelleirrationalist,irreduzibelsein, und daraus folgt, dassist. Da dies keine Zweierpotenz ist, folgt die behauptete Nichtkonstruierbarkeit.[31]

Winkeldreiteilung

[Bearbeiten|Quelltext bearbeiten]

Bei diesem Problem soll zu einem gegebenen Winkelder Winkelkonstruiert werden. Algebraisch werden Winkel durchtrigonometrische Funktionendargestellt, wie etwa ihrer Sinus- oder Kosinuswerte, die die kartesischen Koordinaten des Endpunktes einer Einheitsstrecke sind, die mit der Anfangsstrecke den gegebenen Winkel einschließt. Daher ist ein Winkelgenau dann konstruierbar, wenneine konstruierbare Zahl ist, und das Problem der Winkeldreiteilung ist auf die Konstruktion vonzurückgeführt. Beispielsweise kann der Winkelals Winkel einesgleichseitigen Dreiecksmit Zirkel und Lineal konstruiert werden, es ist. Der gedrittelte Winkelhingegen kann nicht konstruiert werden, dennhat das Minimalpolynomund dieses ist vom Gradüber. Da dieser spezielle Winkel nicht dreigeteilt werden kann, ist das allgemeine Problem der Winkeldreiteilung unlösbar.[32]

Quadratur des Kreises

[Bearbeiten|Quelltext bearbeiten]

Ein Quadrat mit Flächeninhalt,das ist der Inhalt desEinheitskreises,hätte die Seitenlänge,einetranszendente Zahl.Daher sind dieses Quadrat und seine Seitenlänge nicht konstruierbar, denn die Länge ist nicht algebraisch über,kann also in keinem endlichen Körperturm überliegen.[33]

Das regelmäßige Siebeneck
Reflexion an der Kreislinie

Konstruierbare Polygone

[Bearbeiten|Quelltext bearbeiten]

Wenn ein regelmäßiges-Eck mit Zentrum im Ursprung konstruierbar ist, so auch die Winkel zwischen zwei Strecken vom Ursprung zu zwei benachbarten Ecken, und diese sind.Das Polygon kann daher genau dann konstruiert werden, wenn der Kosinus des Winkels eine trigonometrische Zahl ist. So ist etwa das regelmäßigeFünfzehneckkonstruierbar, das regelmäßigeSiebeneckhingegen nicht, dennist eine Primzahl, die keine Fermatsche Primzahl ist.[34] Für einen direkteren Beweis der Nichtkonstruierbarkeit des Siebenecks stelle man die Ecken als komplexe Wurzeln des Polynomsdar. Das Herausdividieren des Linearfaktors,Division durchund anschließende Substitutionliefert das Polynom.Da dieses Polynom irreduzibel ist, kann man wieder auf die Nichtkonstruierbarkeit von,also vonund damit des Siebenecks schließen.[35]

Alhazensches Problem

[Bearbeiten|Quelltext bearbeiten]

Es seien zwei Punkte und ein kreisförmiger Spiegel gegeben. Wo auf dem Kreis sieht man von einem Punkt aus das reflektierte Bild des anderen Punktes? Geometrisch treffen die Geraden durch die gegebenen Punkte und den Reflexionspunkt im gleichen Winkel auf die Kreislinie und bilden gleichlangeKreissehnen.Es ist aber im Allgemeinen nicht möglich, diesen Punkt mit Zirkel und Lineal zu konstruieren. Insbesondere für den Einheitskreis und die beiden inneren Punkteundführt die Lösung auf die Nullstellen des Polynomsvierten Grades. Obwohl es sich beim Grad um eine Zweierpotenz handelt, hat derZerfällungskörpereinen durchteilbaren Grad, das heißt, er entsteht nicht als iterierte quadratische Erweiterung. Das Alhazensche Problem ist daher nicht lösbar.[36]

Der Ursprung des Konzepts der konstruierbaren Zahlen ist untrennbar mit der Geschichte der drei nicht-möglichen Zirkel-und-Lineal-Konstruktionen verbunden: der Würfelverdoppelung, der Winkeldreiteilung und der Quadratur des Kreises. Die Einschränkung, nur Zirkel und Lineal zu benutzen, wird auf Grund einer Textstelle imPlutarchdem PhilosophenPlatonzugeschrieben. Nach Plutarch hat Platon das Problem der WürfelverdoppelungEudoxos,ArchytasundMenaichmosgestellt. Sie lösten das Problem mit mechanischen Mitteln und handelten sich deshalb einen Tadel Platons ein, sie hätten das Problem nicht mittels reiner Geometrie gelöst.[37] Diese Geschichte steht allerdings neben einer anderen Version,[38]dieEratosthenesundEutokioszugeschrieben wird, die besagt, alle drei hätten eine Lösung gefunden, die allerdings für praktische Zwecke zu abstrakt wäre.[39] Proklos,derEudemos von Rhodoszitiert, schreibtOinopideseine Lösung mit zwei Linealen und einem Zirkel zu, so dass manche Autoren der Ansicht sind, die Einschränkung ginge auf Oinopides zurück.[40] Die Beschränkung auf Zirkel und Lineal ist wesentlich für die Unlösbarkeit dieser klassischen Konstruktionsprobleme. Eine Winkeldreiteilung beispielsweise kann auf mehrere Weisen durchgeführt werden, einige waren bereits den alten Griechen bekannt. DieQuadratrixdesHippias von Elis,dieKegelschnittedesMenaichmosoder dieNeusis-KonstruktionvonArchimedeswurden alle verwendet, ein moderneres Verfahren sindPapierfaltmethoden.[41]

Obwohl es nicht zu den klassischen Konstruktionsproblemen zählt, wird die Konstruktion regelmäßiger Polygone oft im Zusammenhang mit ihnen behandelt. Die Griechen konnten regelmäßige-Ecke für(für ganze Zahlen) oder Produkte von je zwei dieser drei Zahlen konstruieren, andere regelmäßige-Ecke beherrschten sie nicht.Carl Friedrich Gausshat 1796 als achtzehnjähriger Student die Zirkel-und-Lineal-Konstruktion des regelmäßigenSiebzehnecksveröffentlicht.[42] Gauß hat dieses Thema eher algebraisch als geometrisch behandelt, in der Tat hat er nicht das Polygon selbst konstruiert, sondern nachgewiesen, dass der Kosinus des zur Polygonseite gehörendenZentriwinkelseine konstruierbare Zahl ist. Diese Argumentation verallgemeinerte er 1801 in seinenDisquisitiones Arithmeticaeund gelangte zur hinreichenden Bedingung für die Konstruktion eines regelmäßigen-Ecks. Gauß behauptete ohne Beweis, dass diese auch notwendig sei. Mehrere Autoren, darunter auchFelix Klein,[43]haben diesen Teil des Beweises ebenfalls Gauß zugeschrieben.[44] Das Alhazensche Problem gehört ebenfalls nicht zu den klassischen Problemen. Obwohl es nachAlhazenbenannt ist, einem mittelalterlichenarabischen Mathematiker,war es bereits im zweiten Jahrhundert in der Optik desClaudius Ptolemäusvorgekommen.[45]

Pierre Wantzelfand 1837 einen algebraischen Beweis dafür, dass die Würfelverdoppelung und die Winkeldreiteilung mit Zirkel und Lineal nicht möglich sind.[46] Im gleichen Aufsatz löste er auch das Problem, welche regelmäßigen Polygone konstruierbar sind: Ein regelmäßiges Polygon ist genau dann konstruierbar, wenn die Zahl seiner Seiten ein Produkt aus einer Zweierpotenz und einer Anzahl verschiedener Fermatscher Primzahlen ist, das heißt, die von Gauß angegebene hinreichende Bedingung ist auch notwendig.[47][48] Ein Beweisversuch zur Unmöglichkeit der Quadratur des Kreises findet sich inVera Circuli et Hyperbolae QuadraturavonJames Gregoryaus dem Jahre 1667. Dieser Beweis war zwar fehlerhaft, gilt aber als der früheste Versuch, das Problem auf algebraische Eigenschaften vonzurückzuführen. Erst 1882 hatFerdinand von Lindemanneinen rigorosen Unmöglichkeitsbeweis gefunden, indem er Arbeiten vonCharles Hermiteerweiterte und dieTranszendenzvonnachwies.[49][50] Die Unlösbarkeit des Alhazenschen Problem mittels Zirkel und Lineal wurde erst 1965 durch Arbeiten vonJack M. Elkinbewiesen,[51]siehe auch[52]für eine unabhängige Lösung und weitere historische Angaben zu diesem Problem.

Das Studium der konstruierbaren Zahlen wurde 1637 vonRené DescartesinDiscours de la méthodeim AnhangLa Géométrieinitiiert. Descartes ordnete geometrischen Strecken Zahlen zu, um die Kraft seiner philosophischen Methode anhand der Lösung eines vonPapposgestellten Konstruktionsproblems mit Zirkel und Lineal darzulegen.[53]

  • Carl B. Boyer:History of Analytic Geometry.Dover, 2004,ISBN 978-0-486-43832-0(Erstausgabe: 1956).
  • Richard Courant, Herbert Robbins:What is Mathematics? An elementary approach to ideas and methods.2. Auflage. Oxford University Press, 1996,ISBN 0-19-510519-2,Chapter III: Geometrical constructions, the algebra of number fields,S.117–164.
  • Jack M. Elkin:A deceptively easy problem.In:The Mathematics Teacher.Band58,Nr.3,März 1965,S.194–199,JSTOR:27968003.
  • John B. Fraleigh:A First Course in Abstract Algebra.5. Auflage. Addison-Wesley, 1994,ISBN 978-0-201-53467-2.
  • Michael Friedman:A History of Folding in Mathematics: Mathematizing the Margins.Birkhäuser, 2018,ISBN 978-3-319-72486-7,doi:10.1007/978-3-319-72487-4.
  • Israel Nathan Herstein:Abstract Algebra.Macmillan, 1986,ISBN 0-02-353820-1.
  • Nicholas D. Kazarinoff:Ruler and the Round: Classic Problems in Geometric Constructions.Dover, 2003,ISBN 0-486-42515-0(Erstausgabe: 1970).
  • Hendrik Kasten, Denis Vogel:Grundlagen der Ebenen Geometrie.Springer Spektrum, 2018,ISBN 3-662-57620-1.
  • Anthony Kay:Number Systems: A Path into Rigorous Mathematics.Taylor & Francis, 2021,ISBN 978-0-367-18065-2.
  • Felix Klein:Famous Problems of Elementary Geometry.Ginn & Co, 1897 (archive.org).
  • Wilbur Richard Knorr:The Ancient Tradition of Geometric Problems(=Dover Books on Mathematics). Courier Dover Publications, 1986,ISBN 978-0-486-67532-9.
  • John W. Lawrence, Frank A. Zorzitto:Abstract Algebra: A Comprehensive Introduction(=Cambridge Mathematical Textbooks). Cambridge University Press, 2021,ISBN 978-1-108-86551-7.
  • George E. Martin:Geometric Constructions(=Undergraduate Texts in Mathematics). Springer-Verlag, New York 1998,ISBN 0-387-98276-0,doi:10.1007/978-1-4612-0629-3.
  • Kurt Meyberg:Algebra, Teil 2.Carl Hanser Verlag, München/Wien 1976,ISBN 3-446-12172-2,6.4 Anwendungen: Konstruktionen mit Zirkel und Lineal.
  • Edwin E. Moise:Elementary Geometry from an Advanced Standpoint.2. Auflage. Addison-Wesley, 1974,ISBN 0-201-04793-4.
  • Peter M. Neumann:Reflections on reflection in a spherical mirror.In:American Mathematical Monthly.Band105,Nr.6,1998,S.523–528,doi:10.2307/2589403.
  • Steven Roman:Field Theory.Springer-Verlag, 1995,ISBN 978-0-387-94408-1.
  • Joseph J. Rotman:A First Course in Abstract Algebra with Applications.3. Auflage. Prentice Hall, 2006,ISBN 978-0-13-186267-8.
  • Ian Stewart:Galois Theory.2. Auflage. Chapman and Hall, 1989,ISBN 978-0-412-34550-0.
  • Pierre Wantzel:Recherches sur les moyens de reconnaître si un Problème de Géométrie peut se résoudre avec la règle et le compas.In:Journal de Mathématiques Pures et Appliquées.Band1,Nr.2,1837,S.366–372(bnf.fr[PDF]).
  1. Kazarinoff (2003), Seiten 10, 15
  2. Kasten, Vogel (2018), Seiten 217, 218, 220, 224
  3. Martin (1998), Seiten 31–32
  4. Courant, Robbins (1996), Abschnitt III.2.2,All constructible numbers are algebraic,Seiten 133–134
  5. Kazarinoff (2003), Seite 46
  6. Kazarinoff (2003), Seite 10
  7. Kazarinoff (2003), Seite 10
  8. Martin (1998), Definition 2.1, Seiten 30–31
  9. Diese Konstruktion findet sich Buch I, Satz 10, vonEuklids Elementen
  10. Kazarinoff (2003), Seite 18
  11. Martin (1998), Definition 2.1, Seiten 30–31
  12. Herstein (1986), Seite 237
  13. Moise (1974), Seite 227; Martin (1998) Theorem 2.4, Seite 33
  14. Martin (1998), Seiten 36–37
  15. Roman (1995), Seite 207
  16. abLawrence, Zorzitto (2021),Seite 440
  17. Herstein (1986), Seiten 236–237; Moise (1974), Seite 224; Fraleigh (1994), Seiten 426–427
  18. Courant, Robbins (1996), Abschnitt III.1.1,Construction of fields and square root extraction,Seiten 120–122
  19. Martin (1998), Seiten 38–39; Courant Robbins (1996), Seiten 131–132
  20. Martin (1998), Theorem 2.7, Seite 35
  21. Fraleigh (1994), Seite 429
  22. Meyberg (1976), Satz 6.4.1, Seite 26; Roman (1995), Seite 59
  23. Meyberg (1976), Korollar zu Satz 6.4.1, Seite 26; Neumann (1998)
  24. Rotman (2006), Seite 361
  25. Rotman (2006), Seite 362
  26. Martin (1998), Theorem 2.10, Seite 37
  27. Martin (1998), Seite 46
  28. Stewart (1989), Seite 51
  29. Die Beschreibung solcher Lösungen finden sich in Knorr (1986)
  30. Klein (1897), Seite 13; Fraleigh (1994), Seiten 429–430
  31. Meyberg (1976), Abschnitt 6.4, Beispiel 1Das Delische Problem,Seite 27; Courant, Robbins (1996), Abschnitt III.3.1,Doubling the cube,Seiten 134–135
  32. Meyberg (1976), Abschnitt 6.4, Beispiel 3Winkeldreiteilung;Fraleigh (1994), Seiten 429–430; Courant, Robbins (1996), Abschnitt III.3.3,Trisecting the angle,Seiten 137–138
  33. Meyberg (1976), Abschnitt 6.4, Beispiel 2Die Quadratur des Kreises,Seite 27; Fraleigh (1994), Seiten 429–430
  34. Fraleigh (1994), Seite 504
  35. Courant, Robbins (1996), Abschnitt III.3.4The regular heptagon,Seiten 138–139
  36. Neumann (1998) und Elkin (1965) kommen mit anderen Polynomen zur selben Schlussfolgerung
  37. Plutarch,Quaestiones convivalesVIII.ii.(Mementovom 28. Juli 2019 imInternet Archive). 718 ef
  38. Kazarinoff (2003), Seite 28
  39. Knorr (1986), Seite 4
  40. Knorr (1986), Seiten 15–17
  41. Friedman (2018), Seiten 1–3
  42. Kazarinoff (2003), Seite 29
  43. Klein (1897), Seite 16
  44. Kazarinoff (2003), Seite 30
  45. Neumann (1998)
  46. Pierre Wantzel (1837)
  47. Martin (1998), Seite 46
  48. Wantzel (1837)
  49. Martin (1998), Seite 44
  50. Klein (1897), Kapitel IV:The transcendence of the number,Seiten 68–77
  51. Elkin (1965)
  52. Neumann (1998)
  53. Boyer (2004), Seiten 83–88
Commons:Konstruierbare Zahl– Sammlung von Bildern, Videos und Audiodateien