The Definite Integral and the FTC

The Definition of the Definite Integral.

The definition of the definite integrals is: If f is a function continuous on the closed interval [a, b], and a={{x}_{0}}<{{x}_{1}}<{{x}_{2}}<\cdots <{{x}_{{n-1}}}<{{x}_{n}}=b  is a partition of that interval, and x_{i}^{*}\in [{{x}_{{i-1}}},{{x}_{i}}], then

\displaystyle \underset{{\left| {\left| {\Delta x} \right|} \right|\to 0}}{\mathop{{\lim }}}\,\sum\limits_{{i=0}}^{n}{{f\left( {x_{i}^{*}} \right)}}\left( {{{x}_{i}}-{{x}_{{i-i}}}} \right)=\int\limits_{a}^{b}{{f\left( x \right)dx}}

The left side of the definition is, of course, any Riemann sum for the function f on the interval [a, b]. In addition to being shorter, the right side also tells you about the interval on which the definite integral is computed. The expression \left\| {\Delta x} \right\|  is called the “norm of the partition” and is the longest subinterval in the partition. Usually, all the subintervals are the same length, \frac{{b-a}}{n}, and this is the last your will hear of the norm. With all the subdivisions of the same length this can be written as

\displaystyle \underset{{n\to \infty }}{\mathop{{\lim }}}\,\sum\limits_{{i=0}}^{n}{{f\left( {x_{i}^{*}} \right)}}\frac{{b-a}}{n}=\int\limits_{a}^{b}{{f\left( x \right)dx}}

Other than that, there is not much more to the definition. It is simply a quicker and more efficient notation for the sum.

The Fundamental Theorem of Calculus (FTC).

First recall the Mean Value Theorem (MVT) which says: If a function is continuous on the closed interval [a, b] and differentiable on the open interval (a, b) then there exist a number, c, in the open interval (a, b) such that {f}'\left( c \right)\left( {b-a} \right)=f\left( b \right)-f\left( a \right).

Next, let’s rewrite the definition above with a few changes. The reason for this will become clear.

\int\limits_{a}^{b}{{{f}'\left( x \right)dx}}=\underset{{\left| {\left| {\Delta x} \right|} \right|\to 0}}{\mathop{{\lim }}}\,\sum\limits_{{i=0}}^{n}{{{f}'\left( {{{c}_{i}}} \right)\left( {{{x}_{i}}-{{x}_{{i-i}}}} \right)}}

Since every function is the derivative of another function (even though we may not know that function or be able to write a closed-form expression for it), I’ve expressed the function as a derivative, I’ve also chosen the point in each subinterval, {{c}_{i}}, to be the number in each subinterval guaranteed by the MVT for that subinterval.

Then, \displaystyle {f}'\left( {{{c}_{i}}} \right)\left( {{{x}_{i}}-{{x}_{{i-i}}}} \right)=f\left( {{{x}_{i}}} \right)-f\left( {{{x}_{{i-1}}}} \right). Making this substitution, we have

\int\limits_{a}^{b}{{{f}'\left( x \right)dx}}=\underset{{\left| {\left| {\Delta x} \right|} \right|\to 0}}{\mathop{{\lim }}}\,\sum\limits_{{i=0}}^{n}{{\left( {f\left( {{{x}_{i}}} \right)-f\left( {{{x}_{{i-1}}}} \right)} \right)}}

\displaystyle =f\left( {{{x}_{1}}} \right)-f\left( {{{x}_{0}}} \right)+f\left( {{{x}_{2}}} \right)-f\left( {{{x}_{1}}} \right)+f\left( {{{x}_{3}}} \right)-f\left( {{{x}_{2}}} \right)+\cdots +f\left( {{{x}_{n}}} \right)-f\left( {{{x}_{{n-1}}}} \right)

\displaystyle =f\left( {{{n}_{n}}} \right)-f\left( {{{x}_{0}}} \right)

And since {{x}_{0}}=a and  {{x}_{n}}=b,

\displaystyle \int_{a}^{b}{{{f}'\left( x \right)dx}}=f\left( b \right)-f\left( a \right)

This equation is called the Fundamental Theorem of Calculus. In words, it says that the integral of a function can be found by evaluating the function of which the integrand is the derivative at the endpoints of the interval and subtracting the values. This is a number that may be positive, negative, or zero depending on the function and the interval. The function of which the integrand is the derivative, is called the antiderivative of the integrand.

The real meaning and use of the FTC is twofold:

  1. It says that the integral of a rate of change (i.e. a derivative) is the net amount of change. Thus, when you want to find the amount of change – and you will want to do this with every application of the derivative – integrate the rate of change.
  2. It also gives us an easy way to evaluate a Riemann sum without going to all the trouble that is necessary with a Riemann sum; simply evaluate the antiderivative at the endpoints and subtract.

At this point I suggest two quick questions to emphasize the second point:

  1. Find \int_{3}^{7}{{2xdx}}.

Ask if anyone knows a function whose derivative is 2x? Your students will know this one. The answer is x2, so

\displaystyle \int_{3}^{7}{{2xdx}}={{7}^{2}}-{{3}^{2}}=40.

Much easier than setting up and evaluating a Riemann sum!

2. Then ask your students to find the area enclosed by the coordinate axes and the graph of cos(x) from zero to \frac{\pi }{2}. With a little help they should arrive at

\displaystyle \int_{0}^{{\pi /2}}{{\cos \left( x \right)dx}}.

Then ask if anyone knows a function whose derivative is cos(x). it’s sin(x), so

\displaystyle \int_{0}^{{\pi /2}}{{\cos \left( x \right)dx}}=\sin \left( {\frac{\pi }{2}} \right)-\sin \left( 0 \right)=1-0=1.

At this point they should be convinced that the FTC is a good thing to know.

There is another form of the FTC that is discussed in More About the FTC.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.