sinx * sin2x=1-cos²x
Заметим, что . Тогда - преобразования делались с учетом того, что . Получаем . Извлекая корень, получаем . С учетом положительности каждого корня: