3.9: Inverse Trigonometric Functions
- Page ID
- 5627
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)We now turn our attention to finding derivatives of inverse trigonometric functions. These derivatives will prove invaluable in the study of integration later in this text. The derivatives of inverse trigonometric functions are quite surprising in that their derivatives are actually algebraic functions. Previously, derivatives of algebraic functions have proven to be algebraic functions and derivatives of trigonometric functions have been shown to be trigonometric functions. Here, for the first time, we see that the derivative of a function need not be of the same type as the original function.
Use the inverse function theorem to find the derivative of \(g(x)=\sin^{−1}x\).
Solution
Since for \(x\) in the interval \(\left[−\frac{π}{2},\frac{π}{2}\right],f(x)=\sin x\) is the inverse of \(g(x)=\sin^{−1}x\), begin by finding \(f′(x)\). Since
\[f′(x)=\cos x \nonumber \]
and
\[f′\big(g(x)\big)=\cos \big( \sin^{−1}x\big)=\sqrt{1−x^2} \nonumber \]
we see that
\[g′(x)=\dfrac{d}{dx}\big(\sin^{−1}x\big)=\dfrac{1}{f′\big(g(x)\big)}=\dfrac{1}{\sqrt{1−x^2}} \nonumber \]
Analysis
To see that \(\cos(\sin^{−1}x)=\sqrt{1−x^2}\), consider the following argument. Set \(\sin^{−1}x=θ\). In this case, \(\sin θ=x\) where \(−\frac{π}{2}≤θ≤\frac{π}{2}\). We begin by considering the case where \(0<θ<\frac{π}{2}\). Since \(θ\) is an acute angle, we may construct a right triangle having acute angle \(θ\), a hypotenuse of length \(1\) and the side opposite angle \(θ\) having length \(x\). From the Pythagorean theorem, the side adjacent to angle \(θ\) has length \(\sqrt{1−x^2}\). This triangle is shown in Figure \(\PageIndex{2}\) Using the triangle, we see that \(\cos(\sin^{−1}x)=\cos θ=\sqrt{1−x^2}\).
In the case where \(−\frac{π}{2}<θ<0\), we make the observation that \(0<−θ<\frac{π}{2}\) and hence
\(\cos\big(\sin^{−1}x\big)=\cos θ=\cos(−θ)=\sqrt{1−x^2}\).
Now if \(θ=\frac{π}{2}\) or \(θ=−\frac{π}{2},x=1\) or \(x=−1\), and since in either case \(\cosθ=0\) and \(\sqrt{1−x^2}=0\), we have
\(\cos\big(\sin^{−1}x\big)=\cosθ=\sqrt{1−x^2}\).
Consequently, in all cases,
\[\cos\big(\sin^{−1}x\big)=\sqrt{1−x^2}.\nonumber \]
Apply the chain rule to the formula derived in Example \(\PageIndex{4A}\) to find the derivative of \(h(x)=\sin^{−1}\big(g(x)\big)\) and use this result to find the derivative of \(h(x)=\sin^{−1}(2x^3).\)
Solution
Applying the chain rule to \(h(x)=\sin^{−1}\big(g(x)\big)\), we have
\(h′(x)=\dfrac{1}{\sqrt{1−\big(g(x)\big)^2}}g′(x)\).
Now let \(g(x)=2x^3,\) so \(g′(x)=6x^2\). Substituting into the previous result, we obtain
\(\begin{align*} h′(x)&=\dfrac{1}{\sqrt{1−4x^6}}⋅6x^2\\[4pt]&=\dfrac{6x^2}{\sqrt{1−4x^6}}\end{align*}\)
Use the inverse function theorem to find the derivative of \(g(x)=\tan^{−1}x\).
- Hint
-
The inverse of \(g(x)\) is \(f(x)=\tan x\). Use Example \(\PageIndex{4A}\) as a guide.
- Answer
-
\(g′(x)=\dfrac{1}{1+x^2}\)
The derivatives of the remaining inverse trigonometric functions may also be found by using the inverse function theorem. These formulas are provided in the following theorem.
\[\begin{align} \dfrac{d}{dx}\big(\sin^{−1}x\big) &=\dfrac{1}{\sqrt{1−x^2}} \label{trig1} \\[4pt] \dfrac{d}{dx}\big(\cos^{−1}x\big) &=\dfrac{−1}{\sqrt{1−x^2}} \label{trig2} \\[4pt] \dfrac{d}{dx}\big(\tan^{−1}x\big) &=\dfrac{1}{1+x^2} \label{trig3} \\[4pt] \dfrac{d}{dx}\big(\cot^{−1}x\big) &=\dfrac{−1}{1+x^2} \label{trig4} \\[4pt] \dfrac{d}{dx}\big(\sec^{−1}x\big) &=\dfrac{1}{|x|\sqrt{x^2−1}} \label{trig5} \\[4pt] \dfrac{d}{dx}\big(\csc^{−1}x\big) &=\dfrac{−1}{|x|\sqrt{x^2−1}} \label{trig6} \end{align} \]
Find the derivative of \(f(x)=\tan^{−1}(x^2).\)
Solution
Let \(g(x)=x^2\), so \(g′(x)=2x\). Substituting into Equation \ref{trig3}, we obtain
\(f′(x)=\dfrac{1}{1+(x^2)^2}⋅(2x).\)
Simplifying, we have
\(f′(x)=\dfrac{2x}{1+x^4}\).
Find the derivative of \(h(x)=x^2 \sin^{−1}x.\)
Solution
By applying the product rule, we have
\(h′(x)=2x\sin^{−1}x+\dfrac{1}{\sqrt{1−x^2}}⋅x^2\)
Find the derivative of \(h(x)=\cos^{−1}(3x−1).\)
- Hint
-
Use Equation \ref{trig2}. with \(g(x)=3x−1\)
- Answer
-
\(h′(x)=\dfrac{−3}{\sqrt{6x−9x^2}}\)
The position of a particle at time \(t\) is given by \(s(t)=\tan^{−1}\left(\frac{1}{t}\right)\) for \(t≥ \ce{1/2}\). Find the velocity of the particle at time \( t=1\).
Solution
Begin by differentiating \(s(t)\) in order to find \(v(t)\).Thus,
\(v(t)=s′(t)=\dfrac{1}{1+\left(\frac{1}{t}\right)^2}⋅\dfrac{−1}{t^2}\).
Simplifying, we have
\(v(t)=−\dfrac{1}{t^2+1}\).
Thus, \(v(1)=−\dfrac{1}{2}.\)
Find the equation of the line tangent to the graph of \(f(x)=\sin^{−1}x\) at \(x=0.\)
- Hint
-
\(f′(0)\) is the slope of the tangent line.
- Answer
-
\(y=x\)