Source: wikibot/minimal-polynomial-of-2cos-2pi-n

= Minimal polynomial of 2cos(2pi/n)
{wiki=Minimal_polynomial_of_2cos(2pi/n)}