2*tg(5pi/12)//tg^2(5pi/12)-1

Question

2*tg(5pi/12)//tg^2(5pi/12)-1

Answer 1

формула тангенса двойного угла со знаком минус,

-tg 2*(5pi/12) = -tg (5pi/6) =1/ корень из 3