Cotangent of double angle

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