Skip to main content
2 of 6
added 6 characters in body

The answer to your question follows directly from the paper mentioned above. Some information can also be found here: Weisstein, Eric W. "Trigonometry Angles."

First let's observe that $z^n =a+ib$ is positive solvable (in sense of your question) iff $\forall x \in R$: $\sin\displaystyle\Big(\frac{x}{n}\Big)=f(\sin x)$, where function $f$ has an algebraic expression over the rationals involving rational powers. Let's call the set of all such positive integers $\Omega$. Let's prove that $\Omega=\{2^k\}$. We know (from papers mentioned above) that $\sin\displaystyle\Big(\frac{\pi}{n}\Big)$ can be expressed in radicals iff $\varphi(n)=2^m$ where $\varphi$ is Euler's totient function. From the multiplicative property of $\varphi$ we can easily conclude, that the only prime $p$ such that $\varphi(p)=2^m$,$\varphi(p^2)=2^k$ is $p=2$. Assume that some other prime $p\in\Omega$. From definition of $\Omega$ follows $p^2\in\Omega$, than we have a contradiction taking $x=\pi$. Now let's assume that some $n=p_1p_2...p_n \in \Omega$ and prime $p_1\ne2$. Then applying $\sin(x+y)$ formula to $\sin\displaystyle\Big(p_2p_3...p_n\frac{x}{n}\Big)= \sin\displaystyle\Big(\frac{x}{p_1}\Big)$ we obtain $p_1\in\Omega$ which again leads to contradiction. So we get $\Omega\subset\{2^k\}$. Inverse embedding is obvious.