Minimal polynomial of cos(π/n)

The minimal polynomial of $\cos(2\pi/n)$ (by William Watkins and Joel Zeitlin, The American Mathematical Monthly Vol. 100, No. 5 (May, 1993), pp. 471-474) has full clarity on this matter (just take their result for even $n$ to resolve your case).


I guess you mean a polynomial $p(x)$ with rational coefficients. Then, once $\cos {\pi/n}$ is a root of $p(x)$, $\deg p=d$, $e^{ip/n}$ is a root of a polynomial $t^dp((t+1/t)/2)$. But $e^{i\pi/n}$ is a root of a cyclotomic polynomial $g(t)=\Phi_{2n}(t)$, which is irreducible, thus $\Phi_{2n}(t)$ should divide $t^dp((t+1/t)/2)$, that is, for any $k\in \{0,1,\dots,2n-1\}$ coprime to $2n$ the number $\cos \pi k/n$ is also a root of $p(x)$. For $k$ and $2n-k$ we get the same value of a cosine, so we get $\varphi(2n)/2$ different roots. Actually the polynomial with all these $\varphi(2n)/2$ roots has rational coefficients. To see this observe that $\Phi_{2n}(t)=t^{\varphi(2n)/2}H(t+1/t)$ for some polynomial $H$, which of course has rational (even integer) coefficients, and this $H$ has roots $2\cos \pi k/n$ for $k$ coprime to $2n$.


Maple 2017.3 helps you. For example,

convert(cos((1/7)*Pi), RootOf);
RootOf(8*_Z^3-4*_Z^2-4*_Z+1, .9009688679)
convert(cos((1/27)*Pi), RootOf)
RootOf(512*_Z^9-1152*_Z^7+864*_Z^5-240*_Z^3+18*_Z-1, .9932383577)

See convert and RootOf for info.

Addition. Also

convert(sin(7*Pi*(1/22)), RootOf);
RootOf(32*_Z^5+16*_Z^4-32*_Z^3-12*_Z^2+6*_Z+1, .8412535328)
convert(sin(7*Pi*(1/22))^2, RootOf);
-(1/4)*(RootOf(_Z^20-_Z^18+_Z^16-_Z^14+_Z^12-_Z^10+_Z^8-_Z^6+_Z^4-_Z^2+1, index = 1)^7+
RootOf(_Z^20-_Z^18+_Z^16-_Z^14+_Z^12-_Z^10+_Z^8-_Z^6+_Z^4-_Z^2+1, index = 1)^15)^2