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?
2026-03-25 20:34:02.1774470842
Is $\cos(11^\circ)$ constructible?
144 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
Famously the angle of 20 degrees is not constructible. Since $20=10\times 2$ and $2=90-8\times 11$, this means that angle of 11 degrees is also not constructible.