Para elaborar Mathlover el comentario de los tres números $\cos\frac{\pi}{7}$, $\cos\frac{3\pi}{7}$, y $\cos\frac{5\pi}{7}$ son las tres raíces de la monic polinomio de Chebyshev de la tercera clase
$$\hat{V}_n(x)=\frac{\cos\left(\left(n+\frac12\right)\arccos\,x\right)}{2^n\cos\frac{\arccos\,x}{2}}=\frac1{2^n}\left(U_n(x)-U_{n-1}(x)\right)$$
donde$U_n(x)=\frac{\sin((n+1)\arccos\,x)}{\sqrt{1-x^2}}$, es habitual el polinomio de Chebyshev de la segunda clase, y la última relación se obtiene a través de la identidad trigonométrica
$$2\sin\frac{\theta}{2}\cos\left(\left(n+\frac12\right)\theta\right)=\sin((n+1)\theta)-\sin\,n\theta$$
La pregunta entonces es, esencialmente, pidiendo el negativo del coeficiente de la $x^2$ plazo de $\frac18(U_3(x)-U_2(x))$ (Vieta); podemos generar los dos polinomios utilizando la definición dada anteriormente, o a través de una adecuada relación de recursividad. Entonces tenemos
$$\begin{align*}U_2(x)&=4x^2-1\\U_3(x)&=8x^3-4x\end{align*}$$
y así tenemos
$$\hat{V}_3(x)=\frac18((8x^3-4x)-(4x^2-1))=x^3-\frac{x^2}{2}-\frac{x}{2}+\frac18$$
que los rendimientos de las identidades
$$\begin{align*}
\cos\frac{\pi}{7}+\cos\frac{3\pi}{7}+\cos\frac{5\pi}{7}&=\frac12\\
\cos\frac{\pi}{7}\cos\frac{3\pi}{7}+\cos\frac{3\pi}{7}\cos\frac{5\pi}{7}+\cos\frac{\pi}{7}\cos\frac{5\pi}{7}&=-\frac12\\
\cos\frac{\pi}{7}\cos\frac{3\pi}{7}\cos\frac{5\pi}{7}&=-\frac18
\end{align*}$$