¿Podemos demostrar que
$$\cos\frac{\pi}{7}+\cos\frac{2\pi}{7}+\cos\frac{3\pi}{7}+\cos\frac{4\pi}{7}+\cos\frac{5\pi}{7}+\cos\frac{6\pi}{7}=0$$
considerando las séptimas raíces de la unidad? Si es así, ¿cómo podríamos hacerlo?
También he observado que
$$\cos\frac{\pi}{5}+\cos\frac{2\pi}{5}+\cos\frac{3\pi}{5}+\cos\frac{4\pi}{5}=0$$
también, así que sólo por curiosidad, ¿es cierto que $$\sum_{k=1}^{n-1} \cos\frac{k\pi}{n} = 0$$
para todos $n$ ¿impar?
0 votos
Utilice números complejos, algo así como este
4 votos
Podrías usar eso $\cos (\pi-\theta)=-\cos \theta$ en su lugar, y simplemente emparejar cada coseno con su negativo.
0 votos
Además, funciona para todos $n$ no sólo los de impar.
0 votos
Porque el no apareado es $\cos (\pi /2)$
0 votos
Debes investigar cómo los números complejos también pueden representarse como vectores
0 votos
Funciona para enteros mayores que 1. El caso n=1 no funciona.
1 votos
@Acumulación Incluso para $n=1$ , uno tiene $\sum_{k=1}^{n-1}\cos(k\pi/n)=0$ .