Primitive of Reciprocal of Hyperbolic Cosine of a x

From ProofWiki
Jump to navigation Jump to search

Theorem

$\ds \int \frac {\d x} {\cosh a x} = \frac {2 \map \arctan {e^{a x} } } a + C$


Proof

\(\ds \int \frac {\d x} {\cosh a x}\) \(=\) \(\ds \int \sech a x \rd x\) Definition 2 of Hyperbolic Secant
\(\ds \) \(=\) \(\ds \frac {2 \map \arctan {e^{a x} } } a + C\) Primitive of $\sech a x$: Arctangent of Exponential Form

$\blacksquare$


Also see


Sources