Упр.1428 ГДЗ Макарычев Миндюк 9 класс (Углубленный) (Алгебра)

Рассмотрим вариант решения задания из учебника
Макарычев, Миндюк, Нешков 9 класс, Просвещение:
Докажите тождество:
а) cos(?)cos(?+?)-cos(?)cos(?+?)=sin(?)sin(?-?);
б) sin(?-?)sin(?)+sin(?-?)sin(?)=sin(?-?)sin(?).