We see the theoretical underpinning of finding the derivative of an inverse function at a point.

There is one catch to all the explanations given above where we computed derivatives of inverse functions. To write something like we need to know that the function has a derivative. The Inverse Function Theorem guarantees this.

It is worth giving one more piece of evidence for the formula above, this time based on differentials. Consider this plot of a function and its inverse:

PIC
Since the inverse of a function is the reflection of the function over the line , we see that the differentials are ‘‘switched’’ when reflected. Hence we see that

The inverse function theorem gives us a recipe for computing the derivatives of inverses of functions at points.

If one example is good, two are better:

Finally, let’s see an example where the theorem does not apply.