Котангенс двойного угла

ctg(2a) = (1 - tg(a)^2) / (2 tg(a))
Найти   Известно, что:
      =