Сделать проверить равенство: sina+(sina-sinb)+cosa(cosa-cosb)=2sin^2 a-b/2

Sin a *(sina-sinb)+cosa(cosa-cosb)=sin^2 a-sina sinb+cos^2 a-cosa cosb=(sin^2 a+cos^2 a)-(sina sinb+cosa cosb)=1-cos(a-b)=2sin^2 ((a-b)/2)
есть формула sin^ a=(1-cos2a)/2