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

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