定积分的引入

问题提出

同学们早上好！今天我们将开始学习积分学的第一节——定积分。在微分学中，我们已经掌握了导数的概念和应用，但还有一个非常重要的数学问题没有解决：如何计算不规则区域的面积？

大家想一想，我们已经学过的几何图形面积公式：矩形的面积 = 长 × 宽，三角形的面积 = (底 × 高) ÷ 2，圆的面积 = π × r²。但是，如果我给你一个由曲线围成的区域，比如抛物线 $y = x^2$ 与直线 $y = 2$ 之间的区域，你该如何计算它的面积呢？

一个呼噜星人举手提问：“老师，既然圆的面积公式我们已经知道了，为什么还要用积分计算圆的面积呢？这不是多此一举吗？”

我微笑着回答：“问得好！这正是我们要学习的核心问题。虽然圆的面积公式是已知的重要结果，但通过积分方法计算圆的面积，可以让我们理解积分的本质——它不仅是一个计算工具，更是连接微分与积分的重要桥梁。通过这个具体的例子，我们将看到积分如何将复杂的面积计算问题转化为求和极限问题。”

那么，我们面临的核心问题是：

如何用积分计算平面区域的面积？
对于圆的上半圆 $y = \sqrt{r^2 - x^2}$ ，它的面积是多少？
什么是定积分的数学定义？
积分与微分之间有什么关系？

让我们从最直观的面积计算问题开始，逐步深入理解定积分的概念。

观察与猜想

首先，让我们观察一个简单的函数 $f(x) = x^2$ 在区间 $[0, 1]$ 上的图像。这个函数的图像是一条抛物线，现在我们想要计算它与 $x$ 轴之间的区域面积。

如果我们想把这段区域分割成若干个小矩形，然后把这些小矩形的面积加起来，就能近似得到总面积。当分割得越来越细时，近似的精度就会越来越高。

让我们尝试用具体的数字来验证这个想法。假设我们将区间 $[0, 1]$ 分成 $n$ 等份，每个小区间的宽度是 $\Delta x = \frac{1}{n}$ 。

在第 $i$ 个小区间 $\left[\frac{i-1}{n}, \frac{i}{n}\right]$ 上，我们可以选择左端点、右端点或者中点来计算小矩形的高度。如果我们选择右端点，那么小矩形的高度就是 $f\left(\frac{i}{n}\right) = \left(\frac{i}{n}\right)^2$ 。

小矩形的面积就是：

\text{小矩形面积} = f\left(\frac{i}{n}\right) \cdot \Delta x = \left(\frac{i}{n}\right)^2 \cdot \frac{1}{n} = \frac{i^2}{n^3}

所有小矩形面积的总和就是：

S_n = \sum_{i=1}^{n} \frac{i^2}{n^3} = \frac{1}{n^3} \sum_{i=1}^{n} i^2

我们记得平方和公式： $\sum_{i=1}^{n} i^2 = \frac{n(n+1)(2n+1)}{6}$ ，所以：

S_n = \frac{1}{n^3} \cdot \frac{n(n+1)(2n+1)}{6} = \frac{(n+1)(2n+1)}{6n^2}

现在让我们计算当 $n \to \infty$ 时的极限：

\lim_{n \to \infty} S_n = \lim_{n \to \infty} \frac{(n+1)(2n+1)}{6n^2} = \lim_{n \to \infty} \frac{2n^2 + 3n + 1}{6n^2} = \frac{2}{6} = \frac{1}{3}

这个结果告诉我们： $f(x) = x^2$ 在 $[0, 1]$ 上的面积确实是 $\frac{1}{3}$ ！

这里我们得到了一个重要的发现：通过将区域分割成小矩形，然后求和，最后取极限的方法，我们成功地计算出了曲线下的面积。这就是定积分的直观想法！

现在让我们把这个思想应用到圆的上半圆 $y = \sqrt{r^2 - x^2}$ 。考虑圆心在原点，半径为 $r$ 的上半圆：

这个上半圆的定义域是 $[-r, r]$ ，值域是 $[0, r]$ 。如果我们想计算它的面积，可以把底边分成若干个小区间，每个小区间对应一个小矩形，然后把这些小矩形面积加起来。

假设我们将区间 $[-r, r]$ 分成 $2n$ 等份（选择偶数是为了对称），每个小区间的宽度是 $\Delta x = \frac{r - (-r)}{2n} = \frac{2r}{2n} = \frac{r}{n}$ 。

在第 $i$ 个小区间上，如果我们选择中点 $x_i$ 来计算高度，那么小矩形的高度就是 $\sqrt{r^2 - x_i^2}$ 。

小矩形的面积是： $\sqrt{r^2 - x_i^2} \cdot \frac{r}{n}$

