Tangent Half-Angle Substitution for Cosine

Corollary to Double Angle Formula for Cosine

 * $\cos 2 \theta = \dfrac {1 - \tan^2 \theta} {1 + \tan^2 \theta}$

where $\cos$ and $\tan$ denote cosine and tangent respectively.