Док-ть тождество: 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