Como você encontra o valor exato de #cos (pi / 12) #?

#cos (pi/12)=cos(pi/4 -pi/6)#
#cos(A-B)=cosAcosB+sinAsinB#
#cos(pi/4 -pi/6)=cos (pi/4)cos(pi/6)+sin(pi/4)sin(pi/6)#
#cos(pi/4 -pi/6)=sqrt2/2*sqrt3/2+sqrt2/2*1/2=sqrt6/4+sqrt2/4#
#cos (pi/12)=sqrt6/4+sqrt2/4#