Question 1071585
Look at "Half angle formulas" on Wikipedia.