Котангенс подвійного кута

ctg(2a) = (1 - tg(a)^2) / (2 tg(a))
Вичислити   Відомо, що:
      =