# Trigonometric solution

Level pending

What is the least degree of a polynomial with integer coefficient which has $$\cos12^\circ$$ as a root?

×