Professional Documents
Culture Documents
Calculus 1: Chapter 5. Integrals 5.3. The Definite Integral-Examples and Proofs
Calculus 1: Chapter 5. Integrals 5.3. The Definite Integral-Examples and Proofs
Chapter 5. Integrals
5.3. The Definite Integral—Examples and Proofs
Exercise 5.3.6
n q
X
Exercise 5.3.6. Express the limit lim 4 − ck2 ∆xk , where P is a
kPk→0
k=1
partition of [0, 1], as a definite integral.
Exercise 5.3.6
n q
X
Exercise 5.3.6. Express the limit lim 4 − ck2 ∆xk , where P is a
kPk→0
k=1
partition of [0, 1], as a definite integral.
Example 5.3.1
1, if x is rational
Example 5.3.1. Show that the function f (x) =
0, if x is irrational
is not Riemann integrable over the interval [0, 1].
Solution. If f is Riemann integrable on [0, 1] then by the definition of
Z 1 n
X
definite integral, f (x) dx = lim f (ck ) ∆xk for any choice of
0 kPk→0
k=1
ck ∈ [xk−1 , xk ]. Now in any interval [xk−1 , xk ] there are both rational and
irrational numbers.
Example 5.3.1
1, if x is rational
Example 5.3.1. Show that the function f (x) =
0, if x is irrational
is not Riemann integrable over the interval [0, 1].
Solution. If f is Riemann integrable on [0, 1] then by the definition of
Z 1 n
X
definite integral, f (x) dx = lim f (ck ) ∆xk for any choice of
0 kPk→0
k=1
ck ∈ [xk−1 , xk ]. Now in any interval [xk−1 , xk ] there are both rational and
irrational numbers. So we can choose each ck to be rational in which case
Z 1 X n
each f (ck ) = 1 and f (x) dx = lim f (ck ) ∆xk =
0 kPk→0
k=1
n
X n
X
lim (1) ∆xk = lim ∆xk = lim 1 = 1 since the sum of the
kPk→0 kPk→0 kPk→0
k=1 k=1
length of the subintervals is the length of [0, 1] (namely 1).
Example 5.3.1
1, if x is rational
Example 5.3.1. Show that the function f (x) =
0, if x is irrational
is not Riemann integrable over the interval [0, 1].
Solution. If f is Riemann integrable on [0, 1] then by the definition of
Z 1 n
X
definite integral, f (x) dx = lim f (ck ) ∆xk for any choice of
0 kPk→0
k=1
ck ∈ [xk−1 , xk ]. Now in any interval [xk−1 , xk ] there are both rational and
irrational numbers. So we can choose each ck to be rational in which case
Z 1 X n
each f (ck ) = 1 and f (x) dx = lim f (ck ) ∆xk =
0 kPk→0
k=1
n
X n
X
lim (1) ∆xk = lim ∆xk = lim 1 = 1 since the sum of the
kPk→0 kPk→0 kPk→0
k=1 k=1
length of the subintervals is the length of [0, 1] (namely 1).
1, if x is rational
Example 5.3.1. Show that the function f (x) =
0, if x is irrational
is not Riemann integrable over the interval [0, 1].
1, if x is rational
Example 5.3.1. Show that the function f (x) =
0, if x is irrational
is not Riemann integrable over the interval [0, 1].
Theorem 5.2
Theorem 5.2. Rules Satisfied by Definite Integrals. Suppose f and g
are integrable over the interval [a, b]. Then:
Z b Z b
3. Constant Multiple: kf (x) dx = k f (x) dx
a a
4. Sum
Z b and Difference: Z b Z b
(f (x) ± g (x)) dx = f (x) dx ± g (x) dx
a a a
6. Max-Min Inequality: If max f and min f are the maximum and
minimum values of f on [a, b], then
Z b
min f · (b − a) ≤ f (x) dx ≤ max f · (b − a).
a
Z b Z b
7. Domination: f (x) ≥ g (x) on [a, b] ⇒ f (x) dx ≥ g (x) dx.
a a
Proof (continued). . . .
Z b n
X
cf (x) dx = lim c f (ck ) ∆xk
a kPk→0
k=1
n
X
= c lim f (ck ) ∆xk by the Constant Multiple Rule,
kPk→0
k=1
Theorem 2.1(3)
Z b
= c f (x) dx,
a
as claimed.
() Calculus 1 October 28, 2020 8 / 38
Theorem 5.2. Rules Satisfied by Definite Integrals
n n
!
X X
= lim f (ck ) ∆xk ± g (ck ) ∆xk
kPk→0
k=1 k=1
by the Sum and Difference Rules, Theorem 2.1(1 and 2)
n
!
X
= lim (f (ck ) ∆xk ± g (ck ) ∆xk )
kPk→0
k=1
by commutivity and addition and subtraction
n
!
X
= lim (f (ck ) ± g (ck )) ∆xk since multiplication
kPk→0
k=1
distributes over addition
() Calculus 1 October 28, 2020 10 / 38
Theorem 5.2. Rules Satisfied by Definite Integrals
Proof (continued). . . .
n
!
Z b Z b X
f (x) dx ± g (x) dx = lim (f (ck ) ± g (ck )) ∆xk
a a kPk→0
k=1
Z b
= (f (x) ± g (x)) dx,
a
n
!
Z b X
since (f (x) ± g (x)) dx = lim (f (ck ) ± g (ck )) ∆xk , by
a kPk→0
k=1
definition.
() Calculus 1 October 28, 2020 11 / 38
Theorem 5.2. Rules Satisfied by Definite Integrals
n
X
Proof (continued). Let P be a partition of [a, b] and let f (ck ) ∆xk
k=1
be
R b an associated Riemann
Pn sum. Then by definition
a f (x) dx = limkPk→0 k=1 f (ck ) ∆xk . Notice that
Xn
min f ≤ f (ck ) ≤ max f for all ck ∈ [a, b] and ∆xk = (b − a).
k=1
n
X
Proof (continued). Let P be a partition of [a, b] and let f (ck ) ∆xk
k=1
n
X
and g (ck ) ∆xk be associated Riemann sums. Then by definition
k=1
Rb Pn
f (x) dx = limkPk→0 f (ck ) ∆xk and
Rab Pk=1
n
a g (x) dx = limkPk→0 k=1 g (ck ) ∆xk . Since f (x) ≥ g (x) on [a, b] then
f (ck ) ≥ g (ck ) for all ck ∈ [a, b], and so
Z b X n n
X Z b
f (x) dx = lim f (ck ) ∆xk ≥ lim g (ck ) ∆xk = g (x) dx.
a kPk→0 kPk→0 a
k=1 k=1
() Calculus 1 October 28, 2020 15 / 38
Exercise 5.3.10
Exercise 5.3.10
Exercise
Z 9 5.3.10. Suppose
Z 9 that f is h are
Z integrable and that
9
f (x) dx = −1, f (x) dx = 5, and h(x) dx = 4. Use the rules in
1 7 Z 9 7 Z
9
Theorem 5.2 to find (a) −2f (x) dx, (b) (f (x) − h(x)) dx,
Z 9 1 Z 1 7 Z
7
(c) (2f (x) − 3h(x)) dx, (d) f (x) dx, (e) f (x) dx, and
Z 77 9 1
Exercise 5.3.10
Exercise
Z 9 5.3.10. Suppose
Z 9 that f is h are
Z integrable and that
9
f (x) dx = −1, f (x) dx = 5, and h(x) dx = 4. Use the rules in
1 7 Z 9 7 Z
9
Theorem 5.2 to find (a) −2f (x) dx, (b) (f (x) − h(x)) dx,
Z 9 1 Z 1 7 Z
7
(c) (2f (x) − 3h(x)) dx, (d) f (x) dx, (e) f (x) dx, and
Z 77 9 1
Exercise
Z 9 5.3.10. Suppose
Z 9 that f is h are
Z integrable and that
9
f (x) dx = −1, f (x) dx = 5, and h(x) dx = 4. Use the rules in
1 7 Z 1 7
Exercise
Z 9 5.3.10. Suppose
Z 9 that f is h are
Z integrable and that
9
f (x) dx = −1, f (x) dx = 5, and h(x) dx = 4. Use the rules in
1 7 Z 7 7
f (x) dx = 5.
7
Exercise 5.3.63
Z b
Exercise 5.3.63. Let c be a constant. Prove that c dx = c(b − a).
a
Exercise 5.3.63
Z b
Exercise 5.3.63. Let c be a constant. Prove that c dx = c(b − a).
a
Exercise 5.3.63
Z b
Exercise 5.3.63. Let c be a constant. Prove that c dx = c(b − a).
a
Example 5.3.A
Example 5.3.A. Use a regular partition of [a, b] with ck = xk to prove
Z b
b 2 a2
that for a < b: x dx = − .
a 2 2
Proof. Let f (x) = x. Then f is continuous on [a, b] so, by “Integrability
of Continuous Functions” (Theorem 5.1), f is integrable on [a, b].
Therefore, we can consider any sequence of partitions which have a norm
approaching 0. So we consider an equal width partition
P = {x0 , x1 , . . . , xn } for which ∆xk = ∆x = (b − a)/n,
xk = a + k(b − a)/n, and ck ∈ [xk−1 , xk ] satisfies ck = xk = a + k(b − a)/n
(see Note 5.3.A).
Example 5.3.A
Example 5.3.A. Use a regular partition of [a, b] with ck = xk to prove
Z b
b 2 a2
that for a < b: x dx = − .
a 2 2
Proof. Let f (x) = x. Then f is continuous on [a, b] so, by “Integrability
of Continuous Functions” (Theorem 5.1), f is integrable on [a, b].
Therefore, we can consider any sequence of partitions which have a norm
approaching 0. So we consider an equal width partition
P = {x0 , x1 , . . . , xn } for which ∆xk = ∆x = (b − a)/n,
xk = a + k(b − a)/n, and ck ∈ [xk−1 , xk ] satisfies ck = xk = a + k(b − a)/n
(see Note 5.3.A). Now kPk = ∆x = (b − a)/n, so when n → ∞ we have
kPk → 0. So the value of the Riemann integral is given by
b n n
b−a b−a
Z X X
x dx = lim f (ck ) = lim ck
a n→∞ n n→∞ n
k=1 k=1
Example 5.3.A
Example 5.3.A. Use a regular partition of [a, b] with ck = xk to prove
Z b
b 2 a2
that for a < b: x dx = − .
a 2 2
Proof. Let f (x) = x. Then f is continuous on [a, b] so, by “Integrability
of Continuous Functions” (Theorem 5.1), f is integrable on [a, b].
Therefore, we can consider any sequence of partitions which have a norm
approaching 0. So we consider an equal width partition
P = {x0 , x1 , . . . , xn } for which ∆xk = ∆x = (b − a)/n,
xk = a + k(b − a)/n, and ck ∈ [xk−1 , xk ] satisfies ck = xk = a + k(b − a)/n
(see Note 5.3.A). Now kPk = ∆x = (b − a)/n, so when n → ∞ we have
kPk → 0. So the value of the Riemann integral is given by
b n n
b−a b−a
Z X X
x dx = lim f (ck ) = lim ck
a n→∞ n n→∞ n
k=1 k=1
Exercise 5.3.65
Exercise 5.3.65. Use a regular partition of [a, b] with ck = xk to prove
Z b
b 3 a3
that for a < b: x 2 dx = − .
a 3 3
Proof. Let f (x) = x 2 . Then f is continuous on [a, b] so, by “Integrability
of Continuous Functions” (Theorem 5.1), f is integrable on [a, b].
Therefore, we can consider any sequence of partitions which have a norm
approaching 0. So we consider an equal width partition
P = {x0 , x1 , . . . , xn } for which ∆xk = ∆x = (b − a)/n,
xk = a + k(b − a)/n, and ck ∈ [xk−1 , xk ] satisfies ck = xk = a + k(b − a)/n
(see Note 5.3.A).
Exercise 5.3.65
Exercise 5.3.65. Use a regular partition of [a, b] with ck = xk to prove
Z b
b 3 a3
that for a < b: x 2 dx = − .
a 3 3
Proof. Let f (x) = x 2 . Then f is continuous on [a, b] so, by “Integrability
of Continuous Functions” (Theorem 5.1), f is integrable on [a, b].
Therefore, we can consider any sequence of partitions which have a norm
approaching 0. So we consider an equal width partition
P = {x0 , x1 , . . . , xn } for which ∆xk = ∆x = (b − a)/n,
xk = a + k(b − a)/n, and ck ∈ [xk−1 , xk ] satisfies ck = xk = a + k(b − a)/n
(see Note 5.3.A). Now kPk = ∆x = (b − a)/n, so when n → ∞ we have
kPk → 0. So the value of the Riemann integral is given by
b n n
b−a b−a
Z X X
2
x dx = lim f (ck ) = lim ck2
a n→∞ n n→∞ n
k=1 k=1
Exercise 5.3.65
Exercise 5.3.65. Use a regular partition of [a, b] with ck = xk to prove
Z b
b 3 a3
that for a < b: x 2 dx = − .
a 3 3
Proof. Let f (x) = x 2 . Then f is continuous on [a, b] so, by “Integrability
of Continuous Functions” (Theorem 5.1), f is integrable on [a, b].
Therefore, we can consider any sequence of partitions which have a norm
approaching 0. So we consider an equal width partition
P = {x0 , x1 , . . . , xn } for which ∆xk = ∆x = (b − a)/n,
xk = a + k(b − a)/n, and ck ∈ [xk−1 , xk ] satisfies ck = xk = a + k(b − a)/n
(see Note 5.3.A). Now kPk = ∆x = (b − a)/n, so when n → ∞ we have
kPk → 0. So the value of the Riemann integral is given by
b n n
b−a b−a
Z X X
2
x dx = lim f (ck ) = lim ck2
a n→∞ n n→∞ n
k=1 k=1
Proof (continued).
Z b
1 + (0)
x 2 dx = (b − a) a2 + 2a(b − a)
a 2
2
2 + 3(0) + (0)
+(b − a)2
6
= (b − a) a2 + a(b − a) + (b − a)2 (1/3)
Exercise 5.3.36
Exercise 5.3.36. Use Equation (4) (see Exercise 5.3.65) to evaluate the
Z π/2
integral θ2 dθ.
0
π/2
b 3 a3 (π/2)3 03 π3
Z
θ2 dθ = − = − = .
0 3 3 3 3 24
Exercise 5.3.36
Exercise 5.3.36. Use Equation (4) (see Exercise 5.3.65) to evaluate the
Z π/2
integral θ2 dθ.
0
π/2
b 3 a3 (π/2)3 03 π3
Z
θ2 dθ = − = − = .
0 3 3 3 3 24
Exercise 5.3.18
Exercise 5.3.18. Graph Z 0the integrand and use known area formulas to
p
evaluate the integral: 16 − x 2 dx.
−4
√
Solution.
√ Notice that with y = 16 − x 2 , we have
y 2 = ( 16 − x 2 )2√= 16 − x 2 and y ≥ 0. So x 2 + y 2 = 16 and y ≥ 0. So
the graph of y = 16 − x 2 is the top half (since y ≥ 0) of a circle of
radius r = 4 and center (0, 0):
Exercise 5.3.18
Exercise 5.3.18. Graph Z 0the integrand and use known area formulas to
p
evaluate the integral: 16 − x 2 dx.
−4
√
Solution.
√ Notice that with y = 16 − x 2 , we have
y 2 = ( 16 − x 2 )2√= 16 − x 2 and y ≥ 0. So x 2 + y 2 = 16 and y ≥ 0. So
the graph of y = 16 − x 2 is the top half (since y ≥ 0) of a circle of
radius r = 4 and center (0, 0):
Exercise 5.3.18
Exercise 5.3.18. Graph Z 0the integrand and use known area formulas to
p
evaluate the integral: 16 − x 2 dx.
−4
√
Solution.
√ Notice that with y = 16 − x 2 , we have
y 2 = ( 16 − x 2 )2√= 16 − x 2 and y ≥ 0. So x 2 + y 2 = 16 and y ≥ 0. So
the graph of y = 16 − x 2 is the top half (since y ≥ 0) of a circle of
radius r = 4 and center (0, 0):
√
Since y = f (x) = 16 − x 2 is non-negative, then (by definition) the
Z 0p
definite integral 16 − x 2 dx is the area under the curve
√ −4
y = 16 − x 2 (and above the x-axis) from a = −4 to b = 0. That is, the
integral is 1/4 of the area of
a circle of2 radius r = 4. Therefore,
Z 0p 2
π(r ) π(4)
16 − x 2 dx = = = 4π .
−4 4 r =4
4
() Calculus 1 October 28, 2020 33 / 38
Exercise 5.3.62
Exercise 5.3.62
Exercise 5.3.62. Graph the function h(x) = |x| and find the average
value over the intervals (a) [−1, 0], (b) [0, 1], and (c) [−1, 1].
Solution. We consider the graph and relevant areas:
Exercise 5.3.62
Exercise 5.3.62. Graph the function h(x) = |x| and find the average
value over the intervals (a) [−1, 0], (b) [0, 1], and (c) [−1, 1].
Solution. We consider the graph and relevant areas:
1
Rb
By definition av(h) = b−a a h(x) dx, so calculating the integrals using
areas we have
Exercise 5.3.62
Exercise 5.3.62. Graph the function h(x) = |x| and find the average
value over the intervals (a) [−1, 0], (b) [0, 1], and (c) [−1, 1].
Solution. We consider the graph and relevant areas:
1
Rb
By definition av(h) = b−a a h(x) dx, so calculating the integrals using
areas we have R0
1
(a) The average of h over [−1, 0] is (0)−(−1) −1 h(x) dx = 1/2 .
Exercise 5.3.62
Exercise 5.3.62. Graph the function h(x) = |x| and find the average
value over the intervals (a) [−1, 0], (b) [0, 1], and (c) [−1, 1].
Solution. We consider the graph and relevant areas:
1
Rb
By definition av(h) = b−a a h(x) dx, so calculating the integrals using
areas we have R0
1
(a) The average of h over [−1, 0] is (0)−(−1) −1 h(x) dx = 1/2 .
1
R 1
(b) The average of h over [0, 1] is (1)−(0) 0 h(x) dx = 1/2 .
Exercise 5.3.62
Exercise 5.3.62. Graph the function h(x) = |x| and find the average
value over the intervals (a) [−1, 0], (b) [0, 1], and (c) [−1, 1].
Solution. We consider the graph and relevant areas:
1
Rb
By definition av(h) = b−a a h(x) dx, so calculating the integrals using
areas we have R0
1
(a) The average of h over [−1, 0] is (0)−(−1) −1 h(x) dx = 1/2 .
1
R 1
(b) The average of h over [0, 1] is (1)−(0) 0 h(x) dx = 1/2 .
(c) The average of h over [−1, 1] is
1
R1
(1)−(−1) −1 h(x) dx = 1/2(1) = 1/2 .
Exercise 5.3.62
Exercise 5.3.62. Graph the function h(x) = |x| and find the average
value over the intervals (a) [−1, 0], (b) [0, 1], and (c) [−1, 1].
Solution. We consider the graph and relevant areas:
1
Rb
By definition av(h) = b−a a h(x) dx, so calculating the integrals using
areas we have R0
1
(a) The average of h over [−1, 0] is (0)−(−1) −1 h(x) dx = 1/2 .
1
R 1
(b) The average of h over [0, 1] is (1)−(0) 0 h(x) dx = 1/2 .
(c) The average of h over [−1, 1] is
1
R1
(1)−(−1) −1 h(x) dx = 1/2(1) = 1/2 .
Exercise 5.3.76
Z 1√
Exercise 5.3.76. Show that the value of x + 8 dx lies between
√ 0
2 2 ≈ 2.8 and 3.
√
Solution. Let f (x) = x + 8 = (x + 8)1/2 . Then
1 1
f 0 (x) = (x + 8)−1/2 = √ and so the only critical point of f is
2 2 x +8
x = −8. So continuous function f has no critical points in [0, 1] and hence
by the technique of Section 4.1, “Extreme Values of Functions on Closed
Intervals,” the extremes of f on [0, 1] occur at the endpoints.
Exercise 5.3.76
Z 1√
Exercise 5.3.76. Show that the value of x + 8 dx lies between
√ 0
2 2 ≈ 2.8 and 3.
√
Solution. Let f (x) = x + 8 = (x + 8)1/2 . Then
1 1
f 0 (x) = (x + 8)−1/2 = √ and so the only critical point of f is
2 2 x +8
x = −8. So continuous function f has no critical points in [0, 1] and hence
by the technique of Section 4.1, “Extreme Values of Functions on Closed
Intervals,”
p the extremes
√ of f√on [0, 1] occurp at the endpoints.
√ Since
f (0) = (0) + 8 = 8 = 2 2 and f (1) = √ (1) + 8 = 9 = 3, then the
minimum of f on [a, b] = [0, 1] is min f = 2 2 and the maximum is
min f = 3.
Exercise 5.3.76
Z 1√
Exercise 5.3.76. Show that the value of x + 8 dx lies between
√ 0
2 2 ≈ 2.8 and 3.
√
Solution. Let f (x) = x + 8 = (x + 8)1/2 . Then
1 1
f 0 (x) = (x + 8)−1/2 = √ and so the only critical point of f is
2 2 x +8
x = −8. So continuous function f has no critical points in [0, 1] and hence
by the technique of Section 4.1, “Extreme Values of Functions on Closed
Intervals,”
p the extremes
√ of f√on [0, 1] occurp at the endpoints.
√ Since
f (0) = (0) + 8 = 8 = 2 2 and f (1) = √ (1) + 8 = 9 = 3, then the
minimum of f on [a, b] = [0, 1] is min f = 2 2 and the maximum is
min f = 3.
Z 1√
Exercise 5.3.76. Show that the value of x + 8 dx lies between
√ 0
2 2 ≈ 2.8 and 3.
Exercise 5.3.88
Exercise 5.3.88. If you average 30 miles/hour on a 150 mile trip and then
return over the same 150 miles at the rate of 50 miles/hour, what is your
average speed for the trip? Give reasons for your answer.
Exercise 5.3.88
Exercise 5.3.88. If you average 30 miles/hour on a 150 mile trip and then
return over the same 150 miles at the rate of 50 miles/hour, what is your
average speed for the trip? Give reasons for your answer.
() Calculus 1 October 28, 2020 38 / 38
Exercise 5.3.88
() Calculus 1 October 28, 2020 38 / 38