3 Die klassischen griechischen Konstruktionsprobleme

Ähnliche Dokumente
Körper- und Galoistheorie

Literatur zu geometrischen Konstruktionen

Die Konstruktion regulärer n-ecke

Origamics Gefaltete Mathematik

Die Quadratur des Kreises

1. Körper und Körpererweiterungen

Algebra I. Prof. Dr. M. Rost. Übungen Blatt 12 (WS 2015/16) 1. Abgabetermin: Donnerstag, 28. Januar.

Die Klassischen Probleme der Algebra. JProf.-Dr. Christoph Wockel 10. April 2012

Konstruktionen mit Zirkel und Lineal II

2. Der Grad von Körpererweiterungen

Kapitel 3: Die Sätze von Euler, Fermat und Wilson. 8 Der Satz von Euler

Gleichungen dritten und vierten Grades und Konstruktionen mit mehr als Zirkel und Lineal

Ganze algebraische Zahlen

11. Übung zur Vorlesung. Zahlentheorie. im Wintersemester 2015/16

5. Galoisgruppen. 5. Galoisgruppen 45

Übungsblatt 12: Abschluss

Seminar Galoistheorie

Einführung in die Zahlentheorie

Gleichungen höheren Grades und Konstruktionen mit Zirkel und Lineal als Motivation für komplexe Zahlen

Zahlentheorie. Vorlesung 14. Fermatsche Primzahlen

B) Konstruktion des geometrischen Mittels und geometrisches Wurzelziehen :

Drehung um einen Punkt um Winkel α.

Körper- und Galoistheorie

f(x nk ) = lim y nk ) = lim Bemerkung 2.14 Der Satz stimmt nicht mehr, wenn D nicht abgeschlossen oder nicht beschränkt ist, wie man z.b.

4 Das Vollständigkeitsaxiom und irrationale Zahlen

Elemente der Algebra

Algebra. 10. Übung mit Lösungshinweisen. TECHNISCHE UNIVERSITÄT DARMSTADT WS 08/ Dezember 2008

Probeklausur. Algebra SS Bearbeitungszeit: 120 Minuten

3. Die pythagoräische Geometrie.

4. Mathematik Olympiade 3. Stufe (Bezirksolympiade) Klasse 12 Saison 1964/1965 Aufgaben und Lösungen

Ausgewählte Themen der Algebra für LA

Zirkel und Zahlen, Julius-Maximilians-Universität Würzburg, Juli 07. Zirkel und Zahlen

. Dann hat die Gleichung [X 2 ] p k = [a] p k in ( Z/p k Z )

1.1 Teilbarkeit, Primzahlen und Teilerfremdheit

Seminar: Lösen Spezieller Gleichungen Wintersemester 2009/2010 Prof. Dr. Annette Huber-Klawitter Betreuer: Stephen Enright-Ward

Lösungen zur Algebra-Klausur vom Es sei G eine Gruppe, die von je einem Element der Ordnung 7, 11 und 13 erzeugt wird.

Algebra und Diskrete Mathematik, PS3. Sommersemester Prüfungsfragen

Arbeitsblatt 2 Übungen zu Mathematik I für das Lehramt an der Grund- und Mittelstufe sowie an Sonderschulen H. Strade, B. Werner WiSe 06/

Klassische Algebra. Udo Hebisch SS 2002

@ GN GRUNDWISSEN MATHEMATIK. Inhalt... Seite

Körper- und Galoistheorie

Kongruenz modulo g definiert auf K[x] eine Äquivalenzrelation g : h g f h f ist durch g teilbar, und [f] g ist die Äquivalenzklasse von f.

1 Angeordnete Körper. 1.1 Anordnungen und Positivbereiche

Der Zwei-Quadrate-Satz von Fermat. Hauptseminar: Eine Einladung in die Mathematik Leitung: Prof. Dr. Lukacova Referent: Julia Breit Datum:

Die Unlösbarkeit der Gleichung fünften Grades durch Radikale. Teilnehmer: Gruppenleiter:

= k 0+k 0 ( ). Wir addieren (0 k) zu den Seiten der Gleichung ( ): 0 = k 0.

c) In wieviele Primfaktoren zerfällt das Ideal (5) darin? Geben Sie die zugehörigen Verzweigungsindizes

Übungen zu Einführung in die Lineare Algebra und Geometrie

Übungen Mathematik I, M

Seminar. Der Ring O K der ganzen Zahlen über einem Zahlenkörper K. Armin Hecht, Sabine Naewe

