¿Cuál es el valor de $\sin^2 (\frac{\pi}{10}) \sin^2 (\frac{3\pi}{10})$ ?

Question

PROBLEMA $$ \prod_{i=0}^4 \left(1 + \cos \left(\frac{(2k+1)\pi}{10}\right)\right)$$

Mi intento $$ \left(1 + \cos \frac{\pi}{10}\right) \left(1 + \cos \frac{9\pi}{10}\right) \left(1 + \cos \frac{7\pi}{10}\right) \left(1 + \cos \frac{3\pi}{10}\right) = \sin^2 \left(\frac{\pi}{10}\right) \sin^2 \left(\frac{3\pi}{10}\right) $$

No puedo seguir adelante. Por favor, ayúdeme.

Answer 1

$$\sin^2 {\frac {\pi}{10}} \sin^2 \frac {3\pi}{10}=\left(\frac {4\sin {\frac {\pi}{5}}. \cos {\frac {2\pi}{10}}\cos {\frac {4\pi}{10}}}{4\sin \frac {\pi}{5}}\right)^2=\left(\frac {\sin \frac {4\pi}{5}}{4\sin \frac {\pi}{5}}\right)^2=\frac {1}{16}$$

Answer 2

Las raíces de $\Phi_{10}(x)=1-x+x^2-x^3+x^4$ son las décimas raíces primitivas de la unidad, $\xi,\xi^3,\xi^7,\xi^9$ con $\xi=\exp\left(\frac{2\pi i}{10}\right)$ . Las raíces de $\Phi_{20}(x)=\Phi_{10}(x^2)=1-x^2+x^4-x^6+x^8$ son los primitivos $20$ -Raíces de la unidad, $\zeta,\zeta^3,\zeta^7,\zeta^9,\zeta^{11},\zeta^{13},\zeta^{17},\zeta^{19}$ con $\zeta=\exp\left(\frac{\pi i}{10}\right)$ . Al dividir $\Phi_{20}(x)$ por $x^4$ y escribiendo lo que obtenemos como un polinomio en $\left(x+\frac{1}{x}\right)$ conseguimos que

$$ x^4-\frac{5}{4}x^2+\frac{5}{16}=\prod_{k\in\{1,3,7,9\}}\left(x-\cos\frac{\pi k}{10}\right)$$ y evaluando ambos lados en $x=-1$ nos encontramos con que: $$ \prod_{k\in\{1,3,7,9\}}\left(1+\cos\frac{\pi k}{10}\right) = 1-\frac{5}{4}+\frac{5}{16} = \frac{1}{16}.$$

Answer 3

Utilizar que $$\sin\left(\frac{\pi}{10}\right)=\frac{\sqrt{5}-1}{4}$$ $$\sin\left(\frac{3\pi}{10}\right)=\frac{\sqrt{5}+1}{4}$$