Тангенс разницы углов

tg(a - b) = (tg(a) - tg(b)) / (1 + tg(a) * tg(b))
Найти   Известно, что:
      =