Establecimiento $7\theta=\pi,S=\sin2\theta+\sin4\theta+\sin8\theta=(\sin2\theta+\sin8\theta)+\sin4\theta$
El uso de Prosthaphaeresis Fórmula Y haga Doble ángulo de fórmula,
$S=2\sin5\theta\cos3\theta+2\sin2\theta\cos2\theta$
Como $5\theta=\pi-2\theta,\sin5\theta=\sin2\theta$
y $3\theta=\pi-4\theta,\cos3\theta=-\cos4\theta$
$S=-2\sin2\theta\cos4\theta+2\sin2\theta\cos2\theta=2\sin2\theta(\cos2\theta-\cos4\theta)$
Utilizando de nuevo Prosthaphaeresis Fórmula, $S=2\sin2\theta(2\sin3\theta\sin\theta)$, lo que es claramente $>0$
Pero, $\sin2\theta=\sin(\pi-2\theta)=\sin5\theta;\sin\theta=\sin6\theta;\sin3\theta=\sin4\theta$
$\implies \dfrac S4=+\sqrt{\prod_{r=1}^6\sin r\theta}\ \ \ \ (1)$
Podemos derivar (Ver más abajo) $\sin7x=7\sin x+\cdots-64\sin^7x$
Si $\sin7x=0,7x=n\pi$ donde $n$ es cualquier entero, $x=\dfrac{n\pi}7,0\le n\le6$
Por eso, $\sin\dfrac{n\pi}7,0\le n\le6$ son las raíces de $7\sin x+\cdots-64\sin^7x=0$
Por eso, $\sin\dfrac{n\pi}7,1\le n\le6$ son las raíces de $7+\cdots-64\sin^6x=0\iff64\sin^6x+\cdots-7=0$
El uso de Vieta de la fórmula, $\prod_{r=1}^6\sin r\theta=\dfrac7{64}$
Aplicar esto en $(1)$
Derivación $\#1:$
El uso de de Moivre del Teorema, $\cos7y+i\sin7y=(\cos y+i\sin y)^7$
$=\cdots +i\left(\sin^7y -\binom72\sin^5y\cos^2y+\binom74\sin^3y\cos^4y-\binom76\sin y\cos^6y\right)$
Escrito $\cos^2y=1-\sin^2y$
$\cos7y+i\sin7y=\cdots +i\left(7\sin y-64\sin^7y\right)$
Derivación $\#2:$
El Uso De Prosthaphaeresis Fórmula, $\sin7x+\sin x=2\sin4x\cos3x=2(2\sin2x\cos2x)(4\cos^3x-3\cos x)=4(2\sin x\cos x)(1-2\sin^2x)(4\cos^3x-3\cos x)$
$=8(\sin x-2\sin^3x)\cos^2x(4\cos^2x-1)$
$=8(\sin x-2\sin^3x)(1-\sin^2x)\{4(1-\sin^2x)-1\}$
$=8\sin x+\cdots-64\sin^7x$
$\implies\sin7x=7\sin x+\cdots-64\sin^7x$