Zirkel und Lineal/Regelmäßiges n-Eck konstruierbar/Produkteigenschaften/Fakt/Beweis

Aus Wikiversity
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.