Puedo mostrar que para cualquier valor dado de n que la ecuación
$$\sum_{k=1}^n \cos(\frac{2 \pi k}{n}) = 0$$
es verdad y puedo ver que geométricamente es cierto. Sin embargo, me parece que no puede probarlo a cabo analíticamente. He pasado la mayor parte de mi tiempo tratando de inducción y convertir el coseno de una suma de funciones exponenciales complejas
$$\frac{1}{2}\sum_{k=1}^n [\exp(\frac{i 2 \pi k}{n})+\exp(\frac{-i 2 \pi k}{n})] = 0$$
y el uso de la conversión para geométrica finita secuencias
$$S_n = \sum_{k=1}^n r^k = \frac{r(1-r^n)}{(1-r)}$$
Incluso he intentado esto esta sugerencia que he visto en la red tirando de un factor de $\exp(i \pi k)$, pero aún no se lo he llegado a cero.
Por favor, ayudar.