Cotangens podwójnego kąta

$$ctg(2\cdot a) = \frac{ctg(a)-tg(a)}{2}$$
Znaleźć   Wiadomo:
      =