Minimal polynomial of 2cos(2pi/n)

The first few polynomials ${\displaystyle \Psi _{n}(x)}$ are

${\displaystyle {\begin{aligned}\Psi _{1}(x)&=x-2\\\Psi _{2}(x)&=x+2\\\Psi _{3}(x)&=x+1\\\Psi _{4}(x)&=x\\\Psi _{5}(x)&=x^{2}+x-1\\\Psi _{6}(x)&=x-1\\\Psi _{7}(x)&=x^{3}+x^{2}-2x-1\\\Psi _{8}(x)&=x^{2}-2\\\Psi _{9}(x)&=x^{3}-3x+1\\\Psi _{10}(x)&=x^{2}-x-1\\\Psi _{11}(x)&=x^{5}+x^{4}-4x^{3}-3x^{2}+3x+1\\\Psi _{12}(x)&=x^{2}-3\end{aligned}}}$

The roots of ${\displaystyle \Psi _{n}(x)}$ are given by ${\displaystyle 2\cos \left({\frac {2\pi k}{n}}\right)}$,[1] where ${\displaystyle 1\leq k<{\frac {n}{2}}}$ and ${\displaystyle \gcd(k,n)=1}$. Since ${\displaystyle \Psi _{n}(x)}$ is monic, we have

${\displaystyle \Psi _{n}(x)=\displaystyle \prod _{\begin{array}{c}1\leq k<{\frac {n}{2}}\\\gcd(k,n)=1\end{array}}\left(x-2\cos \left({\frac {2\pi k}{n}}\right)\right).}$

Combining this result with the fact that the function ${\displaystyle \cos(x)}$ is even, we find that ${\displaystyle 2\cos \left({\frac {2\pi k}{n}}\right)}$ is an algebraic integer for any positive integer ${\displaystyle n}$ and any integer ${\displaystyle k}$.

For a positive integer ${\displaystyle n}$, let ${\displaystyle \zeta _{n}=\exp \left({\frac {2\pi i}{n}}\right)=\cos \left({\frac {2\pi }{n}}\right)+\sin \left({\frac {2\pi }{n}}\right)i}$, a primitive ${\displaystyle n}$-th root of unity. Then the minimal polynomial of ${\displaystyle \zeta _{n}}$ is given by the ${\displaystyle n}$-th cyclotomic polynomial ${\displaystyle \Phi _{n}(x)}$. Since ${\displaystyle \zeta _{n}^{-1}=\cos \left({\frac {2\pi }{n}}\right)-\sin \left({\frac {2\pi }{n}}\right)i}$, the relation between ${\displaystyle 2\cos \left({\frac {2\pi }{n}}\right)}$ and ${\displaystyle \zeta _{n}}$ is given by ${\displaystyle 2\cos \left({\frac {2\pi }{n}}\right)=\zeta _{n}+\zeta _{n}^{-1}}$. This relation can be exhibited in the following identity proved by Lehmer, which holds for any non-zero complex number ${\displaystyle z}$:[2]

${\displaystyle \Psi _{n}\left(z+z^{-1}\right)=z^{-{\frac {\varphi (n)}{2}}}\Phi _{n}(z)}$

In 1993, Watkins and Zeitlin established the following relation between ${\displaystyle \Psi _{n}(x)}$ and Chebyshev polynomials of the first kind.[1]

If ${\displaystyle n=2s+1}$ is odd, then

${\displaystyle \prod _{d\mid n}\Psi _{d}(2x)=2(T_{s+1}(x)-T_{s}(x)),}$

and if ${\displaystyle n=2s}$ is even, then

${\displaystyle \prod _{d\mid n}\Psi _{d}(2x)=2(T_{s+1}(x)-T_{s-1}(x)).}$

The absolute value of the constant coefficient of ${\displaystyle \Psi _{n}(x)}$ can be determined as follows:[3]

${\displaystyle |\Psi _{n}(0)|={\begin{cases}0&{\text{if}}\ n=4,\\2&{\text{if}}\ n=2^{k},k\geq 0,k\neq 2,\\p&{\text{if}}\ n=4p^{k},k\geq 1,p>2\ {\text{prime,}}\\1&{\text{otherwise.}}\end{cases}}}$

The algebraic number field ${\displaystyle K_{n}=\mathbb {Q} \left(\zeta _{n}+\zeta _{n}^{-1}\right)}$ is the maximal real subfield of a cyclotomic field ${\displaystyle \mathbb {Q} (\zeta _{n})}$. If ${\displaystyle {\mathcal {O}}_{K_{n}}}$ denotes the ring of integers of ${\displaystyle K_{n}}$, then ${\displaystyle {\mathcal {O}}_{K_{n}}=\mathbb {Z} \left[\zeta _{n}+\zeta _{n}^{-1}\right]}$. In other words, the set ${\displaystyle \left\{1,\zeta _{n}+\zeta _{n}^{-1},\ldots ,\left(\zeta _{n}+\zeta _{n}^{-1}\right)^{{\frac {\varphi (n)}{2}}-1}\right\}}$ is an integral basis of ${\displaystyle {\mathcal {O}}_{K_{n}}}$. In view of this, the discriminant of the algebraic number field ${\displaystyle K_{n}}$ is equal to the discriminant of the polynomial ${\displaystyle \Psi _{n}(x)}$, that is[4]

${\displaystyle D_{K_{n}}={\begin{cases}2^{(m-1)2^{m-2}-1}&{\text{if}}\ n=2^{m},m>2,\\p^{(mp^{m}-(m+1)p^{m-1}-1)/2}&{\text{if}}\ n=p^{m}\ {\text{or}}\ 2p^{m},p>2\ {\text{prime}},\\\left(\prod _{i=1}^{\omega (n)}p_{i}^{e_{i}-1/(p_{i}-1)}\right)^{\frac {\varphi (n)}{2}}&{\text{if}}\ \omega (n)>1,k\neq 2p^{m}.\end{cases}}}$