The double-angle identities are derived from the sum formulas by setting .
The cosine double-angle identity has three equivalent forms:
The second and third forms are obtained by substituting or respectively.
Rearranging the cosine double-angle formulas gives the half-angle identities:
Sign Rule: The sign is determined by the quadrant in which lies, not the quadrant of .
Solution:
Factor the left-hand side as a difference of squares:
Since :
Solution:
First find : Since , so (positive in Q I).
Solution: