微积分基本定理的改进

微积分基本定理

设函数 $f(x)$ 在 $[a, b]$ 上连续，$F(x)$ 是 $f(x)$ 在 $[a, b]$ 上的一个原函数，则
$\int _{a} ^{b} f(x) \mathrm {d} x = F(b) - F(a)$

微积分基本定理的改进

设函数 $f(x)$ 在 $[a, b]$ 上可积，$F(x)$ 是 $f(x)$ 在 $[a, b]$ 上的一个原函数，则
$\int _{a} ^{b} f(x) \mathrm {d} x = F(b) - F(a)$

证明：

因为 $F(x)$ 是 $f(x)$ 在 $[a, b]$ 上的一个原函数，则 $F(x)$ 在 $[a, b]$ 连续， 在 $(a, b)$ 可导，且 $\forall x \in (a, b), F'(x) = f(x)$
记 $I = \int _{a} ^{b} f(x) \mathrm {d} x,$ 则 $\forall \varepsilon > 0, \exists \delta > 0,$
对于 $[a, b]$ 的任意一种有 $n + 1$ $( n \in \mathbb N, n \ge 1 )$个分点的划分 $P$ , 只要 $P$ 满足 $\lambda = \max \{\Delta x_i: i \in \mathbb N, 1 \le i \le n\} \lt \delta,$
则对任意 $n$ 个点 $\{ \xi _i \in [x_{i - 1}, x_i], i \in \mathbb N, 1 \le i \le n\},$
便有 $|\sum _{i = 1} ^{n} f( \xi _i ) \Delta x_i - I| \lt \varepsilon,$ $\tag{1}$

特别的，$\forall i \in \mathbb N, 1 \le i \le n,$ 由拉格朗日中值定理，存在 $\xi _i \in (x_{i - 1}, x_i),$ 使得：
$F(x_i) - F(x_{i - 1}) = F'( \xi _i ) \Delta x_i = f( \xi _i ) \Delta x_i,$
因此：$F(b) - F(a) = F(x_n) - F(x_{n - 1})$
$= \sum _{i = 1} ^{n} [F(x_i) - F(x_{i - 1})]$
$= \sum _{i = 1} ^{n} f( \xi _i ) \Delta x_i,$ $\tag{2}$
由(1), (2) 得 $| F(b) - F(a) - I | \lt \varepsilon,$
因此 $\int _{a} ^{b} f(x) \mathrm {d} x = I = F(b) - F(a)$