Lösungsvorschlag für die Probeklausuren und Klausuren zu Algebra für Informations- und Kommunikationstechniker bei Prof. Dr.

Einführung in die algebraische Zahlentheorie

Stefan Ruzika. 24. April 2016

KAPITEL 1: ENDLICHE KÖRPER 1 ALLGEMEINES 2 GLEICHUNGEN ÜBER EINEM ENDLICHEN KÖRPER

Diskrete Mathematik. Sebastian Iwanowski FH Wedel. Kap. 4: Zahlentheorie

Konstruktion und Struktur endlicher Körper

Klausur vom Algebra I. Rolf Farnsteiner

Analytische Geometrie I

1 2. Körpererweiterungen

a i x i, (1) Ein Teil der folgenden Betrachtungen gilt auch, wenn man den Körper durch einen Ring ersetzt.

3. Vorlesung. Arithmetische Theorien.

9. Primitivwurzeln. O. Forster: Einführung in die Zahlentheorie

3. Diskrete Mathematik

Übungen zu Einführung in die Lineare Algebra und Geometrie

Michael Artin. Algebra. Aus dem Englischen übersetzt von Annette A'Campo. Birkhäuser Verlag Basel Boston Berlin

Lösungen - Serie 2 zu den Übungsaufgaben zur Vorlesung Algebraische Zahlentheorie

2.9 Die komplexen Zahlen

Seminararbeit zur Zahlentheorie. Die Gaußschen Zahlen

Galois-Theorie Anfänge

Prof. M. Eisermann Algebra SoSe 2010

ALGEBRA bei matherockt.de

Komplexe Zahlen. Allgemeines. Definition. Darstellungsformen. Umrechnungen

Trigonometrie. In der Abbildung: der Winkel 120 (Gradenmaß) ist 2π = 2π (Bogenmaß).

Algebra Zusammenfassung

Definition 153 Sei n eine fest gewählte ganze Zahl 0. Für jedes l Z heißt die Menge

Drei Kreise im Dreieck

Klausur zur Einführung in die Geometrie im SS 2002

Elemente der Algebra

Einführung in die Zahlentheorie

Bei Konstruktionen dürfen nur die folgenden Schritte durchgeführt werden : Beliebigen Punkt auf einer Geraden, Strecke oder Kreislinie zeichnen.

3. Vorlesung. Die Existenz des Pentagons. (*)

Nullstellen von Polynomen und Erweiterungskörper Vortrag im Modul Kommunikation über Mathematik

Vorlesung Mathematik I für Wirtschaftswissenschaftler. Universität Leipzig, WS 16/17

Erwachsenenschule Bremen Abteilung I: Sekundarstufe Doventorscontrescarpe 172 A Bremen. Die Kursübersicht für das Fach Mathematik

Zahlentheorie I - Tipps & Lösungen. Aktualisiert: 15. Oktober 2016 vers Teilbarkeit

Aufgaben des MSG-Zirkels 10b Schuljahr 2007/2008

Universität Zürich HS , Vorlesung #3

Prima Zahlen? Primzahlen

Eine kurze Tabelle soll uns erste Einsichten erleichtern. Der Strich heißt, dass es eine solche Darstellung nicht gibt.

Würfelverdopplung. Michael Schmitz

Ruprecht-Karls-Universität Heidelberg Mathematisches Institut. Ausarbeitung des Vortrags: Irrationale Zahlen

x 2 2x + = 3 + Es gibt genau ein x R mit ax + b = 0, denn es gilt

Geometrie der Polygone Zirkel und Lineal Markus Wurster 1

Der Punkt von Fermat 1

Mathematisches Institut SS 2010 Heinrich-Heine-Universität Prof. Dr. Stefan Schröer. Algebra. Blatt 1. ω = u + v,

Vorlesung Diskrete Strukturen Gruppe und Ring

Der Drei-Quadrate-Satz von Gauß

Einiges über komplexe Zahlen

Mathematische Probleme, SS 2013 Montag $Id: dreieck.tex,v /04/22 20:37:01 hk Exp hk $

Seminar zur Zahlentheorie Spezialfälle des Satzes von Fermat

Transkript:

