Primitive of Hyperbolic Cosine Function

From ProofWiki
Jump to navigation Jump to search

Theorem

$\displaystyle \int \map \cosh x \rd x = \map \sinh x + C$

where $C$ is an arbitrary constant.


Proof

From Derivative of Hyperbolic Sine Function:

$\map {\dfrac \d {\d x} } {\map \sinh x} = \map \cosh x$

The result follows from the definition of primitive.

$\blacksquare$


Sources