Cotangent of double angle

$$ctg(2\cdot a) = \frac{ctg(a)-tg(a)}{2}$$
Find   It is known that:
      =