Dvigubai didesnio kampo kotangentas

$$ctg(2\cdot a) = \frac{ctg(a)-tg(a)}{2}$$
Rasti   Yra žinoma, kad:
      =