Double Angle Formulas/Hyperbolic Tangent/Proof 3

Theorem

 * $\tanh \left({2 x}\right) = \dfrac {2 \tanh x} {1 + \tanh^2 x}$

where $\tanh$ denotes hyperbolic tangent.

Proof
Starting from the right, we have