Derivative of Real Area Hyperbolic Cosine of x over a/Corollary 2

Theorem

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

for $x > a$.

Proof
When $x = a$ we have that $\sqrt {x^2 - a^2} = 0$ and then $\dfrac 1 {\sqrt {x^2 - a^2} }$ is not defined.

When $\size x < a$ we have that $x^2 - a^2 < 0$ and then $\sqrt {x^2 - a^2}$ is not defined.

When $x < -a$ we have that $x - \sqrt {x^2 - a^2} < 0$ and so $\map \ln {x + \sqrt {x^2 - a^2} }$ is not defined.

Hence the restriction on the domain.