Derivative of Hyperbolic Cosecant

From ProofWiki
Jump to navigation Jump to search

Theorem

$\map {\dfrac \d {\d x} } {\csch x} = -\csch x \coth x$

where:

$\coth x$ denotes the hyperbolic cotangent and $\csch z$ denotes the hyperbolic cosecant.
$x \in \R_{\ne 0}$


Proof

It is noted that at $x = 0$, $\csch x$ is undefined.

Hence the restriction of the domain.

\(\ds \map {\dfrac \d {\d x} } {\csch x}\) \(=\) \(\ds \map {\dfrac \d {\d x} } {\frac 1 {\sinh x} }\) Definition of Hyperbolic Cosecant
\(\ds \) \(=\) \(\ds \map {\dfrac \d {\d x} } {\paren {\sinh z}^{-1} }\) Exponent Laws
\(\ds \) \(=\) \(\ds -\paren {\sinh x}^{-2} \cosh x\) Derivative of Hyperbolic Cosine, Power Rule for Derivatives, Chain Rule for Derivatives
\(\ds \) \(=\) \(\ds \frac {-1} {\sinh x} \ \frac {\cosh x} {\sinh x}\) Exponent Combination Laws
\(\ds \) \(=\) \(\ds -\csch x \coth x\) Definition of Hyperbolic Cosecant and Definition of Hyperbolic Cotangent

$\blacksquare$


Also see


Sources