Kombinatorische Geometrie SS 2000 Dr. Elsholtz 3 Die klassischen griechischen Konstruktionsprobleme Aus der griechischen Antike sind folgende geometrische Konstruktionsprobleme überliefert. Wie teilt man einen (beliebig vorgegebenen) Winkel in drei gleiche Teile? Wie kann man zu einem gegebenen Würfel einen Würfel konstruieren, der das doppelte Volumen besitzt? Wie konstruiert man zu einem gegebenen Kreis ein Quadrat gleichen Flächeninhalts? Wie konstruiert man ein regelmäßiges n-eck? (Wenn man von den drei klassischen Konstruktionsproblemen redet, sind es die drei ersten.) Hierzu muss man wissen, dass die Griechen als Hilfsmittel nur Zirkel und Lineal zuließen und auch mit diesen Hilfsmittel nur die folgenden Operationen erlaubten. Operation 1, Lineal Durch zwei gegebene Punkte kann man eine Gerade legen. Operation 2, Zirkel Man kann einen Kreis zeichnen, wobei der Mittelpunkt P 0 ein bereits konstruierter Punkt ist und der Radius r gleich dem Abstand von P 0 zu einem anderen bereits konstruierten Punkt P 1 ist. Neue Punkte erhält man als Schnittpunkte von den konstruierten Geraden oder Kreisen. Ein Punkt gilt als konstruierbar, wenn er durch eine endliche Anzahl von Anwendungen der Operationen 1 und 2 konstruierbar ist. Übung 3.1. Gegeben seien zwei Punkte. Konstruieren Sie den Mittelpunkt. Übung 3.2. Überlegen Sie sich, dass Sie mit unendlich vielen Schritten aus zwei Punkten mit Abstand 1 alle beliebigen reellen Abstände konstruieren können. Übung 3.3. Bequemer ist es, statt Operation 2 folgendes zuzulassen: Man kann einen Kreis zeichnen, wobei der Mittelpunkt P 0 ein bereits konstruierter Punkt ist und der Radius r gleich dem Abstand von zwei anderen bereits konstruierten Punkt P 1 und P 2 ist. Zeigen Sie, dass man diese Übertragung des Radius aus Operation 2 herleiten kann. Über Jahrhunderte zweifelte niemand daran, dass für diese Probleme eine Lösung existiert, d.h. dass man nur lange genug nach ihr suchen müsse. Heute hingegen weiß man, dass für die ersten drei Probleme keine Lösung existiert. Und gerade dies ist für Nichtmathematiker häufig unvorstellbar. Wir beschäftigen uns mit einem Beweis, dass die obigen Probleme im allgemeinen unlösbar sind. Die Lösungsstrategie besteht darin, dass wir das geometrische Problem in ein äquivalentes algebraisches Problem umformulieren. Wir zeigen dann, dass das algebraische Problem keine Lösung hat.

2 Obwohl wir in der zweidimensionalen Geometrie denken, ist es bequemer, sich vorzustellen, dass wir bestimmte reelle Zahlen konstruieren wollen. Kann man zwei Punkte mit Abstand a konstruieren, sagen wir, dass wir die reelle Zahl a konstruieren können. Wir formulieren obige Probleme in diesem Sinne um. Bei der Würfelverdoppelung reicht es, 3 2 zu konstruieren. Bei der Quadratur des Kreises reicht es, π zu konstruieren. Bei der Winkeldreiteilung reicht es, zu gegebenem Winkel α die Zahl cos(α/3) zu konstruieren. Da wir zeigen werden, dass die Winkeldreiteilung allgemein nicht möglich ist, reicht es, für einen bestimmten Winkel zu zeigem, dass sie nicht möglich ist. Für α = 60 0 sieht man, dass es ausreicht, eine Nullstelle von f(x) = 8x 3 6x 1 (oder mit y = 2x von f(y) = y 3 3y 1) zu konstruieren. Bei den n-ecken reicht es analog, cos( 3600 n ) zu konstruieren. Definition 3.1. Sei K die Menge der konstruierbaren reellen Zahlen. Satz 3.2. Die Menge der konstruierbaren Zahlen K ist ein Körper. Beweis. Wir können mit Zirkel und Lineal addieren, subtrahieren, multiplizieren und dividieren (siehe Übung). Es folgt dann natürlich Q K R. Exemplarisch behandeln wir die Multiplikation: Gegeben seien die Streckenlängen 1, a und b. Gesucht ist eine Strecke der Länge ab. Wir tragen auf einer Geraden die Strecke OA = a und OB = 1 ab. Über B konstruieren wir die Senkrechte auf die Gerade durch A und B und tragen darauf die Strecke BQ = b ab. Wir zeichnen die Gerade durch O und Q. Wir konstruieren die Parallele zu BQ durch A. Den Schnittpunkt mit der Geraden durch O und Q nennen wir P. Nach den Strahlensätzen ist AP : a = b : 1, also AP = ab. Die Divison verwendet die gleiche Figur und die Strahlensätze. Siehe Übung. Übung 3.4. Zeigen Sie, dass man mit Zirkel und Lineal addieren und subtrahieren und dividieren kann. Gibt es noch weitere Operationen, die wir konstruieren können? Ja, wir können mittels Euklids Höhensatz Wurzeln ziehen. Gegeben seien Strecken der Längen a und der Länge 1. Gesucht sei eine Strecke der Länge a. Wir konstruieren eine Strecke AQ der Länge a + 1. Hierbei sei a = AB und 1 = BQ. Wir konstruieren den Mittelpunkt M der Strecke AQ und einen Kreis um M mit Radius MA. Wir errichten eine Senkrechte zu AQ durch B. Der Schnittpunkt P der Senkrechten mit dem Kreis ergibt ein rechtwinkliges Dreieck AP Q (Satz von Thales). Nach dem Höhensatz gilt: BP 2 = a 1. Also ist BP = a. Daher gilt: Die Menge der konstruierbaren Zahlen K ist ein Körper, der alle (endlich iterierten) quadratischen Erweiterungen von Q enthält. Insbesondere ist also z.b. 8 2 + 5 7 + 2+ 3 11 14 konstruierbar.

