arcothx, the inverse hyperbolic cotangent, is the inverse of cothx=sinhxcoshx1. Since coth maps each branch of x=0 monotonically onto the region ∣y∣>1, the domain of its inverse is ∣x∣>1.
Definition and closed form
y=arcothx is the value y with x=cothy. Written with a logarithm it takes the following form.
arcothx=21lnx−1x+1
The argument x−1x+1 is positive exactly when x>1 or x<−1, which matches the domain.
Domain and range
The domain is x<−1 or x>1
The range is y=0
It decreases monotonically on each branch
It is an odd function
There is no value on −1≤x≤1. That 0 is missing from the range is the counterpart of coth never taking the value 0.
Symmetry and asymptotes
Since coth is odd, so is its inverse, and the graph has point symmetry about the origin.
Approach
arcothx
x→1+
→+∞
x→−1−
→−∞
x→±∞
→0
The lines x=1 and x=−1 are vertical asymptotes and the x-axis is a horizontal one.
Monotonicity and concavity
The derivative is dxdarcothx=1−x21. On the domain x2>1, so the denominator is negative and the derivative is always negative: the function decreases on both branches.
The second derivative is (1−x2)22x, carrying the sign of x, so the curve is concave up for x>1 and concave down for x<−1, with no inflection point.
Notable values
x
arcothx
1.5
21ln5≈0.8047
2
21ln3≈0.5493
3
21ln2≈0.3466
10
≈0.1003
Relation to the inverse hyperbolic tangent
The derivative 1−x21 is exactly the derivative of artanhx. Only the domain differs: the two functions take charge of the same formula on complementary ranges.
Item
artanhx
arcothx
Domain
∣x∣<1
∣x∣>1
Range
all real numbers
y=0
Derivative
1−x21
1−x21
Behavior
increasing
decreasing on each branch
For that reason the integral ∫1−x2dx has to be written differently on different intervals, though an absolute value lets both cases be combined.
∫1−x2dx=21ln1−x1+x+C
The relation through a reciprocal
arcothx=artanhx1
When ∣x∣>1 we have x1<1, so the right-hand side falls exactly inside the domain of artanh. That coth is the reciprocal of tanh shows up on the inverse side as a reciprocal of the argument.