Fundamental Theorem of Calculus/Second Part/Proof 2

Proof
As $f$ is continuous, by the first part of the theorem, it has a primitive. Call it $F$.

$\closedint a b$ can be divided into any number of closed subintervals of the form $\closedint {x_{k - 1} } {x_k}$ where:


 * $a = x_0 < x_1 \cdots < x_{k-1} < x_k = b$

Fix such a finite subdivision of the interval $\closedint a b$; call it $P$.

Next, we observe the following telescoping sum identity:

Because $F' = f$, $F$ is differentiable.

By Differentiable Function is Continuous, $F$ is also continuous.

Therefore we can apply the Mean Value Theorem on $F$.

It follows that in every closed subinterval $I_i = \closedint {x_{i - 1} } {x_i}$ there is some $c_i$ such that:


 * $\map {F'} {c_i} = \dfrac {\map F {x_i} - \map F {x_{i - 1} } } {x_i - x_{i - 1} }$

It follows that:

From the definitions of supremum and infimum, we have for all $i$ (recall $I_i = \closedint {x_{i - 1} } {x_i}$):


 * $\displaystyle \inf_{x \mathop \in I_i} \map f x \le \map f {c_i} \le \sup_{x \mathop \in I_i} \map f x$

From the definitions of upper and lower sums, we conclude for any finite subdivision $P$:


 * $\displaystyle \map L P \le \sum_{i \mathop = 1}^k \map f {c_i} \paren {x_i - x_{i - 1} } \le \map U P$

Lastly, from the definition of a definite integral and from $(2)$, we conclude:


 * $\displaystyle \map F b - \map F a = \int_a^b \map f t \rd t$