экстремумы (sin a - cos a) найдем, приравняв к нулю производную:
cos a + sin a = 0
sin a = -cos a - решение в точках 3pi/4 + n*pi, n принадлежит Z
в точках 3pi/4 + 2n*pi, n принадлежит Z, sin a = (корень из 2)/2, cos a = -(корень из 2)/2, значит (корень из 2)/2 * sin a - (корень из 2)/2 * cos a = 2/4 - (-2/4) = 1 - максимум исходной функции.
в точках -pi/4 + 2n*pi, n принадлежит Z, sin a = -(корень из 2)/2, cos a = (корень из 2)/2, значит (корень из 2)/2 * sin a - (корень из 2)/2 * cos a = - 2/4 - 2/4 = -1 - минимум исходной функции.
Из вышесказанного можно сделать вывод, что исходное выражение будет лежать в данном интервале при любом значении альфа.
Выполняют преобразования правой части и в итоге получают левую часть.
По отдельности преобразуют правую и левую части и получают и в первом и во втором случае одно и тоже выражение.
Составляют разность левой и правой части и в рзультате её преобразований получают нуль. Тождество — это уравнение, которое удовлетворяется тождественно, т. е. справедливо для любых допустимых значений входящих в него переменных. Доказать тождество - значит установить, что при всех допустимых значениях переменных его левая и правая часть равны.