Derivative of Real Area Hyperbolic Cotangent of x over a/Corollary

From ProofWiki
Jump to navigation Jump to search

Theorem

$\map {\dfrac \d {\d x} } {\dfrac 1 {2 a} \map \ln {\dfrac {x + a} {x - a} } } = \dfrac 1 {a^2 - x^2}$

where $\size x > a$.


Proof

\(\ds \dfrac 1 a \map \arcoth {\frac x a}\) \(=\) \(\ds \dfrac 1 a \cdot \dfrac 1 2 \map \ln {\dfrac {\frac x a + 1} {\frac x a - 1} }\) Definition of Real Area Hyperbolic Cotangent
\(\ds \) \(=\) \(\ds \dfrac 1 {2 a} \map \ln {\dfrac {x + a} {x - a} }\) multiplying top and bottom of argument by $a$
\(\ds \leadsto \ \ \) \(\ds \map {\dfrac \d {\d x} } {\dfrac 1 {2 a} \map \ln {\dfrac {x + a} {x - a} } }\) \(=\) \(\ds \map {\dfrac \d {\d x} } {\dfrac 1 a \map \arcoth {\frac x a} }\)
\(\ds \) \(=\) \(\ds \dfrac 1 a \cdot \dfrac {-a} {x^2 - a^2}\) Derivative of Real Area Hyperbolic Cotangent of x over a
\(\ds \) \(=\) \(\ds \dfrac 1 {a^2 - x^2}\) simplifying

$\blacksquare$


Sources