Fundamental Theorem of Calculus (Proofs)
The proofs of both parts of the FTC demonstrate the inverse relationship between differentiation and integration. Part I uses the definition of derivative and properties of integrals. Part II uses the Mean Value Theorem. Together, they form the cornerstone of calculus.
Part I: Integration then differentiation
If is continuous, then is differentiable on with .
Fix . For small with ,
By the Extreme Value Theorem, attains its minimum and maximum on (or if ). Then
so .
As , by continuity of , both and . By squeeze theorem,
Thus .
Part II: Antiderivatives compute integrals
If is continuous and , then .
Let . By FTC Part I, .
Since and , we have . By the Mean Value Theorem, is constant on . Thus for all .
Evaluating at : , so .
Evaluating at :
so . But , thus
Summary
The FTC connects differentiation and integration:
- Part I: (differentiation undoes integration).
- Part II: where (antiderivatives evaluate integrals).
See Fundamental Theorem concept for applications.