Cotangent of double angle

ctg(2a) = (ctg(a) - tg(a)) / 2
Find   It is known that:
      =