y=arcoshxy = \operatorname{arcosh} x

Inverse Hyperbolic Cosine y=arcoshxy = \operatorname{arcosh} x

arcoshx\operatorname{arcosh} x, the inverse hyperbolic cosine or area hyperbolic cosine, is the inverse of coshx=ex+ex2\cosh x = \dfrac{e^x + e^{-x}}{2}1. Since cosh\cosh is even and takes the same value at a point and at its negative, it has no inverse as it stands, so the inverse of the branch with x0x \geq 0, the principal branch, is what is called arcosh\operatorname{arcosh}.

Definition and closed form

y=arcoshxy = \operatorname{arcosh} x is the value yy with x=coshyx = \cosh y and y0y \geq 0. Written with a logarithm it has the following closed form.

arcoshx=ln(x+x21)\operatorname{arcosh} x = \ln\left(x + \sqrt{x^2 - 1}\right)

For the quantity under the root to be non-negative we need x1x \geq 1, and for x<1x < 1 the expression takes no real value.

Domain and range

  • The domain is x1x \geq 1
  • The range is y0y \geq 0
  • It increases monotonically
  • It is neither even nor odd

The range of cosh\cosh, which was y1y \geq 1, has passed straight over to become the domain of the inverse.

Monotonicity

The derivative is as follows.

ddxarcoshx=1x21(x>1)\frac{d}{dx}\operatorname{arcosh} x = \frac{1}{\sqrt{x^2 - 1}} \quad (x > 1)

It is always positive, so the function increases monotonically over its whole domain.

The tangent at the endpoint

The graph begins at the point (1,0)(1, 0). There the denominator of the derivative tends to 00, so the slope grows without bound and the tangent is vertical. The horizontal tangent that cosh\cosh has at its minimum, x=0x = 0, appears as a vertical tangent on the inverse. A small increase of xx beyond 11 lifts yy abruptly.

Notable values

xxarcoshx\operatorname{arcosh} x
1100
22ln(2+3)1.3170\ln(2 + \sqrt{3}) \approx 1.3170
331.7627\approx 1.7627
10102.9932\approx 2.9932

For large xx we have x21x\sqrt{x^2-1} \approx x, so arcoshxln(2x)\operatorname{arcosh} x \approx \ln(2x) and the growth is logarithmic and slow. There is no horizontal asymptote.

Comparison with the inverse hyperbolic sine

Itemarsinhx\operatorname{arsinh} xarcoshx\operatorname{arcosh} x
Domainall real numbersx1x \geq 1
Rangeall real numbersy0y \geq 0
Closed formln(x+x2+1)\ln(x + \sqrt{x^2+1})ln(x+x21)\ln(x + \sqrt{x^2-1})
Derivative1x2+1\dfrac{1}{\sqrt{x^2+1}}1x21\dfrac{1}{\sqrt{x^2-1}}
Tangent at the endnonevertical at (1,0)(1, 0)

A single sign under the root is the whole difference, and yet it decides whether the domain is the entire line or a half-line.

Applications

It appears as the result of an integral.

dxx21=arcoshx+C(x>1)\int \frac{dx}{\sqrt{x^2 - 1}} = \operatorname{arcosh} x + C \quad (x > 1)

It is used in the geometry of hyperbolas and in physical calculations such as electromagnetism and heat conduction.

  1. Inverse hyperbolic functions, Wikipedia