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

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