积分的其他性质

在前面的章节中,我们已经学习了积分的线性性质以及积分与微分之间的互逆关系。本节将继续介绍定积分的另外三条重要性质:区间可加性保号性积分中值定理。这些性质不仅是理论分析中的基本工具——例如用于估计积分值、证明不等式——而且在实际计算中也经常帮助我们简化问题或将积分区间进行灵活拆分。

下面将逐一介绍这三条性质,解释其含义,并通过具体的例题展示其应用方法。

1. 积分区间可加性

定理3

如果 f(x)f(x)[a,c][a, c] 上连续,b(a,c)b \in (a, c),则

acf(x)dx=abf(x)dx+bcf(x)dx\int_a^c f(x) dx = \int_a^b f(x) dx + \int_b^c f(x) dx

几何解释
推论
证明
符号说明

性质解读

区间可加性告诉我们:对一个大区间上的积分,可以从中间任意拆分成两个小区间上的积分之和。这里的 bb 可以是 (a,c)(a, c) 中的任意一点,选取哪个 bb 完全取决于计算的方便程度。

为什么成立?F(x)F(x)f(x)f(x) 的原函数,由牛顿-莱布尼茨公式:

abf(x)dx+bcf(x)dx=[F(b)F(a)]+[F(c)F(b)]=F(c)F(a)=acf(x)dx\int_a^b f(x)\,dx + \int_b^c f(x)\,dx = [F(b) - F(a)] + [F(c) - F(b)] = F(c) - F(a) = \int_a^c f(x)\,dx

中间的 F(b)F(b) 恰好抵消,这正是区间可加性的本质。

应用例子

例子:已知 03f(x)dx=7\int_0^3 f(x)\,dx = 705f(x)dx=12\int_0^5 f(x)\,dx = 12,求 35f(x)dx\int_3^5 f(x)\,dx

:利用区间可加性,取 a=0,  b=3,  c=5a = 0,\; b = 3,\; c = 5

05f(x)dx=03f(x)dx+35f(x)dx\int_0^5 f(x)\,dx = \int_0^3 f(x)\,dx + \int_3^5 f(x)\,dx

代入已知值:

12=7+35f(x)dx12 = 7 + \int_3^5 f(x)\,dx

因此:

35f(x)dx=127=5\int_3^5 f(x)\,dx = 12 - 7 = 5


2. 积分保号性

定理4

如果 f(x)0f(x) \geq 0[a,b][a, b] 上成立,则 abf(x)dx0\int_a^b f(x) dx \geq 0

几何解释
推论
证明
符号说明

性质解读

保号性的含义非常直观:如果被积函数始终非负,那么积分值也非负。这是因为定积分可以看作”有向面积”——当曲线 y=f(x)y = f(x) 始终位于 xx 轴上方(或恰好贴合 xx 轴)时,围成的面积自然不会为负。

另一个有用的推论(估值定理):如果 mf(x)Mm \leq f(x) \leq M[a,b][a, b] 上成立,则

m(ba)abf(x)dxM(ba)m(b - a) \leq \int_a^b f(x)\,dx \leq M(b - a)

这相当于用常数函数的积分来给 abf(x)dx\int_a^b f(x)\,dx 设置上下界。

应用例子

例子 1:不计算积分值,证明 01xdx>0\int_0^1 \sqrt{x}\,dx > 0

证明:在 [0,1][0, 1] 上,f(x)=x0f(x) = \sqrt{x} \geq 0,且 f(x)f(x) 不恒等于零(例如 f(1)=1>0f(1) = 1 > 0)。由保号性可知 01xdx>0\int_0^1 \sqrt{x}\,dx > 0

例子 2:估计 0πsin2xdx\int_0^{\pi} \sin^2 x\,dx 的范围。

:在 [0,π][0, \pi] 上,0sin2x10 \leq \sin^2 x \leq 1,即 m=0m = 0M=1M = 1,区间长度为 π0=π\pi - 0 = \pi。由估值定理:

