Ответ:
По формуле синуса разности:
\(\sin(45^\circ-\alpha)=\sin45^\circ\cos\alpha-\cos45^\circ\sin\alpha\).
Так как \(\sin45^\circ=\cos45^\circ=\frac{\sqrt2}{2}\), получаем \(\frac{\sqrt2}{2}(\cos\alpha-\sin\alpha)\).
По формуле косинуса суммы это равно \(\cos(45^\circ+\alpha)\). Следовательно, тождество доказано.