总面积的近似值是： $S_n = \sum_{i=1}^{2n} \sqrt{r^2 - x_i^2} \cdot \frac{r}{n}$

当 $n \to \infty$ 时，这个和的极限就是上半圆的面积：

\text{上半圆面积} = \lim_{n \to \infty} S_n = \lim_{n \to \infty} \sum_{i=1}^{2n} \sqrt{r^2 - x_i^2} \cdot \frac{r}{n}

这就是我们要求的面积！但我们需要把这个想法用更严谨的数学语言来表达。

严格证明

现在让我们从数学的角度严格定义定积分。首先，我们需要引入一些重要的概念：

定积分的定义 设函数 $f(x)$ 在区间 $[a, b]$ 上有定义。我们进行如下步骤：

分割：将区间 $[a, b]$ 分成 $n$ 个小区间： $a = x_0 < x_1 < x_2 < \cdots < x_n = b$
取点：在每个小区间 $[x_{i-1}, x_i]$ 上任取一点 $\xi_i$
求和：计算黎曼和 $R_n = \sum_{i=1}^{n} f(\xi_i) \Delta x_i$ ，其中 $\Delta x_i = x_i - x_{i-1}$
取极限：令最大小区间的长度 $\lambda = \max\{\Delta x_1, \Delta x_2, \ldots, \Delta x_n\}$ 趋于 0

如果极限 $\lim_{\lambda \to 0} R_n$ 存在，那么称函数 $f(x)$ 在 $[a, b]$ 上可积，这个极限值称为 $f(x)$ 在 $[a, b]$ 上的定积分，记作：

\int_a^b f(x) dx = \lim_{\lambda \to 0} \sum_{i=1}^{n} f(\xi_i) \Delta x_i

这里的 $\int$ 叫做积分号，是拉长的字母 S，表示求和（Summation）； $a$ 和 $b$ 分别叫做积分下限和上限； $f(x)$ 叫做被积函数； $dx$ 叫做积分变量。

现在我们要证明，对于上半圆 $y = \sqrt{r^2 - x^2}$ ，它在 $[-r, r]$ 上的积分等于 $\frac{\pi r^2}{2}$ （因为这是上半圆的面积，完整圆的面积应该是 $\pi r^2$ ）。

黎曼可积定理 如果一个函数在闭区间 $[a, b]$ 上连续，那么它在 $[a, b]$ 上可积。

由于 $y = \sqrt{r^2 - x^2}$ 在 $[-r, r]$ 上是连续函数，所以它在这个区间上是可积的。

现在让我们具体计算这个定积分。由于积分的几何意义就是曲线下的面积，我们可以利用这个性质来验证我们的结果。

为了计算 $\int_{-r}^{r} \sqrt{r^2 - x^2} dx$ ，我们可以采用参数化的方法。令 $x = r \sin \theta$ ，那么 $dx = r \cos \theta d\theta$ 。

当 $x = -r$ 时， $\theta = -\frac{\pi}{2}$ ；当 $x = r$ 时， $\theta = \frac{\pi}{2}$ 。

被积函数变为：

\sqrt{r^2 - (r \sin \theta)^2} = \sqrt{r^2(1 - \sin^2 \theta)} = r \sqrt{\cos^2 \theta} = r |\cos \theta|

在区间 $[-\frac{\pi}{2}, \frac{\pi}{2}]$ 上， $\cos \theta \geq 0$ ，所以 $|\cos \theta| = \cos \theta$ 。

因此，积分变为：

\int_{-r}^{r} \sqrt{r^2 - x^2} dx = \int_{-\frac{\pi}{2}}^{\frac{\pi}{2}} r \cos \theta \cdot r \cos \theta d\theta = r^2 \int_{-\frac{\pi}{2}}^{\frac{\pi}{2}} \cos^2 \theta d\theta

利用恒等式 $\cos^2 \theta = \frac{1 + \cos 2\theta}{2}$ ，我们得到：

r^2 \int_{-\frac{\pi}{2}}^{\frac{\pi}{2}} \frac{1 + \cos 2\theta}{2} d\theta = \frac{r^2}{2} \int_{-\frac{\pi}{2}}^{\frac{\pi}{2}} (1 + \cos 2\theta) d\theta

计算这个积分：

\int_{-\frac{\pi}{2}}^{\frac{\pi}{2}} (1 + \cos 2\theta) d\theta = \left[\theta + \frac{\sin 2\theta}{2}\right]_{-\frac{\pi}{2}}^{\frac{\pi}{2}} = \left(\frac{\pi}{2} + 0\right) - \left(-\frac{\pi}{2} + 0\right) = \pi

因此，最终结果为：

\int_{-r}^{r} \sqrt{r^2 - x^2} dx = \frac{r^2}{2} \cdot \pi = \frac{\pi r^2}{2}

