 Half-angle identities

These identities supply the formulas used in the tangent half-angle substitution. The half-angle identities include