Como você usa a identificação de meio ângulo para encontrar o valor exato de $tan ((5pi) / 12)$ ?

A resposta é $=sqrt((2+sqrt3)/(2-sqrt3))$

Nós aplicamos

$cos2t=2cos^2t-1$

$cost=sqrt((1+cos2t)/2)$

$cos2t=1-2sin^2t$

$sint=sqrt((1-cos2t)/2)$

$tant=sint/cost=sqrt((1-cos2t)/(1+cos2t))$

Aqui temos $t=5/12pi$

$2t=10/12pi=5/6pi$

$cos(5/6pi)=-sqrt3/2$

$sin(5/6pi)=1/2$

$tan(5/12pi)=sqrt((1+sqrt3/2)/(1-sqrt3/2))$

$=sqrt((2+sqrt3)/(2-sqrt3))$

Como você usa a identificação de meio ângulo para encontrar o valor exato de tan ((5pi) / 12) tan ((5pi) / 12) ?