Difference between revisions of "Relationship between tanh, inverse Gudermannian, and sin"

Theorem: The following formula holds: $$\mathrm{tanh}(\mathrm{gd}^{-1}(x))=\sin(x),$$ where $\mathrm{tanh}$ is the hyperbolic tangent, $\mathrm{gd}^{-1}$ is the inverse Gudermannian, and $\sin$ is the sine.