5.7: Integrals Resulting in Inverse Trigonometric Functions
- Page ID
- 2517
\( \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}\)- Integrate functions resulting in inverse trigonometric functions
In this section we focus on integrals that result in inverse trigonometric functions. We have worked with these functions before. Recall, that trigonometric functions are not one-to-one unless the domains are restricted. When working with inverses of trigonometric functions, we always need to be careful to take these restrictions into account. Also, we previously developed formulas for derivatives of inverse trigonometric functions. The formulas developed there give rise directly to integration formulas involving inverse trigonometric functions.
Integrals that Result in Inverse Trigonometric Functions
Let us begin this last section of the chapter with the three formulas. Along with these formulas, we use substitution to evaluate the integrals. We prove the formula for the inverse sine integral.
The following integration formulas yield inverse trigonometric functions:
\[ \begin{align} ∫\dfrac{du}{\sqrt{a^2−u^2}} =\sin^{−1}\left(\dfrac{u}{a}\right)+C \\ ∫\dfrac{du}{a^2+u^2} =\dfrac{1}{a}\tan^{−1}\left(\dfrac{u}{a}\right)+C \\ ∫\dfrac{du}{u\sqrt{u^2−a^2}} =\dfrac{1}{a}\sec^{−1}\left(\dfrac{|u|}{a}\right)+C \end{align} \nonumber \]
Let \( y=\sin^{−1}\frac{x}{a}\). Then \( a \sin y=x\). Now using implicit differentiation, we obtain
\[ \dfrac{d}{dx}(a \sin y)=\dfrac{d}{dx}(x) \nonumber \]
\[ a\cos y\dfrac{dy}{dx}=1 \nonumber \]
\[ \dfrac{dy}{dx}=\dfrac{1}{a\cos y}. \nonumber \]
For \( −\dfrac{π}{2}≤y≤\dfrac{π}{2},\cos y≥0.\) Thus, applying the Pythagorean identity \( \sin^2y+\cos^2y=1\), we have \( \cos y=\sqrt{1-\sin^2y}.\) This gives
\[ \begin{align} \dfrac{1}{a \cos y} =\dfrac{1}{a\sqrt{1−\sin^2y}} \\ =\dfrac{1}{\sqrt{a^2−a^2 \sin^2y}} \\ =\dfrac{1}{\sqrt{a^2−x^2}}. \end{align} \nonumber \]
Then for \( −a≤x≤a,\) we have
\[ ∫\dfrac{1}{\sqrt{a^2−u^2}}\,du=\sin^{−1}\left(\frac{u}{a}\right)+C. \nonumber \]
□
Evaluate the definite integral
\[ ∫^{1/2}_0\dfrac{dx}{\sqrt{1−x^2}}. \nonumber \]
Solution
We can go directly to the formula for the antiderivative in the rule on integration formulas resulting in inverse trigonometric functions, and then evaluate the definite integral. We have
\[\int_0^{1/2}\dfrac{dx}{\sqrt{1-x^2}} = \sin^{-1} x \,\bigg|_0^{1/2} = \sin^{-1} \tfrac{1}{2} - \sin^{-1} 0 = \dfrac{\pi}{6}-0 = \dfrac{\pi}{6}. \nonumber \]
Note that since the integrand is simply the derivative of \(\sin^{-1} x\), we are really just using this fact to find the antiderivative here.
Find the indefinite integral using an inverse trigonometric function and substitution for \(\displaystyle ∫\dfrac{dx}{\sqrt{9−x^2}}\).
- Hint
-
Use the formula in the rule on integration formulas resulting in inverse trigonometric functions.
- Answer
-
\( \displaystyle ∫\dfrac{dx}{\sqrt{9−x^2}} \quad=\quad \sin^{−1}\left(\dfrac{x}{3}\right)+C \)
In many integrals that result in inverse trigonometric functions in the antiderivative, we may need to use substitution to see how to use the integration formulas provided above.
Evaluate the integral
\[ ∫\dfrac{dx}{\sqrt{4−9x^2}}.\nonumber \]
Solution
Substitute \( u=3x\). Then \( du=3\,dx\) and we have
\[ ∫\dfrac{dx}{\sqrt{4−9x^2}}=\dfrac{1}{3}∫\dfrac{du}{\sqrt{4−u^2}}.\nonumber \]
Applying the formula with \( a=2,\) we obtain
\[ ∫\dfrac{dx}{\sqrt{4−9x^2}}=\dfrac{1}{3}∫\dfrac{du}{\sqrt{4−u^2}}=\dfrac{1}{3}\sin^{−1}\left(\dfrac{u}{2}\right)+C=\dfrac{1}{3}\sin^{−1}\left(\dfrac{3x}{2}\right)+C.\nonumber \]
Find the antiderivative of \(\displaystyle ∫\dfrac{dx}{\sqrt{1−16x^2}}.\)
- Hint
-
Substitute \( u=4x\).
- Answer
-
\( \displaystyle ∫\dfrac{dx}{\sqrt{1−16x^2}} = \dfrac{1}{4}\sin^{−1}(4x)+C\)
Evaluate the definite integral
\[ ∫^{\sqrt{3}/2}_0\dfrac{du}{\sqrt{1−u^2}}\nonumber. \nonumber \]
Solution
The format of the problem matches the inverse sine formula. Thus,
\[ ∫^{\sqrt{3}/2}_0\dfrac{du}{\sqrt{1−u^2}}=\sin^{−1}u\,\bigg|^{\sqrt{3}/2}_0=[\sin^{−1}\left(\dfrac{\sqrt{3}}{2}\right)]−[\sin^{−1}(0)]=\dfrac{π}{3}.\nonumber \]
Integrals Resulting in Other Inverse Trigonometric Functions
There are six inverse trigonometric functions. However, only three integration formulas are noted in the rule on integration formulas resulting in inverse trigonometric functions because the remaining three are negative versions of the ones we use. The only difference is whether the integrand is positive or negative. Rather than memorizing three more formulas, if the integrand is negative, simply factor out −1 and evaluate the integral using one of the formulas already provided. To close this section, we examine one more formula: the integral resulting in the inverse tangent function.
Find the antiderivative of \(\displaystyle ∫\dfrac{1}{9+x^2}\,dx.\)
Solution
Apply the formula with \( a=3\). Then,
\[ ∫\dfrac{dx}{9+x^2}=\dfrac{1}{3}\tan^{−1}\left(\dfrac{x}{3}\right)+C. \nonumber \]
Find the antiderivative of \(\displaystyle ∫\dfrac{dx}{16+x^2}\).
- Hint
-
Follow the steps in Example \( \PageIndex{4}\).
- Answer
-
\(\displaystyle ∫\dfrac{dx}{16+x^2} = \frac{1}{4}\tan^{−1}\left(\dfrac{x}{4}\right)+C \)
Find an antiderivative of \(\displaystyle ∫\dfrac{1}{1+4x^2}\,dx.\)
Solution
Comparing this problem with the formulas stated in the rule on integration formulas resulting in inverse trigonometric functions, the integrand looks similar to the formula for \( \tan^{−1} u+C\). So we use substitution, letting \( u=2x\), then \( du=2\,dx\) and \( \dfrac{1}{2}\,du=dx.\)Then, we have
\[ \dfrac{1}{2}∫\dfrac{1}{1+u^2}\,du=\dfrac{1}{2}\tan^{−1}u+C=\dfrac{1}{2}\tan^{−1}(2x)+C. \nonumber \]
Use substitution to find the antiderivative of \(\displaystyle ∫\dfrac{dx}{25+4x^2}.\)
- Hint
-
Use the solving strategy from Example \( \PageIndex{5}\) and the rule on integration formulas resulting in inverse trigonometric functions.
- Answer
-
\(\displaystyle ∫\dfrac{dx}{25+4x^2} = \dfrac{1}{10}\tan^{−1}\left(\dfrac{2x}{5}\right)+C \)
Evaluate the definite integral \(\displaystyle ∫^{\sqrt{3}}_{\sqrt{3}/3}\dfrac{dx}{1+x^2}\).
Solution
Use the formula for the inverse tangent. We have
\[\int_{\sqrt{3}/3}^{\sqrt{3}} \frac{dx}{1+x^2} = \tan^{-1}x\,\bigg|_{\sqrt{3}/3}^{\sqrt{3}} = [\tan^{-1}\left(\sqrt{3}\right)] - [\tan^{-1}\left(\frac{\sqrt{3}}{3}\right)] =\frac{\pi}{3} - \frac{\pi}{6} =\frac{\pi}{6}.\nonumber \]
Evaluate the definite integral \(\displaystyle ∫^2_0\dfrac{dx}{4+x^2}\).
- Hint
-
Follow the procedures from Example \(\PageIndex{6}\) to solve the problem.
- Answer
-
\(\displaystyle ∫^2_0\dfrac{dx}{4+x^2} = \dfrac{π}{8} \)
Key Concepts
- Formulas for derivatives of inverse trigonometric functions developed in Derivatives of Exponential and Logarithmic Functions lead directly to integration formulas involving inverse trigonometric functions.
- Use the formulas listed in the rule on integration formulas resulting in inverse trigonometric functions to match up the correct format and make alterations as necessary to solve the problem.
- Substitution is often required to put the integrand in the correct form.
Key Equations
- Integrals That Produce Inverse Trigonometric Functions
\(\displaystyle ∫\dfrac{du}{\sqrt{a^2−u^2}}=\sin^{−1}\left(\dfrac{u}{a}\right)+C\)
\(\displaystyle ∫\dfrac{du}{a^2+u^2}=\dfrac{1}{a}\tan^{−1}\left(\dfrac{u}{a}\right)+C\)
\(\displaystyle ∫\dfrac{du}{u\sqrt{u^2−a^2}}=\dfrac{1}{a}\sec^{−1}\left(\dfrac{|u|}{a}\right)+C\)
Contributors and Attributions
Gilbert Strang (MIT) and Edwin “Jed” Herman (Harvey Mudd) with many contributing authors. This content by OpenStax is licensed with a CC-BY-SA-NC 4.0 license. Download for free at http://cnx.org.
- Includes some added textual clarifications and edits by Paul Seeburger (Monroe Community College)