Question 1143137
What formula?
There are many.
Look up "Half angle formulas" on Wikipedia.