0π0πsin2xdx1π0 \cdot \pi \leq \int_0^{\pi} \sin^2 x\,dx \leq 1 \cdot \pi

00πsin2xdxπ0 \leq \int_0^{\pi} \sin^2 x\,dx \leq \pi


3. 积分中值定理

定理5

如果 f(x)f(x)[a,b][a, b] 上连续,则存在 ξ[a,b]\xi \in [a, b],使得

abf(x)dx=f(ξ)(ba)\int_a^b f(x) dx = f(\xi)(b-a)

几何解释
推论
证明
符号说明

性质解读

积分中值定理是一个非常深刻的结论。它可以改写为:

f(ξ)=1baabf(x)dxf(\xi) = \frac{1}{b - a}\int_a^b f(x)\,dx

右边的 1baabf(x)dx\dfrac{1}{b-a}\int_a^b f(x)\,dx 正是 f(x)f(x)[a,b][a, b] 上的平均值。因此,积分中值定理说的是:连续函数在某个区间上一定存在某一点 ξ\xi,使得函数在该点的值恰好等于函数在整个区间上的平均值

为什么成立? 由闭区间上连续函数的性质,f(x)f(x)[a,b][a, b] 上取到最小值 mm 和最大值 MM。由估值定理:

m(ba)abf(x)dxM(ba)m(b-a) \leq \int_a^b f(x)\,dx \leq M(b-a)

m1baabf(x)dxMm \leq \dfrac{1}{b-a}\int_a^b f(x)\,dx \leq M。再由介值定理f(x)f(x)[a,b][a, b] 上可以取到 mmMM 之间的任何值,因此必然存在 ξ[a,b]\xi \in [a, b] 使得 f(ξ)=1baabf(x)dxf(\xi) = \dfrac{1}{b-a}\int_a^b f(x)\,dx

应用例子

例子 1:证明存在 ξ[0,2]\xi \in [0, 2],使得 02(x2+1)dx=f(ξ)2\int_0^2 (x^2 + 1)\,dx = f(\xi) \cdot 2,并求出 f(ξ)f(\xi) 的值。

f(x)=x2+1f(x) = x^2 + 1[0,2][0, 2] 上连续,满足中值定理条件。先计算积分值:

02(x2+1)dx=[x33+x]02=83+2=143\int_0^2 (x^2 + 1)\,dx = \left[\frac{x^3}{3} + x\right]_0^2 = \frac{8}{3} + 2 = \frac{14}{3}

由中值定理,存在 ξ[0,2]\xi \in [0, 2] 使得:

f(ξ)2=143    f(ξ)=73f(\xi) \cdot 2 = \frac{14}{3} \implies f(\xi) = \frac{7}{3}

ξ2+1=73\xi^2 + 1 = \dfrac{7}{3},解得 ξ=43=2331.155[0,2]\xi = \sqrt{\dfrac{4}{3}} = \dfrac{2\sqrt{3}}{3} \approx 1.155 \in [0, 2],验证了定理的结论。

例子 2:设 f(x)f(x)[0,1][0, 1] 上连续,且 01f(x)dx=0\int_0^1 f(x)\,dx = 0。证明存在 ξ(0,1)\xi \in (0, 1) 使得 f(ξ)=0f(\xi) = 0

证明:由积分中值定理,存在 ξ[0,1]\xi \in [0, 1] 使得:

f(ξ)=11001f(x)dx=01=0f(\xi) = \frac{1}{1 - 0}\int_0^1 f(x)\,dx = \frac{0}{1} = 0

ξ(0,1)\xi \in (0, 1),结论已成立。若 ξ=0\xi = 0ξ=1\xi = 1,则 ff 在端点取值为零。如果 ff(0,1)(0, 1) 内恒不为零,由连续性 ff[0,1][0, 1] 上恒正或恒负,积分不可能为零,矛盾。因此必存在 ξ(0,1)\xi \in (0, 1) 使得 f(ξ)=0f(\xi) = 0


