The trigonometric identity is

Here, x is second quadrant sin function has positive sign and all are negative sign.

By using phytogarean thorem, then

Half ange formulas:

The half angle identities are