Definition:Inverse Hyperbolic Cosine/Real/Definition 1

Definition
The inverse hyperbolic cosine $\cosh^{-1}: \R \to \R$ on the set of real numbers is a real function defined as:


 * $\forall x \in \R_{\ge 1}: \cosh^{-1} \left({x}\right) := y \in \R_{\ge 0}: x = \cosh \left({y}\right)$

where $\cosh \left({y}\right)$ is the hyperbolic cosine function.

Also known as
The inverse hyperbolic cosine function is also known as the hyperbolic arccosine function.

Also see

 * Equivalence of Definitions of Real Inverse Hyperbolic Cosine