Usando grados como unidad de medida, $$ \sin(60+6)\sin(60-6) = \frac{1}{2}\left(\cos(12)-\cos(10\cdot 12)\right)$ $ %#% $ #% por lo tanto, el problema se reduce abajo demostrando que $$ \sin(4\cdot 12)\sin(8\cdot 12) = \frac{1}{2}\left(\cos(4\cdot 12)-\cos(12\cdot 12)\right)$ $ o, volviendo a radianes, demostrando que el $$\cos(12)-\cos(48)+\cos(144)=-\frac{1}{2}$ es una raíz del polinomio $$ 1 + 2\, T_1 (x)-2\, T_4 (x) + 2\, T_ {12} (x) \\=\color {rojo} {1 + 2 x - 128 x ^ 2 + 1664 x ^ 4-7168 x ^ 6 + 13824 x ^ 8-12288 x ^ {10} + 4096 x ^ {12}}. $$ Ya que es el polinomio mínimo de $x=\cos\left(\frac{2\pi}{30}\right)$ $\cos\left(\frac{2\pi}{30}\right)$, es suficiente para comprobar que el polinomio de azul es un divisor del polinomio rojo.