---
url: /integral/integral-15/index.md
---
## Part 1 连续函数积分

### · 定义

许多实际的应用问题都涉及到积分, 积分的内容占据了本课程的半壁江山.

设 $f$ 为闭区间 $\[a, b]$ 上的连续函数，我们考虑由 $f$ 的图像、直线 $x = a$、$x = b$ 以及 $y = 0$（$x$ 轴）在平面上所围成的曲边梯形的面积，我们用记号 $\displaystyle\int\_a^b f(x),dx$ 表示这个面积的值，称为 $f$ 在 $\[a, b]$ 上的积分.

> (1) 设 $f(x) \equiv c$ 为常值函数，则所求面积是矩形的面积，因此自然地定义
> $$
> \int\_a^b f(x),dx = c(b - a).
> $$
>
> (2) 设 $f(x)$ 为 $\[a, b]$ 上的线性函数，则所求面积是一个梯形的面积，因此定义
> $$
> \int\_a^b f(x),dx = \frac{1}{2}\[f(a) + f(b)]\(b - a).
> $$
>
> 当 $f$ 为常值函数时，这个定义和 (1) 是一致的. 并且，从定义可得
>
> * 如果 $f$, $g$ 均为线性函数，则
>
> $$
> \int\_a^b \[f(x) + g(x)],dx = \int\_a^b f(x),dx + \int\_a^b g(x),dx,
> $$
>
> $$
> \int\_a^b \[f(x) - g(x)],dx = \int\_a^b f(x),dx - \int\_a^b g(x),dx,
> $$
>
> 这可从定义直接得到.
>
> * 如果 $f$ 为线性函数，且存在常数 $M$，使得 $|f(x)| \le M$，$\forall x \in \[a, b]$，则
>
> $$
> \left|\int\_a^b f(x),dx\right| \le M(b - a).
> $$
>
> 事实上，由定义，有
> $$
> \begin{aligned}
> \left|\int\_a^b f(x),dx\right| &= \left|\frac{1}{2}\[f(a) + f(b)]\(b - a)\right| \\\\
> &\le \frac{1}{2}\[|f(a)| + |f(b)|]\(b - a) \le M(b - a).
> \end{aligned}
> $$
>
> * 如果 $f$ 为线性函数，$c \in (a, b)$，则
>
> $$
> \int\_a^b f(x),dx = \int\_a^c f(x),dx + \int\_c^b f(x),dx.
> $$
>
> 这是因为，$\[a, b]$ 上的线性函数 $f(x)$ 可以写为
> $$
> f(x) = f(a) + \frac{f(b) - f(a)}{b - a}(x - a)\quad\text{or}\quad f(x) = f(b) + \frac{f(b) - f(a)}{b - a}(x - b),
> $$
> 因此有
> $$
> \int\_a^c f(x),dx + \int\_c^b f(x),dx = \frac{1}{2}\[f(a) + f(c)]\(c - a) + \frac{1}{2}\[f(c) + f(b)]\(b - c)
> $$
>
> $$
> \= \frac{1}{2}\[f(a) + f(b) + \frac{f(b) - f(a)}{b - a}(c - b)]\(c - a)
>
> * \frac{1}{2}\[f(a) + f(b) + \frac{f(b) - f(a)}{b - a}(c - a)]\(b - c)
>   $$
>
> $$
> \= \frac{1}{2}\[f(a) + f(b)]\(c - a) + \frac{1}{2}\[f(a) + f(b)]\(b - c)
> $$
>
> $$
> \= \frac{1}{2}\[f(a) + f(b)]\(b - a)
> \= \int\_a^b f(x),dx.
> $$
>
> (3) 设 $f(x)$ 为 $\[a, b]$ 上连续的分段线性函数，即存在区间 $\[a, b]$ 中的分点
> $$
> a = x\_0 < x\_1 < \cdots < x\_n = b
> $$
> 使得 $f(x)$ 在每一个小区间 $\[x\_{i-1}, x\_i]$ 上均为线性函数，则定义
> $$
> \int\_a^b f(x),dx = \sum\_{i=1}^n \int\_{x\_{i-1}}^{x\_i} f(x),dx,
> $$
> 这个定义是恰当的：如果存在 $\[a, b]$ 的另外一些分点
> $$
> a = x'\_0 < x'\_1 < \cdots < x'*m = b
> $$
> 使得 $f(x)$ 在每一个小区间 $\[x'*{i-1}, x'\_i]$ 上均为线性函数，则所有这些分点 ${x\_i, x'\_i}$ 按从小到大的顺序排列后依然将 $\[a, b]$ 分割为一些小区间，在每个小区间上 $f$ 仍为线性函数，且根据 (2) 中线性函数积分性质的第三条可知，$f$ 在这些新的小区间上的积分之和与分点 ${x\_i}$ 或 ${x'\_i}$ 分割后形成的小区间上 $f$ 的积分之和是一致的.
>
> 以上说明了分段线性函数的积分与区间中分点的选取无关. 利用这一点不难看出，(2) 中线性函数积分的三条性质对于分段线性函数也完全成立.
>
> (4) 现在假设 $f$ 是 $\[a, b]$ 上的连续函数，不一定是分段线性的，我们要定义 $f$ 在 $\[a, b]$ 上的积分. 一个自然的想法是用分段线性的函数去逼近 $f$.
>
> 事实上，任给正整数 $n$，将 $\[a, b]$ 作 $n$ 等分，分点为 $x\_i = a + \dfrac{i}{n}(b - a)$，$i = 0, 1, \cdots, n$. 在每一个小区间 $\[x\_{i-1}, x\_i]$ 上定义 $l\_i(x)$ 为满足条件 $l\_i(x\_{i-1}) = f(x\_{i-1})$，$l\_i(x\_i) = f(x\_i)$ 的线性函数，$l\_i(x)$ 的表达式为
> $$
> l\_i(x) = f(x\_{i-1}) + \frac{f(x\_i) - f(x\_{i-1})}{x\_i - x\_{i-1}}(x - x\_{i-1}).
> $$
> 在 $\[a, b]$ 上定义连续分段线性函数 $f\_n(x)$ 为
> $$
> f\_n(x) = l\_i(x),\quad x \in \[x\_{i-1}, x\_i],\quad i = 1, \cdots, n.
> $$

