Call sin pi/12 = sin t.sinπ12=sint. Use trig identity: cos 2a = 1 - sin^2 acos2a=1−sin2a
cos 2pi/12 = cos pi/6 = sqrt3/2 = 1 - sin^2 t.cos2π12=cosπ6=√32=1−sin2t.
sin^2 t = 1 - sqrt3/2 = (2 - sqrt3)/4sin2t=1−√32=2−√34
sin t = +- sqrt(2 - sqrt3)/2sint=±√2−√32. Since pi/12π12 has its sin positive, then
sin (pi/12) = sin t = sqrt(2 - sqrt3)/2sin(π12)=sint=√2−√32
Call cos (pi/2) = cos tcos(π2)=cost
cos ((2pi)/12) = sqrt3/2 = 2cos^2 t - 1cos(2π12)=√32=2cos2t−1
cos^2 t = (2 + sqrt3)/4cos2t=2+√34
cos t = +- sqrt(2 + sqrt3)/2cost=±√2+√32. Since cos (pi/12)(π12) is positive, then
cos (pi/12) = cos t = sqrt(2 + sqrt3)/2cos(π12)=cost=√2+√32
tan ((7pi)/12) = tan (pi/12 + pi) = tan (pi/12) = sin/(cos) = tan(7π12)=tan(π12+π)=tan(π12)=sincos=
= (sqrt(2 - sqrt3))/(sqrt(2 + sqrt3))=√2−√3√2+√3