011 Fundamental Theorem
011 Fundamental Theorem
011 Fundamental Theorem
Integral
These lecture notes develop the theorem Stewart calls The Fundamental Theorem of
Calculus in section 5.3. The approach I use is slightly different than that used by
Stewart, but is based on the same fundamental ideas.
1 The definite integral
Recall that the expression
b
a f ( x) dx
is called the definite integral of f(x) over the interval [a,b] and stands for the area
underneath the curve y = f(x) over the interval [a,b] (with the understanding that
areas above the x-axis are considered positive and the areas beneath the axis are
considered negative).
In today's lecture I am going to prove an important connection between the definite
integral and the derivative and use that connection to compute the definite integral. The
result that I am eventually going to prove sits at the end of a chain of earlier definitions
and intermediate results.
2 Some important facts about continuous functions
The first intermediate result we are going to have to prove along the way depends on
some definitions and theorems concerning continuous functions. Here are those
definitions and theorems.
The definition of continuity
A function f(x) is continuous at a point x = a if the following hold
1. f(a) exists
2. lim f (x) exists
xa
3. lim f (x) = f (a)
xa
a f (x) dx
This theorem essentially says that if you take the area under f(x) over the interval [a,b]
and flatten it out, you get a rectangle whose height is given by the value of the function
at some point c in the interval.
Proof Because f(x) is continuous on [a,b], the extreme value theorem tells us it must
have a maximum and a minimum somewhere in that interval.
m f(x) M
This leads to the inequality for areas
m (b - a)=
a m dx a f (x) dx a M dx = M (b - a)
or
b
a f (x) dx
b-a
Since f(x) is continuous, by the Intermediate Value Theorem it takes every possible
value between m and M. In particular, there is at least one place c at which the function
f(x) has a value equal to
b
f (c) =
a f (x) dx
b-a
a f (t) dt
F(x) =
and its derivative with respect to x. The only way to compute this derivative is via the
definition:
F ( x) =
lim
h0
x+ h
= lim
h0
F( x+h) - F( x)
h
f (t) dt -
a f (t) dt
Since the numerator in the fraction is the difference of two areas, we can rewrite the limit
x+ h
= lim
h0
f (t) dt
h
f (c) =
a f (x) dx
b-a
(1)
b-a=h
we get
x+ h
lim
h0
f (t) dt
h
= lim f (c)
h0
where c is somewhere in the interval [x,x+h]. In the limit as h goes to 0, c gets squeezed
down to x. Because f(x) is continuous we have that
lim f (c) = lim f (c) = f (x)
cx
h0
The bottom line is that
F ( x) =
lim
h0
F( x+h) - F( x)
= f (x)
h
G ( x) = f(x)
Then
b
a f (t) dt
(2)
F ( x) = f(x)
Since F(x) and G(x) have the same derivative, they must differ by a constant
(Corollary 4.2.7 on page 294).
F(x) = G(x) + C
What is that constant? Evaluating equations (2) and (3) at x = a gives us
F(a) = G(a) + C =
a f (t) dt = 0
which leads to
G(a) + C = 0
C = -G(a)
Similarly, evaluating the equations at x = b gives
F(b) = G(b) + C =
a f (t) dt
or
b
(3)