The * Fundamental Theorem of Calculus* says,
roughly, that the following processes undo each other:

The first process is differentiation, and the second process is (definite) integration. To say that the two undo each other means that if you start with a function, do one, then do the other, you get the function you started with.

In equation form, you can say

This equation is the key to evaluating definite integrals. It says that if I can find an antiderivative for , then I can compute the definite integral by plugging the limits a and b into .

Another way of putting it is: Finding slopes of tangents and finding rectangle sums should be related in this way.

* Theorem.* (* The Fundamental
Theorem of Calculus (first version)*) Suppose f is integrable on
, and that for some differentiable function F defined
on . Then

The Fundamental Theorem of Calculus says that I can compute the definite integral of a function f by finding an antiderivative F of f.

* Example.* Compute .

* Example.* Compute .

But note that

And

Definite integrals may be positive, negative, or 0.

* Example.* Compute .

* Example.* Compute .

If you do an integral using a substitution, you can either use the substitution to change the limits of integration, or put the original variable back at the end.

* Example.* Compute .

Alternatively,

* Example.* Compute .

If the velocity of a particle at time t is , the * change in position* from
to is

* Example.* A particle's velocity is

Find the change in position from to .

There is another version of the Fundamental Theorem which says in a direct way that "integration and differentation are opposites".

* Theorem.* (* Fundamental
Theorem, Second Version*) Suppose f is continuous on an interval
. Then

This says that if you start with a function (" "), integrate (" "), then differentiate (" "), you get what you started with (" "). This is another way of saying that differentiation and integration are opposite processes.

* Proof.* I'll prove the second version of the
Fundamental Theorem using the first version.

By the definition of the derivative,

Using properties of definite integrals, I can swap the limits on the second integral, then combine the two integrals into one:

Suppose that is an antiderivative of , so . Applying the first version of the Fundamental Theorem, I get

However, the last expression is just the limit definition of the derivative of . Since , I get

Putting all the equalities together, I have

* Example.* (a) Compute .

(b) Compute .

(a)

Note that the 3 is irrelevant; the answer would be the same if 3 was replaced by (say) 42.

(b) I can't apply the theorem as is, because the thing I'm differentiating with respect to ("x") doesn't match the upper limit of the integral (" "). Hence, I must apply the Chain Rule first:

Notice that in applying the Chain Rule, I got the thing I was differentiating with respect to (" ") to match the upper limit of the integral (" ").

Copyright 2018 by Bruce Ikenaga