3 Man kann aber nun zeigen, dass man außer derartigen Zahlen keine weiteren mehr erhalten kann. Satz 3.3. Die Menge der konstruierbaren Zahlen K ist gleich dem Körper, der alle (endlich iterierten) quadratischen Erweiterungen von Q enthält, also gleich dem reell quadratisch abgeschlossenen Körper über Q. Der Beweis analysiert, auf welche Weise neue Punkte konstruiert werden: Schnitt von einer Gerade mit einer anderen Gerade führt auf eine lineare Gleichung, Schnitt von Gerade mit Kreis führt auf eine quadratische Gleichung, und Schnitt von Kreis mit Kreis führt ebenfalls auf eine Gleichung vom Grad 2 (und nicht etwa 4!). Hieraus folgt Satz 3.4. Sei α K. Dann ist [Q(α) : Q] eine Zweierpotenz. Hierbei bezeichnet [Q(α) : Q] den Körpererweiterungsgrad. Man bestimmt zu α das Minimalpolynom. Q(α) ist (bezüglich Inklusion) der kleinste Körper, der Q und α enthält. Beweis. Jede konstruierbare Zahl ist in endlich vielen Schritten konstruierbar, liegt also in einer n-fach iterierten quadratischen Körpererweiterung von Q. Aufgrund des Turmsatzes der Körpertheorie folgt mit einer Reihe von Zwischenkörpern [Q n : Q] = [Q n : Q n 1 ] [Q n 1 : Q n 2 ] [Q 1 : Q] = 2 n. Der Turmsatz selbst folgt aus der linearen Algebra durch Angeben einer Basis. Beispiel: Q( 2, 3) hat {1, 2, 3, 6} als Basis über Q: Satz 3.5. Wenn ein kubisches Polynom mit rationalen Koeffizienten keine rationalen Nullstellen hat, dann ist keine der Nullstellen mit Zirkel und Lineal konstruierbar. Oder: Sei α Nullstelle von einem (über Q) irreduziblen Polynom vom Grad 3 mit ganzzahligen Koeffizienten. Dann ist [Q(α) : Q] = 3 und damit ist α nicht konstruierbar. Satz 3.6. Die Polynome f 1 : x 3 2 und f 2 : 8x 3 6x 1 sind irreduzibel. Daraus folgt: [Q( 3 2) : Q] = 3, [Q(cos(20 0 )) : Q] = 3. Satz 3.7. Die Zahl π ist transzendent, (Lindemann, 1882), d.h. sie ist niemals Nullstelle eines Polynoms mit ganzzahligen Koeffizienten. Daraus folgt: [Q( π) : Q] =. Aus den obigen Sätzen folgt nun unmittelbar, dass man mit Zirkel und Lineal den Winkel von 60 0 nicht in drei gleiche Teile zerlegen kann, dass man die Würfelverdoppelung nicht konstruieren kann und dass man zu einem Kreis kein flächengleiches Quadrat konstruieren kann. Die Versuche von Laien, dies dennoch zu tun, sind zwangsläufig zum Scheitern verurteilt, bzw. können allenfalls gute Näherungslösungen sein.

