The minimal polynomial of cos(2π/n)