The ebook Elementary Calculus is based on material originally written by H.J. Keisler. For more information please read the copyright pages.


Introduction

The Fundamental Theorem of Calculus shows that every continuous function f has at least one antiderivative, namely 04_integration-170.gif. Actually, f has infinitely many antiderivatives, but any two antiderivatives off differ only by a constant. This is an important fact about antiderivatives, which we state as a theorem.

THEOREM 1

Let f be a real function whose domain is an open interval I.

(i) If F(x) is an antiderivative of f (x), then F(x) + C is an antiderivative of f(x) for every real number C.
(ii)

If F(x) and G(x) are two antiderivatives of f(x), then F(x) - G(x) is constant for all x in I. That is,

G(x) = F(x) + C

for some real number C.

Discussion:

Parts (i) and (ii) together show that if we can find one antiderivative F(x) of f(x), then the family of functions

F(x) + C, C = a real number

gives all antiderivatives of f(x). We see from Figure 4.3.1 that the graph of F(x) + C is just the graph of F(x) moved vertically by a distance C. The graphs of F(x) and F(x) + C have the same slopes at every point x. For example, let f (x) = 3x2. Then F(x) = x3 is an antiderivative of 3x2 because

04_integration-173.gif

But x3 + 6 and x3 - √2 are also antiderivatives of 3x2. In fact, x3 + C is an antiderivative of 3x2 for each real number C. Theorem 1 shows that 3x2 has no other antiderivatives.

04_integration-171.gif

Figure 4.3.1

PROOF

We prove (i) by differentiating,

04_integration-172.gif

Part (ii) follows from a theorem in Section 3.7 on curve sketching. If a function has derivative zero on I, then the function is constant on I. The difference F(x) - G(x) has derivative f(x) - f(x) = 0 and is therefore constant. We used this fact in the proof of the Fundamental Theorem of Calculus.


Last Update: 2006-11-09