Skip to main content
Mathematics LibreTexts

3.5: Other Strategies for Integration

  • Page ID
    130086
    • Gilbert Strang & Edwin “Jed” Herman
    • OpenStax

    \( \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}\)
    Learning Objectives
    • Use a table of integrals to solve integration problems.
    • Use a computer algebra system (CAS) to solve integration problems.

    In addition to the techniques of integration we have already seen, several other tools are widely available to assist with the process of integration. Among these tools are integration tables, which are readily available in many books, including the appendices to this one. Also widely available are computer algebra systems (CAS), which are found on calculators and in many campus computer labs, and are free online.

    Tables of Integrals

    Integration tables, if used in the right manner, can be a handy way either to evaluate or check an integral quickly. Keep in mind that when using a table to check an answer, it is possible for two completely correct solutions to look very different. For example, in Trigonometric Substitution, we found that, by using the substitution \(\displaystyle x=\tan θ,\) we can arrive at

    \(\displaystyle ∫\frac{dx}{\sqrt{1+x^2}}=\ln \left| x+\sqrt{x^2+1}\right| +C.\)

    However, using \(\displaystyle x=\sinh θ\), we obtained a different solution—namely,

    \(\displaystyle ∫\frac{dx}{\sqrt{1+x^2}}=\sinh^{−1}x+C.\)

    We later showed algebraically that the two solutions are equivalent. That is, we showed that \(\displaystyle \sinh^{−1}x=\ln \left| x+\sqrt{x^2+1}\right| \). In this case, the two antiderivatives that we found were actually equal. This need not be the case. However, as long as the difference in the two antiderivatives is a constant, they are equivalent.

    Example \(\displaystyle \PageIndex{1}\): Using a Formula from a Table to Evaluate an Integral

    Use the table formula

    \(\displaystyle ∫\frac{\sqrt{a^2−u^2}}{u^2}du=−\frac{\sqrt{a^2−u^2}}{u}−\sin^{−1}\frac{u}{a}+C\)

    to evaluate \(\displaystyle ∫\frac{\sqrt{16−e^{2x}}}{e^x}dx.\)

    Solution

    If we look at integration tables, we see that several formulas contain expressions of the form \(\displaystyle \sqrt{a^2−u^2}.\) This expression is actually similar to \(\displaystyle \sqrt{16−e^{2x}},\) where \(\displaystyle a=4\) and \(\displaystyle u=e^x\). Keep in mind that we must also have \(\displaystyle du=e^x\). Multiplying the numerator and the denominator of the given integral by \(\displaystyle e^x\) should help to put this integral in a useful form. Thus, we now have

    \(\displaystyle ∫\frac{\sqrt{16−e^{2x}}}{e^x}dx=∫\frac{\sqrt{16−e^{2x}}}{e^{2x}}e^xdx.\)

    Substituting \(\displaystyle u=e^x\) and \(\displaystyle du=e^x\,dx\) produces \(\displaystyle ∫\frac{\sqrt{a^2−u^2}}{u^2}du.\) From the integration table (#88 in Appendix A),

    \(\displaystyle ∫\frac{\sqrt{a^2−u^2}}{u^2}du=−\frac{\sqrt{a^2−u^2}}{u}−\sin^{−1}\frac{u}{a}+C.\)

    Thus,

    \(\displaystyle ∫\frac{\sqrt{16−e^{2x}}}{e^x}dx=∫\frac{\sqrt{16−e^{2x}}}{e^{2x}}e^xdx\) Substitute \(\displaystyle u=e^x\) and \(\displaystyle du=e^xdx.\)

    \(\displaystyle =∫\frac{\sqrt{4^2−u^2}}{u^2}du\) Apply the formula using \(\displaystyle a=4\).

    \(\displaystyle =−\frac{\sqrt{4^2−u^2}}{u}−\sin^{−1}\frac{u}{4}+C\) Substitute \(\displaystyle u=e^x\).

    \(\displaystyle =−\frac{\sqrt{16−e^{2x}}}{e^x}−\sin^{−1}(\frac{e^x}{4})+C\)

    Computer Algebra Systems

    If available, a CAS is a faster alternative to a table for solving an integration problem. Many such systems are widely available and are, in general, quite easy to use.

    Example \(\displaystyle \PageIndex{2}\): Using a Computer Algebra System to Evaluate an Integral

    Use a computer algebra system to evaluate \(\displaystyle ∫\frac{dx}{\sqrt{x^2−4}}.\) Compare this result with \(\displaystyle \ln \left| \frac{\sqrt{x^2−4}}{2}+\frac{x}{2}\right| +C,\) a result we might have obtained if we had used trigonometric substitution.

    Solution

    Using Wolfram Alpha, we obtain

    \(\displaystyle ∫\frac{dx}{\sqrt{x^2−4}}=\ln \left|\sqrt{x^2−4}+x\right| +C.\)

    Notice that

    \(\displaystyle \ln \left|\frac{\sqrt{x^2−4}}{2}+\frac{x}{2}\right| +C=\ln \left|\frac{\sqrt{x^2−4}+x}{2}\right| +C=\ln \left|\sqrt{x^2−4}+x\right| −\ln 2+C.\)

    Since these two antiderivatives differ by only a constant, the solutions are equivalent. We could have also demonstrated that each of these antiderivatives is correct by differentiating them.

    You can access an integral calculator for more examples.

    Example \(\displaystyle \PageIndex{3}\): Using a CAS to Evaluate an Integral

    Evaluate \(\displaystyle ∫ \sin^3x\,dx\) using a CAS. Compare the result to \(\displaystyle \frac{1}{3}\cos^3x−\cos x+C\), the result we might have obtained using the technique for integrating odd powers of \(\displaystyle \sin x\) discussed earlier in this chapter.

    Solution

    Using Wolfram Alpha, we obtain

    \(\displaystyle ∫\sin^3x\,dx=\frac{1}{12}(\cos(3x)−9\cos x)+C.\)

    This looks quite different from \(\displaystyle \frac{1}{3}\cos^3x−\cos x+C.\) To see that these antiderivatives are equivalent, we can make use of a few trigonometric identities:

    \(\displaystyle \frac{1}{12}(\cos(3x)−9\cos x)=\frac{1}{12}(\cos(x+2x)−9\cos x)\)

    \(\displaystyle =\frac{1}{12}(\cos(x)\cos(2x)−\sin(x)\sin(2x)−9\cos x)\)

    \(\displaystyle =\frac{1}{12}(\cos x(2\cos^2x−1)−\sin x(2\sin x \cos x)−9\cos x)\)

    \(\displaystyle =\frac{1}{12}(2\cos^3x−\cos x−2\cos x(1−\cos^2x)−9\cos x)\)

    \(\displaystyle =\frac{1}{12}(4\cos^3x−12\cos x)\)

    \(\displaystyle =\frac{1}{3}\cos^3x−\cos x.\)

    Thus, the two antiderivatives are identical.

    We may also use a CAS to compare the graphs of the two functions, as shown in the following figure.

    This is the graph of a periodic function. The waves have an amplitude of approximately 0.7 and a period of approximately 10. The graph represents the functions y = cos^3(x)/3 – cos(x) and y = 1/12(cos(3x)-9cos(x). The graph is the same for both functions.
    Figure \(\PageIndex{1}\): The graphs of \(\displaystyle y=\frac{1}{3}\cos^3x−\cos x\) and \(\displaystyle y=\frac{1}{12}(\cos(3x)−9\cos x)\) are identical.
    Exercise \(\PageIndex{1}\)

    Use a CAS to evaluate \(\displaystyle ∫\frac{dx}{\sqrt{x^2+4}}\).

    Hint

    Answers may vary.

    Answer

    Possible solutions include \(\displaystyle \sinh^{−1}\left(\frac{x}{2}\right) +C\) and \(\displaystyle \ln\left|\sqrt{x^2+4}+x\right| +C.\)

    Key Concepts

    • An integration table may be used to evaluate indefinite integrals.
    • A CAS (or computer algebra system) may be used to evaluate indefinite integrals.
    • It may require some effort to reconcile equivalent solutions obtained using different methods.

    Glossary

    computer algebra system (CAS)
    technology used to perform many mathematical tasks, including integration
    integration table
    a table that lists integration formulas

    This page titled 3.5: Other Strategies for Integration is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Gilbert Strang & Edwin “Jed” Herman (OpenStax) via source content that was edited to the style and standards of the LibreTexts platform.