Question 1158089
find exact value of cos pi/12 by using a sum or difference formula
------
= cos(15) degs
= cos(45 - 30)
===============
Wikipedia's "Half angle formulas" covers it well.