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

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.

Zum Beweis, Alternativen Beweis erstellen