Skip to main content
Mathematics LibreTexts

5.5: Other Options for Finding Algebraic Derivatives

  • Page ID
  • \( \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}}\)

    Learning Objectives

    In this section, we strive to understand the ideas generated by the following important questions:

    • How does the method of partial fractions enable any rational function to be antidifferentiated?
    • What role have integral tables historically played in the study of calculus and how can a table be used to evaluate integrals such as R √ a 2 + u 2 du?
    • What role can a computer algebra system play in the process of finding antiderivatives?

    In the preceding sections, we have learned two very specific antidifferentiation techniques: u-substitution and integration by parts. The former is used to reverse the chain rule, while the latter to reverse the product rule. But we have seen that each only works in very specialized circumstances. For example, while R xex 2 dx may be evaluated by u-substitution and R xex dx by integration by parts, neither method provides a route to evaluate R e x 2 dx. That fact is not a particular shortcoming of these two antidifferentiation techniques, as it turns out there does not exist an elementary algebraic antiderivative for e x 2 . Said differently, no matter what antidifferentiation methods we could develop and learn to execute, none of them will be able to provide us with a simple formula that does not involve integrals for a function F(x) that satisfies F 0 (x) = e x 2 . In this section of the text, our main goals are to better understand some classes of functions that can always be antidifferentiated, as well as to learn some options for so doing. At the same time, we want to recognize that there are many functions for which an algebraic formula for an antiderivative does not exist, and also appreciate the role that computing technology can play in helping us find antiderivatives of other complicated functions. Throughout, it is helpful to remember what we have learned so far: how to reverse the chain rule through u-substitution, how to reverse the product rule through integration by parts, and that overall, there are subtle and challenging issues to address when trying to find antiderivatives.

    Preview Activity \(\PageIndex{1}\):

    For each of the indefinite integrals below, the main question is to decide whether the integral can be evaluated using u-substitution, integration by parts, a combination of the two, or neither. For integrals for which your answer is affirmative, state the substitution(s) you would use. It is not necessary to actually evaluate any of the integrals completely, unless the integral can be evaluated immediately using a familiar basic antiderivative.

    1. Z x 2 sin(x 3 ) dx, Z x 2 sin(x) dx, Z sin(x 3 ) dx, Z x 5 sin(x 3 ) dx
    2. Z 1 1 + x 2 dx, Z x 1 + x 2 dx, Z 2x + 3 1 + x 2 dx, Z e x 1 + (e x ) 2 dx,
    3. Z x ln(x) dx, Z ln(x) x dx, Z ln(1 + x 2 ) dx, Z x ln(1 + x 2 ) dx,
    4. Z x √ 1 − x 2 dx, Z 1 √ 1 − x 2 dx, Z x √ 1 − x 2 dx, Z 1 x √ 1 − x 2 dx, ./

    The Method of Partial Fractions

    The method of partial fractions is used to integrate rational functions, and essentially involves reversing the process of finding a common denominator. For example, suppoes we have the function R(x) = 5x x 2−x−2 and want to evaluate Z 5x x 2 − x − 2 dx. Thinking algebraically, if we factor the denominator, we can see how R might come from the sum of two fractions of the form A x−2 + B x+1 . In particular, suppose that 5x (x − 2)(x + 1) = A x − 2 + B x + 1 . Multiplying both sides of this last equation by (x − 2)(x + 1), we find that 5x = A(x + 1) + B(x − 2). Since we want this equation to hold for every value of x, we can use insightful choices of specific x-values to help us find A and B. Taking x = −1, we have 5(−1) = A(0) + B(−3), and thus B = 5 3 . Choosing x = 2, it follows 5(2) = A(3) + B(0), so A = 10 3 . Therefore, we now know that Z 5x x 2 − x − 2 dx = Z 10/3 x − 2 + 5/3 x + 1 dx.

    This equivalent integral expression is straightforward to evaluate, and hence we find that Z 5x x 2 − x − 2 dx = 10 3 ln |x − 2| + 5 3 ln |x + 1| + C. It turns out that for any rational function R(x) = P(x) Q(x) where the degree of the polynomial P is less than7 the degree of the polynomial Q, the method of partial fractions can be used to rewrite the rational function as a sum of simpler rational functions of one of the following forms: A x − c , A (x − c) n , or Ax + B x 2 + k where A, B, and c are real numbers, and k is a positive real number. Because each of these basic forms is one we can antidifferentiate, partial fractions enables us to antidifferentiate any rational function. A computer algebra system such as Maple, Mathematica, or WolframAlpha can be used to find the partial fraction decomposition of any rational function. In WolframAlpha, entering partial fraction 5x/(xˆ2-x-2) results in the output 5x x 2 − x − 2 = 10 3(x − 2) + 5 3(x + 1) . We will primarily use technology to generate partial fraction decompositions of rational functions, and then work from there to evaluate the integrals of interest using established methods.

    Activity \(\PageIndex{2}\):

    For each of the following problems, evaluate the integral by using the partial fraction decomposition provided.

    1. Z 1 x 2 − 2x − 3 dx, given that 1 x 2−2x−3 = 1/4 x−3 − 1/4 x+1
    2. Z x 2 + 1 x 3 − x 2 dx, given that x 2+1 x 3−x 2 = − 1 x − 1 x 2 + 2 x−1
    3. Z x − 2 x 4 + x 2 dx, given that x−2 x 4+x 2 = 1 x − 2 x 2 + −x+2 1+x 2 C

    If the degree of P is greater than or equal to the degree of Q, long division may be used to write R as the sum of a polynomial plus a rational function where the numerator’s degree is less than the denominator’s.

    Using an Integral Table

    Calculus has a long history, with key ideas going back as far as Greek mathematicians in 400-300 BC. Its main foundations were first investigated and understood independently by Isaac Newton and Gottfried Wilhelm Leibniz in the late 1600s, making the modern ideas of calculus well over 300 years old. It is instructive to realize that until the late 1980s, the personal computer essentially did not exist, so calculus (and other mathematics) had to be done by hand for roughly 300 years. During the last 30 years, however, computers have revolutionized many aspects of the world we live in, including mathematics. In this section we take a short historical tour to precede the following discussion of the role computer algebra systems can play in evaluating indefinite integrals. In particular, we consider a class of integrals involving certain radical expressions that, until the advent of computer algebra systems, were often evaluated using an integral table. As seen in the short table of integrals found in Appendix A, there are also many forms of integrals that involve √ a 2 ± w2 and √ w2 − a 2. These integral rules can be developed using a technique known as trigonometric substitution that we choose to omit; instead, we will simply accept the results presented in the table. To see how these rules are needed and used, consider the differences among Z 1 √ 1 − x 2 dx, Z x √ 1 − x 2 dx, and Z √ 1 − x 2 dx. The first integral is a familiar basic one, and results in arcsin(x) + C. The second integral can be evaluated using a standard u-substitution with u = 1 − x 2 . The third, however, is not familiar and does not lend itself to u-substitution. In Appendix A, we find the rule (8) Z √ a 2 − u 2 du = u 2 √ a 2 − u 2 + a 2 2 arcsin u a + C. Using the substitutions a = 1 and u = x (so that du = dx), it follows that Z √ 1 − x 2 dx = x 2 √ 1 − x 2 − 1 2 arcsin x + C. One important point to note is that whenever we are applying a rule in the table, we are doing a u-substitution. This is especially key when the situation is more complicated than allowing u = x as in the last example. For instance, say we wish to evaluate the integral Z √ 9 + 64x 2 dx. Once again, we want to use Rule (3) from the table, but now do so with a = 3 and u = 8x; we also choose the “+” option in the rule. With this substitution, it follows that du = 8dx, so dx = 1 du . Applying this substitution, Z √ 9 + 64x 2 dx = Z √ 9 + u 2 · 1 8 du = 1 8 Z √ 9 + u 2 du. By Rule (3), we now find that Z √ 9 + 64x 2 dx = 1 8 u 2 √ u 2 + 9 + 9 2 ln |u + √ u 2 + 9| + C = 1 8 8x 2 √ 64x 2 + 9 + 9 2 ln |8x + √ 64x 2 + 9| + C . In problems such as this one, it is essential that we not forget to account for the factor of 1 8 that must be present in the evaluation.

    Activity \(\PageIndex{3}\):

    For each of the following integrals, evaluate the integral using u-substitution and/or an entry from the table found in Appendix A.

    1. Z √ x 2 + 4 dx
    2. Z x √ x 2 + 4 dx
    3. Z 2 √ 16 + 25x 2 dx
    4. Z 1 x 2 √ 49 − 36x 2 dx C

    Using Computer Algebra Systems

    A computer algebra system (CAS) is a computer program that is capable of executing symbolic mathematics. For a simple example, if we ask a CAS to solve the equation ax2 + bx + c = 0 for the variable x, where a, b, and c are arbitrary constants, the program will return x = −b± √ b 2−4ac 2a . While research to develop the first CAS dates to the 1960s, these programs became more common and publicly available in the early 1990s. Two prominent early examples are the programs Maple and Mathematica, which were among the first computer algebra systems to offer a graphical user interface. Today, Maple and Mathematica are exceptionally powerful professional software packages that are capable of executing an amazing array of sophisticated mathematical computations. They are also very expensive, as each is a proprietary program. The CAS SAGE is an open-source, free alternative to Maple and Mathematica.

    For the purposes of this text, when we need to use a CAS, we are going to turn instead to a similar, but somewhat different computational tool, the web-based “computational knowledge engine” called WolframAlpha. There are two features of WolframAlpha that make it stand out from the CAS options mentioned above: (1) unlike Maple and Mathematica, WolframAlpha is free (provided we are willing to suffer through some pop-up advertising); and (2) unlike any of the three, the syntax in WolframAlpha is flexible. Think of WolframAlpha as being a little bit like doing a Google search: the program will interpret what is input, and then provide a summary of options. If we want to have WolframAlpha evaluate an integral for us, we can provide it syntax such as integrate xˆ2 dx to which the program responds with Z x 2 dx = x 3 3 + constant. While there is much to be enthusiastic about regarding CAS programs such as WolframAlpha, there are several things we should be cautious about:

    1. a CAS only responds to exactly what is input;
    2. a CAS can answer using powerful functions from highly advanced mathematics; and
    3. there are problems that even a CAS cannot do without additional human insight.

    Although (1) likely goes without saying, we have to be careful with our input: if we enter syntax that defines a function other than the problem of interest, the CAS will work with precisely the function we define. For example, if we are interested in evaluating the integral

    \[Z 1 16 − 5x 2 dx, \]

    and we mistakenly enter integrate 1/16 - 5xˆ2 dx a CAS will (correctly) reply with 1 16 x − 5 3 x 3 . It is essential that we are sufficiently well-versed in antidifferentiation to recognize that this function cannot be the one that we seek: integrating a rational function such as 1 16−5x 2 , we expect the logarithm function to be present in the result. Regarding (2), even for a relatively simple integral such as R 1 16−5x 2 dx, some CASs will invoke advanced functions rather than simple ones. For instance, if we use Maple to execute the command int(1/(16-5*xˆ2), x); the program responds with Z 1 16 − 5x 2 dx = √ 5 20 arctanh( √ 5 4 x). While this is correct (save for the missing arbitrary constant, which Maple never reports), the inverse hyperbolic tangent function is not a common nor familiar one; a simpler way to express this function can be found by using the partial fractions method, and happens to be the result reported by WolframAlpha:

    \[Z 1 16 − 5x 2 dx = 1 8 √ 5 log(4 √ 5 + 5 √ x) − log(4 √ 5 − 5 √ x) + constant. \]

    Using sophisticated functions from more advanced mathematics is sometimes the way a CAS says to the user “I don’t know how to do this problem.” For example, if we want to evaluate Z e −x 2 dx, and we ask WolframAlpha to do so, the input integrate exp(-xˆ2) dx results in the output

    \[Z e −x 2 dx = √ π 2 erf(x) + constant. \]

    The function “erf(x)” is the error function, which is actually defined by an integral:

    \[erf(x) = 2 √ π Z x 0 e −t 2 dt.\]

    So, in producing output involving an integral, the CAS has basically reported back to us the very question we asked. Finally, as remarked at (3) above, there are times that a CAS will actually fail without some additional human insight. If we consider the integral

    \[Z (1 + x)e x √ 1 + x 2e 2x dx \]

    and ask WolframAlpha to evaluate

    \[int (1+x) * exp(x) * sqrt(1+xˆ2 * exp(2x)) dx,\]

    the program thinks for a moment and then reports (no result found in terms of standard mathematical functions) But in fact this integral is not that difficult to evaluate. If we let u = xex , then du = (1 + x)e x dx, which means that the preceding integral has form Z (1 + x)e x √ 1 + x 2e 2x dx = Z √ 1 + u 2 du, which is a straightforward one for any CAS to evaluate. So, the above observations regarding computer algebra systems lead us to proceed with some caution: while any CAS is capable of evaluating a wide range of integrals (both definite and indefinite), there are times when the result can mislead us. We must think carefully about the meaning of the output, whether it is consistent with what we expect, and whether or not it makes sense to proceed.


    In this section, we encountered the following important ideas:

    • The method of partial fractions enables any rational function to be antidifferentiated, because any polynomial function can be factored into a product of linear and irreducible quadratic terms. This allows any rational function to be written as the sum of a polynomial plus rational terms of the form A (x−c) n (where n is a natural number) and Bx+C x 2+k (where k is a positive real number).
    • Until the development of computing algebra systems, integral tables enabled students of calculus to more easily evaluate integrals such as R √ a 2 + u 2 du, where a is a positive real number. A short table of integrals may be found in Appendix A.
    • Computer algebra systems can play an important role in finding antiderivatives, though we must be cautious to use correct input, to watch for unusual or unfamiliar advanced functions that the CAS may cite in its result, and to consider the possibility that a CAS may need further assistance or insight from us in order to answer a particular question.

    This page titled 5.5: Other Options for Finding Algebraic Derivatives is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Matthew Boelkins, David Austin & Steven Schlicker (ScholarWorks @Grand Valley State University) via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.

    • Was this article helpful?