Dvigubai didesnio kampo kotangentas

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