Док-ть тождество: sin (a-b) * cos (a-b) = sina*cosa + sinb*cosb

там по формуле так и будет т. к.

sin a-b = sin acosb - cos a sin b

cos a-b = cos a cos b = sin a sin b

sin acosb - cos a sin b * cos a cos b = sin a sin b + sin a * cos a + sib b * cos b

из этого выходит сокращение

sin a cos b = sin a cos b