Derivative of Arcsecant of Function

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $u$ be a differentiable real function of $x$ such that $\size u > 1$.

Then:

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

where $\arcsec$ denotes the arcsecant of $x$.


Proof

\(\ds \map {\frac \d {\d x} } {\arcsec u}\) \(=\) \(\ds \map {\frac \d {\d u} } {\arcsec u} \frac {\d u} {\d x}\) Chain Rule for Derivatives
\(\ds \) \(=\) \(\ds \dfrac 1 {\size u \sqrt {u^2 - 1} } \frac {\d u} {\d x}\) Derivative of Arcsecant Function

$\blacksquare$


Also see


Sources