1) sin(pi/4 - x) * sin x - sin(pi/4 + x) * cos x - cos((3pi)/4) = 0

sin(pi/4 - x) * sin x - sin(pi/4 + x) * cos x - cos((3pi)/4) = 0: умножаем синусы и косинусы значений, затем используем формулы синуса и косинуса разности.