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

$$ctg(2\cdot a) = \frac{1-tg(a)^{2}}{2\cdot tg(a)}$$
Найти   Известно, что:
      =