Вычисление значения

[BugsBunny]

Есть выражение $ \log_{2}{\sin \frac{\pi}{12}} + \log_{2}{\sin \frac{\pi}{6}} + \log_{2}{\sin \frac{5\pi}{12}} $. Нужно вычислить его значение.

$ \log_{2}{\sin \frac{\pi}{6}} $ высчитывается просто, потому что $ \sin \frac{\pi}{6} $ - табличное значение и $ \log_{2}{\frac{1}{2}} = -1 $

А как быть с остальными?

[ИСН]

Остальные сложить и как-то там преобразовать величину под логарифмом (произведение синусов - это сумма или разность... кого?)

[BugsBunny]

$ \log_{2}( \sin \frac{\pi}{12} \sin \frac{5 \pi}{12} ) = \log_{2}{ \frac{1}{2} } + \log_{2}( \cos \frac{\pi}{3} - \cos \frac{\pi}{2} ) = -1 + \log_{2} \frac{1}{2} = -2 $

Спасибо!