Primitive of Square of Hyperbolic Cosine Function

From ProofWiki
Jump to navigation Jump to search

Theorem

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

where $C$ is an arbitrary constant.


Corollary

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

where $C$ is an arbitrary constant.


Proof

\(\ds \int \cosh^2 x \rd x\) \(=\) \(\ds \int \paren {\frac {\cosh 2 x + 1} 2} \rd x\) Square of Hyperbolic Cosine
\(\ds \) \(=\) \(\ds \int \paren {\frac {\cosh 2 x} 2} \rd x + \int \frac 1 2 \rd x\) Linear Combination of Primitives
\(\ds \) \(=\) \(\ds \int \paren {\frac {\cosh 2 x} 2} \rd x + \frac x 2 + C\) Primitive of Constant
\(\ds \) \(=\) \(\ds \frac 1 2 \paren {\frac {\map \sinh {2 x} } 2} + \frac x 2 + C\) Primitive of Function of Constant Multiple and Primitive of Hyperbolic Cosine Function
\(\ds \) \(=\) \(\ds \frac {\sinh 2 x} 4 + \frac x 2 + C\) rearranging

$\blacksquare$


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Primitive_of_Square_of_Hyperbolic_Cosine_Function&oldid=598036"