- Find the derivative of an inverse function
- Identify the derivatives for inverse trig functions like arcsine, arccosine, and arctangent
Derivatives of Various Inverse Functions
Understanding the relationship between the derivatives of a function and its inverse is crucial when extending the application of derivatives to inverse functions without needing the limit definition every time. We start by exploring how the derivative of a function and its inverse are interlinked.
If a function f(x)f(x) is both invertible and differentiable, it logically follows that its inverse f−1(x)f−1(x) should also be differentiable.
Consider the function f(x)f(x) and its inverse f−1(x)f−1(x) as depicted in Figure 1, where the point on the graph of (a,f−1(a))(a,f−1(a)) on the graph of f−1(x)f−1(x) and the point (f−1(a),a)(f−1(a),a) on the graph of f(x)f(x) demonstrate this relationship.

At these points, the tangent lines of the function and its inverse have reciprocal slopes due to their symmetrical relationship about the line y=xy=x. Specifically, if the slope of the tangent at aa on f(x)f(x) is f′(f−1(a))=qpf′(f−1(a))=qp, then the slope at f−1(a)f−1(a) on f−1(x)f−1(x) must be qpqp. This is illustrated in the reciprocal nature of their slopes, confirming that:
We summarize this result in the following theorem.
inverse function theorem
Let f(x)f(x) be a function that is both invertible and differentiable. Let y=f−1(x)y=f−1(x) be the inverse of f(x)f(x). For all xx satisfying f′(f−1(x))≠0f′(f−1(x))≠0,
Alternatively, if y=g(x)y=g(x) is the inverse of f(x)f(x), then
Use the inverse function theorem to find the derivative of g(x)=x+2xg(x)=x+2x. Compare the resulting derivative to that obtained by differentiating the function directly.
From the previous example, we see that we can use the inverse function theorem to extend the power rule to exponents of the form 1n1n, where nn is a positive integer. This extension will ultimately allow us to differentiate xqxq, where qq is any rational number.
extending the power rule to rational exponents
The power rule may be extended to rational exponents. That is, if nn is a positive integer, then
Also, if nn is a positive integer and mm is an arbitrary integer, then
Proof
The function g(x)=x1/ng(x)=x1/n is the inverse of the function f(x)=xnf(x)=xn. Since g′(x)=1f′(g(x))g′(x)=1f′(g(x)), begin by finding f′(x)f′(x). Thus,
Finally,
To differentiate xm/nxm/n we must rewrite it as (x1/n)m(x1/n)m and apply the chain rule. Thus,
■
Find the equation of the line tangent to the graph of y=x23y=x23 at x=8x=8.