Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

2.7: Derivatives of Inverse Functions

( \newcommand{\kernel}{\mathrm{null}\,}\)

Recall that a function y=f(x) is said to be one to one if it passes the horizontal line test; that is, for two different x values x1 and x2, we do not have f(x1)=f(x2). In some cases the domain of f must be restricted so that it is one to one. For instance, consider f(x)=x2. Clearly, f(1)=f(1), so f is not one to one on its regular domain, but by restricting f to (0,), f is one to one.

Now recall that one to one functions have inverses. That is, if f is one to one, it has an inverse function, denoted by f1, such that if f(a)=b, then f1(b)=a. The domain of f1 is the range of f, and vice-versa. For ease of notation, we set g=f1 and treat g as a function of x.

Since f(a)=b implies g(b)=a, when we compose f and g we get a nice result: f(g(b))=f(a)=b. In general, f(g(x))=x and g(f(x))=x. This gives us a convenient way to check if two functions are inverses of each other: compose them and if the result is x, then they are inverses (on the appropriate domains.)

When the point (a,b) lies on the graph of f, the point (b,a) lies on the graph of g. This leads us to discover that the graph of g is the reflection of f across the line y=x. In Figure 2.29 we see a function graphed along with its inverse. See how the point (1,1.5) lies on one graph, whereas (1.5,1) lies on the other. Because of this relationship, whatever we know about f can quickly be transferred into knowledge about g.

clipboard_e6f1c80d5800c61107e39bea55e4d040b.png
Figure 2.29: A function f along with its inverse f1. (Note how it does not matter which function we refer to as f; the other is f1.)

For example, consider Figure 2.30 where the tangent line to f at the point (a,b) is drawn. That line has slope f(a). Through reflection across y=x, we can see that the tangent line to g at the point (b,a) should have slope 1f(a). This then tells us that g(b)=1f(a).

clipboard_e02c2bf78251ec8acfa5fb84e58552d43.png
Figure 2.30: Corresponding tangent lines drawn to f and f1.

Consider:

clipboard_e920486e121f4be35febada3efb6f933b.png

We have discovered a relationship between f and g in a mostly graphical way. We can realize this relationship analytically as well. Let y=g(x), where again g=f1. We want to find y. Since y=g(x), we know that f(y)=x. Using the Chain Rule and Implicit Differentiation, take the derivative of both sides of this last equality.

ddx(f(y))=ddx(x)f(y)y=1y=1f(y)y=1f(g(x))

This leads us to the following theorem.

Theorem 22: Derivatives of Inverse Functions

Let f be differentiable and one to one on an open interval I, where f(x)0 for all x in I, let J be the range of f on I, let g be the inverse function of f, and let f(a)=b for some a in I. Then g is a differentiable function on J, and in particular,

1.(f1)(b)=g(b)=1f(a)\quad \text{ and }\quad 2. \left(f^{-1}\right)^\prime (x)=g^\prime (x) = \frac{1}{f^\prime(g(x))}\)

The results of Theorem 22 are not trivial; the notation may seem confusing at first. Careful consideration, along with examples, should earn understanding.

In the next example we apply Theorem 22 to the arcsine function.

Example 75: Finding the derivative of an inverse trigonometric function

Let y=arcsinx=sin1x. Find y using Theorem 22.

clipboard_eecb80642b1280ffde779ac4d4301da31.png
Figure 2.32: A right triangle defined by y=sin1(x/1) with the length of the third leg found using the Pythagorean Theorem.

Solution

Adopting our previously defined notation, let g(x)=arcsinx and f(x)=sinx. Thus f(x)=cosx. Applying the theorem, we have

g(x)=1f(g(x))=1cos(arcsinx).

This last expression is not immediately illuminating. Drawing a figure will help, as shown in Figure 2.32. Recall that the sine function can be viewed as taking in an angle and returning a ratio of sides of a right triangle, specifically, the ratio "opposite over hypotenuse.'' This means that the arcsine function takes as input a ratio of sides and returns an angle. The equation y=arcsinx can be rewritten as y=arcsin(x/1); that is, consider a right triangle where the hypotenuse has length 1 and the side opposite of the angle with measure y has length x. This means the final side has length 1x2, using the Pythagorean Theorem.

Therefore cos(sin1x)=cosy=1x2/1=1x2, resulting in ddx(arcsinx)=g(x)=11x2.

Remember that the input x of the arcsine function is a ratio of a side of a right triangle to its hypotenuse; the absolute value of this ratio will never be greater than 1. Therefore the inside of the square root will never be negative.

In order to make y=sinx one to one, we restrict its domain to [π/2,π/2]; on this domain, the range is [1,1]. Therefore the domain of y=arcsinx is [1,1] and the range is [π/2,π/2]. When x=±1, note how the derivative of the arcsine function is undefined; this corresponds to the fact that as x±1, the tangent lines to arcsine approach vertical lines with undefined slopes.

In Figure 2.33 we see f(x)=sinx and f1=sin1x graphed on their respective domains. The line tangent to sinx at the point (π/3,3/2) has slope cosπ/3=1/2. The slope of the corresponding point on sin1x, the point (3/2,π/3), is 11(3/2)2=113/4=11/4=11/2=2,verifying yet again that at corresponding points, a function and its inverse have reciprocal slopes.

clipboard_ec2726beb615b5f59d2a8e8ec012bfe30.png
Figure 2.33: Graphs of sinx and sin1x along with corresponding tangent lines.

Using similar techniques, we can find the derivatives of all the inverse trigonometric functions. In Figure 2.31 we show the restrictions of the domains of the standard trigonometric functions that allow them to be invertible.

clipboard_eb1017848bdbb926f76c0e4263a5f5636.png
Figure 2.31: Domains and ranges of the trigonometric and inverse trigonometric functions.

Theorem 23: Derivatives of Inverse Trigonometric Functions

The inverse trigonometric functions are differentiable on all open sets contained in their domains (as listed in Figure 2.31) and their derivatives are as follows:

1.ddx(sin1(x))=11x24.ddx(cos1(x))=11x22.ddx(sec1(x))=1|x|x215.ddx(csc1(x))=1|x|x213.ddx(tan1(x))=11+x26.ddx(cot1(x))=11+x2

Note how the last three derivatives are merely the opposites of the first three, respectively. Because of this, the first three are used almost exclusively throughout this text.

In Section 2.3, we stated without proof or explanation that ddx(lnx)=1x. We can justify that now using Theorem 22, as shown in the example.

Example 76: Finding the derivative of y = ln x

Use Theorem 22 to compute ddx(lnx).

Solution

View y=lnx as the inverse of y=ex. Therefore, using our standard notation, let f(x)=ex and g(x)=lnx. We wish to find g(x). Theorem 22 gives:

g(x)=1f(g(x))=1elnx=1x.

In this chapter we have defined the derivative, given rules to facilitate its computation, and given the derivatives of a number of standard functions. We restate the most important of these in the following theorem, intended to be a reference for further work.

Theorem 24: Glossary of Derivatives of Elementary Functions

Let u and v be differentiable functions, and let a, c and n be real numbers, a>0, n0.

clipboard_ea81208904c38ec1ed04ca387a5919b5a.png


This page titled 2.7: Derivatives of Inverse Functions is shared under a CC BY-NC 3.0 license and was authored, remixed, and/or curated by Gregory Hartman et al. via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?