arcoshx, the inverse hyperbolic cosine or area hyperbolic cosine, is the inverse of coshx=2ex+e−x1. Since 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 x≥0, the principal branch, is what is called arcosh.
Definition and closed form
y=arcoshx is the value y with x=coshy and y≥0. Written with a logarithm it has the following closed form.
arcoshx=ln(x+x2−1)
For the quantity under the root to be non-negative we need x≥1, and for x<1 the expression takes no real value.
Domain and range
The domain is x≥1
The range is y≥0
It increases monotonically
It is neither even nor odd
The range of cosh, which was y≥1, has passed straight over to become the domain of the inverse.
Monotonicity
The derivative is as follows.
dxdarcoshx=x2−11(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). There the denominator of the derivative tends to 0, so the slope grows without bound and the tangent is vertical. The horizontal tangent that cosh has at its minimum, x=0, appears as a vertical tangent on the inverse. A small increase of x beyond 1 lifts y abruptly.
Notable values
x
arcoshx
1
0
2
ln(2+3)≈1.3170
3
≈1.7627
10
≈2.9932
For large x we have x2−1≈x, so arcoshx≈ln(2x) and the growth is logarithmic and slow. There is no horizontal asymptote.
Comparison with the inverse hyperbolic sine
Item
arsinhx
arcoshx
Domain
all real numbers
x≥1
Range
all real numbers
y≥0
Closed form
ln(x+x2+1)
ln(x+x2−1)
Derivative
x2+11
x2−11
Tangent at the end
none
vertical at (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.
∫x2−1dx=arcoshx+C(x>1)
It is used in the geometry of hyperbolas and in physical calculations such as electromagnetism and heat conduction.