微积分基本定理

定理1

设函数 $f(x)$ 在 $[a, b]$ 上可积，作函数
$F(x) = \int _{a} ^{x} f(t) \mathrm {d} t,$
则
(1) $F(x)$ 是 $[a, b]$ 上的连续函数。
(2) 若 $f(x)$ 在 $[a, b]$ 上连续， 则 $F(x)$ 在 $[a, b]$ 上可微，且有
$F'(x) = f(x)$

证明：

(1) 由积分第一中值定理，
$\forall x \in [a, b],$
$F(x + \Delta x) - F(x) = \int _{x} ^{x + \Delta x} f(t) \mathrm {d} t$
$= \begin{cases} \eta \Delta x, \eta \in [\inf \{f(x): x \in [a, b]\}, \sup \{f(x): x \in [a, b]\} ], \\ f(x +\theta \Delta x) \Delta x, \theta \in (0, 1) , f(x) \text {在} [a, b] \text {上连续}, \end{cases}$
$\to 0, \Delta x \to 0,$
因此 $F(x)$ 在 $[a, b]$ 上连续。
(2) 若 $f(x)$ 在 $[a, b]$ 上连续， 则
$\lim \limits_{\Delta x \to 0} \dfrac {F(x + \Delta x) - F(x)} {\Delta x} = \lim \limits_{\Delta x \to 0} f(x +\theta \Delta x) = f(x),$

定理2 微积分基本定理

设函数 $f(x)$ 在 $[a, b]$ 上连续，$F(x)$ 是 $f(x)$ 在 $[a, b]$ 上的一个原函数，则
$\int _{a} ^{b} f(x) \mathrm {d} x = F(b) - F(a)$
参考微积分基本定理的改进。

定理3 分部积分法

设函数 $u(x), v(x)$ 在 $[a, b]$ 上有连续导数，则
$\int _{a} ^{b} u(x)v'(x) \mathrm {d} x = [u(x)v(x)] _{a} ^{b} - \int _{a} ^{b} v(x)u'(x) \mathrm {d} x$
上式也能写成下式：
$\int _{a} ^{b} u(x) \mathrm {d} v(x) = [u(x)v(x)] _{a} ^{b} - \int _{a} ^{b} v(x) \mathrm {d} u(x)$

证明：

函数 $u(x), v(x)$ 在 $[a, b]$ 上有连续导数，因此
$[u(x)v(x)]' = u'(x)v(x) + u(x)v'(x), x \in [a, b],$
因此 $[u(x)v(x)]', u'(x)v(x), u(x)v'(x)$ 在 $[a, b]$ 上连续，
故可积，由微积分基本定理的改进和定积分的线性性质，
$[u(x)v(x)] _{a} ^{b} = \int _{a} ^{b} [u(x)v(x)]' \mathrm {d} x = \int _{a} ^{b} u'(x)v(x)\mathrm {d} x + \int _{a} ^{b} u(x)v'(x) \mathrm {d} x$
$\Rightarrow \int _{a} ^{b} u(x)v'(x) \mathrm {d} x = [u(x)v(x)] _{a} ^{b} - \int _{a} ^{b} v(x)u'(x) \mathrm {d} x$

定理3 分部积分法的改进

设函数 $u(x), v(x)$ 在