Primitive of Square of Hyperbolic Sine Function/Corollary

From ProofWiki
Jump to navigation Jump to search

Corollary to Primitive of Square of Hyperbolic Sine Function

$\ds \int \sinh^2 x \rd x = \frac {\sinh x \cosh x - x} 2 + C$

where $C$ is an arbitrary constant.


Proof

\(\ds \int \sinh^2 x \rd x\) \(=\) \(\ds \frac {\sinh 2 x} 4 - \frac x 2 + C\) Primitive of Square of Hyperbolic Sine Function
\(\ds \) \(=\) \(\ds \frac {2 \sinh x \cosh x} 4 - \frac x 2 + C\) Double Angle Formula for Hyperbolic Sine
\(\ds \) \(=\) \(\ds \frac {\sinh x \cosh x - x} 2 + C\) rearranging

$\blacksquare$


Sources