The identity is .
To take the left hand side expression for prove that right hand side expression.
(Apply half angle formulas: )
is an identity.