Question 1093833
See "Half angle formulas" on Wikipedia.