Derivative of Real Area Hyperbolic Cosine of Function

Theorem

Let $u$ be a differentiable real function of $x$.

Then:

$\map {\dfrac \d {\d x} } {\arcosh u} = \dfrac 1 {\sqrt {u^2 - 1} } \dfrac {\d u} {\d x}$

where $u > 1$

where $\cosh^{-1}$ is the real area hyperbolic cosine.


Proof

\(\ds \map {\frac \d {\d x} } {\arcosh u}\) \(=\) \(\ds \map {\frac \d {\d u} } {\arcosh u} \frac {\d u} {\d x}\) Chain Rule for Derivatives
\(\ds \) \(=\) \(\ds \dfrac 1 {\sqrt {u^2 - 1} } \frac {\d u} {\d x}\) Derivative of Real Area Hyperbolic Cosine

$\blacksquare$


Also see


Sources

  • 1968: Murray R. Spiegel: Mathematical Handbook of Formulas and Tables ... (previous) ... (next): $\S 13$: Derivatives of Hyperbolic and Inverse Hyperbolic Functions: $13.38$
  • 1972: Frank Ayres, Jr. and J.C. Ault: Theory and Problems of Differential and Integral Calculus (SI ed.) ... (previous) ... (next): Chapter $15$: Differentiation of Hyperbolic Functions: Definitions of Inverse Hyperbolic Functions: $38$
  • 1974: Murray R. Spiegel: Theory and Problems of Advanced Calculus (SI ed.) ... (previous) ... (next): Chapter $4$. Derivatives: Derivatives of Special Functions: $26$
This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.