7
$\begingroup$

Prove that for all integers $n$, $\cos (2\pi/n)$ is an algebraic number.

  • 2
    You may look up http://en.wikipedia.org/wiki/Chebyshev_polynomials.2012-12-13

2 Answers 2

12

If you believe that sums and scalar multiples of numbers algebraic over $\mathbb{Q}$ are algebraic, then we have $1 + x + \ldots + x^{n-1}$ has roots $\cos(2\pi/n) \pm i \sin(2\pi /n)$, hence half their sum.

7

We have $\zeta_n = e^{2\pi i/n}$ being an algebraic integer for all $n$ simply because it is a root of $x^n -1$. Now notice that $\zeta_n + \zeta_n^{-1} =2\cos(\frac{2\pi i}{n})$ and hence $\frac{1}{2}(\zeta_n + \zeta_n^{-1})$ is contained in the finite algebraic extension $\Bbb{Q}(\zeta_n)$ from which it follows that it itself is algebraic over $\Bbb{Q}$. This comes from the equivalence of the following facts:

Let $E/F$ be a field extension and $\alpha \in E$. TFAE:

  1. $\alpha$ is algebraic over $F$
  2. $\dim_F F[\alpha] < \infty$
  3. $F[\alpha]$ is a field
  4. $F[\alpha] = F(\alpha)$.

Lastly I should add that $\frac{1}{2}(\zeta_n + \zeta_n^{-1})$ is in fact an algebraic integer, meaning to say that its minimal polynomial has coefficients in $\Bbb{Z}$.

  • 0
    just re-write the following $\zeta_n + \zeta_n^{-1} =2\cos(\frac{2\pi }{n})$2017-10-24