Question 871595
cos(-pi/12) = cos(-15 deg( - cos(-30/2) = sqrt[(1-cos(30))/2]
====
= sqrt[(1-(sqrt(3)/2)/2]
----
= sqrt[(2-sqrt(3)/4] = (1/2)(2-sqrt(3)
---------
Cheers,
Stan H.
-----------