Knowledge base dedicated to Linux and applied mathematics.

Home > Mathematics > Derivative of a function > Derivative of inverse functions

Derivative of inverse functions

All the versions of this article: <English> <Español> <français> <italiano>

Derivative of the inverse function f^-1 is given by : (f^-1)’(x)=1 / f’ (f^-1(x))
To prove this result, we are going to apply the Chain rule (derivative of a composite function) to the function f and to its inverse f^-1.

Mathematical Reminder

We previously demonstrated the result relating to the Chain Rule.

Consider $I$ and $J$ two intervals of $\mathbb{R}$ and two functions $u, v$ defined by

$$ \begin{aligned} u&: I \rightarrow \mathbb{R}\\ v&: J \rightarrow \mathbb{R} \end{aligned} $$

such $f(I) \subset J$. Let $x$ a point of the interval $I$.
If $u$ is differentiable at $x$ and $v$ is differentiable at $u(x)$ then the composite function $u \circ v$ is differentiable at $x$, and the Chaine Rule is given by

$$ \forall x\in I, \quad \left(u \circ v\right)^{\prime}(x)=u^{\prime}(v(x)) \cdot v^{\prime}(x) $$


By applying the Chain Rule derivative of composite function avec $u=f,v=f^{-1}$, we have:

$$ \left(f \circ f^{-1}\right)^{\prime}(x)=f^{\prime}(f^{-1}(x)) \cdot (f^{-1})^{\prime}(x) $$

However, by definition of a reciprocal function:

$$ \left(f \circ f^{-1}\right)(x)=\left(f^{-1} \circ f\right)(x)=Id(x)=x $$

where $Id$ is the identity function.


$$ \left(f \circ f^{-1}\right)^{\prime}(x)=\left(Id\right)^{\prime}(x)=1 $$


$$ \begin{aligned} \left(f \circ f^{-1}\right)^{\prime}(x)&=f^{\prime}(f^{-1}(x)) \cdot (f^{-1})^{\prime}(x)\\ &=1 \end{aligned} $$

We conclude:

$$ (f^{-1})^{\prime}(x)=\frac{1}{f^{\prime}(f^{-1}(x))} $$

Also in this section

  1. Chain rule proof - derivative of a composite function
  2. Derivative of 1/x
  3. Derivative of arccos x
  4. Derivative of arcsin x
  5. Derivative of arctan x
  6. Derivative of cos x
  7. Derivative of exp x, e^x
  8. Derivative of exp(u) , exp(u(x))
  9. Derivative of inverse functions
  10. Derivative of ln u
  11. Derivative of ln x
  12. Derivative of sin x
  13. Derivative of square root of x
  14. Derivative of tan x
  15. Derivative of u*v , u times v
  16. Derivative of u/v
  17. Derivative of x power n
  18. Derviative of 1/u