定积分的定义

定积分的定义是积分理论的基础，它通过黎曼和的概念给出了积分的严格数学定义。

黎曼和的定义

黎曼和是由德国数学家 伯恩哈德·黎曼（Bernhard Riemann，1826-1866） 在 19 世纪中叶提出的。黎曼是 19 世纪最重要的数学家之一，他在复分析、微分几何、数论等多个领域都有重大贡献。黎曼和的概念为定积分的严格定义奠定了基础，使得积分理论更加严谨和完整。

定积分的定义

设函数 $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$ ，作和式：

$S_n = \sum_{i=1}^n f(\xi_i) \Delta x_i$

其中 $\Delta x_i = x_i - x_{i-1}$ 。如果当最大子区间长度 $\max\{\Delta x_i\} \to 0$ 时，和式 $S_n$ 的极限存在，则称此极限为函数 $f(x)$ 在区间 $[a, b]$ 上的定积分，记作：

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

定积分公式

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

几何意义：定积分 $\int_a^b f(x) dx$ 表示由曲线 $y = f(x)$ 、直线 $x = a$ 、 $x = b$ 和 $x$ 轴围成的曲边梯形的面积。

注意：

定理

如果函数 $f(x)$ 在闭区间 $[a, b]$ 上连续，则 $f(x)$ 在 $[a, b]$ 上可积。

推论：

几何解释

推论

证明

符号说明

根据黎曼和的定义，计算 $\int_0^1 x dx$ 的近似值（取 $n=4$ ，每个子区间取中点）。

参考答案

解题思路：将区间 $[0,1]$ 分成 4 等份，每个子区间长度为 $\frac{1}{4}$ 。

详细步骤：

分割点： $x_0=0, x_1=\frac{1}{4}, x_2=\frac{1}{2}, x_3=\frac{3}{4}, x_4=1$
子区间： $[0,\frac{1}{4}], [\frac{1}{4},\frac{1}{2}], [\frac{1}{2},\frac{3}{4}], [\frac{3}{4},1]$
取中点： $\xi_1=\frac{1}{8}, \xi_2=\frac{3}{8}, \xi_3=\frac{5}{8}, \xi_4=\frac{7}{8}$
黎曼和： $S_4 = \sum_{i=1}^4 f(\xi_i) \Delta x_i = \frac{1}{8} \cdot \frac{1}{4} + \frac{3}{8} \cdot \frac{1}{4} + \frac{5}{8} \cdot \frac{1}{4} + \frac{7}{8} \cdot \frac{1}{4} = \frac{1}{4}(\frac{1}{8} + \frac{3}{8} + \frac{5}{8} + \frac{7}{8}) = \frac{1}{4} \cdot \frac{16}{8} = \frac{1}{2}$

答案： $\frac{1}{2}$

解释定积分 $\int_{-1}^1 x dx$ 的几何意义。

参考答案

解题思路：分析函数 $f(x) = x$ 在区间 $[-1,1]$ 上的图像和定积分的几何意义。

详细步骤：

答案：定积分表示面积的代数和，结果为 0

符号	类型	读音/说明	在本文中的含义
$\xi$	希腊字母	Xi（克西）	表示黎曼和中每个子区间内任意选择的一个点
$\Delta x_i$	符号	Delta x_i	表示第 $i$ 个子区间的长度， $\Delta x_i = x_i - x_{i-1}$
$\sum$	希腊字母	Sigma（西格玛）	求和符号， $\sum_{i=1}^n$ 表示从 $i=1$ 到 $n$ 求和
$\lim$	数学符号	limit（极限）	表示极限， $\lim_{\max\{\Delta x_i\} \to 0}$ 表示当最大子区间长度趋向于 0 时的极限
$\int$	数学符号	积分符号	表示定积分， $\int_a^b$ 表示从 $a$ 到 $b$ 的定积分

中文术语	英文术语	音标	说明
定积分	definite integral	/ˈdefɪnət ˈɪntɪɡrəl/	通过黎曼和的极限定义的积分，表示函数在区间上的累积量
黎曼和	Riemann sum	/ˈriːmən sʌm/	将区间分割后，在每个子区间上取函数值乘以区间长度，然后求和
子区间	subinterval	/sʌbˈɪntərvəl/	将区间分割后得到的更小的区间
可积	integrable	/ˈɪntɪɡrəbəl/	函数在区间上存在定积分的性质
曲边梯形	curved trapezoid	/kɜːvd trəˈpiːzɔɪd/	由曲线围成的梯形，其中至少有一条边是曲线
面积	area	/ˈeəriə/	平面图形所围成的区域的大小