Zirkel und Lineal/Regelmäßiges n-Eck konstruierbar/Produkteigenschaften/Fakt/Beweis
Beweis
(1) folgt daraus, dass eine Winkelhalbierung stets mit Zirkel und Lineal
durchführbar
ist.
(2). Nach Voraussetzung ist
konstruierbar.
Dann ist auch nach
Fakt
die Potenz
konstruierbar.
(3). Es seien nun
und
konstruierbar und
und
teilerfremd. Nach
dem Lemma von Bezout
gibt es dann ganze Zahlen mit
.
Daher ist auch
konstruierbar.