Single-Variable-Calculus ยท Unit 16 ยท Video 3 ยท Interactive Practice

Proving FTC1 and FTC2 with the Mean Value Theorem

IKey Formulas

StepFormulaRests on
FTC 2: the stripฮ”G=G(x+ฮ”x)โˆ’G(x)โ‰ˆf(x)โ€‰ฮ”x\Delta G = G(x + \Delta x) - G(x) \approx f(x)\,\Delta xthe strip is almost a rectangle
FTC 2: the limitGโ€ฒ(x)=limโกฮ”xโ†’0ฮ”Gฮ”x=f(x)G'(x) = \displaystyle\lim_{\Delta x \to 0}\frac{\Delta G}{\Delta x} = f(x)ff continuous
Same derivativeFโ€ฒ=Gโ€ฒโ€…โ€ŠโŸนโ€…โ€ŠF=G+cF' = G' \;\Longrightarrow\; F = G + cthe mean value theorem: hโ€ฒ=0โ‡’hh' = 0 \Rightarrow h constant
FTC 1F(b)โˆ’F(a)=G(b)โˆ’G(a)=โˆซabf(x)โ€‰dxF(b) - F(a) = G(b) - G(a) = \displaystyle\int_a^b f(x)\,dxcc cancels; G(a)=0G(a) = 0

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.

IIVisualization 1 โ€” The Strip Becomes a Rectangle

For f(t)=1+t28f(t) = 1 + \frac{t^2}{8} at x=2x = 2, the strip's area divided by its width tends to the height f(2)=1.5f(2) = 1.5.

IIIVisualization 2 โ€” The Constant Cancels

Every antiderivative F(x)=โˆ’1x+cF(x) = -\frac{1}{x} + c of 1x2\frac{1}{x^2} gives the same F(2)โˆ’F(1)=โˆซ12dtt2=12F(2) - F(1) = \int_1^2 \frac{dt}{t^2} = \frac{1}{2}.

IVQuiz Questions

Problem 1 ยท One Strip, Computed Exactly

Given: f(t)=t2f(t) = t^2 and G(x)=โˆซ0xt2โ€‰dtG(x) = \int_0^x t^2\,dt. At x=1x = 1 with ฮ”x=0.1\Delta 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}.

โœ… Correct! The ratio lies between the heights f(1)=1f(1) = 1 and f(1.1)=1.21f(1.1) = 1.21 at the strip's edges, and it tends to f(1)=1f(1) = 1 as ฮ”xโ†’0\Delta x \to 0.
โŒ 1=f(1)1 = f(1) is the limit as ฮ”xโ†’0\Delta x \to 0. At ฮ”x=0.1\Delta x = 0.1 the strip is not yet a rectangle; compute G(1.1)โˆ’G(1)G(1.1) - G(1) exactly.
โŒ 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) and f(1.1)f(1.1).
โŒ That is ฮ”G\Delta G itself. Divide by ฮ”x=0.1\Delta x = 0.1.
โŒ Not quite. Use G(x)=x33G(x) = \frac{x^3}{3}.
Show solution

Here G(x)=x33G(x) = \frac{x^3}{3}, so

ฮ”G=1.13โˆ’133=0.3313,ฮ”Gฮ”x=0.3310.3=331300โ‰ˆ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.

As ฮ”xโ†’0\Delta x \to 0 this tends to f(1)=1f(1) = 1, which is FTC 2 at x=1x = 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?

โœ… Correct! With h=Fโˆ’Gh = F - G, hโ€ฒ=0h' = 0, and the mean value theorem gives h(x)โˆ’h(a)=hโ€ฒ(s)(xโˆ’a)=0h(x) - h(a) = h'(s)(x - a) = 0, so hh is constant.
โŒ That is FTC 2. It comes from the strip picture and the continuity of ff, 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โˆ’Gh = F - G. Then hโ€ฒ=Fโ€ฒโˆ’Gโ€ฒ=fโˆ’f=0h' = F' - G' = f - f = 0. For any xx, the mean value theorem gives a point ss between aa and xx with

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) for every xx: F=G+cF = G + c. Every other step is FTC 2, the definition of GG, or arithmetic.

