4.2 The Definite Integral
4.2 The Definite Integral
Calculus I
Definition (Definite Integral 2 )
Suppose f is a function defined for a ≤ x ≤ b.
Divide the interval [a, b] into n subintervals of equal width
△x = (b − a)/n. Let x0 (= a), x1 , x2 , . . . , xn (= b) be the
endpoints of these subintervals.
Let xi∗ be any sample point in [xi−1 , xi ].
Then the definite integral of f from a to b is
Z b n
X
f (x) dx = lim f (xi∗ )△x
a n→∞
i=1
= lim [f (x1∗ )△x + f (x2∗ )△x + · · · + f (xn∗ )△x]
n→∞
provided that this limit exists and gives the same value for all
possible choices of sample points. If it does exist, we say that f
is integrable on [a, b].
The subintervals need not have equal width.
Z b n
X
f (x) dx = lim [f (xi∗ )△xi ]
a max △xi →0
i=1
= lim [f (x1∗ )△x1 + f (x2∗ )△x2 + · · · + f (xn∗ )△xn ]
max △xi →0
Theorem ( 3 )
If f is continuous on [a, b], or if f has only a finite number of
jump discontinuities, then f is integrable on [a, b]; that is, the
Z b
definite integral f (x) dx exists.
a
b−a
where △x = and xi = a + i△x.
n
b−a 1
where △x = and x̄i = (xi−1 + xi ) = midpoint of [xi−1 , xi ].
n 2
Example
Z 2
dt
=
2 t
Comparison properties of the integral
If f (x) ≥ 0 for a ≤ x ≤ b, then
Z b
f (x) dx ≥ 0.
a