Skip to main content
1 of 4

The minimal polynomial of $\cos(\pi/7)$ is $8x^3-4x^2-4x+1=0$ with three real roots. The degree is $<3$ so the roots are expressible using radicals with the imaginary $i$. Since the roots are real, taking only the real part, the roots are expressible using radicals of rational numbers.

Why not? See here on Wikipedia.