Problem 3 ยท Two Antiderivatives, One Integral

Given: F(x)=โˆ’1x+7F(x) = -\frac{1}{x} + 7 and G(x)=โˆซ1xdtt2=1โˆ’1xG(x) = \int_1^x \frac{dt}{t^2} = 1 - \frac{1}{x}, both antiderivatives of 1x2\frac{1}{x^2} for x>0x > 0. Find the constant cc with F=G+cF = G + c, and โˆซ14dtt2\int_1^4 \frac{dt}{t^2}.

What is cc?

What is โˆซ14dtt2\int_1^4 \frac{dt}{t^2}?

โœ… Correct! Fโˆ’G=6F - G = 6, and either antiderivative gives 34\frac{3}{4}: the 66 cancels in the difference.
โŒ GG has its own constant, 11. Fโˆ’G=(โˆ’1x+7)โˆ’(1โˆ’1x)F - G = \left(-\frac{1}{x} + 7\right) - \left(1 - \frac{1}{x}\right).
โŒ Check the order. c=Fโˆ’Gc = F - G, and FF is the larger of the two.
โŒ That is F(4)F(4) alone. FTC 1 needs the difference F(4)โˆ’F(1)F(4) - F(1).
โŒ That is F(1)โˆ’F(4)F(1) - F(4). Subtract the value at the lower limit from the value at the upper limit.
โŒ Check cc. Subtract: F(x)โˆ’G(x)F(x) - G(x).
โŒ Check the integral. Compute F(4)โˆ’F(1)F(4) - F(1) or G(4)โˆ’G(1)G(4) - G(1).
Show solution
F(x)โˆ’G(x)=(โˆ’1x+7)โˆ’(1โˆ’1x)=6.F(x) - G(x) = \left(-\tfrac{1}{x} + 7\right) - \left(1 - \tfrac{1}{x}\right) = 6.

With FF: F(4)โˆ’F(1)=(โˆ’14+7)โˆ’(โˆ’1+7)=34F(4) - F(1) = \left(-\tfrac{1}{4} + 7\right) - (-1 + 7) = \tfrac{3}{4}. With GG: G(4)โˆ’G(1)=(1โˆ’14)โˆ’0=34G(4) - G(1) = \left(1 - \tfrac{1}{4}\right) - 0 = \tfrac{3}{4}. The constant 66 appears in both values of FF and cancels.

Problem 4 ยท Same Derivative, Different Start

Given: Fโ€ฒ(x)=Gโ€ฒ(x)F'(x) = G'(x) for every xx, with F(0)=2F(0) = 2, G(0)=โˆ’1G(0) = -1 and G(3)=4G(3) = 4. Find F(3)F(3).

โœ… Correct! F=G+cF = G + c with c=F(0)โˆ’G(0)=3c = F(0) - G(0) = 3, so F(3)=4+3=7F(3) = 4 + 3 = 7.
โŒ Equal derivatives do not make the functions equal. They differ by a constant; find it from the values at 00.
โŒ Check the sign of the constant. c=F(0)โˆ’G(0)=2โˆ’(โˆ’1)=3c = F(0) - G(0) = 2 - (-1) = 3.
โŒ Not quite. Write F=G+cF = G + c and evaluate at x=0x = 0.
Show solution

Since Fโ€ฒ=Gโ€ฒF' = G', the mean value theorem gives F=G+cF = G + c for a constant cc. At x=0x = 0:

c=F(0)โˆ’G(0)=2โˆ’(โˆ’1)=3.c = F(0) - G(0) = 2 - (-1) = 3.

So F(3)=G(3)+3=7F(3) = G(3) + 3 = 7. Equivalently, F(3)โˆ’F(0)=G(3)โˆ’G(0)=5F(3) - F(0) = G(3) - G(0) = 5, which is the same cancellation that proves FTC 1.

Solved: 0 / 4