Int Props
Int Props
Rb
In the last section, we saw that if f is a nonnegative function on [a, b], then the definite integral a f (x)dx
is the area of the region under the graph of f and above the interval [a, b]. In fact, for most functions the
definite integral defines the area under the graph. Before we consider some examples, let’s give an obvious
property of definiteR aintegrals but one worth noting.
Property 1: a f (x)dx = 0.
That is, if all of the R∆xi ’s are equal to 0, then the definite integral is 0. Now for some examples.
1
Example 1: Find 0 (1 − x)dx. From a sketch of the region, we see that the area is that of a right
triangle whose legs are of length 1. Hence, the value of the integral is 1/2.
R2√
Example 2: Find 0 4 − x2 dx. The area is that of a quarter-circle of radius 2 as shown in the sketch.
Hence, from the area formula for a circle, we see that the value of the integral is (π · 22 )/4 = π.
If you look back at the definition of the definite integral, you will see that there is no requirement that
f be a nonegative function. In fact, suppose f is continuous
Pn (and hence the definite integral exists) but f is
strictly negative on [a, b]. Then in forming the the sums i=1 f (ci )∆xi , note that f (ci ) will be negative for
all i and hence the sum will be negative. In fact, we can see that the definite integral will be the negative
of the area of the region between the interval [a, b] on the x-axis and the graph of f . (Remember: areas
are always nonnegative, but an integral may be negative.) We have just proved a property of the
definite integral.
area of region
between the
graph and
the x-axis
Rb
Property 2: If f is integrable and f (x) ≥ 0 on [a, b], then a
f (x) dx equals the area of the region under
2
Rb
the graph of f and above the interval [a, b]. If f (x) ≤ 0 on [a, b], then a f (x) dx equals the negative of the
area of the region between the interval [a, b] and the graph of f .
What happens if we integrate from right to left instead of from left to right? You guessed it.
Ra Rb
Definition 1: b f (x) dx = − a f (x) dx.
Because areas are additive, the following property also makes sense as seen in the sketch. That is, the
total area over the interval [a, b] is the sum of area A and area B. However, because of the above definition,
the equation remains true even if c is not between a and b, or if b is less than a.
Rc Rb Rb
Property 3: a f (x) dx + c f (x) dx = a f (x) dx.
area B
area A
a c b
Consider now a function that is both positive and negative on [a, b]. Then because of Property 3 and
Property 2, the value of the definite integral is the sum of the areas of the regions between [a, b] and the
graph of f above the x-axis, minus the sum of the areas of the regions between [a, b] and the graph of f below
the x-axis. Expressed more compactly, the definite integral is the sum of the areas above minus the sum
of the areas below. (Conclusion: whereas area is always nonnegative, the definite integral may be positive,
negative, or zero.)
Example 3: In the sketch below, if I, II, and III represent the areas (all positive numbers) of the depicted
Rd
regions, then a f (x) dx = I+II-III.
II
I
a b c d
III
Integrals also add in the vertical direction.P To understand this, notePthat for the finitePn sums that
n n
arePinvolved in the definition of the integral, i=1 (Af (xi ) + Bg(xi )) = i=1 Af (xi ) + i=1 Bg(xi ) =
n Pn
A i=1 f (xi ) + B i=1 g(xi ). As we pass to the limit in defining the integral, we need to use the fact that
the limit of the sums is the sum of the limits. That is, we need to know that each limit exists. Hence we
must assume that f and g are integrable to obtain the following result.
Rb Rb Rb
Property 4: If f and g are integrable on [a, b], then a (Af (x) + Bg(x)) dx = A a f (x) dx + B a g(x) dx
for any constants A and B.
For some functions we can use symmetry to rewrite the integral in a simpler form. For instance, we have
seen that odd functions are symmetric about the origin, and even functions are symmetric about the y-axis.
Thus, we have the following two properties. Ra
Property 5: If f is an odd function, then −a f (x) dx = 0. That is, the definite integral of an odd
function over a symmetric interval is zero.
3
II
area I = area II
In the case of even functions, the areas above and below the axis on a symmetric interval don’t cancel,
of course. However, we do have the following. R
a Ra
Property 6: If f is an even function, then −a f (x) dx = 2 0 f (x) dx.
I II
area I = area II
Example 4: Let the function f be defined piecewise by
x
√ if x < 0
f (x) = −x2 + 2x 0 ≤ x ≤ 2
x−2 otherwise
Then from what we know about the areas of triangles and circles, we have
Z 3
1 π 1 π
f (x) dx = − + + =
−1 2 2 2 2
R0 R3
Notice that −1
f (x) dx = − 2
f (x) dx.
The next property is is a bit more subtle than the ones we have met so far. And yet it is easy to describe.
Consider the following sketch. It seems clear that we can find a rectangle with base [a, b] whose area
equals the area of the region under the graph of f and above [a, b]. We just draw the top edge of a rectangle
and adjust its height until we find the rectangle for which the areas are equal. That is, the extra area of the
4
rectangle equals the omitted area under the graph. The Mean Value Theorem for definite integrals says that
this is always possible under not too restrictive conditions.
a c b
Theorem: (MVT for Definite Integrals) Let f be continuous on the interval [a, b]. Then there exists
Rb
c in [a, b] such that a f (x) dx = (b − a)f (c).
Note that on the right hand side of the equation we have the formula for the area of a rectangle of width
(b − a) and height f (c). We think of f (c) as the average value of f on the interval. Now, we can use the
MVT formula to define average value precisely.
1
Rb
Definition 2: The average value of a continuous function on the interval [a, b] is b−a a
f (x) dx.
As soon as we have some relatively straightforward ways to compute definite integrals, we can return to
this formula and make use of it.
Applet: Mean Value Theorem for Integrals Try it!
Exercises: Problems Check what you have learned!
Videos: Tutorial Solutions See problems worked out!