Power Reduction Formulas/Tangent Squared

Theorem

 * $\tan^2x = \dfrac {1 - \cos2x} {1 + \cos2x}$

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