小结

本节介绍了定积分的三条重要性质:

性质公式关键要点
区间可加性acf(x)dx=abf(x)dx+bcf(x)dx\int_a^c f(x)\,dx = \int_a^b f(x)\,dx + \int_b^c f(x)\,dx积分区间可以从任意点拆分;常用于分段函数的积分计算
保号性f(x)0    abf(x)dx0f(x) \geq 0 \implies \int_a^b f(x)\,dx \geq 0非负函数的积分非负;可用于证明不等式和估计积分值
积分中值定理abf(x)dx=f(ξ)(ba)\int_a^b f(x)\,dx = f(\xi)(b-a)连续函数必有某点取到区间平均值;连接了积分与分析学的核心定理

在后续的学习中,我们会频繁用到这些性质。例如,在换元积分法中,区间可加性帮助我们正确处理积分区间的变化;在利用积分估计近似值时,保号性和估值定理是不可或缺的工具;而积分中值定理则是后续学习泰勒公式、拉格朗日余项等高级分析工具的重要基石。


练习题

练习 1

已知 14f(x)dx=10\int_1^4 f(x)\,dx = 1012f(x)dx=3\int_1^2 f(x)\,dx = 3,利用区间可加性求 24f(x)dx\int_2^4 f(x)\,dx

参考答案

解题思路:利用区间可加性,将 14\int_1^4 拆分为 12\int_1^224\int_2^4

详细步骤

  1. 由区间可加性:14f(x)dx=12f(x)dx+24f(x)dx\int_1^4 f(x)\,dx = \int_1^2 f(x)\,dx + \int_2^4 f(x)\,dx
  2. 代入已知值:10=3+24f(x)dx10 = 3 + \int_2^4 f(x)\,dx
  3. 解得:24f(x)dx=103=7\int_2^4 f(x)\,dx = 10 - 3 = 7

答案24f(x)dx=7\int_2^4 f(x)\,dx = 7

练习 2

f(x)f(x)[1,3][1, 3] 上连续,且 2f(x)52 \leq f(x) \leq 5。利用估值定理估计 13f(x)dx\int_1^3 f(x)\,dx 的范围。

参考答案

解题思路:利用保号性的推论——估值定理,用最小值和最大值乘以区间长度得到积分的上下界。

详细步骤

  1. 已知 m=2m = 2M=5M = 5,区间长度 ba=31=2b - a = 3 - 1 = 2
  2. 由估值定理:m(ba)13f(x)dxM(ba)m(b-a) \leq \int_1^3 f(x)\,dx \leq M(b-a)
  3. 代入:2×213f(x)dx5×22 \times 2 \leq \int_1^3 f(x)\,dx \leq 5 \times 2
  4. 413f(x)dx104 \leq \int_1^3 f(x)\,dx \leq 10

答案413f(x)dx104 \leq \int_1^3 f(x)\,dx \leq 10

练习 3

f(x)=exf(x) = e^x,利用积分中值定理,求存在 ξ[0,1]\xi \in [0, 1] 使得 01exdx=f(ξ)1\int_0^1 e^x\,dx = f(\xi) \cdot 1,并求出 ξ\xi 的值。

参考答案

解题思路:先计算积分值,再利用中值定理公式求 f(ξ)f(\xi),最后反解 ξ\xi

详细步骤

  1. 计算积分值:01exdx=ex01=e1\int_0^1 e^x\,dx = e^x\Big|_0^1 = e - 1
  2. 由中值定理:f(ξ)(10)=e1f(\xi) \cdot (1 - 0) = e - 1,即 eξ=e1e^{\xi} = e - 1
  3. 两边取对数:ξ=ln(e1)ln(1.718)0.541\xi = \ln(e - 1) \approx \ln(1.718) \approx 0.541
  4. 验证:ξ0.541[0,1]\xi \approx 0.541 \in [0, 1],满足条件

答案ξ=ln(e1)0.541\xi = \ln(e - 1) \approx 0.541