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

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