Primitive of Power of Hyperbolic Cotangent of a x by Square of Hyperbolic Cosecant of a x

Theorem

$\ds \int \coth^n a x \csch^2 a x \rd x = \frac {-\coth^{n + 1} a x} {\paren {n + 1} a} + C$

$\ds z$

$=$

$\ds \coth a x$

$\ds \leadsto \ \ $

$\ds \frac {\d z} {\d x}$

$=$

$\ds -a \csch^2 a x$

$\ds \leadsto \ \ $

$\ds \int \coth^n a x \csch^2 a x \rd x$

$=$

$\ds \int \frac {-1} a z^n \rd z$

$\ds $

$=$

$\ds \frac {-1} a \frac {z^{n + 1} } {n + 1}$

$\ds $

$=$

$\ds \frac {-\coth^{n + 1} a x} {\paren {n + 1} a} + C$

substituting for $z$ and simplifying

$\blacksquare$