Kurs:Elemente der Algebra (Osnabrück 2015)/Vorlesung 28

Konstruierbare Einheitswurzeln

Definition

Es sei ${}n\in \mathbb {N} _{+}$. Man sagt, dass das regelmäßige ${}n$-Eck mit Zirkel und Lineal konstruierbar ist, wenn die komplexe Zahl

${}e^{2\pi {\mathrm {i} }/n}=\cos \left({\frac {2\pi }{n}}\right)+{\mathrm {i} }\sin \left({\frac {2\pi }{n}}\right)\,$

eine konstruierbare Zahl ist.

Die Menge der komplexen Einheitswurzeln ${}e^{\frac {2\pi {\mathrm {i} }k}{n}}$, ${}k=0,\ldots ,n-1$, bilden die Eckpunkte eines regelmäßigen ${}n$-Ecks, wobei ${}1$ eine Ecke bildet. Alle Eckpunkte liegen auf dem Einheitskreis. Die Ecke ${}e^{\frac {2\pi {\mathrm {i} }}{n}}$ ist eine primitive Einheitswurzel; wenn diese mit Zirkel und Lineal konstruierbar ist, so sind auch alle weiteren Eckpunkte konstruierbar. Bei ${}n=1,2$ kann man sich darüber streiten, ob man von einem regelmäßigen ${}n$-Eck sprechen soll, jedenfalls gibt es die zugehörigen Einheitswurzeln und diese sind aus ${}\mathbb {Q}$, also erst recht konstruierbar. Das regelmäßige Dreieck ist ein gleichseitiges Dreieck und dieses ist konstruierbar nach Beispiel 27.7, da der dritte Kreisteilungskörper eine quadratische Körpererweiterung von ${}\mathbb {Q}$ ist (man kann einfacher auch direkt zeigen, dass ein gleichseitiges Dreieck aus seiner Grundseite heraus konstruierbar ist). Das regelmäßige Viereck ist ein Quadrat mit den Eckpunkten ${}1,i,-1,-i$, und dieses ist ebenfalls konstruierbar. Das regelmäßige Fünfeck ist ebenfalls konstruierbar, wie in Beispiel 27.9 bzw. Aufgabe 27.15 gezeigt wurde. Wir werden im Folgenden sowohl positive als auch negative Resultate zur Konstruierbarkeit von regelmäßigen ${}n$-Ecken vorstellen.

Konstruktion eines regulären Fünfecks mit Zirkel und Lineal

Lemma

Sei ${}m=kn$, ${}m,k,n\in \mathbb {N} _{+}$. Dann gelten folgende Aussagen.

1. Das regelmäßige ${}2^{r}$-Eck, ${}r\in \mathbb {N}$, ist konstruierbar.
2. Wenn das regelmäßige ${}m$-Eck konstruierbar ist, so sind auch das regelmäßige ${}n$-Eck und das regelmäßige ${}k$-Eck konstruierbar.
3. Wenn ${}n$ und ${}k$ teilerfremd sind und wenn das regelmäßige ${}n$-Eck und das regelmäßige ${}k$-Eck konstruierbar sind, so ist auch das regelmäßige ${}m$-Eck konstruierbar.

Beweis

(1) folgt daraus, dass eine Winkelhalbierung stets mit Zirkel und Lineal durchführbar ist.
(2). Nach Voraussetzung ist ${}e^{\frac {2\pi {\mathrm {i} }}{nk}}$ konstruierbar. Dann ist auch nach Satz 25.9 die Potenz

${}{\left(e^{\frac {2\pi {\mathrm {i} }}{nk}}\right)}^{n}=e^{\frac {2\pi {\mathrm {i} }}{k}}\,$

konstruierbar.
(3). Es seien nun ${}e^{\frac {2\pi {\mathrm {i} }}{n}}$ und ${}e^{\frac {2\pi {\mathrm {i} }}{k}}$ konstruierbar und ${}n$ und ${}k$ teilerfremd. Nach dem Lemma von Bezout gibt es dann ganze Zahlen ${}r,s$ mit ${}rn+sk=1$. Daher ist auch

