Single-Variable-Calculus ยท Unit 16 ยท Video 3 ยท Interactive Practice
Proving FTC1 and FTC2 with the Mean Value Theorem
I Key Formulas
Key Insight: FTC 2 follows from a picture of a thin strip. FTC 1 follows from FTC 2 except for one step, that two functions with the same derivative differ by a constant, and that step is the mean value theorem.
II Visualization 1 โ The Strip Becomes a Rectangle
For f ( t ) = 1 + t 2 8 f(t) = 1 + \frac{t^2}{8} f ( t ) = 1 + 8 t 2 โ at x = 2 x = 2 x = 2 , the strip's area divided by its width tends to the height f ( 2 ) = 1.5 f(2) = 1.5 f ( 2 ) = 1.5 .
III Visualization 2 โ The Constant Cancels
Every antiderivative F ( x ) = โ 1 x + c F(x) = -\frac{1}{x} + c F ( x ) = โ x 1 โ + c of 1 x 2 \frac{1}{x^2} x 2 1 โ gives the same F ( 2 ) โ F ( 1 ) = โซ 1 2 d t t 2 = 1 2 F(2) - F(1) = \int_1^2 \frac{dt}{t^2} = \frac{1}{2} F ( 2 ) โ F ( 1 ) = โซ 1 2 โ t 2 d t โ = 2 1 โ .
IV Quiz Questions
Problem 1 ยท One Strip, Computed Exactly
Given: f ( t ) = t 2 f(t) = t^2 f ( t ) = t 2 and G ( x ) = โซ 0 x t 2 โ d t G(x) = \int_0^x t^2\,dt G ( x ) = โซ 0 x โ t 2 d t . At x = 1 x = 1 x = 1 with ฮ x = 0.1 \Delta x = 0.1 ฮ x = 0.1 , find ฮ G ฮ x = G ( 1.1 ) โ G ( 1 ) 0.1 \dfrac{\Delta G}{\Delta x} = \dfrac{G(1.1) - G(1)}{0.1} ฮ x ฮ G โ = 0.1 G ( 1.1 ) โ G ( 1 ) โ .
a 1 1 1
b 331 300 โ 1.103 \tfrac{331}{300} \approx 1.103 300 331 โ โ 1.103
c 1.21 1.21 1.21
d 331 3000 โ 0.110 \tfrac{331}{3000} \approx 0.110 3000 331 โ โ 0.110
โ
Correct! The ratio lies between the heights
f ( 1 ) = 1 f(1) = 1 f ( 1 ) = 1 and
f ( 1.1 ) = 1.21 f(1.1) = 1.21 f ( 1.1 ) = 1.21 at the strip's edges, and it tends to
f ( 1 ) = 1 f(1) = 1 f ( 1 ) = 1 as
ฮ x โ 0 \Delta x \to 0 ฮ x โ 0 .
โ 1 = f ( 1 ) 1 = f(1) 1 = f ( 1 ) is the limit as ฮ x โ 0 \Delta x \to 0 ฮ x โ 0 . At
ฮ x = 0.1 \Delta x = 0.1 ฮ x = 0.1 the strip is not yet a rectangle; compute
G ( 1.1 ) โ G ( 1 ) G(1.1) - G(1) G ( 1.1 ) โ G ( 1 ) exactly.
โ 1.21 = f ( 1.1 ) 1.21 = f(1.1) 1.21 = f ( 1.1 ) is the height at the right edge. The strip's average height lies strictly between
f ( 1 ) f(1) f ( 1 ) and
f ( 1.1 ) f(1.1) f ( 1.1 ) .
โ That is ฮ G \Delta G ฮ G itself. Divide by
ฮ x = 0.1 \Delta x = 0.1 ฮ x = 0.1 .
โ Not quite. Use
G ( x ) = x 3 3 G(x) = \frac{x^3}{3} G ( x ) = 3 x 3 โ .
Show solution
Here G ( x ) = x 3 3 G(x) = \frac{x^3}{3} G ( x ) = 3 x 3 โ , so
ฮ G = 1.1 3 โ 1 3 3 = 0.331 3 , ฮ G ฮ x = 0.331 0.3 = 331 300 โ 1.103. \Delta G = \frac{1.1^3 - 1^3}{3} = \frac{0.331}{3}, \qquad \frac{\Delta G}{\Delta x} = \frac{0.331}{0.3} = \frac{331}{300} \approx 1.103. ฮ G = 3 1. 1 3 โ 1 3 โ = 3 0.331 โ , ฮ x ฮ G โ = 0.3 0.331 โ = 300 331 โ โ 1.103.
As ฮ x โ 0 \Delta x \to 0 ฮ x โ 0 this tends to f ( 1 ) = 1 f(1) = 1 f ( 1 ) = 1 , which is FTC 2 at x = 1 x = 1 x = 1 .
Problem 2 ยท Where the Mean Value Theorem Enters
In the proof of FTC 1 from FTC 2, which step needs the mean value theorem?
a G โฒ ( x ) = f ( x ) G'(x) = f(x) G โฒ ( x ) = f ( x ) for G ( x ) = โซ a x f ( t ) โ d t G(x) = \int_a^x f(t)\,dt G ( x ) = โซ a x โ f ( t ) d t
b G ( a ) = โซ a a f ( t ) โ d t = 0 G(a) = \int_a^a f(t)\,dt = 0 G ( a ) = โซ a a โ f ( t ) d t = 0
c ( G ( b ) + c ) โ ( G ( a ) + c ) = G ( b ) โ G ( a ) \big(G(b) + c\big) - \big(G(a) + c\big) = G(b) - G(a) ( G ( b ) + c ) โ ( G ( a ) + c ) = G ( b ) โ G ( a )
d F โฒ = G โฒ โ
โ โน โ
โ F = G + c F' = G' \;\Longrightarrow\; F = G + c F โฒ = G โฒ โน F = G + c
โ
Correct! With
h = F โ G h = F - G h = F โ G ,
h โฒ = 0 h' = 0 h โฒ = 0 , and the mean value theorem gives
h ( x ) โ h ( a ) = h โฒ ( s ) ( x โ a ) = 0 h(x) - h(a) = h'(s)(x - a) = 0 h ( x ) โ h ( a ) = h โฒ ( s ) ( x โ a ) = 0 , so
h h h is constant.
โ That is FTC 2. It comes from the strip picture and the continuity of
f f f , with no mean value theorem.
โ That holds because the interval has length zero. No theorem is needed.
โ That is arithmetic. The constant appears in both terms and cancels.
โ Not quite.
Show solution
Let h = F โ G h = F - G h = F โ G . Then h โฒ = F โฒ โ G โฒ = f โ f = 0 h' = F' - G' = f - f = 0 h โฒ = F โฒ โ G โฒ = f โ f = 0 . For any x x x , the mean value theorem gives a point s s s between a a a and x x x with
h ( x ) โ h ( a ) = h โฒ ( s ) โ ( x โ a ) = 0 , h(x) - h(a) = h'(s)\,(x - a) = 0, h ( x ) โ h ( a ) = h โฒ ( s ) ( x โ a ) = 0 ,
so h ( x ) = h ( a ) h(x) = h(a) h ( x ) = h ( a ) for every x x x : F = G + c F = G + c F = G + c . Every other step is FTC 2, the definition of G G G , or arithmetic.
Problem 3 ยท Two Antiderivatives, One Integral
Given: F ( x ) = โ 1 x + 7 F(x) = -\frac{1}{x} + 7 F ( x ) = โ x 1 โ + 7 and G ( x ) = โซ 1 x d t t 2 = 1 โ 1 x G(x) = \int_1^x \frac{dt}{t^2} = 1 - \frac{1}{x} G ( x ) = โซ 1 x โ t 2 d t โ = 1 โ x 1 โ , both antiderivatives of 1 x 2 \frac{1}{x^2} x 2 1 โ for x > 0 x > 0 x > 0 . Find the constant c c c with F = G + c F = G + c F = G + c , and โซ 1 4 d t t 2 \int_1^4 \frac{dt}{t^2} โซ 1 4 โ t 2 d t โ .
What is c c c ?
a c = 6 c = 6 c = 6
b c = 7 c = 7 c = 7
c c = 8 c = 8 c = 8
d c = โ 6 c = -6 c = โ 6
What is โซ 1 4 d t t 2 \int_1^4 \frac{dt}{t^2} โซ 1 4 โ t 2 d t โ ?
a 27 4 \tfrac{27}{4} 4 27 โ
b โ 3 4 -\tfrac{3}{4} โ 4 3 โ
c 3 4 \tfrac{3}{4} 4 3 โ
d 15 16 \tfrac{15}{16} 16 15 โ
โ
Correct! F โ G = 6 F - G = 6 F โ G = 6 , and either antiderivative gives
3 4 \frac{3}{4} 4 3 โ : the
6 6 6 cancels in the difference.
โ G G G has its own constant, 1 1 1 . F โ G = ( โ 1 x + 7 ) โ ( 1 โ 1 x ) F - G = \left(-\frac{1}{x} + 7\right) - \left(1 - \frac{1}{x}\right) F โ G = ( โ x 1 โ + 7 ) โ ( 1 โ x 1 โ ) .
โ Check the order. c = F โ G c = F - G c = F โ G , and
F F F is the larger of the two.
โ That is F ( 4 ) F(4) F ( 4 ) alone. FTC 1 needs the difference
F ( 4 ) โ F ( 1 ) F(4) - F(1) F ( 4 ) โ F ( 1 ) .
โ That is F ( 1 ) โ F ( 4 ) F(1) - F(4) F ( 1 ) โ F ( 4 ) . Subtract the value at the lower limit from the value at the upper limit.
โ Check c c c . Subtract:
F ( x ) โ G ( x ) F(x) - G(x) F ( x ) โ G ( x ) .
โ Check the integral. Compute
F ( 4 ) โ F ( 1 ) F(4) - F(1) F ( 4 ) โ F ( 1 ) or
G ( 4 ) โ G ( 1 ) G(4) - G(1) G ( 4 ) โ G ( 1 ) .
Show solution
F ( x ) โ G ( x ) = ( โ 1 x + 7 ) โ ( 1 โ 1 x ) = 6. F(x) - G(x) = \left(-\tfrac{1}{x} + 7\right) - \left(1 - \tfrac{1}{x}\right) = 6. F ( x ) โ G ( x ) = ( โ x 1 โ + 7 ) โ ( 1 โ x 1 โ ) = 6.
With F F F : F ( 4 ) โ F ( 1 ) = ( โ 1 4 + 7 ) โ ( โ 1 + 7 ) = 3 4 F(4) - F(1) = \left(-\tfrac{1}{4} + 7\right) - (-1 + 7) = \tfrac{3}{4} F ( 4 ) โ F ( 1 ) = ( โ 4 1 โ + 7 ) โ ( โ 1 + 7 ) = 4 3 โ . With G G G : G ( 4 ) โ G ( 1 ) = ( 1 โ 1 4 ) โ 0 = 3 4 G(4) - G(1) = \left(1 - \tfrac{1}{4}\right) - 0 = \tfrac{3}{4} G ( 4 ) โ G ( 1 ) = ( 1 โ 4 1 โ ) โ 0 = 4 3 โ . The constant 6 6 6 appears in both values of F F F and cancels.
Problem 4 ยท Same Derivative, Different Start
Given: F โฒ ( x ) = G โฒ ( x ) F'(x) = G'(x) F โฒ ( x ) = G โฒ ( x ) for every x x x , with F ( 0 ) = 2 F(0) = 2 F ( 0 ) = 2 , G ( 0 ) = โ 1 G(0) = -1 G ( 0 ) = โ 1 and G ( 3 ) = 4 G(3) = 4 G ( 3 ) = 4 . Find F ( 3 ) F(3) F ( 3 ) .
โ
Correct! F = G + c F = G + c F = G + c with
c = F ( 0 ) โ G ( 0 ) = 3 c = F(0) - G(0) = 3 c = F ( 0 ) โ G ( 0 ) = 3 , so
F ( 3 ) = 4 + 3 = 7 F(3) = 4 + 3 = 7 F ( 3 ) = 4 + 3 = 7 .
โ Equal derivatives do not make the functions equal. They differ by a constant; find it from the values at
0 0 0 .
โ Check the sign of the constant. c = F ( 0 ) โ G ( 0 ) = 2 โ ( โ 1 ) = 3 c = F(0) - G(0) = 2 - (-1) = 3 c = F ( 0 ) โ G ( 0 ) = 2 โ ( โ 1 ) = 3 .
โ Not quite. Write
F = G + c F = G + c F = G + c and evaluate at
x = 0 x = 0 x = 0 .
Show solution
Since F โฒ = G โฒ F' = G' F โฒ = G โฒ , the mean value theorem gives F = G + c F = G + c F = G + c for a constant c c c . At x = 0 x = 0 x = 0 :
c = F ( 0 ) โ G ( 0 ) = 2 โ ( โ 1 ) = 3. c = F(0) - G(0) = 2 - (-1) = 3. c = F ( 0 ) โ G ( 0 ) = 2 โ ( โ 1 ) = 3.
So F ( 3 ) = G ( 3 ) + 3 = 7 F(3) = G(3) + 3 = 7 F ( 3 ) = G ( 3 ) + 3 = 7 . Equivalently, F ( 3 ) โ F ( 0 ) = G ( 3 ) โ G ( 0 ) = 5 F(3) - F(0) = G(3) - G(0) = 5 F ( 3 ) โ F ( 0 ) = G ( 3 ) โ G ( 0 ) = 5 , which is the same cancellation that proves FTC 1.
Solved: 0 / 4