En primer lugar, se tiene, para cualquier número entero $n>0$ y cualquier $a, b$ con $b \not \equiv 0 \pmod{2\pi}$ ,
$$\sum_{k=0}^{n-1} \sin (a+kb) = \frac{\sin \frac{nb}{2}}{\sin \frac{b}{2}} \sin \left( a+ (n-1)\frac{b}{2}\right)$$
Probaré esta fórmula un poco más tarde, pero es bastante clásica.
Con $n=7, a=\frac{\pi}{14} \textrm{and}\; b=\frac{2\pi}{7}$ , se obtiene
$$\sin \frac{\pi}{14} + \sin \frac{5\pi}{14} + \sin \frac{9\pi}{14} + \sin \frac{13\pi}{14} + \sin \frac{17\pi}{14} + \sin \frac{21\pi}{14} + \sin \frac{25\pi}{14}=0$$
Ahora, utilizando $\sin (\theta \pm \pi)= - \sin \theta$ , fíjese que $$\sin \frac{9\pi}{14} = \sin \frac{5\pi}{14}$$ $$\sin \frac{13\pi}{14} = \sin \frac{\pi}{14}$$ $$\sin \frac{17\pi}{14} = - \sin \frac{3\pi}{14}$$ $$\sin \frac{21\pi}{14} = - 1$$ $$\sin \frac{25\pi}{14} = - \sin \frac{3\pi}{14}$$
Así, la igualdad se convierte en
$$\sin \frac{\pi}{14} - \sin \frac{3\pi}{14} + \sin \frac{5\pi}{14} = \frac{1}{2}$$
Utilizando $\sin p - \sin q = 2 \sin \frac{p-q}{2} \cos \frac{p+q}{2}$ , se obtiene
$$\sin \frac{\pi}{14} + 2 \sin \frac{\pi}{14} \cos \frac{4\pi}{14} = \frac{1}{2}$$
O
$$\sin \frac{\pi}{14} \left(1 + 2 \cos \frac{4\pi}{14}\right) = \frac{1}{2}$$
Pero
$$\cos \frac{4\pi}{14} = \sin \left(\frac{\pi}{2} - \frac{4\pi}{14} \right) = \sin \frac{3\pi}{14}$$
Y también tenemos $\sin 3\theta = 3\sin \theta - 4 \sin^3 \theta$ Así que
$$\cos \frac{4\pi}{14} = 3\sin \frac{\pi}{14} - 4\sin^3 \frac{\pi}{14}$$
Dejemos que $x=\sin \frac{\pi}{14}$ tenemos entonces la ecuación
$$x (1+6x-8x^3) = \frac{1}{2}$$
O
$$16 x^4-12x^2-2x+1=0$$
Pero $-\frac{1}{2}$ es una raíz trivial de $16 x^4-12x^2-2x+1$ por lo que este polinomio es divisible por $2x+1$ . Y como obviamente $\sin \frac{\pi}{14} \neq -\frac{1}{2}$ podemos hacer la división polinómica, y la ecuación se convierte en
$$8x^3-4x^2-4x+1=0$$
Y hemos terminado.
Como comentario adicional, cambiando ligeramente la prueba, a partir de $\sin \frac{\pi}{14} - \sin \frac{3\pi}{14} + \sin \frac{5\pi}{14} = \frac{1}{2}$ se descubriría que las otras dos raíces son $-\sin \frac{3\pi}{14}$ y $\sin \frac{5\pi}{14}$ .
Ahora, la prueba de la suma
$$\sum_{k=0}^{n-1} \sin (a+kb) = \frac{\sin \frac{nb}{2}}{\sin \frac{b}{2}} \sin \left( a+ (n-1)\frac{b}{2}\right)$$
Hay una demostración casi trivial usando números complejos, pero aquí se nos pide que no los usemos, así que lo haremos por inducción.
En primer lugar, la fórmula es verdadera para $n=1$ pues equivale a $ \sin a = \sin a$ . Supongamos que es cierto para $n$ calcularemos
$$A=\frac{\sin \frac{(n+1)b}{2}}{\sin \frac{b}{2}} \sin \left( a+ n\frac{b}{2}\right) - \frac{\sin \frac{nb}{2}}{\sin \frac{b}{2}} \sin \left( a+ (n-1)\frac{b}{2}\right)$$
Utilizando $2\sin \theta \sin \phi = \cos (\theta - \phi) - \cos (\theta + \phi)$ tenemos
$$A=\frac{1}{2\sin \frac{b}{2}} \left[\cos \left(\frac{b}{2} - a \right) - \cos \left(a+ (2n+1)\frac{b}{2} \right) -\\ \cos \left(\frac{b}{2} - a \right) + \cos \left(a+ (2n-1)\frac{b}{2} \right) \right]$$
$$A=\frac{1}{2\sin \frac{b}{2}} \left[ \cos \left(a+ (2n-1)\frac{b}{2} \right) - \cos \left(a+ (2n+1)\frac{b}{2} \right) \right]$$
Y, como $\cos q - \cos p = 2\sin \frac{p+q}{2} \sin \frac{p-q}{2}$ ,
$$A=\frac{1}{\sin \frac{b}{2}} \left[ \sin (a+nb) \sin \frac{b}{2} \right] = \sin (a+nb)$$
Así,
$$\sum_{k=0}^{n} \sin (a+kb) = \sum_{k=0}^{n-1} \sin (a+kb) + \sin(a+nb)$$ $$=\frac{\sin \frac{nb}{2}}{\sin \frac{b}{2}} \sin \left( a+ (n-1)\frac{b}{2}\right) + A$$ $$=\frac{\sin \frac{(n+1)b}{2}}{\sin \frac{b}{2}} \sin \left( a+ n\frac{b}{2}\right)$$
Y se demuestra el paso de inducción, por lo que la fórmula es verdadera para todo $n>0$ .
La prueba de la suma en "números complejos" es así:
$$S = \sum_{k=0}^{n-1} e^{i(a+kb)} = e^{ia} \sum_{k=0}^{n-1} z^k = e^{ia} \frac{z^n - 1}{z - 1}$$
con $z=e^{ib}$ (y $z\neq1$ porque $b \not \equiv 0 \pmod{2\pi}$ )
Por lo tanto,
$$S = e^{ia} \frac{e^{inb} - 1}{e^{ib} - 1}$$
Hay un truco muy conocido para simplificar, escribir:
$$S = e^{ia} \frac{e^{inb/2}}{e^{ib/2}} \frac{e^{inb/2} - e^{-inb/2}}{e^{ib/2} - e^{ib/2}} = e^{ia} \frac{e^{inb/2}}{e^{ib/2}} \frac{\sin \frac{nb}{2}}{\sin \frac{b}{2}}$$ $$S = e^{i(a + (n-1)b/2)} \frac{\sin \frac{nb}{2}}{\sin \frac{b}{2}}$$
Así, tomando las partes real e imaginaria, se obtiene:
$$\sum_{k=0}^{n-1} \cos (a+kb) = \frac{\sin \frac{nb}{2}}{\sin \frac{b}{2}} \cos \left( a+ (n-1)\frac{b}{2}\right)$$
$$\sum_{k=0}^{n-1} \sin (a+kb) = \frac{\sin \frac{nb}{2}}{\sin \frac{b}{2}} \sin \left( a+ (n-1)\frac{b}{2}\right)$$
1 votos
Ver Euler's y La fórmula de Moivre .