Упростите: sina*cosa/2-cosa*sina/2
Может быть: sina*cosa/2-cosa*sina/2=sin(a-a/2)
Sina×cosa/2-cosa×sina/2=1/2-1/2=0 по формуле sina×cosa=1