定积分：黎曼和与面积问题

本文基于模型知识整理（生成时未联网核对），黎曼积分的严格定义建议对照 Stewart §5.1–5.2 复核。

一句话定义

定积分 $\int_a^b f(x)dx$ 是黎曼和的极限：把 [a,b] 切成 n 小段、每段用矩形近似（高取 $f(\xi_i)$）、求和后令 n→∞——"无穷多无穷窄的条形加总"；它度量曲线下的（带符号）面积，是 kp-001"问题二"的精确化。

为什么重要

凡"分割-近似-求和-取极限"能描述的量都是积分：面积/体积、路程（速度积分）、功（力积分）、概率（密度积分，kp-030）、期望——物理与统计的一半公式左边都是 ∫。它同时是 kp-001 双问题中的累积侧，与导数在基本定理（kp-013）中合流。

前置知识

kp-002（极限）。

核心概念

• 黎曼和：分割 $a=x_0<x_1<\dots<x_n=b$，取点 $\xi_i\in[x_{i-1},x_i]$，$S_n=\sum f(\xi_i)\Delta x_i$；$\max\Delta x_i\to0$ 时极限（若存在）即定积分。
• 取点无关性：连续函数的黎曼和极限与取点方式（左端/右端/中点）无关——"近似收敛到同一值"是可积性的礼物。
• 几何解释：x 轴上方为正、下方为负的带符号面积（净面积）。
• 性质：线性 $\int(af+bg)=a\int f+b\int g$、区间可加 $\int_a^b+\int_b^c=\int_a^c$、保序（f≤g ⇒ ∫f≤∫g）、$\int_a^a=0$、上下界（m(b−a) ≤ ∫ ≤ M(b−a)）。
• 微元法思想：$dA=f(x)dx$——"一小条面积=高×宽"，积分号就是"把所有微元加起来"（∑ 的连续版）。

原理与机制

四步流水线（分割-近似-求和-极限）：这是 kp-001 的方法论模板的正式化——① 切成 n 段；② 每段用简单形状（矩形）近似；③ 求和；④ 取极限。黎曼积分的全部应用（弧长、旋转体、做功）都照抄这四步，只是"被近似的小量"不同。

可积性：连续函数必可积；有限个间断点也可积；狄利克雷函数（处处=1 有理数处、0 无理数处）不可积（黎曼和极限不存在）——"可积"是礼物不是权利（勒贝格积分是 kp-032 历史线上的升级答案，本库边界外）。

估算与夹逼：不精确计算也能用上下界夹住积分（m、M 矩形）——数值积分（kp-017）与误差估计的原始形态。

图示

∫ᵃᵇ f(x)dx = lim_{n→∞} Σᵢ f(ξᵢ)Δxᵢ
性质: 线性 | 区间可加 | 保序 | 带符号面积
微元法: dA = f(x)dx   (一小条=高×宽, ∫ 即"加总")
可积: 连续必可积; 有限间断可积; 狄利克雷函数不可积

直观类比

定积分像"用柱状图测湖泊面积"：把湖岸线切成窄条，每条当矩形估面积，条越窄越准——切到无穷窄时误差消失。负值部分（水下地形）按负面积记账。

实例或案例

• 用定义算 $\int_0^1 x^2dx=\frac13$（等分取右端点，平方和公式+取极限）——黎曼和的毕业考核。
• 速度-路程：v(t) 曲线下面积=总位移（带符号处理折返）。
• 概率：正态密度曲线下 $\int_{\mu-\sigma}^{\mu+\sigma}\approx0.68$（kp-030）。

常见误区

• 误区一："积分=面积忘了带符号"。x 轴下方贡献负值；"总面积"要另取绝对值。
• 误区二："黎曼和的极限依赖取点"。连续函数不依赖；含间断函数要小心（可积性是前提不是默认）。
• 误区三："∫f dx 里的 dx 是装饰"。dx 记录了"对哪个变量、什么尺度求和"——换元（kp-014）时它是要真变形的对象。

与其他知识点的关系

• kp-001/002：方法论模板与极限引擎。
• kp-013：与导数的互逆（基本定理）。
• kp-016/017/030：三大应用域。

自测题

1. 写出定积分的黎曼和定义（四步）。

答：分割→取点近似→求和→$\max\Delta x_i\to0$ 取极限；存在则称可积。

1. $\int_{-1}^1 x^3 dx$ 的值与几何解释？

答：0——奇函数关于原点对称，正负面积抵消（带符号面积）。

1. 估计 $\int_0^1 e^{-x^2}dx$ 的范围。

答：被积函数在 [0,1] 递减，值域 [e^{−1},1] ⇒ 介于 1/e 与 1 之间（保序性质）。

延伸阅读

• 3Blue1Brown《Essence of Calculus》第 8 集（积分的近似动画）。
• Stewart《Calculus》§5.1–5.2。
• Spivak《Calculus》第 13 章（黎曼积分的严格构造）。