Sin(pi/4-a)-sin(pi/4+a)=√2cos(pi/2+a)
здесь доказать тождество что ли? т.к. уравнение решить не получится, выражение действительно для любых а