Section 4.8 Derivatives of Inverse Functions
¶Suppose we wanted to find the derivative of the inverse, but do not have an actual formula for the inverse function? Then we can use the following derivative formula for the inverse evaluated at \(a\text{.}\)
Theorem 4.80. Derivative of Inverse Functions.
Given an invertible function \(f(x)\text{,}\) the derivative of its inverse function \(f^{-1}(x)\) evaluated at \(x=a\) is:
To see why this is true, start with the function \(y=f^{-1}(x)\text{.}\) Write this as \(x=f(y)\) and differentiate both sides implicitly with respect to \(x\) using the Chain Rule:
Thus,
but \(y=f^{-1}(x)\text{,}\) thus,
At the point \(x=a\) this becomes:
Example 4.81. Derivatives of Inverse Functions.
Suppose \(f(x)=x^5+2x^3+7x+1\text{.}\) Find \(\left[f^{-1}\right]'(1)\text{.}\)
First we should show that \(f^{-1}\) exists (i.e. that \(f\) is one-to-one). In this case the derivative \(f'(x)=5x^4+6x^2+7\) is strictly greater than 0 for all \(x\text{,}\) so \(f\) is strictly increasing and thus one-to-one.
It's difficult to find the inverse of \(f(x)\) (and then take the derivative). Thus, we use the above formula evaluated at \(1\text{:}\)
Note that to use this formula we need to know what \(f^{-1}(1)\) is, and the derivative \(f'(x)\text{.}\) To find \(f^{-1}(1)\) we make a table of values (plugging in \(x=-3,-2,-1,0,1,2,3\) into \(f(x)\)) and see what value of \(x\) gives \(1\text{.}\) We omit the table and simply observe that \(f(0)=1\text{.}\) Thus,
Now we have:
And so, \(f'(0)=7\text{.}\) Therefore,
Example 4.82. Tangent Line of Inverse Functions.
Find the equation of the tangent line to the inverse of
at \((-1,0)\text{.}\)
First, we differentiate
The derivative of \(f^{-1}\) is:
An equation of the tangent line at \((-1,0)\) is then
Subsection 4.8.1 Derivatives of Inverse Trigonometric Functions
We can apply the technique used to find the derivative of \(f^{-1}\) above to find the derivatives of the inverse trigonometric functions.
In the following examples we will derive the formulae for the derivative of the inverse sine, inverse cosine and inverse tangent. The other three inverse trigonometric functions have been left as exercises at the end of this section.
Example 4.83. Derivative of Inverse Sine.
Find the derivative of \(\sin^{-1}(x)\text{.}\)
As above, we write \(y=\sin^{-1}(x)\text{,}\) so \(x=\sin(y)\) and \(-\pi/2\leq y\leq \pi/2\text{,}\) and differentiate both sides with respect to \(x\) using the Chain Rule.
Although correct, this formula is cumbersome to use, and can be simplified significantly with a bit of trigonometry. Let \(\theta=\sin^{-1}(x)\text{,}\) so \(\sin(\theta)=x\text{,}\) and construct a right angle triangle with angle \(\theta\text{,}\) opposite side length \(x\) and hypotenuse 1. The Pythagorean Theorem gives an adjacent side length of \(\sqrt{1-x^2}\text{,}\) so \(\cos\left(\sin^{-1}(x)\right)=\cos(\theta)=\sqrt{1-x^2}\text{.}\) Note that we choose the non-negative square root \(\sqrt{1-x^2}\) since \(\cos(\theta)\geq 0\) when \(-\pi/2\leq\theta\leq\pi/2\text{.}\)
Finally, the derivative of inverse sine is
Example 4.84. Derivative of Inverse Cosine.
Find the derivative of \(\cos^{-1}(x)\text{.}\)
Let \(y=\cos^{-1}(x)\text{,}\) so \(\cos(y)=x\) and \(0\leq y\leq \pi\text{.}\) Next we differentiate implicitly:
This time, just for variety, we will leave the derivative in terms of \(y\) and apply some trigonometry. Since \(\cos y=x\text{,}\) we construct a triangle with angle \(y\text{,}\) adjacent side length \(x\) and hypotenuse \(1\text{.}\) Solving for the opposite side length using Pythagorean Theorem we obtain \(\sqrt{1-x^2}\text{.}\) Using this triangle we can see that \(\sin y=\sqrt{1-x^2}\) (\(0\leq y\leq \pi\)). Substituting this into the equation for \(dy/dx\text{,}\) we find that
In the following example we explore an alternate method of finding the derivative.
Example 4.85. Derivative of Inverse Tangent.
Find the derivative of \(\tan^{-1}(x)\text{.}\)
We begin with \(\tan\left(\tan^{-1}(x)\right)=x\text{.}\) Taking the derivative using the Chain Rule we obtain
which we rearrange to obtain
Let \(\tan^{-1}(x)=\theta\text{,}\) then \(\tan(\theta)=x\text{.}\) We construct a triangle with angle \(\theta\text{,}\) adjacent side \(1\) and opposite side \(x\text{.}\) The hypotenuse is \(\sqrt{1+x^2}\) using Pythagorean Theorem. Then \(\sec^2\left(\tan^{-1}(x)\right)=\sec^2(\theta)=\left(\sec(\theta)\right)^2=\left(\sqrt{1+x^2}\right)^2=1+x^2\text{.}\) Recall that \(\sec(x)=1/\cos(x)\text{.}\) Finally, the derivative is
The derivatives of the three remaining inverse trigonometric functions can be found in a similar manner. The table below provides a summary of the derivatives of all six inverse trigonometric functions and their domains.
Theorem 4.86. Inverse Trig Derivatives.
Example 4.87. Inverse Functions and Chain Rule.
Find the derivative of \(f(x)=\log_{2}\left(\sin^{-1}(x^{2}-3x)\right)\text{.}\)
Example 4.88. Inverse Functions and Implicit Differentiation.
Find \(\frac{dy}{dx}\) for \(\cos^{-1}(xy) = x^{2}\text{.}\)
Exercises for Section 4.8.
Exercise 4.8.1.
Find the derivative of the function.
-
\(\ds f(x)=\csc^{-1} (5x^{2}+1)\)
AnswerSolution\(\ds f'(x)= -\dfrac{10x}{(5x^{2}+1)\sqrt{(5x^{2}+1)^{2}-1}}\)\(\begin{aligned}\diff{f}{x} \amp = \diff{}{x} \csc^{-1}(5x^2+1)\\ \amp = -\frac{1}{|5x^2+1|\sqrt{(5x^2+1)^2-1}} \diff{}{x} (5x^2+1)\\ \amp = -\frac{10x}{|5x^2+1|\sqrt{(5x^2+1)^2-1}} \end{aligned}\)
-
\(\ds f(x)=(\tan^{-1}(2x))^{3}\)
AnswerSolution\(\ds f'(x)= \dfrac{6(\tan^{-1}(2x))^{2}}{1+4x^{2}}\)\(\begin{aligned}\diff{f}{x} \amp = \diff{}{x} \left(\tan^{-1}(2x)\right)^3\\ \amp = 3\left(\tan^{-1}(2x)\right)^2\diff{}{x} \tan^{-1}(2x)\\ \amp = 3\left(\tan^{-1}(2x)\right)^2 \cdot \frac{1}{1+4x^2} \diff{}{x} (2x)\\ \amp =3\left(\tan^{-1}(2x)\right)^2 \cdot \frac{1}{1+4x^2} \cdot 2 \\ \amp = \frac{6 \left(\tan^{-1}(2x)\right)^2}{1+4x^2} \end{aligned}\)
-
\(\ds g(x)=\sqrt{e^{cos^{-1}(x)}}\)
AnswerSolution\(\ds g'(x)=-\dfrac{\sqrt{e^{\cos^{-1}x}}}{2\sqrt{1-x^{2}}}\)\(\begin{aligned}\diff{g}{x} \amp = \diff{}{x} \sqrt{e^{\cos^{-1}(x)}} \\ \amp = \frac{1}{2\sqrt{e^{\cos^{-1}(x)}} } \diff{}{x} e^{\cos^{-1}(x)} \\ \amp = \frac{1}{2\sqrt{e^{\cos^{-1}(x)}} } \cdot e^{\cos^{-1}(x)} \diff{}{x} \cos^{-1}(x) \\ \amp = \frac{1}{2\sqrt{e^{\cos^{-1}(x)}} } \cdot e^{\cos^{-1}(x)} \cdot \frac{1}{\sqrt{1-x^2}} \\ \amp =\frac{\sqrt{e^{\cos^{-1}(x)}}} {2\sqrt{1-x^2}} \end{aligned}\)
-
\(\ds f(t)=\ln(\sin^{-1}t)\)
AnswerSolution\(\ds f'(t)= \dfrac{1}{\sqrt{1-t^{2}}\sin^{-1}t}\)\(\begin{aligned}\diff{f}{t} \amp = \diff{}{t} \ln\bigl(\sin^{-1} t\bigr)\\ \amp = \frac{1}{\sin^{-1}t} \diff{}{t} \sin^{-1}(t) \\ \amp = \frac{1}{\sin^{-1}t\sqrt{1-t^2}} \end{aligned}\)
-
\(\ds f(x)=\sec^{-1}(x^{3/2})\)
AnswerSolution\(\ds f'(x)= \dfrac{2}{2|x|\sqrt{x^{3}-1}}\)\(\begin{aligned}\diff{f}{x} \amp = \diff{}{x} \sec^{-1}(x^{3/2})\\ \amp = \frac{1}{|x^{3/2}| \sqrt{|x|^3-1}} \diff{}{x} x^{3/2} \\ \amp = \frac{3\sqrt{x}}{2|x^{3/2}| \sqrt{|x|^3-1}}\\ \amp = \frac{3}{2|x| \sqrt{|x|^3-1}} \end{aligned}\)
-
\(\ds h(s)=\cos^{-1}(\log_{2}s)\)
AnswerSolution\(\ds h'(s)= -\dfrac{1}{(\ln 2)s\sqrt{1-(\log_{2}s)^{2}}}\)\(\begin{aligned}\diff{h}{s} \amp = \diff{}{x} \cos^{-1}(\log_2 s)\\ \amp = -\frac{1}{\sqrt{1-(\log_2 s)^2}} \diff{}{s} \log_2 s\\ \amp = -\frac{1}{s\ln(2)\sqrt{1-(\log_2 s)^2}} \end{aligned}\)
-
\(\ds f(x)=(\cot^{-1}x)^{1/3}\)
AnswerSolution\(\ds f'(x)= -\dfrac{1}{3(1+x^{2})(\cot^{-1}x)^{2/3}}\)\(\begin{aligned}\diff{f}{x} \amp = \diff{}{x} (\cot^{-1}x)^{1/3} \\ \amp = \frac{1}{3} (\cot^{-1}x)^{-2/3}) \diff{}{x} \cot^{-1} x\\ \amp = \frac{-1}{3(1+x^2)} (\cot^{-1}x)^{-2/3}) \end{aligned}\)
-
\(\ds g(t)=\sin^{-1}(3^{t})\)
AnswerSolution\(\ds g'(t)= \dfrac{3^{t}(\ln 3)}{\sqrt{1-3^{2t}}}\)\(\begin{aligned}\diff{g}{t} \amp = \diff{}{t} \sin^{-1}(3^t) \\ \amp = \frac{1}{\sqrt{1-(3^t)^2}} \diff{}{t} 3^t \\ \amp = \frac{3^t \ln(3)}{\sqrt{1-3^{2t}}} \end{aligned}\)
Exercise 4.8.2.
Find \(\frac{dy}{dx}\) by implicit differentiation.
-
\(\ds \sin^{-1}(xy)+xy = x\)
AnswerSolution\(\ds \frac{dy}{dx}= \left(1-y-\dfrac{y}{\sqrt{1-(xy)^{2}}}\right)\left(\dfrac{x}{\sqrt{1-(xy)^{2}}}+x\right)^{-1}\)\(\begin{aligned}\amp \diff{}{x}\left(\sin(xy)+xy\right) =\diff{}{x}(x) \amp \\ \amp \dfrac{1}{\sqrt{1-(xy)^{2}}}\left(y+xy'\right) + \left(y+xy'\right) = 1\amp \\ \amp \left(xy'\right) \left(\dfrac{1}{\sqrt{1-(xy)^{2}}} + 1\right) = 1 - y \left(\dfrac{1}{\sqrt{1-(xy)^{2}}} + 1\right)\amp \\\amp y' = \left(1-y-\dfrac{y}{\sqrt{1-(xy)^{2}}}\right)\left(\dfrac{x}{\sqrt{1-(xy)^{2}}} + x\right)^{-1}\amp \end{aligned}\)
-
\(\ds \tan^{-1}(x-y)=xy\)
AnswerSolution\(\ds \frac{dy}{dx} = \left(\dfrac{1}{1+(x-y)^{2}}-y\right)\left(\dfrac{1}{1+(x-y)^{2}}+x\right)^{-1}\)\(\begin{aligned}\amp \diff{}{x} \tan^{-1}(x-y) = \diff{}{x} xy\amp \\ \amp \frac{1}{1+(x-y)^2} \diff{}{x} (x-y) = xy' + y\amp \\ \amp \frac{1-y'}{1+(x-y)^2} = xy' + y\amp \\ \amp \frac{-y'}{1+(x-y)^2} - xy' = \frac{-1}{1+(x-y)^2} + y\amp \\ \amp y' = \frac{\frac{1}{1+(x-y)^2}-y}{\frac{1}{1+(x-y)^2}+x}\amp \end{aligned}\)
Exercise 4.8.3.
Given \(f(x)=1+\ln(x-2)\text{,}\) first show that \(f^{-1}\) exists, then compute \(\left[f^{-1}\right]'(1)\text{.}\)
AnswerLet \(y=f(x)=1+\ln(x-2)\text{.}\) Then,
Therefore \(f^{-1}(x) = e^{x-1}+2\text{.}\)
\(f^{-1}(1) = e^{0}+2 = 3\text{.}\) So,
Exercise 4.8.4.
The inverse cotangent function, denoted by \(\cot^{-1}(x)\text{,}\) is defined to be the inverse of the restricted cotangent function: \(\cot (x)\text{,}\) \(0\lt x\lt \pi\text{.}\) Find the derivative of \(\cot^{-1}(x)\text{.}\)
AnswerWe know that
To derive this formula, let \(y=\cot(x)\text{.}\) That is, \(\cot^{-1} y = x\text{.}\) Then we know that
We now take
It remains to evaluate \(\sin^2 x\text{.}\) We have \(\cot(x)=y\text{,}\) and so we construct the followng right triangle \((0 \lt x \lt \pi)\text{:}\)
Hence,
Altogether, we have shown that
This gives the desired formula.
Exercise 4.8.5.
The inverse secant function, denoted by \(\sec^{-1}(x)\text{,}\) is defined to be the inverse of the restricted secant function: \(\sec(x)\text{,}\) \(x\in[0,\pi/2)\cup[\pi,3\pi/2)\text{.}\) Find the derivative of \(\sec^{-1}(x)\text{.}\)
AnswerWe know that the formula for the derivative of the inverse secant function is given by
To derive this formula, let
Differentiating both sides of this equation, we have
Rearranging, we have
Now, let \(\theta = \sec^{-1} x\text{.}\) So we need to find \(\cos^2 \theta\) and \(\sin \theta\text{.}\) Given that \(\sec \theta = x\text{,}\) we can construct the following right triangle (for \(\theta \in [0,\pi/2) \cup [\pi,3\pi/2)\)):
Hence,
Altogther, we have
which agrees with the formula above.
Exercise 4.8.6.
The inverse cosecant function, denoted by \(\csc^{-1}(x)\text{,}\) is defined to be the inverse of the restricted cosecant function: \(\csc(x)\text{,}\) \(x\in(0,\pi/2]\cup(\pi,3\pi/2]\text{.}\) Find the derivative of \(\csc^{-1}(x)\text{.}\)
AnswerWe know that the formula for the derivative of the inverse cosecant function is
To derive this formula, we start with \(\csc\bigl(\csc^{-1} x \bigr) = x\text{.}\) Then differentiating both sides, we find
Therefore,
Now, let \(\theta = \csc^{-1} x\text{.}\) Then we need to find \(\sin^2 \theta\) and \(\cos \theta\text{.}\) Since \(\csc(\theta) = x\text{,}\) we can construct the following right triangle (for \(\theta \in [0,\pi/2) \cup [\pi,3\pi/2)\)):
Hence,
Altogether, we have found that
which agrees with the formula above.
Exercise 4.8.7.
Suppose \(f(x)=x^3+4x+2\text{.}\) Find the slope of the tangent line to the graph of \(g(x)=xf^{-1}(x)\) at the point where \(x=7\text{.}\)
AnswerDifferentiating \(g(x)\text{,}\) we have
Now notice that \(f(1)=7\text{.}\) That is, \(f^{-1}(7)=1\text{.}\) Since
we have
Therefore,
Exercise 4.8.8.
Find the derivatives of \(\sin^{-1}(x)+\cos^{-1}(x)\) and \((x^2+1)\tan^{-1}(x)\text{.}\)
AnswerWe first differentiate \(\sin^{-1} x + \cos^{-1} x\) using the formulas for the derivatives of inverse trigonometric functions:
Next, we differentiate \((x^2+1)\tan^{-1} x\text{:}\)
Exercise 4.8.9.
Differentiate \(y=\sin^{-1}(x^2)\) and \(y=\tan^{-1}(3x)\text{.}\)
AnswerBy the chain rule, we see that
for \(x \in (-1,1)\) and
for \(x \in (-\infty,\infty)\text{.}\)