Можно ли заменить тригонометрическую функцию на алгебраическую при вычислении минимума?
Допустим, мне нужно доказать, что

при всех

Я воспользовалась основным тригонометрическим тождеством:

Раскрыла скобки:

Можно ли теперь заменить

на

и исследовать функцию

на отрезке [-1; 1]?
Или обязательно возиться с производной от трифуна?