4 Hinweis: Ist α Nullstelle von einem Polynom mit Grad=Zweierpotenz, dann ist aber noch nicht klar, ob man α auch durch eine Verkettung von quadratischen Wurzeln darstellen kann. Dies führt auf komplizierte Fragen, die allgemein im Rahmen der Galoistheorie gelöst werden. Die Galoistheorie verlagert schwierige Fragen über Zwischenkörper auf einfachere Fragen von Untergruppen der (endlichen) Galoisgruppe des zugehörigen Polynoms. Die Untergruppenstruktur der Galoisgruppe ist isomorph (nur auf den Kopf gestellt) zur Untergruppenstruktur der Zwischenkörper zwischen Q(α) und Q. Im Falle von kubischen Polynomen benötigt man aber keine Galoistheorie, wie wir gesehen haben. Im Alter von 18 Jahren gelang es Gauß (1796), die Konstruierbarkeit des regelmäßigen 17-Ecks zu beweisen. (Dies wird manchmal als der erste wesentliche Beitrag zur Geometrie nach Euklid bewertet.) Allgemein führt das regelmäßige n-eck auf das sogenannte Kreisteilungspolynom vom Grad ϕ(n), wobei ϕ(n) die Eulerfunktion ist. Ist nun n eine Primzahl der Form 2 r + 1, so ist ϕ(n) eine Zweierpotenz. (In der Zahlentheorie beweist man, dass eine derartige Primzahl sogar die Form 2 2k + 1 haben muss.) Und für diese speziellen Kreisteilungspolynome bewies Gauß, dass sie durch sukzessive quadratische Gleichungen gelöst werden können. Es gilt der folgende Satz: Satz 3.8. [ohne Beweis] Das regelmäßige n-eck kann genau dann mit Zirkel und Lineal konstruiert werden, wenn die Primfaktorzerlegung von n die folgende Form hat: n = 2 r p 1 p 2 p s, wobei r, s 0 und die p i verschiedene Primzahlen der Form 2 2r i + 1 sind. Gauß bewies hierbei die Existenz der Konstruktion, also dass es sich um eine hinreichende Bedingung handelt. Erst viel später bewies Wantzel die viel einfachere Notwendigkeit der angegebenen Bedingung. (Diese war Gauß wohl bekannt, wenn auch er sie nicht bewies.) Insbesondere folgt also die Konstruierbarkeit für die Fermatschen Primzahlen: F 0 = 3, F 1 = 5, F 2 = 17, F 3 = 257, F 4 = 65537. Weitere Fermatschen Primzahlen sind nicht bekannt. Übung 3.5. Konstruieren Sie das regelmäßige n-eck mit Zirkel und Lineal für n = 2, 3, 4, 5, 6, 8, 10, 12, 15, 16. Übung 3.6. Aus Satz 3.8 folgt, dass das regelmäßige 7 und 9-Eck nicht konstruiert werden kann. Beweisen Sie: a) leicht: Das regelmäßige 9-Eck kann nicht konstruiert werden. b) nicht so leicht: Das regelmäßige 7 Eck kann nicht konstruiert werden. Tipp: Denken Sie sich, dass Sie eine komplexe Zahl z suchen, mit z 7 = 1. Reduzieren Sie dies mit t = z + 1 auf ein irreduzibles kubisches Polynom. z

