Так как
, то
.
Заменяя степени синусов на их выражения через косинусы, получим:
.
Задача свелась к нахождению минимума

при
.
В общем случае квадратный многочлен

достигает экстремума в точке

и этот экстремум равен
. Если
, то экстремум есть минимум, если

- максимум.
В нашем случае

и минимум равен
.