Косинус альфа минус синус альфа
Cosa-sina=sin(90-a)-sina=2sin((90-a-a)/2)cos((90-a+a)2)=2*sin(45-a)cos45=√2sin(pi/4-a)