ProofComplete

Detailed Proof: FTC Part I

This detailed proof of FTC Part I shows that integration followed by differentiation recovers the original function. The key ingredients are continuity of ff and properties of the Riemann integral.


Statement

Theorem6.1FTC Part I

If f:[a,b]β†’Rf : [a, b] \to \mathbb{R} is continuous, then F(x)=∫axf(t) dtF(x) = \int_a^x f(t) \, dt is differentiable on (a,b)(a, b) with Fβ€²(x)=f(x)F'(x) = f(x) for all x∈(a,b)x \in (a, b).


Detailed Proof

Proof

Fix x∈(a,b)x \in (a, b) and let hβ‰ 0h \neq 0 be small enough that x+h∈(a,b)x + h \in (a, b).

Step 1: Express the difference quotient as an integral.

By definition,

F(x+h)βˆ’F(x)=∫ax+hf(t) dtβˆ’βˆ«axf(t) dt=∫xx+hf(t) dt.F(x+h) - F(x) = \int_a^{x+h} f(t) \, dt - \int_a^x f(t) \, dt = \int_x^{x+h} f(t) \, dt.

Thus the difference quotient is

F(x+h)βˆ’F(x)h=1h∫xx+hf(t) dt.\frac{F(x+h) - F(x)}{h} = \frac{1}{h} \int_x^{x+h} f(t) \, dt.

(If h<0h < 0, the integral is from x+hx+h to xx, and the 1/h1/h factor accounts for the sign.)

Step 2: Bound the integrand using continuity.

Since ff is continuous on the compact interval [x,x+h][x, x+h] (or [x+h,x][x+h, x] if h<0h < 0), by the Extreme Value Theorem, ff attains its minimum mm and maximum MM on this interval. That is,

m=min⁑t∈[x,x+h]f(t)andM=max⁑t∈[x,x+h]f(t).m = \min_{t \in [x, x+h]} f(t) \quad \text{and} \quad M = \max_{t \in [x, x+h]} f(t).

By monotonicity of the integral,

mβ‹…hβ‰€βˆ«xx+hf(t) dt≀Mβ‹…h(assumingΒ h>0).m \cdot h \leq \int_x^{x+h} f(t) \, dt \leq M \cdot h \quad \text{(assuming } h > 0\text{)}.

Dividing by h>0h > 0 (or by h<0h < 0 and reversing inequalities),

m≀1h∫xx+hf(t) dt≀M.m \leq \frac{1}{h} \int_x^{x+h} f(t) \, dt \leq M.

Step 3: Take the limit as h→0h \to 0.

As h→0h \to 0, the interval [x,x+h][x, x+h] shrinks to {x}\{x\}. By continuity of ff at xx, both the minimum mm and maximum MM on [x,x+h][x, x+h] approach f(x)f(x):

lim⁑hβ†’0m=lim⁑hβ†’0M=f(x).\lim_{h \to 0} m = \lim_{h \to 0} M = f(x).

By the squeeze theorem,

lim⁑hβ†’0F(x+h)βˆ’F(x)h=f(x).\lim_{h \to 0} \frac{F(x+h) - F(x)}{h} = f(x).

Thus Fβ€²(x)=f(x)F'(x) = f(x).

β– 

Summary

FTC Part I is proved by:

  1. Expressing the difference quotient as an integral over [x,x+h][x, x+h].
  2. Using EVT to bound the integrand by its min and max on [x,x+h][x, x+h].
  3. Using continuity of ff and the squeeze theorem to take the limit.

This proof demonstrates the power of the Extreme Value Theorem and completeness of R\mathbb{R}. See FTC concept for applications.