Question 1087889
Check "Half angle formulas" on Wikipedia.