1. Раскрываем скобки, используя формулу синуса разности: sqrt(2) * (sin(alpha)cos(pi/4) - cos(alpha)sin(pi/4)) - sin(alpha) + cos(alpha).
2. Подставляем значения: sqrt(2) * (sin(alpha)*(sqrt(2)/2) - cos(alpha)*(sqrt(2)/2)) - sin(alpha) + cos(alpha).
3. Упрощаем: sin(alpha) - cos(alpha) - sin(alpha) + cos(alpha) = 0.