积分的其他性质

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

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

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 = 7,∫05f(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=12−7=5\int_3^5 f(x)\,dx = 12 - 7 = 5


2. 积分保号性

定理4

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

性质解读

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

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

m(b−a)≤∫abf(x) dx≤M(b−a)m(b - a) \leq \int_a^b f(x)\,dx \leq M(b - a)

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

应用例子

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

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

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

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

0⋅π≤∫0πsin⁡2x dx≤1⋅π0 \cdot \pi \leq \int_0^{\pi} \sin^2 x\,dx \leq 1 \cdot \pi

即 0≤∫0πsin⁡2x dx≤π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(ξ)(b−a)\int_a^b f(x) dx = f(\xi)(b-a)

性质解读

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

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

右边的 1b−a∫abf(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(b−a)≤∫abf(x) dx≤M(b−a)m(b-a) \leq \int_a^b f(x)\,dx \leq M(b-a)

即 m≤1b−a∫abf(x) dx≤Mm \leq \dfrac{1}{b-a}\int_a^b f(x)\,dx \leq M。再由介值定理,f(x)f(x) 在 [a,b][a, b] 上可以取到 mm 与 MM 之间的任何值,因此必然存在 ξ∈[a,b]\xi \in [a, b] 使得 f(ξ)=1b−a∫abf(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=233≈1.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(ξ)=11−0∫01f(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) dx≥0f(x) \geq 0 \implies \int_a^b f(x)\,dx \geq 0非负函数的积分非负;可用于证明不等式和估计积分值
积分中值定理∫abf(x) dx=f(ξ)(b−a)\int_a^b f(x)\,dx = f(\xi)(b-a)连续函数必有某点取到区间平均值;连接了积分与分析学的核心定理

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


练习题

练习 1

已知 ∫14f(x) dx=10\int_1^4 f(x)\,dx = 10,∫12f(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^2 和 ∫24\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=10−3=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] 上连续,且 2≤f(x)≤52 \leq f(x) \leq 5。利用估值定理估计 ∫13f(x) dx\int_1^3 f(x)\,dx 的范围。

不定积分积分性质积分

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

详细步骤:

  1. 已知 m=2m = 2,M=5M = 5,区间长度 b−a=3−1=2b - a = 3 - 1 = 2
  2. 由估值定理:m(b−a)≤∫13f(x) dx≤M(b−a)m(b-a) \leq \int_1^3 f(x)\,dx \leq M(b-a)
  3. 代入:2×2≤∫13f(x) dx≤5×22 \times 2 \leq \int_1^3 f(x)\,dx \leq 5 \times 2
  4. 即 4≤∫13f(x) dx≤104 \leq \int_1^3 f(x)\,dx \leq 10

最终答案:4≤∫13f(x) dx≤104 \leq \int_1^3 f(x)\,dx \leq 10

练习 3

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

不定积分积分性质积分

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

详细步骤:

  1. 计算积分值:∫01ex dx=ex∣01=e−1\int_0^1 e^x\,dx = e^x\Big|_0^1 = e - 1
  2. 由中值定理:f(ξ)⋅(1−0)=e−1f(\xi) \cdot (1 - 0) = e - 1,即 eξ=e−1e^{\xi} = e - 1
  3. 两边取对数:ξ=ln⁡(e−1)≈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⁡(e−1)≈0.541\xi = \ln(e - 1) \approx 0.541


总结

本文出现的符号

符号类型读音/说明在本文中的含义
∫ab\int_a^b数学符号integral from a to b区间 [a,b][a, b] 上的定积分
ξ\xi希腊字母Xi(克西)积分中值定理中的存在点
m,Mm, M数学符号m, M函数在区间上的最小值与最大值
[a,b][a, b]数学符号closed interval闭区间
f(x)f(x)数学符号f of x被积函数
F(x)F(x)数学符号F of x函数 f(x)f(x) 的原函数
dxdx数学符号differential of x积分变量 xx 的微分元素
π\pi希腊字母Pi(派)圆周率
ee数学符号Euler’s number自然对数的底数
x\sqrt{x}数学符号square root of xxx 的平方根

中英对照

中文术语英文术语音标说明
区间可加性additivity over intervals/ˌædɪˈtɪvəti ˈəʊvə ˈɪntəvəlz/大区间积分可拆分为小区间积分之和
保号性sign-preserving property/saɪn prɪˈzɜːvɪŋ ˈprɒpəti/非负函数的积分非负
积分中值定理mean value theorem for integrals/miːn ˈvæljuː ˈθɪərəm fɔːr ˈɪntɪɡrəlz/连续函数在某点取到区间平均值
估值定理estimation theorem/ˌestɪˈmeɪʃən ˈθɪərəm/用最值估计积分值的定理
比较定理comparison theorem/kəmˈpærɪsən ˈθɪərəm/由函数大小关系推积分大小关系
介值定理intermediate value theorem/ˌɪntəˈmiːdiət ˈvæljuː ˈθɪərəm/连续函数取中间值的定理
牛顿-莱布尼茨公式Newton–Leibniz formula/ˈnjuːtən ˈlaɪbnɪts ˈfɔːmjələ/联系定积分与原函数的公式
有向面积signed area/saɪnd ˈeəriə/有正负之分的曲线下面积

发现内容有问题?

告诉我们哪里需要改进。