Kotangenss un divkāršs leņķis (arguments)

$$ctg(2\cdot a) = \frac{ctg(a)-tg(a)}{2}$$
Aprēķināt   Zināms, ka:
      =