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

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