Упр.9.11 ГДЗ Мордкович 10-11 класс (Алгебра)

Ниже вариант решения задания из учебника Мордкович, Семенов 10 класс, Мнемозина:

9.11 Докажите тождество:

a) (tg(пи - t) / cos (пи + t)) * (sin(3пи/2 +t) / tg(3пи/2 +t)) = tg^2(t)