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 and properties of the Riemann integral.
Statement
If is continuous, then is differentiable on with for all .
Detailed Proof
Fix and let be small enough that .
Step 1: Express the difference quotient as an integral.
By definition,
Thus the difference quotient is
(If , the integral is from to , and the factor accounts for the sign.)
Step 2: Bound the integrand using continuity.
Since is continuous on the compact interval (or if ), by the Extreme Value Theorem, attains its minimum and maximum on this interval. That is,
By monotonicity of the integral,
Dividing by (or by and reversing inequalities),
Step 3: Take the limit as .
As , the interval shrinks to . By continuity of at , both the minimum and maximum on approach :
By the squeeze theorem,
Thus .
Summary
FTC Part I is proved by:
- Expressing the difference quotient as an integral over .
- Using EVT to bound the integrand by its min and max on .
- Using continuity of and the squeeze theorem to take the limit.
This proof demonstrates the power of the Extreme Value Theorem and completeness of . See FTC concept for applications.