Есть формулы для синуса суммы и разности:
sin(a + b) = sin a*cos b + cos a*sin b
sin(a - b) = sin a*cos b - cos a*sin b
Подставляем:
(sin 45°*cos a + cos 45°*sin a)(sin 45°*cos a - cos 45°*sin a) =
= (1/sqrt(2)*cos a + 1/sqrt(2)*sin a)(1/sqrt(2)*cos a - 1/sqrt(2)*sin a) =
Получили произведение суммы на разность одинаковых выражений, это равно разности квадратов:
= 1/2*cos^2 a - 1/2*sin^2 a = 1/2*(cos^2 a - sin^2 a) = 1/2*cos 2a