Half-angle identities (source code)

= Half-angle identities

These identities supply the formulas used in the <tangent half-angle substitution>. The half-angle identities include
$$
\tan\frac\theta2=\frac{1-\cos\theta}{\sin\theta}
=\frac{\sin\theta}{1+\cos\theta}.
$$