Indefinite Integrals
We now look at the formal notation used to represent antiderivatives and examine some of their properties. These properties allow us to find antiderivatives of more complicated functions.
Given a function ff, we use the notation f′(x)f′(x) or dfdxdfdx to denote the derivative of ff. Here we introduce notation for antiderivatives.
If FF is an antiderivative of ff, we say that F(x)+CF(x)+C is the most general antiderivative of ff and write
The symbol ∫∫ is called an integral sign, and ∫f(x)dx∫f(x)dx is called the indefinite integral of ff.
indefinite integral
Given a function ff, the indefinite integral of ff, denoted
is the most general antiderivative of ff. If FF is an antiderivative of ff, then
The expression f(x)f(x) is called the integrand and the variable xx is the variable of integration.
Given the terminology introduced in this definition, the act of finding the antiderivatives of a function ff is usually referred to as integrating ff.
For a function ff and an antiderivative FF, the functions F(x)+CF(x)+C, where CC is any real number, is often referred to as the family of antiderivatives of ff.
Since x2x2 is an antiderivative of 2x2x and any antiderivative of 2x2x is of the form x2+Cx2+C, we write
The collection of all functions of the form x2+Cx2+C, where CC is any real number, is known as the family of antiderivatives of 2x2x. Figure 1 shows a graph of this family of antiderivatives.

For some functions, evaluating indefinite integrals follows directly from properties of derivatives.
For n≠−1n≠−1,
which comes directly from
This fact is known as the power rule for integrals.
power rule for integrals
For n≠−1n≠−1,
Evaluating indefinite integrals for some other functions is also a straightforward calculation. The following table lists the indefinite integrals for several common functions.
Differentiation Formula | Indefinite Integral |
---|---|
ddx(k)=0ddx(k)=0 | ∫kdx=∫kx0dx=kx+C∫kdx=∫kx0dx=kx+C |
ddx(xn)=nxn−1ddx(xn)=nxn−1 | ∫xndx=xn+1n+1+C∫xndx=xn+1n+1+C for n≠−1n≠−1 |
ddx(ln|x|)=1xddx(ln|x|)=1x | ∫1xdx=ln|x|+C∫1xdx=ln|x|+C |
ddx(ex)=exddx(ex)=ex | ∫exdx=ex+C∫exdx=ex+C |
ddx(sinx)=cosxddx(sinx)=cosx | ∫cosxdx=sinx+C∫cosxdx=sinx+C |
ddx(cosx)=−sinxddx(cosx)=−sinx | ∫sinxdx=−cosx+C∫sinxdx=−cosx+C |
ddx(tanx)=sec2xddx(tanx)=sec2x | ∫sec2xdx=tanx+C |
ddx(cscx)=−cscxcotx | ∫cscxcotxdx=−cscx+C |
ddx(secx)=secxtanx | ∫secxtanxdx=secx+C |
ddx(cotx)=−csc2x | ∫csc2xdx=−cotx+C |
ddx(sin−1x)=1√1−x2 | ∫1√1−x2dx=sin−1x+C |
ddx(tan−1x)=11+x2 | ∫11+x2dx=tan−1x+C |
ddx(sec−1|x|)=1x√x2−1 | ∫1x√x2−1dx=sec−1|x|+C |
From the definition of indefinite integral of f, we know
if and only if F is an antiderivative of f. Therefore, when claiming that
it is important to check whether this statement is correct by verifying that F′(x)=f(x).
Each of the following statements is of the form ∫f(x)dx=F(x)+C. Verify that each statement is correct by showing that F′(x)=f(x).
- ∫(x+ex)dx=x22+ex+C
- ∫xexdx=xex−ex+C
Earlier, we listed the indefinite integrals for many elementary functions. Let’s now turn our attention to evaluating indefinite integrals for more complicated functions.
For example, consider finding an antiderivative of a sum f+g. In the last example. we showed that an antiderivative of the sum x+ex is given by the sum (x22)+ex—that is, an antiderivative of a sum is given by a sum of antiderivatives. This result was not specific to this example.
In general, if F and G are antiderivatives of any functions f and g, respectively, then
Therefore, F(x)+G(x) is an antiderivative of f(x)+g(x) and we have
Similarly,
In addition, consider the task of finding an antiderivative of kf(x), where k is any real number. Since
for any real number k, we conclude that
These properties are summarized next.
properties of indefinite integrals
Let F and G be antiderivatives of f and g, respectively, and let k be any real number.
Sums and Differences
Constant Multiples
From this theorem, we can evaluate any integral involving a sum, difference, or constant multiple of functions with antiderivatives that are known. Evaluating integrals involving products, quotients, or compositions is more complicated. We look at and address integrals involving these more complicated functions later on in the text. In the next example, we examine how to use this theorem to calculate the indefinite integrals of several functions.
Evaluate each of the following indefinite integrals:
- ∫(5x3−7x2+3x+4)dx
- ∫x2+43√xxdx
- ∫41+x2dx
- ∫tanxcosxdx