An interesting thing to notice is that the slopes of the graphs of f and f^{ 1} are multiplicative inverses of each other: The slope of the graph of f is 3 and the slope of the graph of f^{ 1} is 1/3. This is a general feature of inverse functions. When you reflect across y=x, you take the reciprocal of the slope. This geometric observation goes a long way toward explaining the general differentiation formula for inverse functions.
Suppose that we are given a function f with inverse function f^{ 1}. Using a little geometry, we can compute the derivative D_{x}(f^{ 1}(x)) in terms of f.
The graph of a differentiable function f and its inverse are shown below. A point (x,y) has been selected on the graph of f^{ 1}. We have that f^{ 1}(x)=y.
Theorem. Suppose that f has an inverse function f^{ 1}. If f is differentiable at f^{ 1}(x) and f '(f^{ 1}(x)) is not equal to zero, then f^{ 1} is differentiable at x and the following differentiation formula holds.

We shall not discuss the proof of this theorem here, other than to say that the proof is relatively difficult. A first step in the proof is to show that the inverse of a continuous function is continuous; this proof in turn requires an application of the Intermediate Value Theorem (see Stage 4) and actually reveals a fairly deep and subtle property of the real numbers.
We have been more careful than usual in our statement of the differentiability result for inverse functions. You should notice that the differentiation formula for the inverse function involves division by f '(f^{ 1}(x)). We must therefore assume that this value is not equal to zero. There is also a graphical explanation for this necessity.
Example. The graphs of the cubing function f(x)=x^{3} and its inverse (the cube root function) are shown below.


The chain rule makes it easy to differentiate inverse functions.
Example. The square root function is the inverse of the squaring function f(x)=x^{2}. We must restrict the domain of the squaring function to [0,) in order to pass the horizontal line test. The differentiability theorem for inverse functions guarantees that the square root function is differentiable at x whenever f '(x)=2x is not equal to zero. This means that the square root function is differentiable on the open interval (0,). (We have already verified this using the limit definition of derivative. See Example 3 on the page "Differentiability: More Examples.")
Using the chain rule, we recalculate the derivative of the square function as follows.
Example. The same trick works for the cube root function.(sqrt(x))^{2} = x
2sqrt(x) D_{x}(sqrt(x)) = 1
D_{x}(sqrt(x)) = 1/(2sqrt(x))
(x^{1/3})^{3} = x
3(x^{1/3})^{2} D_{x}(x^{1/3}) = 1
D_{x}(x^{1/3}) = 1/(3x^{2/3}) = (1/3)x^{2/3}
COVER  CQ DIRECTORY  HUB  CQ RESOURCES 
© CalculusQuest^{TM}
Version 1
All rights reserved1996
William A. Bogley
Robby Robson