Primitive of Inverse Hyperbolic Cotangent Function/Also presented as
Jump to navigation
Jump to search
Primitive of Inverse Hyperbolic Tangent Function: Also presented as
This result can also be presented as:
- $\ds \int \arcoth x \rd x = x \arcoth x + \ln \sqrt {x^2 - 1} + C$
Proof
From Primitive of $\artanh x$:
- $\ds \int \arcoth x \rd x = x \arcoth x + \frac {\map \ln {x^2 - 1} } 2 + C$
The result follows by observing:
- $\dfrac 1 2 \log x = \log \sqrt x$
from Logarithm of Power.
$\blacksquare$
Sources
- 1976: K. Weltner and W.J. Weber: Mathematics for Engineers and Scientists ... (previous) ... (next): $6$. Integral Calculus: Appendix: Table of Fundamental Standard Integrals