Can a circle's circumference be divided into arbitrary number of equal parts using straight edge and compass only? In other words, are all the $\frac{2\pi}{k} , k \in \mathbb N^+$ angles constructible?
Edit : Added the "Equal" into the title, to be more specific but certainly I do not mean to restrict the answers by parts being "Equal", hell if there is anything intresting not requiring the parts to be equal I still want to know!
Best Answer
No, they are not. You can only construct the angles with $k=2^{\alpha}p_1...p_s$, where the $p_i$'s are (distinct) Fermat primes.
The proof is not hard but a bit long, make comment if you want more details. I denote by $\mathcal{P}~$the set of $k$ such that $\frac{2\pi}{k}$ is constructible :
1) Show that if $k\in \mathcal{P}$, then $2k\in\mathcal{P}$.
2) Show that if $n\in \mathcal{P}$, then any divisor $d$ of $n$ (different from $1$) lies also in $\mathcal{P}$.
3) Show that if $n$ and $m$ are coprime and both belong to $\mathcal{P}$, then $mn$ also belnogs to $\mathcal{P}$.
All these elementary and easy questions show that it remains to answer the following question :
Let $p$ be an odd prime. When does $p^\alpha$ belong to $\mathcal{P}$ ?
The answer is that $p^{\alpha}$ lies in $\mathcal{P}~$ if and only if $p$ is a Fermat prime and $\alpha=1$.
Answering this question is less elementary and (as far as i know) needs to use some Galois theory.