Question 434028
{{{tan ((7pi)/12) = tan (pi/3 + pi/4) = (tan(pi/3) + tan(pi/4))/(1-tan(pi/3)*tan(pi/4)) = (sqrt(3) + 1)/(1-sqrt(3)) = (1+sqrt(3))/(1-sqrt(3))}}}