${}{\left(e^{\frac {2\pi {\mathrm {i} }}{n}}\right)}^{s}{\left(e^{\frac {2\pi {\mathrm {i} }}{k}}\right)}^{r}={\left(e^{\frac {2\pi {\mathrm {i} }k}{nk}}\right)}^{s}{\left(e^{\frac {2\pi {\mathrm {i} }n}{nk}}\right)}^{r}=e^{\frac {2\pi {\mathrm {i} }sk}{nk}}e^{\frac {2\pi {\mathrm {i} }rn}{nk}}=e^{\frac {2\pi {\mathrm {i} }(sk+rn)}{nk}}=e^{\frac {2\pi {\mathrm {i} }}{nk}}\,$

konstruierbar.

$\Box$

Aus diesem Lemma kann man in Zusammenhang mit den oben erwähnten Konstruktionsmöglichkeiten folgern, dass die regelmäßigen ${}3\cdot 2^{r}$-Ecke, die regelmäßigen ${}5\cdot 2^{r}$-Ecke und die regelmäßigen ${}15\cdot 2^{r}$-Ecke für jedes ${}r$ konstruierbar sind.

Satz

Es sei ${}n$ eine natürliche Zahl derart, dass das regelmäßige ${}n$-Eck konstruierbar ist.

Dann ist ${}{\varphi (n)}$ eine Zweierpotenz.

Beweis

Dieser Beweis wurde in der Vorlesung nicht vorgeführt.

Die Voraussetzung besagt, dass die primitive Einheitswurzel ${}\zeta =e^{\frac {2\pi {\mathrm {i} }}{n}}$ konstruierbar ist. Dann muss nach Korollar 26.7 der Grad des Minimalpolynoms von ${}\zeta$ eine Zweierpotenz sein. Nach Korollar 27.14 ist das Minimalpolynom von ${}\zeta$ das ${}n$-te Kreisteilungspolynom, und dieses hat den Grad ${}{\varphi (n)}$. Also muss ${}{\varphi (n)}$ eine Zweierpotenz sein.

$\Box$

 

Er beruht darauf, dass der ${}n$-te Kreisteilungskörper den Grad ${}\varphi (n)$ besitzt und dass im konstruierbaren Fall der Grad einer Körpererweiterung eine Zweierpotenz sein muss.

Winkeldreiteilung

Wir sind nun in der Lage, das Problem der Winkeldreiteilung zu beantworten.

Korollar

Das regelmäßige ${}9$-Eck ist

nicht mit Zirkel und Lineal konstruierbar.

Beweis

Wäre das regelmäßige ${}9$-Eck konstruierbar, so müsste nach Satz 28.3 ${}{\varphi (9)}$ eine Zweierpotenz sein. Es ist aber ${}{\varphi (9)}=2\cdot 3=6$.

$\Box$

Satz

Es ist nicht möglich, einen beliebig vorgegebenen Winkel mittels Zirkel und Lineal in drei gleich große Teile zu unterteilen.

Beweis

Es genügt, einen (konstruierbaren) Winkel ${}\alpha$ derart anzugeben, dass ${}\alpha /3$ nicht konstruierbar ist. Wir betrachten ${}\alpha =120^{\circ }$ Grad, welcher konstruierbar ist, da die dritten Einheitswurzeln konstruierbar sind, weil sie nämlich in einer quadratischen Körpererweiterung von ${}\mathbb {Q}$ liegen. Dagegen ist der Winkel ${}\alpha /3=120^{\circ }/3=40^{\circ }$ nicht konstruierbar, da andernfalls das regelmäßige ${}9$-Eck konstruierbar wäre, was nach Korollar 28.4 aber nicht der Fall ist.

$\Box$

Wir geben noch einen weiteren Beweis, dass die Winkeldreiteilung mit Zirkel und Lineal nicht möglich ist, der nicht auf der allgemeinen Irreduzibilität der Kreisteilungspolynome (die wir nicht bewiesen haben) beruht.

Bemerkung  

Wir zeigen direkt, dass man den Winkel ${}20^{\circ }$ Grad nicht konstruieren kann (obwohl man ${}60^{\circ }$ Grad konstruieren kann). Aufgrund der Additionstheoreme für die trigonometrischen Funktionen gilt