5 Übung 3.7. Seien m und n teilerfremd. Wenn das regelmäßige m und n-eck konstruiert werden kann, dann auch das mn-eck. Übung 3.8. Sei p eine ungerade Primzahl. Zeigen Sie, dass das regelmäßige p 2 -Eck nicht konstruiert werden kann. Lösung der vorstehenden Übungsaufgabe Satz 3.9. Sei p > 2 eine Primzahl. Dann ist das reguläre p 2 -Eck nicht mit Zirkel und Lineal konstruierbar. Beweis. Damit eine Zahl (bzw. ein Punkt) konstruierbar ist, muß sie in einer Körpererweiterungen über Q liegen, die den Grad 2 i hat (notwendiges Kriterium; für hinreichend benötigtman noch, dass diese Körpererweiterung als eine Kette von jeweils quadratischen Erweiterungen dargestellt werden kann.) Es reicht also zu zeigen, dass ζ = e 2πi/p2 niemals in einer Körpererweiterung vom Grad 2 i liegt. ζ ist Nullstelle des Polynoms z p2 1. Dieses kann zerlegt werden in z p2 1 = (z p 1)(z p(p 1) +z p(p 2) + +z 2p +z p +1). Wir zeigen, dass f(z) = z p(p 1) +z p(p 2) + + z 2p +z p +1 über Q irreduzibel ist. Dann ist klar, dass f das Minimalpolynom von ζ ist. Der Körpererweiterungsgrad ist damit [Q(ζ) : Q] = p(p 1), also keine Zweierpotenz. (betrachtet man den Erweiterungsgrad für den Kosinus- bzw. Sinuswert von 2π/p 2, so entspricht das einer rellen (nicht komplexen) Körpererweiterung von Q vom Grad p(p 1)/2.) Lemma 3.1. f(z) = z p(p 1) + z p(p 2) + + z 2p + z p + 1 ist irreduzibel über Q. Wir verwenden hierzu: a) Ein Polynom das über Z irreduzibel ist, ist auch über Q irreduzibel. (Lemma von Gauß.) b) Den Satz von Eisenstein. Satz 3.10 (Eisensteinsches Irreduzibilitätskriterium). Sei g Z[x] ein Polynom mit g(x) = a n x n +a n 1 x n 1 + +a 1 x+a 0. Weiter sei p eine Primzahl. Wenn die folgenden Bedingungen erfüllt sind i) a n 0 mod p ii) a i 0 mod p für i = 0,, n 1 iii) a 0 0 mod p 2, dann ist g irreduzibel über Q. (Dies ist ein hinreichendes, aber kein notwendiges Kriterium.) Ein Beweis des Gaußschen Lemmas und des Satzes von Eisenstein steht z.b. in Stewart, Galoistheory.

6 Beweis (des Lemmas). Wir substituieren z = t + 1. Es ist wegen des kleinen Satzes von Fermat (t + 1) p (t + 1) (t p + 1) mod p. Daher ist f(z) = (t + 1) p(p 1) + (t + 1) p(p 2) + + (t + 1) 2 p + (t + 1) p + 1 (t p + 1) p 1 + (t p + 1) p 2 + + (t p + 1) 2 + (t p + 1) 1 + 1 mod p i ( ) i t pj mod p j i=0 j=0 t pj j=0 j=0 i=j ( ) i mod p j ( ) p t pj mod p j + 1 Die Binomialkoeffizienten ( p i) sind für 1 i p 1 durch p teilbar (Produktdarstellung von p! (p i)!i! beachten.) Daher sind die Bedingungen i) und ii) erfüllt. Wegen a 0 = p ist auch iii) erfüllt. Bsp: für p = 5: 1 + (1 + x) 5 + (1 + x) 10 + (1 + x) 15 + (1 + x) 20 = (5 + 50x + 350x 2 + 1725x 3 + 6425x 4 + 18760x 5 + 43975x 6 + 84075x 7 + 132450x 8 + 172975x 9 + 187760x 10 + 169325x 11 + 126425x 12 +77625x 13 +38775x 14 +15505x 15 +4845x 16 +1140x 17 +190x 18 +20x 19 +x 20 ). 1 + (1 + x) 5 + (1 + x) 10 + (1 + x) 15 + (1 + x) 20 1+ (1 + x 5 )+ (1 + x 5 ) 2 + (1 + x 5 ) 3 + (1 + x 5 ) 4 mod 5 = 1+ +1 +1 +1 +1 +x 5 +2x 5 +3x 5 +4x 5 +x 10 +3x 10 +6x 10 +x 15 +4x 15 +x 20 = 5 + 10x 5 + 10x 10 + 5x 15 + x 20 mod 5 Literatur: Ian Stewart, Galois Theory, Chapman & Hall, London, Second Edition 1989. (Ein hervorragend lesbares Buch, enthält über die Galoistheorie hinaus Kapitel über die Konstruktionsprobleme, die Transzendenz von π und behandelt z.b. auch das regelmäßige 17-Eck im Detail.) Jahrbuch Überblicke Mathematik 1976, BI Wissenschaftsverlag Mannheim, 1976. Hrsg. von Fuchssteiner, Kulisch, Laugwitz, Liedl. Darin der Aufsatz von D. Laugwitz: Unlösbarkeit geometrischer Konstruktionsaufgaben - Braucht man dazu moderne Algebra? S. 201-204. C. Hadlock, Field Theory and its classical problems, Carus Mathematical Monographs, vol. 19, 1978. A. Jones, S. Morris, K. Pearson, Abstract Algebra and Famous Impossibilities, Springer, 1991, New York. D. Duncan, W. Barnier, On trisection, quintisection... etc., American Mathematical Monthly, vol. 89, 1992, p. 693.