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 .
It is remarkable that finding slopes of tangents and finding rectangle sums should be related in this way. I'll use the symbolic mathematics program Mathematica to demonstrate that it really works.
Here is a Mathematica function which takes a function and an increment and returns the function :
In ordinary math notation, this is . There's no limit here; I'm working with a specific number and finding the slope of the secant line. It will be close to the slope of the tangent if is small.
For example, suppose I take :
I'll let dqf denote the difference quotient function with an increment of :
In ordinary math notation, this is
Here is dqf evaluated at :
Since , this is not a bad approximation.
On the other hand, here is a function which approximates the area under a curve:
This function returns a function whose value is a rectangle sum approximation to
(Each rectangle has width .)
For example, using ,
produces a function which gives a rectangle sum approximation to .
In this case, the rectangles have width 0.01.
Now I can use sumf to approximate the area under the curve from 0 to :
This is pretty close to the "actual" answer, as found by a numerical integration routine:
Here comes the punch line. I'll feed into the difference qoutient function, and then feed the output into the rectangle sum function:
Finally, I'll graph the function steptwo. For comparison, I've plotted the graph of on the right:
You can see that the two graphs are essentially the same, except for the "steps" on the graph. These result from the fact that I didn't take limits in defining my tangent line approximation or my rectangle sum approximation. But you could make the "steps" smaller by making smaller in the DifferenceQuotient and RiemannSum functions.
The results which I've demonstrated empirically are summarized in the The Fundamental Theorem of Calculus.
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.
But note that
Definite integrals may be positive, negative, or 0.
Example. ( Substitution in definite integrals) 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. ( Substitution in definite integrals)
Example. If the velocity of a particle at time t is , the change in position from to is
For example, suppose a particle's velocity is
I'll find the change in position from to . It is
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. ( The second version of the Fundamental Theorem)
Here's how the second version of the Fundamental Theorem looks in a particular case:
Note that the 3 is irrelevant; the answer would be the same if 3 was replaced by (say) 42.
Suppose instead that the problem was to compute
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 (" ").
Bruce Ikenaga's Home Page
Copyright 2009 by Bruce Ikenaga