${}\cos 3\alpha =4\cos ^{3}\alpha -3\cos \alpha \,$

und damit

${}{\begin{aligned}(2\cos 20^{\circ })^{3}-3(2\cos 20^{\circ })-1&=2{\left(4\cos ^{3}20^{\circ }-3\cos 20^{\circ }-{\frac {1}{2}}\right)}\\&=2{\left(\cos 60^{\circ }-{\frac {1}{2}}\right)}\\&=0.\end{aligned}}$

Also wird ${}2\cos 20^{\circ }$ vom Polynom ${}X^{3}-3X-1$ annulliert. Dieses Polynom ist nach Aufgabe 28.2 irreduzibel. Also muss es nach Lemma 23.2 das Minimalpolynom von ${}2\cos 20^{\circ }$ sein. Daher kann ${}2\cos 20^{\circ }$ nach Korollar 26.7 nicht konstruierbar sein und damit ebensowenig ${}\cos 20^{\circ }$.

Fermatsche Primzahlen

Die Frage der Konstruierbarkeit von regelmäßigen ${}n$-Ecken führt uns zu Fermatschen Primzahlen.

Definition

Eine Primzahl der Form ${}2^{s}+1$, wobei ${}s$ eine positive natürliche Zahl ist, heißt Fermatsche Primzahl.

Es ist unbekannt, ob es unendlich viele Fermatsche Primzahlen gibt. Es ist noch nicht mal bekannt, ob es außer den ersten fünf Fermat-Zahlen

$3,5,17,257,65537$

überhaupt weitere Fermatsche Primzahlen gibt.

Lemma

Bei einer Fermatschen Primzahl ${}2^{s}+1$ hat der Exponent die Form ${}s=2^{r}$ mit einem ${}r\in \mathbb {N}$.

Beweis

Wir schreiben ${}s=2^{k}u$ mit ${}u$ ungerade. Damit ist

${}2^{2^{k}u}+1={\left(2^{2^{k}}\right)}^{u}+1\,.$

Für ungerades ${}u$ gilt generell die polynomiale Identität (da ${}-1$ eine Nullstelle ist)

$X^{u}+1=(X+1){\left(X^{u-1}-X^{u-2}+X^{u-3}-\ldots +X^{2}-X+1\right)}\,.$

Also ist ${}2^{2^{k}}+1\geq 3$ ein Teiler von ${}2^{2^{k}u}+1$. Da diese Zahl nach Voraussetzung prim ist, müssen beide Zahlen gleich sein, und dies bedeutet ${}u=1$.

$\Box$

Diese Torte wurde nicht mit Zirkel und Lineal geteilt.

Satz

Ein reguläres ${}n$-Eck ist genau dann mit Zirkel und Lineal konstruierbar, wenn die Primfaktorzerlegung von ${}n$ die Gestalt

${}n=2^{\alpha }p_{1}\cdots p_{k}\,$

hat, wobei die ${}p_{i}$ verschiedene Fermatsche Primzahlen sind.

Beweis

Wir zeigen nur die eine Richtung, dass bei einem konstruierbaren regelmäßigen ${}n$-Eck die Zahl ${}n$ die angegebene numerische Bedingung erfüllen muss. Konstruktionen Zirkel Lineal/Regelmäßiges n-Eck/Charakterisierung mit Fermatschen Primzahlen/Notwendige Bedingung/Fakt Beweis

Für die andere Richtung muss man aufgrund von Lemma 28.2 lediglich zeigen, dass für eine Fermatsche Primzahl ${}p$ das regelmäßige ${}p$-Eck konstruierbar ist. Dies haben wir für ${}p=3,5$ explizit getan. Gauss selbst hat eine Konstruktion für das reguläre ${}17$-Eck angegeben. Für die anderen Fermatschen Primzahlen (bekannt oder nicht)

folgt die Konstruierbarkeit aus der Galoistheorie.

$\Box$

<< | Kurs:Elemente der Algebra (Osnabrück 2015) | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)