(the inverse hyperbolic cosine, or area hyperbolic cosine) is the inverse of the hyperbolic cosine . Since is an even function taking the same value on both sides of , it cannot be inverted directly. We therefore restrict it to the branch (the principal branch) and call that inverse .
Definition and closed form
is the value satisfying with . Using logarithms it takes the closed form
For the square root to be real we need ; for there is no real value.
Domain and range
The domain is , that is . The range is , that is .
Monotonicity and symmetry
The derivative
is always positive, so the function is strictly increasing over its whole domain. Unlike it is neither even nor odd and has no symmetry.
Notable point and tangent
The graph begins at the point . There the denominator of the derivative tends to , so the slope becomes infinite and the tangent line is vertical. A small increase of above makes rise steeply.
Limits and growth rate
For large , since , we have , growing logarithmically and slowly. It has no horizontal asymptote.
Specific values
For example and .
Applications
It arises as the value of the integral and appears in geometry involving hyperbolas and in physics such as electromagnetism and heat conduction.