这个结果与我们已经知道的半圆面积公式完全一致！这证明了我们的积分计算是正确的。

现在，我们要引入积分学中最重要的定理之一：

定理

牛顿-莱布尼茨公式 如果函数 $F(x)$ 是 $f(x)$ 的一个原函数，即 $F'(x) = f(x)$ ，那么：

\int_a^b f(x) dx = F(b) - F(a)

这个公式是连接微分与积分的桥梁！它告诉我们，要计算定积分，只需要找到被积函数的原函数，然后计算它在积分上下限处的函数值之差。

让我们用牛顿-莱布尼茨公式重新计算 $\int_{0}^{1} x^2 dx$ ：

我们知道 $x^2$ 的原函数是 $F(x) = \frac{x^3}{3}$ ，因为 $F'(x) = x^2$ 。

根据牛顿-莱布尼茨公式：

\int_{0}^{1} x^2 dx = F(1) - F(0) = \frac{1^3}{3} - \frac{0^3}{3} = \frac{1}{3} - 0 = \frac{1}{3}

这个结果与我们之前用黎曼和得到的结果完全一致！

结论与应用

通过今天的学习，我们已经掌握了定积分的基本概念和计算方法。让我们总结一下今天的主要收获：

定积分的核心概念：

定积分是黎曼和的极限： $\int_a^b f(x) dx = \lim_{\lambda \to 0} \sum_{i=1}^{n} f(\xi_i) \Delta x_i$
定积分的几何意义是曲线下的面积
牛顿-莱布尼茨公式连接了微分与积分： $\int_a^b f(x) dx = F(b) - F(a)$

现在让我们回到最初的问题：如何用积分计算面积？ 通过学习我们已经知道：

平面图形的面积：对于由曲线 $y = f(x)$ 和 $x$ 轴在 $[a, b]$ 之间围成的区域，面积就是 $\int_a^b f(x) dx$
两个函数之间的面积：对于由曲线 $y = f(x)$ 和 $y = g(x)$ 在 $[a, b]$ 之间围成的区域，面积就是 $\int_a^b |f(x) - g(x)| dx$
圆的面积：我们通过积分计算了上半圆 $y = \sqrt{r^2 - x^2}$ 的面积是 $\frac{\pi r^2}{2}$ ，整个圆的面积就是 $\pi r^2$

实际应用举例：假设我们要计算由 $y = x^2$ 和 $y = 4$ 围成的区域面积。

首先求交点： $x^2 = 4$ ，所以 $x = \pm 2$

面积 = $\int_{-2}^{2} (4 - x^2) dx = \left[4x - \frac{x^3}{3}\right]_{-2}^{2} = (8 - \frac{8}{3}) - (-8 + \frac{8}{3}) = \frac{16}{3} - (-\frac{16}{3}) = \frac{32}{3}$

定积分不仅仅是计算面积的工具，它在物理学中也有广泛应用：

路程计算：速度函数 $v(t)$ 的积分就是路程： $s = \int_{t_1}^{t_2} v(t) dt$
功的计算：力函数 $F(x)$ 的积分就是功： $W = \int_{a}^{b} F(x) dx$
概率计算：概率密度函数的积分就是概率

最后，我要强调的是，定积分的引入不仅仅是提供了一个新的计算工具，更重要的是它建立了微分与积分之间的深刻联系。通过牛顿-莱布尼茨公式，我们看到了求导（微分）和求原函数（积分）是互逆运算。这个发现是微积分学中最核心的成果之一。

学习定积分的过程中，我们经历了从直观观察到严格证明的过程。从简单的矩形分割，到黎曼和的极限定义，再到牛顿-莱布尼茨公式的应用，每一步都体现了数学的严谨性和统一性。这种从具体到抽象，再到具体的思维过程，正是数学学习的精髓所在。

思考题：

如果我们使用梯形而不是矩形来近似面积，会得到什么样的结果？
如何用定积分计算由极坐标方程 $r = f(\theta)$ 给出的曲线围成的区域面积？
尝试用定积分证明圆的周长公式 $C = 2\pi r$

呼噜星人的收获：今天我们学习了定积分的基本概念，知道了如何用黎曼和的极限来定义定积分，了解了定积分的几何意义，并掌握了牛顿-莱布尼茨公式。通过计算半圆面积的具体例子，我们看到了积分如何将复杂的面积计算问题转化为简单的求值问题。最重要的是，我们理解了微分与积分之间的深刻联系，这是整个微积分学的核心所在。

定积分不仅是一个计算工具，更是一种思维方式。它教会我们如何将复杂的问题分解为简单问题的极限，如何将连续的量转化为离散的和。这种思维方式不仅在数学中很重要，在其他学科和实际生活中同样具有重要的指导意义。

下一章节圆的面积再探（用定积分）能否用更严格的方法（定积分）推导圆的面积公式？