**命题1.** 设 $f$, $f\_n$ 如上，则任给 $\varepsilon > 0$，存在 $N = N(\varepsilon)$，当 $n > N$ 时
$$
|f(x) - f\_n(x)| < \varepsilon,\quad \forall x \in \[a, b].
$$

> 这需要用到闭区间上连续函数的一致连续性. 任给 $\varepsilon > 0$，存在 $\delta > 0$，使得
> $$
> |f(x') - f(x'')| \le \varepsilon,\quad \forall |x' - x''| < \delta.
> $$
> 取正整数 $N > (b - a)/\delta$，则当 $n > N$ 时 $\dfrac{1}{n}(b - a) < \delta$. 此时，设 $x \in \[x\_{i-1}, x\_i]$ ($1 \le i \le n$)，则有
> $$
> \begin{aligned}
> |f(x) - f\_n(x)| &= |f(x) - l\_i(x)|\\\\
> &= \left|f(x) - f(x\_{i-1}) - \frac{f(x\_i) - f(x\_{i-1})}{x\_i - x\_{i-1}}(x - x\_{i-1})\right|\\\\
> &= \left|(f(x) - f(x\_{i-1}))\frac{x\_i - x}{x\_i - x\_{i-1}} + (f(x) - f(x\_i))\frac{x - x\_{i-1}}{x\_i - x\_{i-1}}\right|\\\\
> &\le \varepsilon \frac{x\_i - x}{x\_i - x\_{i-1}} + \varepsilon \frac{x - x\_{i-1}}{x\_i - x\_{i-1}}
> \= \varepsilon.
> \end{aligned}
> $$
> 这就证明了命题

利用这个命题，当 $m, n > N$ 时，就有
$$
|f\_m(x) - f\_n(x)| \le |f\_m(x) - f(x)| + |f(x) - f\_n(x)| \le 2\varepsilon,
$$
因为 $f\_m(x) - f\_n(x)$ 也是分段线性函数，故有
$$
\left|\int\_a^b f\_m(x),dx - \int\_a^b f\_n(x),dx\right| = \left|\int\_a^b (f\_m(x) - f\_n(x)),dx\right| \le 2\varepsilon(b - a),
$$
这说明，数列 $\left{\displaystyle\int\_a^b f\_n(x),dx\right}$ 是 Cauchy 列，因此其极限存在，我们现在就定义
$$
\int\_a^b f(x),dx = \lim\_{n \to \infty} \int\_a^b f\_n(x),dx.
$$

如果 $f(x)$ 本来就是 $\[a, b]$ 上的连续分段线性函数，则这个定义与 (3) 中的积分定义是一致的，我们把这个一致性证明留给读者思考. 根据分段线性函数积分的定义，$f$ 的积分可以表示为
$$
\int\_a^b f(x),dx = \lim\_{n \to \infty} \sum\_{i=1}^n \frac{1}{2}\[f(a + \frac{i-1}{n}(b - a)) + f(a + \frac{i}{n}(b - a))]\frac{1}{n}(b - a)
$$

$$
\= \lim\_{n \to \infty} \frac{1}{n} \sum\_{i=1}^n f(a + \frac{i}{n}(b - a))(b - a),
$$

**注意.** 和式 $\dfrac{1}{n}\displaystyle\sum\_{i=1}^n f(a + \dfrac{i}{n}(b - a))$ 是一个平均数，其极限可以认为是 $f(x)$ 在区间 $\[a, b]$ 上的平均值. 在这个意义上，$f(x)$ 在 $\[a, b]$ 上的积分就等于 $f(x)$ 的平均值乘以区间长度，这是连续函数积分的几何含义.

下面我们按照积分的定义计算.

/example/ 求函数 $f(x) = a^x$ 在区间 $\[0, 1]$ 上的积分，其中 $a > 0$, $a \ne 1$.

> 将 $\[0, 1]$ 作 $n$ 等分，利用定义得
> $$
> \begin{aligned}
> \int\_0^1 a^x,dx &= \lim\_{n \to \infty} \frac{1}{n} \sum\_{i=1}^n a^{\frac{i}{n}}\\\\
> &= \lim\_{n \to \infty} \frac{1}{n} \cdot \frac{a - 1}{a^{\frac{1}{n}} - 1}\\\\
> &= \lim\_{t \to 0^+} (a - 1) \frac{t a^t}{a^t - 1}\\\\
> &= \frac{a - 1}{\ln a}.
> \end{aligned}
> $$

利用连续函数的一致连续性，我们可以改写定义式. 事实上，沿用前面的记号如 $\varepsilon$, $N$ 等，当 $n > N$ 时，在等分小区间 $\[x\_{i-1}, x\_i]$ 中任取一点 $\xi\_i$，则有
$$
|f(x\_i) - f(\xi\_i)| \le \varepsilon,\quad i = 1, 2, \cdots, n.
$$
因此
$$
\left|\frac{1}{n} \sum\_{i=1}^n f(x\_i)(b - a) - \frac{1}{n} \sum\_{i=1}^n f(\xi\_i)(b - a)\right| \le \frac{1}{n} \sum\_{i=1}^n |f(x\_i) - f(\xi\_i)|(b - a) \le \varepsilon(b - a),
$$
这说明
$$
\int\_a^b f(x),dx = \lim\_{n \to \infty} \frac{1}{n} \sum\_{i=1}^n f(\xi\_i)(b - a),\quad \forall\ \xi\_i \in \[a + \frac{i-1}{n}(b - a),\ a + \frac{i}{n}(b - a)].
$$
这个极限等式也可以作为积分的定义，它的好处是无须总在小区间的端点取 $f(x)$ 的值，而极限仍然不变.

### · 积分性质

前一小节定义了连续函数 $f$ 在闭区间 $\[a, b]$ 上的积分，现在我们做如下约定：
$$
\int\_a^a f(x),dx = 0;\quad \int\_b^a f(x),dx = -\int\_a^b f(x),dx.
$$

从积分定义的讨论，我们可以得到积分的如下简单性质：

线性性：

> 如果 $f, g$ 为 $\[a, b]$ 上的连续函数，$\alpha, \beta \in \mathbb{R}$，则
> $$
> \int\_a^b (\alpha f(x) + \beta g(x)),dx = \alpha \int\_a^b f(x),dx + \beta \int\_a^b g(x),dx;
> $$
>
> 如果 $|f(x)| \le M$，$\forall x \in \[a, b]$，则
> $$
> \left|\int\_a^b f(x),dx\right| \le M(b - a);
> $$

保序性：

> 如果 $f \ge g$ 为 $\[a, b]$ 上的连续函数，则
> $$
> \int\_a^b f(x),dx \ge \int\_a^b g(x),dx;
> $$
> 特别地，由 $-|f| \le f \le |f|$ 可得
> $$
> \left|\int\_a^b f(x),dx\right| \le \int\_a^b |f(x)|,dx;
> $$

关于区间的可加性：

> 设 $f$ 为连续函数，$a, b, c$ 为定义域中三点，则
> $$
> \int\_a^c f(x),dx = \int\_a^b f(x),dx + \int\_b^c f(x),dx;
> $$
> 事实上，不妨设 $a < b < c$。任给 $\varepsilon > 0$，分别在区间 $\[a, b]$、$\[b, c]$ 上取连续的分段线性函数 $\varphi$ 和 $\psi$，使得 $\varphi(b) = \psi(b)$，且
> $$
> |f(x) - \varphi(x)| \le \varepsilon,\quad \forall x \in \[a, b];\quad |f(x) - \psi(x)| \le \varepsilon,\quad \forall x \in \[b, c].
> $$
> 在 $\[a, c]$ 上定义分段线性函数 $g(x)$，使得在 $\[a, b]$ 上 $g = \varphi$，在 $\[b, c]$ 上 $g = \psi$，于是
> $$
> |f(x) - g(x)| \le \varepsilon,\quad \forall x \in \[a, c].
> $$
> 根据积分的保序性以及分段线性函数的积分关于区间的可加性，得
> $$
> \begin{aligned}
> &\left|\int\_a^c f(x),dx - \int\_a^b f(x),dx - \int\_b^c f(x),dx\right|\\\\
> &\le \left|\int\_a^c g(x),dx - \int\_a^b f(x),dx - \int\_b^c f(x),dx\right| + \varepsilon(c - a)\\\\
> &= \left|\int\_a^b \[g(x) - f(x)],dx + \int\_b^c \[g(x) - f(x)],dx\right| + \varepsilon(c - a)\\\\
> &\le \varepsilon(b - a) + \varepsilon(c - b) + \varepsilon(c - a) = 2\varepsilon(c - a),
> \end{aligned}
> $$
>
> 由于 $\varepsilon$ 是任取的，故积分关于区间的可加性成立

如果 $f(x)$ 为 $\[a, b]$ 上的非负连续函数，则
$$
\int\_a^b f(x),dx \ge 0,
$$
且等号成立当且仅当 $f = 0$。这条性质的前半部分从积分的保序性得到。至于后半部分，如果 $f(x\_0) > 0$，则由 $f$ 的连续性可知，存在区间 $\[c, d] \subset \[a, b]$，使得
$$
f(x) \ge \frac{1}{2}f(x\_0),\quad \forall x \in \[c, d].
$$
此时由积分关于区间的可加性以及保序性可得
$$
\begin{aligned}
\int\_a^b f(x),dx &= \int\_a^c f(x),dx + \int\_c^d f(x),dx + \int\_d^b f(x),dx\\\\
&\ge \int\_c^d f(x),dx \ge \frac{f(x\_0)}{2}(d - c) > 0,
\end{aligned}
$$
即此时 $f(x)$ 在 $\[a, b]$ 上的积分为正

在定义积分时，我们使用的是将区间作等分然后求极限的方法。我们要说明的是，作区间划分时不必取等分分点。事实上，在 $\[a, b]$ 中任取分点 $a = x\_0 < x\_1 < \cdots < x\_n = b$，称
$$
\pi: a = x\_0 < x\_1 < \cdots < x\_n = b
$$
为 $\[a, b]$ 的一个分划（或分割）。记 $|\pi| = \max\limits\_{1 \le i \le n} |x\_i - x\_{i-1}|$。任给 $\varepsilon > 0$，由连续函数的一致连续性，存在 $\delta > 0$，当 $|\pi| < \delta$ 时
$$
|f(x) - f(x\_i)| < \varepsilon,\quad \forall x \in \[x\_{i-1}, x\_i],\quad i = 1, 2, \cdots, n.
$$
由
$$
\begin{aligned}
\int\_a^b f(x),dx &= \sum\_{i=1}^n \int\_{x\_{i-1}}^{x\_i} f(x),dx\\\\
&= \sum\_{i=1}^n f(x\_{i-1})(x\_i - x\_{i-1}) + \sum\_{i=1}^n \int\_{x\_{i-1}}^{x\_i} (f(x) - f(x\_{i-1})),dx
\end{aligned}
$$
得
$$
\left|\int\_a^b f(x),dx - \sum\_{i=1}^n f(x\_{i-1})(x\_i - x\_{i-1})\right|
\le \sum\_{i=1}^n \varepsilon(x\_i - x\_{i-1}) = \varepsilon(b - a),
$$
这说明
$$
\int\_a^b f(x),dx = \lim\_{|\pi| \to 0} \sum\_{i=1}^n f(x\_{i-1})(x\_i - x\_{i-1}),
$$
同理，如果任取 $\xi\_i \in \[x\_{i-1}, x\_i]$，则仍有
$$
\int\_a^b f(x),dx = \lim\_{|\pi| \to 0} \sum\_{i=1}^n f(\xi\_i)(x\_i - x\_{i-1}),\quad \forall\ \xi\_i \in \[x\_{i-1}, x\_i].
$$
**命题2** (积分中值定理). 设 $f, g$ 为 $\[a, b]$ 上的连续函数。如果 $g$ 不变号，则存在 $\xi \in \[a, b]$，使得
$$
\int\_a^b f(x)g(x),dx = f(\xi) \int\_a^b g(x),dx.
$$

> 不妨设 $g \ge 0$。$f$ 在 $\[a, b]$ 上的最小值和最大值分别记为 $m, M$，则
> $$
> mg(x) \le f(x)g(x) \le Mg(x),\quad \forall x \in \[a, b].
> $$
> 根据积分的保序性和线性性，有
> $$
> m \int\_a^b g(x),dx \le \int\_a^b f(x)g(x),dx \le M \int\_a^b g(x),dx.
> $$
> 如果 $\displaystyle\int\_a^b g(x),dx = 0$，则任取 $\xi \in \[a, b]$ 即可。如果 $\displaystyle\int\_a^b g(x),dx > 0$，则
> $$
> m \le \frac{\displaystyle\int\_a^b f(x)g(x),dx}{\displaystyle\int\_a^b g(x),dx} \le M,
> $$
> 由连续函数的介值定理知存在 $\xi \in \[a, b]$，使得
> $$
> f(\xi) = \frac{\displaystyle\int\_a^b f(x)g(x),dx}{\displaystyle\int\_a^b g(x),dx},
> $$
> 此 $\xi$ 即为所求的点

在此命题中取 $g = 1$，则得到简单推论：存在 $\xi \in \[a, b]$，使得
$$
f(\xi) = \frac{\displaystyle\int\_a^b f(x),dx}{b - a},\quad \text{or}\quad \int\_a^b f(x),dx = f(\xi)(b - a).
$$
这里 $f(\xi)$ 也就是 $f(x)$ 在 $\[a, b]$ 上的平均值

## Part 2 不定积分

### · 定义

现在我们考虑这样的问题，即一个给定的函数是另一个可导函数的导数吗？如果函数 $f$ 给定，问题就是考虑方程\
$$
F'(x) = f(x)
$$
的解. 我们要问，方程的解存在吗？如果存在的话，有多少个解？如果 $F$ 是一个解，则显然 $F + C$ ($C$ 为常数) 也是一个解，我们来说明这也是所有可能的其它解.

**命题1**. 设 $f$ 为区间上的可微函数，则 $f' = 0$ 当且仅当 $f = C$ 为常值函数.

> 只要证明必要性即可. 设 $f' = 0$，在定义域中任取两点 $a < b$，我们证明必有 $f(a) = f(b)$. 设 $\varepsilon > 0$ 是任意取定的正数. 考虑集合\
> $$
> A = {y \in \[a,b] \mid |f(x) - f(a)| \le \varepsilon|x - a|,\ \forall\ x \in \[a,y]} \subset \[a,b].
> $$
> 因为 $a \in A$，因此 $A$ 不是空集. 设 $y\_0$ 为 $A$ 的上确界. 由 $f$ 的连续性知 $y\_0 \in A$. 我们断言 $y\_0 = b$. 事实上，如果 $y\_0 < b$，则因为 $f'(y\_0) = 0$，由导数的定义知存在 $\delta > 0$，使得 $y\_0 + \delta \le b$，且\
> $$
> \left|\frac{f(x) - f(y\_0)}{x - y\_0}\right| = \left|\frac{f(x) - f(y\_0)}{x - y\_0} - f'(y\_0)\right| \le \varepsilon,\quad \forall\ x \in (y\_0, y\_0 + \delta\ ].
> $$
> 因此，当 $x \in \[y\_0, y\_0 + \delta]$ 时
> $$
> \begin{aligned}
> |f(x) - f(a)| &\le |f(x) - f(y\_0)| + |f(y\_0) - f(a)| \\\\
> &\le \varepsilon|x - y\_0| + \varepsilon|y\_0 - a| = \varepsilon|x - a|.
> \end{aligned}
> $$
> 这说明 $\[y\_0, y\_0 + \delta] \subset A$，这和 $y\_0$ 的选取相矛盾，因此只能有 $y\_0 = b$. 即\
> $$
> |f(a) - f(b)| \le \varepsilon|a - b|.
> $$
> 因为 $\varepsilon$ 是任取的，令 $\varepsilon \to 0$，上式表明 $f(a) = f(b)$.
>
> > (1) 如果将导数解释为速度，则命题说的就是速度为零时，质点位移不变. 从直观看这是显然的，但从数学上来讲就必须严格证明.
> >
> > (2) 如果存在常数 $M$ 使得 $|f'| \le M$，则把命题证明过程中的 $\varepsilon$ 换成 $M + \varepsilon$ 后可以得出下面的估计\
> > $$
> > |f(a) - f(b)| \le M|a - b|,
> > $$
> > 即 $f$ 为 Lipschitz 函数.
> >
> > 现在，如果 $F\_1$, $F\_2$ 都是方程的解，则 $(F\_1 - F\_2)' = 0$，从而 $F\_1 - F\_2 = C$ 为常数.

**定义1**（原函数）. 方程的一个可微解 $F$ 称为函数 $f$ 的一个原函数. 根据上面的讨论，任何两个原函数之间只相差一个常数. 对于一般的原函数我们给出下面的定义：

**定义2**（不定积分）. 设函数 $f$ 在区间 $I$ 上有原函数，则我们用记号\
$$
\int f(x),dx
$$
表示 $f$ 的原函数的一般表达式，即如果 $F$ 为 $f$ 的一个原函数，则\
$$
\int f(x),dx = F(x) + C,\quad x \in I,
$$
其中 $C$ 为常数.

根据定义，如果 $F$ 是 $f$ 的原函数，则 $dF = f(x),dx$，因此\
$$
d\left(\int f(x),dx\right) = f(x),dx,
$$
因此求原函数的过程是求微分过程之逆.

我们可以给出如下计算结果：

> (1).
> $$
> \displaystyle \int 0,dx = C
> $$
> (2).
> $$
> \displaystyle \int x^\alpha,dx = \frac{x^{\alpha+1}}{\alpha+1} + C\ (\alpha \ne -1)
> $$
> (3).
> $$
> \displaystyle \int e^x,dx = e^x + C
> $$
> (4).
> $$
> \displaystyle \int a^x,dx = \frac{a^x}{\ln a} + C\ (a > 0, a \ne 1)
> $$
> (5).
> $$
> \displaystyle \int \frac{1}{x},dx = \ln|x| + C
> $$
> (6).
> $$
> \displaystyle \int \frac{1}{\sqrt{1+x^2}},dx = \ln(x + \sqrt{1+x^2}) + C
> $$
> (7).
> $$
> \displaystyle \int \cos x,dx = \sin x + C
> $$
> (8).
> $$
> \displaystyle \int \frac{1}{\sqrt{1-x^2}},dx = \arcsin x + C
> $$
> (9).
> $$
> \displaystyle \int \sin x,dx = -\cos x + C
> $$
> (10).
> $$
> \displaystyle \int \frac{1}{\sqrt{1-x^2}},dx = -\arccos x + C
> $$
> (11).
> $$
> \displaystyle \int \sec^2 x,dx = \tan x + C
> $$
> (12).
> $$
> \displaystyle \int \frac{1}{1+x^2},dx = \arctan x + C
> $$
> (13).
> $$
> \displaystyle \int \csc^2 x,dx = -\cot x + C
> $$
> (14).
> $$
> \displaystyle \int \frac{1}{1+x^2},dx = -\operatorname{arccot} x + C
> $$
> (15).
> $$
> \displaystyle \int \cosh x,dx = \sinh x + C
> $$
> (16).
> $$
> \displaystyle \int \sinh x,dx = \cosh x + C
> $$
> (17).
> $$
> \displaystyle \int \tanh^2 x,dx = x - \tanh x + C
> $$
> (18).
> $$
> \displaystyle \int \coth^2 x,dx = x - \coth x + C
> $$

我们当然要问，除了上面列出的函数之外，还有哪些函数有原函数？

### · Newton-Leibniz

**定理2**（Newton-Leibniz）. 区间 $I$ 中的连续函数都有原函数. 具体来说，设 $f$ 连续，$a \in I$，则函数\
$$
F(x) = \int\_a^x f(t),dt,\quad x \in I
$$
是 $f$ 的一个原函数.

> 设 $x\_0 \in I$. 因为 $f$ 连续，任给 $\varepsilon > 0$，存在 $\delta > 0$，使得\
> $$
> |f(x) - f(x\_0)| < \varepsilon,\quad \forall\ x \in (x\_0 - \delta, x\_0 + \delta) \cap I.
> $$
> 此时
> $$
> \begin{aligned}
> \left|\frac{F(x) - F(x\_0)}{x - x\_0} - f(x\_0)\right|& = \left|\frac{\displaystyle\int\_{x\_0}^x f(t),dt}{x - x\_0} - f(x\_0)\right|\\\\
> &= \left|\frac{\displaystyle\int\_{x\_0}^x (f(t) - f(x\_0)),dt}{x - x\_0}\right|\\\\
> &\le \frac{\displaystyle\int\_{x\_0}^x |f(t) - f(x\_0)|,dt}{|x - x\_0|} \le \varepsilon,
> \end{aligned}
> $$
> 这就推出 $F$ 在 $x\_0$ 处可导，且\
> $$
> F'(x\_0) = f(x\_0).
> $$
> 由 $x\_0$ 的任意性即知 $F$ 为 $f$ 的原函数.
>
> > (1) 这个定理又称为微积分基本定理，它将微分和积分联系在了一起.
> >
> > (2) 在后面我们会稍稍降低定理中对 $f$ 的连续性要求，得到一样的结论.

我们现在将 Newton-Leibniz 的这个重要定理改写一下. 设 $f$ 在区间 $I$ 中连续，$G$ 为 $f$ 的任一原函数，则存在常数 $C$，使得\
$$
G(x) = \int\_a^x f(t),dt + C,
$$
因此\
$$
\int\_a^b f(x),dx = G(b) - G(a) = G\big|\_a^b.
$$
因为 $f$ 的不定积分为原函数，因此上式也可写为
$$
\int\_a^b f(x),dx = \left(\int f(x),dx\right)\bigg|\_a^b,
$$
从这个等式来看，连续函数在区间上的积分就好象是在它的不定积分中代入上下积分限一样.

Newton-Leibniz 公式还可写为（当 $G$ 连续可微时）\
$$
\int\_a^b G'(x),dx = G(b) - G(a) = G\big|\_a^b\quad \text{(Newton-Leibniz)}.
$$
这是一个很常用的形式，它有一个物理的解释：如果 $G$ 是随时间 $x$ 变化的物理量，$G'$ 就表示物理量的变化率. $G'$ 的积分表示无穷小变化量在某一段时间内的积累，最终就等于总的变化量（右式差值）.

有了这些 Newton-Leibniz 公式，某些情形下连续函数积分的计算就变得很简单了.

**命题3**（不定积分的线性性质）. 设 $f$, $g$ 在区间 $I$ 中均有原函数，则\
$$
\int \[\alpha f(x) + \beta g(x)],dx = \alpha \int f(x),dx + \beta \int g(x),dx,
$$
其中 $\alpha$, $\beta$ 为常数.

**命题4**. 设 $f$ 的原函数为 $F$. 如果 $f$ 可逆，且其逆函数 $g$ 可微，则\
$$
\int g(x),dx = xg(x) - F(g(x)) + C.
$$

> 记 $G(x) = xg(x) - F(g(x))$，由 $f(g(x)) = x$ 以及复合求导，有\
> $$
> \begin{aligned}
> G'(x) &= g(x) + xg'(x) - F'(g(x))g'(x)\\\\
> &= g(x) + xg'(x) - f(g(x))g'(x)\\\\
> &= g(x) + xg'(x) - xg'(x) = g(x).
> \end{aligned}
> $$
> 因此 $G(x)$ 为 $g$ 的原函数.

/example/ 求不定积分 $\displaystyle\int \dfrac{1}{\sin^2 x \cos^2 x},dx$.

> 由不定积分的线性性质，有\
> $$
> \begin{aligned}
> \int \frac{1}{\sin^2 x \cos^2 x},dx &= \int \frac{\sin^2 x + \cos^2 x}{\sin^2 x \cos^2 x},dx\\\\
> &= \int \frac{1}{\sin^2 x},dx + \int \frac{1}{\cos^2 x},dx\\\\
> &= \tan x - \cot x + C.
> \end{aligned}
> $$

/example/ 设 $a \ne 0$，求不定积分 $\displaystyle\int \dfrac{1}{x^2 - a^2},dx$.

> 由不定积分的线性性质，有\
> $$
> \begin{aligned}
> \int \frac{1}{x^2 - a^2},dx &= \frac{1}{2a}\left\[\int \frac{1}{x - a},dx - \int \frac{1}{x + a},dx\right]\\\\
> &= \frac{1}{2a}\left\[\ln|x - a| - \ln|x + a|\right] + C\\\\
> &= \frac{1}{2a} \ln\left|\frac{x - a}{x + a}\right| + C.
> \end{aligned}
> $$

##