In this explainer, we will learn how to find the derivatives of inverse functions.

We will begin by recapping some important facts about inverse functions.

### Inverse Function

Let be a function with domain and range . We call a function the inverse of if, for all , and, for all ,

When we can find such a function , we say is invertible and is the inverse of . The inverse of a function is unique. We often use the notation to represent the inverse of a function. Additionally, if is the inverse of , then is the inverse of .

Recall that if we plot the graph of a function, we can find the graph of its inverse by reflecting the graph in the line .

If we consider a tangent to the graph of , its reflection in the line will be tangent to the graph of .

This tells us that there should be some algebraic relationship between the slope of the tangent to the graph of and the slope of the tangent to the graph of . In fact, we can be even more explicit about what this relationship should be. Let be the tangent to and be its image under reflection in the line . We can write the equation of as follows: where is the slope of the line. We now reflect in the line . This corresponds to mapping to .Hence, the equation of the line can be written as

Rearranging this, we can put this into slopeβintercept form. Hence, by subtracting from both sides, we have

Now we can divide by to get

This is an equation in slopeβintercept form. Hence, we can immediately read off its slope to be . What we have seen is that the slopes of the tangents to the graphs of and are reciprocals of one another.

Since the derivative represents the slope of the tangent at each point on the curve, we would expect that if we know the derivative of at some point , then the derivative of at will be its reciprocal. Hence, we anticipate that which only makes sense if . This statement is of course true and is easy to prove using the chain rule, as we shall demonstrate.

Consider the function with an inverse ; then, by definition,

Using the chain rule, we can differentiate both sides with respect to as follows:

Hence, if , we have

This is often written using Leibnizβs notation as

We will now consider some examples where we use this result to find the derivatives of a function and their inverses. In the first example, we will consider a simple function that we know how to differentiate and to find its inverse.

### Example 1: Verifying the Formula for the Derivative of an Inverse Function

Consider the function , where .

- Find .
- Express in terms of .
- By expressing in terms of , find an expression for .

### Answer

**Part 1**

Using the power rule, we have

**Part 2**

By taking reciprocals, we have

Using the equation of the function , we can express in terms of as . Substituting this into the equation, we have

**Part 3**

Since , we can now differentiate this with respect to to get

The previous example confirmed that for the given function. However, it is interesting to note that the derivative is not defined when . This is as a direct result of the fact that at this point.

Using the inverse function theorem, we can find the derivative of familiar functions such as the natural logarithm or inverse trigonometric functions.

### Example 2: Finding the Derivatives of Familiar Inverse Functions

Given that , find , giving your answer in terms of .

### Answer

We begin by taking the derivative of with respect to . Using the rule for differentiating the exponential function, we have

Since for all , we can find the derivative of the inverse function by taking the reciprocal as follows:

Since , we can rewrite this as

The last example showed us that

We can use a similar technique to find formulae for the derivatives of inverse sine, cosine, and tangent.

Sometimes, we will be asked to find the derivative of the inverse of a function at a given point. We can use a similar technique; however, we need to be careful about the point we evaluate the function as the next example will demonstrate.

### Example 3: Finding the Derivatives of Inverse Functions

Let and let be the inverse of . Given that , what is ?

### Answer

We start by finding the derivative of using the power rule to get

We can now use the formula for the derivative of the inverse , to find the derivative at . To find the derivative at this point, we need to know the value of . Since , we can apply to both sides of the equation to get . Since is the inverse of , we can rewrite this as . Hence,

Therefore, using the expression for the derivative of , we have

Clearly, in the last couple of examples, we were able to find explicit representation of the inverse of the function. However, this is not always the case, as we shall see in the next couple of examples.

### Example 4: Finding the Derivatives of Inverse Functions

Given that , find .

### Answer

In an example like this, we are clearly unable to find an explicit representation for . However, we can use the following formula for the derivative of the inverse function:

Therefore, we begin by calculating the derivative as follows:

Hence,

### Example 5: Finding the Derivatives of Inverse Functions

Given that , find .

### Answer

Using the formula for the derivative of the inverse function, we can find the derivative . We start by differentiating the expression for with respect to to get

Hence,

Moreover, we can even find the derivatives of inverse functions without an algebraic expression defining the function. In the next example, we will see how we can use a table of function values to find the derivative of the inverse function.

### Example 6: Derivatives of Inverse Functions Using Tables

Let be the inverse of .

Using the values in the table below, find .

1 | 2 | ||

2 | 4 | 1 |

### Answer

Given that we might be tempted to say that ; however, this is incorrect. Therefore, we need to be careful to evaluate at the correct point, which is not where , but where . The best way to remember this is using the formula

Substituting in , we have

Referring to the table, we see that . Therefore,

Hence, using the value from the table, we have

### Example 7: Derivatives of Inverse Functions Using Tables

Let be the inverse of .

Using the values in the table below, find .

5 | 9 | ||

0 | 3 | 0 |

### Answer

Recall that the derivative of the inverse of a function can be found using the following formula:

We would like to know the derivative at the point where ; therefore,

Using the values from the table, we can see that . Hence,

The statement which we proved earlier, that the derivative of the inverse of a function is the reciprocal of the derivative of the function, assumed that the inverse existed. However, the full statement of the inverse function theorem is actually much more powerful in that it guarantees the existence and continuity of the inverse of a function when it is continuously differentiable with a nonzero derivative. The full statement of the theorem is below.

### Inverse Function Theorem

Let be a continuously differentiable function with a nonzero derivative at a point . Then, the inverse function theorem tells us that

- is invertible in a neighborhood of ;
- has a continuously differentiable inverse in a neighborhood of ;
- the derivative of the inverse at the point is equal to the reciprocal of the derivative of at ; that is,

The proof of this theorem is rather technical and requires advanced knowledge of analysis appealing to the completeness of the real numbers, the intermediate value theorem, and so on. It is, therefore, beyond the scope of this explainer. However, it is extremely useful since it guarantees the existence of the inverse at particular points.

### Key Points

- Given a continuously differentiable function with a nonzero derivative at a point , the derivative of the inverse function at is This is often written in Leibnizβs notation as
- We need to be careful about which points we are using.
- When using these equations, we can find the derivatives of many familiar inverse functions, such as the natural logarithm and inverse trigonometric function.
- The inverse function theorem guarantees the existence of the inverse of a continuous function around points with nonzero derivatives.
- Using this theorem, we can find the derivative of inverse functions even when we are unable to find an explicit formula for the inverse.