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

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