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 increments in function, , and increments in variable, . Consider this plot of a function and its inverse:

PIC
Since the graph of the inverse of a function is the reflection of the graph of the function over the line , we see that the increments are “switched” when reflected. Hence we see that Taking the limit as goes to , we can obtain the expression for the derivative of .

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.