I'm trying to prove whether $\cos(11^\circ)\over \sqrt{1+\sin(15^\circ)}$ is constructible. I suspect it is not, and would like to use the triple angle identity to use RRT and prove there is no constructible root, but to do this I'd need $\cos(33^\circ)$, of which I don't know the exact value. Is there a better way to go about this?
Asked
Active
Viewed 143 times
1
-
1The answer is no by the Gauss-Wantzel theorem. – Wojowu Apr 20 '19 at 18:43
-
The answer in the linked question is more complicated than what is needed for this specific question. – Max Apr 21 '19 at 14:40