In this section we will figure out how to differentiate the inverse of a function. To do so, we recall that if and are inverses, then for all in the domain of . Differentiating and simplifying yields:
Note that the derivation above assumes that the function is differentiable. It is possible to prove that must be differentiable if is nonzero, but the proof is beyond the scope of this text. However, assuming this fact we have shown the following:
Let be differentiable and one-to-one on an open interval , where for all in , let be the range of on , let be the inverse function of , and let for some in . Then is a differentiable function on , and in particular,
The results of Theorem 7.2.1 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 7.2.1 to the arcsine function.
Let . Find using Theorem 7.2.1.
SolutionAdopting our previously defined notation, let and . Thus . Applying Theorem 7.2.1, we have
This last expression is not immediately illuminating. Drawing a figure will help, as shown in Figure 7.2.1. 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 can be rewritten as ; that is, consider a right triangle where the hypotenuse has length 1 and the side opposite of the angle with measure has length . This means the final side has length , using the Pythagorean Theorem.
Therefore , resulting in
Remember that the input of the arcsine function is a ratio of a side of a right triangle to its hypotenuse; the absolute value of this ratio will be less than 1. Therefore will be positive.
In order to make one-to-one, we restrict its domain to ; on this domain, the range is . Therefore the domain of is and the range is . When , note how the derivative of the arcsine function is undefined; this corresponds to the fact that as , the tangent lines to arcsine approach vertical lines with undefined slopes.
In Figure 7.2.2 we see and graphed on their respective domains. The line tangent to at the point has slope . The slope of the corresponding point on , the point , is
verifying Theorem 7.2.1 yet again: at corresponding points, a function and its inverse have reciprocal slopes.
Using similar techniques, we can find the derivatives of all the inverse trigonometric functions after first restricting their domains according to Figure 7.1.5 to allow them to be invertible.
The inverse trigonometric functions are differentiable on all open sets contained in their domains (as listed in Figure 7.1.5) and their derivatives are as follows:
Note how the last three derivatives are merely the negatives of the first three, respectively. Because of this, the first three are used almost exclusively throughout this text.
Find the derivatives of the following functions:
Solution
We use Theorem 7.2.2 and the Chain Rule to find:
We use Theorem 7.2.2 and the Quotient Rule to compute:
We apply Theorem 7.2.2 and the Chain Rule again to compute:
Theorem 7.2.2 allows us to integrate some functions that we could not integrate before. For example,
Combining these formulas with -substitution yields the following:
Let . Then
We will look at the second part of this theorem. The other parts are similar and are left as exercises.
First we note that the integrand involves the number , but does not explicitly involve . We make the assumption that in order to simplify what follows. We can rewrite the integral as follows:
We next use the substitution and to find:
We conclude this section with several examples.
Find the following integrals.
Solution
We use the substitution and to find:
This does not immediately look like one of the forms in Theorem 7.2.3, but we can complete the square in the denominator to see that
We now use the substitution and to find:
If lies on the graph of and , what can be said about ?
Since , what does this tell us about ?
In Exercises 3–8., an invertible function is given along with a point that lies on its graph. Using Theorem 7.2.1, evaluate at the indicated value.
In Exercises 9–18., compute the derivative of the given function.
In Exercises 19–22., compute the derivative of the given function in two ways:
By simplifying first, then taking the derivative, and
by using the Chain Rule first then simplifying.
Verify that the two answers are the same.
In Exercises 23–24., find the equation of the line tangent to the graph of at the indicated value.
at
at
In Exercises 25–30., compute the indicated integral.
A regulation hockey goal is 6 feet wide. If a player is skating towards the end line on a line perpendicular to the end line and 10 feet from the imaginary line joining the center of one goal to the center of the other, the angle between the player and the goal first increases and then begins to decrease. In order to maximize this angle, how far from the end line should the player be when they shoot the puck?