6.2.5 Over/Under Approximation（过估计与低估计）

根据函数的单调性和所选端点判断黎曼和是高估还是低估实际面积

定义

过估计与低估计是指在使用黎曼和（Riemann Sum）近似曲线下面积时，根据函数的单调性和矩形端点的选择，判断所得黎曼和与实际面积的大小关系。

具体地，对于在区间 \([a,b]\) 上的函数 \(f(x)\)： - 高估计（Over Approximation）：当黎曼和大于实际面积时，称为过估计。这通常发生在：(1) 函数单调递增时使用右端点（Right Riemann Sum）；(2) 函数单调递减时使用左端点（Left Riemann Sum）；(3) 函数为凹函数（concave down）时使用梯形法则或中点法则的某些情况。 - 低估计（Under Approximation）：当黎曼和小于实际面积时，称为低估计。这通常发生在：(1) 函数单调递增时使用左端点（Left Riemann Sum）；(2) 函数单调递减时使用右端点（Right Riemann Sum）；(3) 函数为凸函数（concave up）时使用梯形法则或中点法则的某些情况。

判断的关键是分析函数的单调性和凹凸性，以及矩形高度的选择方式。

核心公式

• \(L_n = \sum_{i=1}^{n} f(x_{i-1}) \Delta x \quad \text{（左端点黎曼和）}\)
• \(R_n = \sum_{i=1}^{n} f(x_i) \Delta x \quad \text{（右端点黎曼和）}\)
• \(M_n = \sum_{i=1}^{n} f\left(\frac{x_{i-1}+x_i}{2}\right) \Delta x \quad \text{（中点黎曼和）}\)
• \(\text{若 } f'(x) > 0 \text{ 在 } [a,b] \text{ 上恒成立，则 } L_n < \int_a^b f(x)\,dx < R_n\)
• \(\text{若 } f''(x) > 0 \text{ 在 } [a,b] \text{ 上恒成立，则 } L_n < M_n < \int_a^b f(x)\,dx < T_n\)

易错点

• ⚠️ 混淆单调性与凹凸性的影响：学生常常只考虑函数的单调性，而忽视凹凸性对黎曼和的影响。例如，一个单调递增但凹函数的梯形法则可能给出过估计，而不是简单地根据单调性判断。
• ⚠️ 错误判断左右端点的作用：在单调递减函数上，学生可能错误地认为左端点总是给出高估计，而实际上应该是右端点给出高估计。需要明确：单调递增时，右端点高估；单调递减时，左端点高估。
• ⚠️ 忽视中点法则的优势：学生可能不知道中点黎曼和（Midpoint Rule）通常比左右端点黎曼和更接近真实面积，特别是对于凹凸函数。中点法则往往既不完全高估也不完全低估。
• ⚠️ 混淆积分值与黎曼和的关系：学生有时会混淆 \(\int_a^b f(x)\,dx\) 的实际含义，错误地认为黎曼和本身就是积分值，而不是对积分值的近似。