6.6.4 Comparison Properties of Integrals¶
定积分的比较性质，包括若f(x)≥g(x)则∫[a,b]f(x)dx ≥ ∫[a,b]g(x)dx，以及最大最小值估计
定义¶
定积分的比较性质是指在定积分的计算和估计中，通过比较被积函数的大小关系来推导定积分值的大小关系。具体包括：
-
基本比较性质：如果在区间 \([a,b]\) 上 \(f(x) \geq g(x)\)，则 \(\int_a^b f(x)\,dx \geq \int_a^b g(x)\,dx\)。这说明被积函数越大，其定积分值也越大。
-
推论：如果 \(f(x) \geq 0\) 在 \([a,b]\) 上恒成立，则 \(\int_a^b f(x)\,dx \geq 0\)。
-
最大最小值估计：如果 \(m\) 和 \(M\) 分别是函数 \(f(x)\) 在 \([a,b]\) 上的最小值和最大值，则 \(m(b-a) \leq \int_a^b f(x)\,dx \leq M(b-a)\)。这为定积分的值提供了一个有效的估计范围。
-
绝对值性质：\(\left|\int_a^b f(x)\,dx\right| \leq \int_a^b |f(x)|\,dx\)，说明定积分的绝对值不超过被积函数绝对值的定积分。
核心公式¶
- \(\text{若} \ f(x) \geq g(x) \ \text{在} \ [a,b] \ \text{上恒成立，则} \ \int_a^b f(x)\,dx \geq \int_a^b g(x)\,dx\)
- \(\text{若} \ f(x) \geq 0 \ \text{在} \ [a,b] \ \text{上恒成立，则} \ \int_a^b f(x)\,dx \geq 0\)
- \(m(b-a) \leq \int_a^b f(x)\,dx \leq M(b-a) \ \text{其中} \ m = \min_{x \in [a,b]} f(x), \ M = \max_{x \in [a,b]} f(x)\)
- \(\left|\int_a^b f(x)\,dx\right| \leq \int_a^b |f(x)|\,dx\)
- \(\text{若} \ a < c < b \ \text{且} \ f(x) \geq g(x) \ \text{在} \ [a,c] \ \text{上成立，则} \ \int_a^c f(x)\,dx \geq \int_a^c g(x)\,dx\)
易错点¶
- ⚠️ 混淆不等号方向：学生常在应用比较性质时反向使用不等号，例如当 \(f(x) \geq g(x)\) 时错误地得出 \(\int_a^b f(x)\,dx \leq \int_a^b g(x)\,dx\)
- ⚠️ 忽视区间长度的影响：在使用最大最小值估计 \(m(b-a) \leq \int_a^b f(x)\,dx \leq M(b-a)\) 时，学生常忘记乘以 \((b-a)\)，直接写成 \(m \leq \int_a^b f(x)\,dx \leq M\)
- ⚠️ 错误处理绝对值：对于 \(\left|\int_a^b f(x)\,dx\right| \leq \int_a^b |f(x)|\,dx\)，学生常误认为两边相等，或在被积函数有正有负时错误地化简
- ⚠️ 不理解比较性质的前提条件：学生在应用比较性质时，未能确认不等式在整个积分区间上是否恒成立，导致错误地比较两个定积分的大小