高等数学第五章---定积分（§5.1定积分的概念、性质和应用）
§5.1 定积分的概念及性质
一、引例
在学习定积分之前，我们先通过两个具体的例子来感受其思想和方法。
例1 曲边梯形的面积
定义：曲边梯形
由连续曲线 y=f(x)y = f(x)y=f(x)（假设 f(x)≥0f(x) \ge 0f(x)≥0 在所讨论的区间上）、直线 x=ax = ax=a、x=bx = bx=b（a 我们中学会计算一些规则的平面图形的面积，如矩形、梯形、三角形、圆等。但如何计算曲边梯形这种不规则的平面图形的面积呢？显然不能直接利用梯形的面积求法，因为曲边的高度 f(x)f(x)f(x) 在区间 [a,b][a,b][a,b] 上是变化的。我们采用一种“分割、近似、求和、取极限”的思想来解决这个问题： 分割区间 [a,b][a, b][a,b] 在 (a,b)(a, b)(a,b) 内任意插入 n−1n-1n−1 个分点 x1,x2,⋯ ,xn−1x_1, x_2, \cdots, x_{n-1}x1,x2,⋯,xn−1，满足 a=x0 这样，区间 [a,b][a,b][a,b] 被分成了 nnn 个小区间 [xi−1,xi][x_{i-1}, x_i][xi−1,xi]，其长度记为 Δxi=xi−xi−1\Delta x_i = x_i - x_{i-1}Δxi=xi−xi−1。 相应地，原来的曲边梯形被分成了 nnn 个窄长的“小曲边梯形”，记第 iii 个小曲边梯形的面积为 ΔAi\Delta A_iΔAi（i=1,2,⋯ ,ni = 1, 2, \cdots, ni=1,2,⋯,n）。 则整个曲边梯形的面积 A=∑i=1nΔAiA = \sum_{i=1}^n \Delta A_iA=∑i=1nΔAi。 近似求值 这一步的目的是求每一个小曲边梯形的面积 ΔA1,ΔA2,⋯ ,ΔAn\Delta A_1, \Delta A_2, \cdots, \Delta A_nΔA1,ΔA2,⋯,ΔAn 的简单近似值。 以第 iii 个小区间 [xi−1,xi]\left[x_{i-1}, x_i\right][xi−1,xi] 上的小曲边梯形的面积 ΔAi\Delta A_iΔAi 为例。由于 Δxi\Delta x_iΔxi 很小，我们可以近似地认为曲线 y=f(x)y=f(x)y=f(x) 在这个小区间上的高度变化不大。因此，ΔAi\Delta A_iΔAi 可以近似为一个矩形的面积。 具体做法是：在小区间 [xi−1,xi]\left[x_{i-1}, x_i\right][xi−1,xi] 上任取一点 ξi\xi_iξi (xi−1≤ξi≤xix_{i-1} \le \xi_i \le x_ixi−1≤ξi≤xi)，以该区间长度 Δxi\Delta x_iΔxi 为底，以 f(ξi)f(\xi_i)f(ξi) 为高作一个矩形。 这个矩形的面积为 f(ξi)Δxif(\xi_i) \Delta x_if(ξi)Δxi。 因此，ΔAi≈f(ξi)Δxi\Delta A_i \approx f(\xi_i) \Delta x_iΔAi≈f(ξi)Δxi（i=1,2,⋯ ,ni = 1, 2, \cdots, ni=1,2,⋯,n）。 作和 (求和) 这一步的目的是将所有小矩形的面积加起来，得到大曲边梯形面积的一个近似值： A=∑i=1nΔAi≈∑i=1nf(ξi)Δxi A = \sum_{i=1}^n \Delta A_i \approx \sum_{i=1}^n f(\xi_i) \Delta x_i A=i=1∑nΔAi≈i=1∑nf(ξi)Δxi 这个和式称为黎曼和 (Riemann Sum) 或积分和。 取极限求精确值 第三步求出的是曲边梯形面积的近似值。如何求精确值呢?分割得越细，即每个小区间 Δxi\Delta x_iΔxi 越小 (所有 Δxi→0\Delta x_i \to 0Δxi→0)，这个近似和就越接近真实的面积。 为了得到精确值，我们需要进行无限细分。令 λ=max1≤i≤n{Δxi}\lambda = \max_{1 \le i \le n}\{\Delta x_i\}λ=max1≤i≤n{Δxi} 表示所有小区间长度中的最大者。当 λ→0\lambda \rightarrow 0λ→0 时，意味着所有小区间都无限变小，同时分成的份数 n→∞n \rightarrow \inftyn→∞。 此时，如果上述和式的极限存在，并且这个极限值与区间的分割方式以及点 ξi\xi_iξi 的取法无关，那么这个极限就是曲边梯形的精确面积： A=limλ→0∑i=1nf(ξi)Δxi A = \lim_{\lambda \rightarrow 0} \sum_{i=1}^n f(\xi_i) \Delta x_i A=λ→0limi=1∑nf(ξi)Δxi 注： 曲边梯形的面积 AAA 等于和数 (黎曼和) ∑i=1nf(ξi)Δxi\sum_{i=1}^n f(\xi_i) \Delta x_i∑i=1nf(ξi)Δxi 当 λ→0\lambda \rightarrow 0λ→0 时的极限值。取极限时必须是 λ=max{Δxi}→0\lambda = \max\{\Delta x_i\} \rightarrow 0λ=max{Δxi}→0 来代表无限细分，使每一个小区间长度中最大者趋于0。仅仅用 n→∞n \rightarrow \inftyn→∞ 是不够的，因为即使分点无限多，也可能存在某些区间长度没有趋于0的情况（例如，只在区间某一部分无限细分，而其他部分保持较宽的子区间，如图，种情况就没有把大曲边梯形无限细分）。 例2 变速直线运动的路程 SSS 已知一物体做变速直线运动，其速度是时间 ttt 的函数 v=v(t)v = v(t)v=v(t)。求物体在时间段 [a,b][a, b][a,b] 内运动的路程 SSS。 我们知道：对于匀速直线运动，路程 = 速度 × 时间。但例2中是变速直线运动，速度在每一时刻都可能变化，不能直接套用公式。 我们可以借鉴例1的思想，将时间段 [a,b][a, b][a,b] 分割成许多微小的时间段。在每个微小时间段内，速度变化很小，可以近似看作匀速运动。然后将每个小时间段的路程累加，最后取极限得到精确路程。 具体步骤如下： 分割时间区间 [a,b][a, b][a,b] 在 (a,b)(a, b)(a,b) 内任意插入 n−1n-1n−1 个分点 t1,t2,⋯ ,tn−1t_1, t_2, \cdots, t_{n-1}t1,t2,⋯,tn−1，满足 a=t0 记 Δti=ti−ti−1\Delta t_i = t_i - t_{i-1}Δti=ti−ti−1 为第 iii 个小时间段的长度。 记第 iii 个小时间段内的路程为 ΔSi\Delta S_iΔSi（i=1,2,⋯ ,ni = 1, 2, \cdots, ni=1,2,⋯,n），则总路程 S=∑i=1nΔSiS = \sum_{i=1}^n \Delta S_iS=∑i=1nΔSi。 近似求值 在第 iii 个小时间段 [ti−1,ti]\left[t_{i-1}, t_i\right][ti−1,ti] 内，由于 Δti\Delta t_iΔti 很小，速度 v(t)v(t)v(t) 的变化不大。我们可以在此小时间段内任取一时刻 ξi\xi_iξi (ti−1≤ξi≤tit_{i-1} \le \xi_i \le t_iti−1≤ξi≤ti)，并用该时刻的速度 v(ξi)v(\xi_i)v(ξi) 近似代表整个小时间段的平均速度。 (原文用 ξi\xi_iξi, 保持一致) 于是，该小时间段内的路程近似为： ΔSi≈v(ξi)Δti\Delta S_i \approx v(\xi_i) \Delta t_iΔSi≈v(ξi)Δti（i=1,2,⋯ ,ni = 1, 2, \cdots, ni=1,2,⋯,n）。 作和 (求和) 整个时间段 [a,b][a, b][a,b] 内路程 SSS 的近似值为所有小段路程近似值之和： S=∑i=1nΔSi≈∑i=1nv(ξi)Δti S = \sum_{i=1}^n \Delta S_i \approx \sum_{i=1}^n v(\xi_i) \Delta t_i S=i=1∑nΔSi≈i=1∑nv(ξi)Δti 注： ∑i=1nv(ξi)Δti\sum_{i=1}^n v(\xi_i) \Delta t_i∑i=1nv(ξi)Δti 称为和数。 取极限求精确值 类似例1，无限细分才能取极限达到精确值。令 Δt=max1≤i≤n{Δti}\Delta t = \max_{1 \le i \le n}\{\Delta t_i\}Δt=max1≤i≤n{Δti} 表示每一个小时间段长度中最大者，当 Δt→0\Delta t \rightarrow 0Δt→0 时代表无限细分，即： S=limΔt→0∑i=1nv(ξi)Δti S = \lim_{\Delta t \rightarrow 0} \sum_{i=1}^n v(\xi_i) \Delta t_i S=Δt→0limi=1∑nv(ξi)Δti 注： 变速直线运动的路程 SSS 等于速度函数 v(t)v(t)v(t) 对时间 ttt 的和数的极限。 综合例1和例2，我们发现尽管两个问题（求面积和求路程）的物理背景或几何背景不同，但解决它们的方法步骤是相同的：“分割—近似—求和—取极限”，最终都归结为一个特定形式的和的极限问题。数学上，我们把这类和的极限抽象出来，定义为定积分。 二、定积分的定义 定义： 设函数 f(x)f(x)f(x) 在闭区间 [a,b][a, b][a,b] 上有定义。 分割： 用任意一组分点 a=x0 a = x_0 < x_1 < x_2 < \cdots < x_{i-1} < x_i < \cdots < x_{n-1} < x_n = b a=x0 将区间 [a,b][a, b][a,b] 分成 nnn 个小区间 [xi−1,xi]\left[x_{i-1}, x_i\right][xi−1,xi]（i=1,2,⋯ ,ni = 1, 2, \cdots, ni=1,2,⋯,n）。记小区间长度为 Δxi=xi−xi−1\Delta x_i = x_i - x_{i-1}Δxi=xi−xi−1。取点并作乘积： 在每个小区间 [xi−1,xi]\left[x_{i-1}, x_i\right][xi−1,xi] 上任取一点 ξi\xi_iξi (xi−1≤ξi≤xix_{i-1} \le \xi_i \le x_ixi−1≤ξi≤xi)，作乘积 f(ξi)Δxif(\xi_i) \Delta x_if(ξi)Δxi。这个乘积称为积分元素。求和： 将所有这些乘积加起来，得到和式 ∑i=1nf(ξi)Δxi\sum_{i=1}^n f(\xi_i) \Delta x_i∑i=1nf(ξi)Δxi，称为积分和 (或黎曼和)。取极限： 记 Δx=max1≤i≤n{Δxi}\Delta x = \max_{1 \le i \le n}\{\Delta x_i\}Δx=max1≤i≤n{Δxi} 为诸小区间长度的最大值。如果当 Δx→0\Delta x \rightarrow 0Δx→0 时，上述积分和的极限 limΔx→0∑i=1nf(ξi)Δxi\lim_{\Delta x \rightarrow 0} \sum_{i=1}^n f(\xi_i) \Delta x_ilimΔx→0∑i=1nf(ξi)Δxi 存在，并且这个极限值与区间 [a,b][a,b][a,b] 的分法以及点 ξi\xi_iξi 在小区间内的取法无关，则称此极限值为函数 f(x)f(x)f(x) 在区间 [a,b][a, b][a,b] 上的定积分 (Definite Integral)，记作： ∫abf(x) dx=limΔx→0∑i=1nf(ξi)Δxi \int_a^b f(x) \, dx = \lim_{\Delta x \rightarrow 0} \sum_{i=1}^n f(\xi_i) \Delta x_i ∫abf(x)dx=Δx→0limi=1∑nf(ξi)Δxi 这时，称函数 f(x)f(x)f(x) 在区间 [a,b][a, b][a,b] 上可积。 各部分名称： ∫\int∫：积分号f(x)f(x)f(x)：被积函数f(x) dxf(x) \, dxf(x)dx：被积表达式xxx：积分变量[a,b][a, b][a,b]：积分区间aaa：积分下限bbb：积分上限 若上述极限 limΔx→0∑i=1nf(ξi)Δxi\lim_{\Delta x \rightarrow 0} \sum_{i=1}^n f(\xi_i) \Delta x_ilimΔx→0∑i=1nf(ξi)Δxi 不存在，则称函数 f(x)f(x)f(x) 在区间 [a,b][a, b][a,b] 上不可积。 从定积分的定义知道，定积分就是和数的极限 ∫abf(x) dx=limΔx→0∑i=1nf(ξi)Δxi\int_a^b f(x) \, dx = \lim_{\Delta x \rightarrow 0} \sum_{i=1}^n f(\xi_i) \Delta x_i∫abf(x)dx=limΔx→0∑i=1nf(ξi)Δxi。因此： 例1中曲边梯形的面积为 A=∫abf(x) dxA = \int_a^b f(x) \, dxA=∫abf(x)dx (当 f(x)≥0f(x) \ge 0f(x)≥0)。例2中变速直线运动的路程为 S=∫abv(t) dtS = \int_a^b v(t) \, dtS=∫abv(t)dt (当 v(t)≥0v(t) \ge 0v(t)≥0)。 注： 定积分是一个数值： 定积分 ∫abf(x) dx\int_a^b f(x) \, dx∫abf(x)dx 的结果是一个常数（即 limΔx→0∑i=1nf(ξi)Δxi\lim_{\Delta x \rightarrow 0} \sum_{i=1}^n f(\xi_i) \Delta x_ilimΔx→0∑i=1nf(ξi)Δxi 的极限值），该值仅与被积函数 f(x)f(x)f(x) 和积分区间 [a,b][a, b][a,b] 有关，而与积分变量的记号无关。因此， ∫abf(x) dx=∫abf(t) dt=∫abf(u) du \int_a^b f(x) \, dx = \int_a^b f(t) \, dt = \int_a^b f(u) \, du ∫abf(x)dx=∫abf(t)dt=∫abf(u)du 即只要被积函数的形式和积分区间一样，积分值就相等。 函数可积的条件： 充分条件1： 若函数 f(x)f(x)f(x) 在区间 [a,b][a, b][a,b] 上连续，则 f(x)f(x)f(x) 在 [a,b][a, b][a,b] 上一定可积。(补充) 充分条件2： 若函数 f(x)f(x)f(x) 在区间 [a,b][a, b][a,b] 上有界且只有有限个间断点，则 f(x)f(x)f(x) 在 [a,b][a, b][a,b] 上也可积。(补充) 充分条件3： 若函数 f(x)f(x)f(x) 在区间 [a,b][a, b][a,b] 上单调，则 f(x)f(x)f(x) 在 [a,b][a, b][a,b] 上也可积。注意： 函数 f(x)f(x)f(x) 在 [a,b][a, b][a,b] 上有界不一定可积。例如著名的狄利克雷函数 (Dirichlet function)： D(x)={1,x 为有理数0,x 为无理数 D(x) = \begin{cases} 1, & x \text{ 为有理数} \\ 0, & x \text{ 为无理数} \end{cases} D(x)={1,0,x 为有理数x 为无理数 在任何包含有理数和无理数的区间 [a,b][a, b][a,b]上（例如 [0,1][0, 1][0,1]），狄利克雷函数是有界的（界为0和1）。但是： 若在每个小区间 Δxi\Delta x_iΔxi 内取 ξi\xi_iξi 为有理数，则 f(ξi)=1f(\xi_i) = 1f(ξi)=1，积分和为 ∑i=1nf(ξi)Δxi=∑i=1n1⋅Δxi=∑i=1nΔxi=(b−a)\sum_{i=1}^n f(\xi_i) \Delta x_i = \sum_{i=1}^n 1 \cdot \Delta x_i = \sum_{i=1}^n \Delta x_i = (b - a)∑i=1nf(ξi)Δxi=∑i=1n1⋅Δxi=∑i=1nΔxi=(b−a)。其极限为 b−ab-ab−a。 若在每个小区间 Δxi\Delta x_iΔxi 内取 ξi\xi_iξi 为无理数，则 f(ξi)=0f(\xi_i) = 0f(ξi)=0，积分和为 ∑i=1nf(ξi)Δxi=∑i=1n0⋅Δxi=0\sum_{i=1}^n f(\xi_i) \Delta x_i = \sum_{i=1}^n 0 \cdot \Delta x_i = 0∑i=1nf(ξi)Δxi=∑i=1n0⋅Δxi=0。其极限为 000。 由于极限值与点 ξi\xi_iξi 的选取有关（得到了不同的极限 b−ab-ab−a 和 000），所以极限不存在，即狄利克雷函数 D(x)D(x)D(x) 在 [a,b][a, b][a,b] 上不可积。 定积分的规定： 当 a>ba > ba>b 时，规定 ∫abf(x) dx=−∫baf(x) dx\int_a^b f(x) \, dx = -\int_b^a f(x) \, dx∫abf(x)dx=−∫baf(x)dx。 （即定积分的上下限互换位置，定积分的值互为相反数）。当 a=ba = ba=b 时，规定 ∫aaf(x) dx=0\int_a^a f(x) \, dx = 0∫aaf(x)dx=0。 （即定积分的上下限相同时，定积分的值为 0）。 三、定积分的几何意义 定积分 ∫abf(x) dx\int_a^b f(x) \, dx∫abf(x)dx 的几何意义是表示由曲线 y=f(x)y=f(x)y=f(x)、x轴以及直线 x=ax=ax=a 和 x=bx=bx=b 所围成的平面图形的代数面积。具体来说： 若在 [a,b][a, b][a,b] 上 f(x)≥0f(x) \geq 0f(x)≥0： 则 ∫abf(x) dx\int_a^b f(x) \, dx∫abf(x)dx 表示由曲线 y=f(x)y=f(x)y=f(x)、x轴、直线 x=ax=ax=a 和 x=bx=bx=b 所围成的曲边梯形的面积（一个非负值）。 若在 [a,b][a, b][a,b] 上 f(x)≤0f(x) \leq 0f(x)≤0： 则 ∫abf(x) dx\int_a^b f(x) \, dx∫abf(x)dx 表示由曲线 y=f(x)y=f(x)y=f(x)、x轴、直线 x=ax=ax=a 和 x=bx=bx=b 所围成的曲边梯形的面积的相反数（一个非正值）。即，此时的面积 =−∫abf(x) dx= -\int_a^b f(x) \, dx=−∫abf(x)dx。 若在 [a,b][a, b][a,b] 上 f(x)f(x)f(x) 有正有负： 则 ∫abf(x) dx\int_a^b f(x) \, dx∫abf(x)dx 等于 x 轴上方的图形面积之和减去 x 轴下方的图形面积之和所得的代数和。 注： 如果要求的是曲线 y=f(x)y=f(x)y=f(x) 与 x 轴在区间 [a,b][a,b][a,b] 上所围成的几何图形的总面积（即各部分面积的算术和，不考虑正负），则应该是： A总=∫ab∣f(x)∣ dx A_{\text{总}} = \int_a^b |f(x)| \, dx A总=∫ab∣f(x)∣dx 例如，如果 f(x)f(x)f(x) 在 [a,c][a,c][a,c] 上为正，在 [c,b][c,b][c,b] 上为负，则总面积为 A1+A2+A3=∫acf(x)dx+∫cb(−f(x))dx=∫ac∣f(x)∣dx+∫cb∣f(x)∣dx=∫ab∣f(x)∣dxA_1 + A_2 + A_3 = \int_a^c f(x)dx + \int_c^b (-f(x))dx = \int_a^c |f(x)|dx + \int_c^b |f(x)|dx = \int_a^b |f(x)|dxA1+A2+A3=∫acf(x)dx+∫cb(−f(x))dx=∫ac∣f(x)∣dx+∫cb∣f(x)∣dx=∫ab∣f(x)∣dx。 例： 下列图形中阴影部分的面积不等于定积分 ∫π2πcosx dx\int_{\frac{\pi}{2}}^{\pi} \cos x \, dx∫2ππcosxdx 的是（ ） 解： 首先，我们分析定积分 ∫π2πcosx dx\int_{\frac{\pi}{2}}^{\pi} \cos x \, dx∫2ππcosxdx。 在积分区间 [π2,π][\frac{\pi}{2}, \pi][2π,π] 上，函数 cosx≤0\cos x \leq 0cosx≤0。 根据定积分的几何意义（第二种情况），∫π2πcosx dx\int_{\frac{\pi}{2}}^{\pi} \cos x \, dx∫2ππcosxdx 表示的是由 y=cosxy=\cos xy=cosx、x轴、直线 x=π2x=\frac{\pi}{2}x=2π 和 x=πx=\pix=π 所围成的图形面积的相反数。 我们可以计算该积分值（如果已经学习了牛顿-莱布尼茨公式）： ∫π2πcosx dx=[sinx]π2π=sin(π)−sin(π2)=0−1=−1 \int_{\frac{\pi}{2}}^{\pi} \cos x \, dx = [\sin x]_{\frac{\pi}{2}}^{\pi} = \sin(\pi) - \sin(\frac{\pi}{2}) = 0 - 1 = -1 ∫2ππcosxdx=[sinx]2ππ=sin(π)−sin(2π)=0−1=−1 所以，这个定积分的值是 −1-1−1。它代表 x 轴下方，由 y=cosxy=\cos xy=cosx 在 [π2,π][\frac{\pi}{2}, \pi][2π,π] 围成的区域的面积的相反数。该区域的几何面积本身是 111。 原文解释为：“根据定积分的几何意义知 ∫π2πcosx dx\int_{\frac{\pi}{2}}^{\pi} \cos x \, dx∫2ππcosxdx 应该等于 x 轴上方图形的面积减去 x 轴下方图形的面积，即等于 B, C, D 中阴影部分的面积，所以正确答案应该选 A。” 此解释是基于定积分的代数面积概念。如果B, C, D表示的“面积”是指与定积分值-1相对应的某种有向面积或直接是该积分值，而A表示的不是，则A是答案。在区间 [π2,π][\frac{\pi}{2}, \pi][2π,π]，cosx≤0\cos x \le 0cosx≤0，所以没有x轴上方面积。因此，积分值就是负的x轴下方面积。如果B, C, D表示的是这个负值或者与这个负值相关的阴影面积，而A不是，则A为答案。 四、定积分的性质 性质 1 (常数因子可提出) 若 kkk 为常数，则 ∫abkf(x) dx=k∫abf(x) dx \int_a^b k f(x) \, dx = k \int_a^b f(x) \, dx ∫abkf(x)dx=k∫abf(x)dx 证明： ∫abkf(x) dx=limΔx→0∑i=1nkf(ξi)Δxi=klimΔx→0∑i=1nf(ξi)Δxi=k∫abf(x) dx \int_a^b k f(x) \, dx = \lim_{\Delta x \rightarrow 0} \sum_{i=1}^n k f(\xi_i) \Delta x_i = k \lim_{\Delta x \rightarrow 0} \sum_{i=1}^n f(\xi_i) \Delta x_i = k \int_a^b f(x) \, dx ∫abkf(x)dx=Δx→0limi=1∑nkf(ξi)Δxi=kΔx→0limi=1∑nf(ξi)Δxi=k∫abf(x)dx 注： 该性质说明定积分的被积函数中的常数因子 kkk 可以提到积分符号外。 性质 2 (和差的积分) 若 f(x)f(x)f(x) 和 g(x)g(x)g(x) 在 [a,b][a,b][a,b] 上均可积，则 f(x)±g(x)f(x) \pm g(x)f(x)±g(x) 也在 [a,b][a,b][a,b] 上可积，且 ∫ab(f(x)±g(x)) dx=∫abf(x) dx±∫abg(x) dx \int_a^b (f(x) \pm g(x)) \, dx = \int_a^b f(x) \, dx \pm \int_a^b g(x) \, dx ∫ab(f(x)±g(x))dx=∫abf(x)dx±∫abg(x)dx 证明 (以和为例)： ∫ab(f(x)+g(x)) dx=limΔx→0∑i=1n(f(ξi)+g(ξi))Δxi=limΔx→0(∑i=1nf(ξi)Δxi+∑i=1ng(ξi)Δxi)=limΔx→0∑i=1nf(ξi)Δxi+limΔx→0∑i=1ng(ξi)Δxi=∫abf(x) dx+∫abg(x) dx \begin{aligned} \int_a^b (f(x) + g(x)) \, dx &= \lim_{\Delta x \rightarrow 0} \sum_{i=1}^n (f(\xi_i) + g(\xi_i)) \Delta x_i \\ &= \lim_{\Delta x \rightarrow 0} \left( \sum_{i=1}^n f(\xi_i) \Delta x_i + \sum_{i=1}^n g(\xi_i) \Delta x_i \right) \\ &= \lim_{\Delta x \rightarrow 0} \sum_{i=1}^n f(\xi_i) \Delta x_i + \lim_{\Delta x \rightarrow 0} \sum_{i=1}^n g(\xi_i) \Delta x_i \\ &= \int_a^b f(x) \, dx + \int_a^b g(x) \, dx \end{aligned} ∫ab(f(x)+g(x))dx=Δx→0limi=1∑n(f(ξi)+g(ξi))Δxi=Δx→0lim(i=1∑nf(ξi)Δxi+i=1∑ng(ξi)Δxi)=Δx→0limi=1∑nf(ξi)Δxi+Δx→0limi=1∑ng(ξi)Δxi=∫abf(x)dx+∫abg(x)dx 注： 该性质的证明是利用定积分的定义和极限的运算法则证明。该性质说明：两个函数和（差）的定积分等于每个函数定积分的和（差）。该性质可推广到有限个函数代数和的情况。 性质 3 (积分区间的可加性) 设 f(x)f(x)f(x) 在包含 a,b,ca, b, ca,b,c 的某个闭区间上可积。则对于任意实数 a,b,ca,b,ca,b,c，有 ∫abf(x) dx=∫acf(x) dx+∫cbf(x) dx \int_a^b f(x) \, dx = \int_a^c f(x) \, dx + \int_c^b f(x) \, dx ∫abf(x)dx=∫acf(x)dx+∫cbf(x)dx 特别地，若 f(x)f(x)f(x) 在 [a,b][a, b][a,b] 上可积，且 c∈(a,b)c \in (a, b)c∈(a,b)，则该式成立。 证明（以 a 对 [a,b][a,b][a,b] 的任意分割 TTT，只要将 ccc 加入为分点（如果 ccc 原本不是分点），则 TTT 可以看成是 [a,c][a,c][a,c] 的一个分割 T1T_1T1 和 [c,b][c,b][c,b] 的一个分割 T2T_2T2 的并。于是 ∑Tf(ξi)Δxi=∑T1f(ξi)Δxi+∑T2f(ξi)Δxi \sum_{T} f(\xi_i)\Delta x_i = \sum_{T_1} f(\xi_i)\Delta x_i + \sum_{T_2} f(\xi_i)\Delta x_i T∑f(ξi)Δxi=T1∑f(ξi)Δxi+T2∑f(ξi)Δxi 令所有 Δxi→0\Delta x_i \to 0Δxi→0，则 ∫abf(x)dx=∫acf(x)dx+∫cbf(x)dx \int_a^b f(x)dx = \int_a^c f(x)dx + \int_c^b f(x)dx ∫abf(x)dx=∫acf(x)dx+∫cbf(x)dx 另一个证明（以 c 由 c 我们通常先证明 a 根据可加性，应有 ∫caf(x) dx=∫cbf(x) dx+∫baf(x) dx\int_c^a f(x) \, dx = \int_c^b f(x) \, dx + \int_b^a f(x) \, dx∫caf(x)dx=∫cbf(x)dx+∫baf(x)dx。 ∫caf(x) dx=∫cbf(x) dx+∫baf(x) dx即 −∫acf(x) dx=∫cbf(x) dx−∫abf(x) dx \begin{align*} \int_c^a f(x) \, dx &= \int_c^b f(x) \, dx + \int_b^a f(x) \, dx \\ \text{即 } -\int_a^c f(x) \, dx &= \int_c^b f(x) \, dx - \int_a^b f(x) \, dx \end{align*} ∫caf(x)dx即 −∫acf(x)dx=∫cbf(x)dx+∫baf(x)dx=∫cbf(x)dx−∫abf(x)dx 移项可得： ∫abf(x) dx=∫acf(x) dx+∫cbf(x) dx \int_a^b f(x) \, dx = \int_a^c f(x) \, dx + \int_c^b f(x) \, dx ∫abf(x)dx=∫acf(x)dx+∫cbf(x)dx （此证明利用了性质已经对任意顺序成立的前提，或者需要更细致地基于定义和积分上下限的规定来推导。） 更直接的思路： ∫acf(x) dx+∫cbf(x) dx=−∫caf(x) dx+∫cbf(x) dx\int_a^c f(x) \, dx + \int_c^b f(x) \, dx = -\int_c^a f(x) \, dx + \int_c^b f(x) \, dx∫acf(x)dx+∫cbf(x)dx=−∫caf(x)dx+∫cbf(x)dx. 如果 c ∫acf(x)dx+∫cbf(x)dx=−∫caf(x)dx+∫cbf(x)dx\int_a^c f(x)dx + \int_c^b f(x)dx = -\int_c^a f(x)dx + \int_c^b f(x)dx∫acf(x)dx+∫cbf(x)dx=−∫caf(x)dx+∫cbf(x)dx. 我们想证明它等于 ∫abf(x)dx=−∫baf(x)dx\int_a^b f(x)dx = -\int_b^a f(x)dx∫abf(x)dx=−∫baf(x)dx. 从已知的 ∫caf(x)dx=∫cbf(x)dx+∫baf(x)dx\int_c^a f(x)dx = \int_c^b f(x)dx + \int_b^a f(x)dx∫caf(x)dx=∫cbf(x)dx+∫baf(x)dx, 两边取负号: −∫caf(x)dx=−(∫cbf(x)dx+∫baf(x)dx)-\int_c^a f(x)dx = -(\int_c^b f(x)dx + \int_b^a f(x)dx)−∫caf(x)dx=−(∫cbf(x)dx+∫baf(x)dx). ∫acf(x)dx=−∫cbf(x)dx−∫baf(x)dx=∫bcf(x)dx+∫abf(x)dx\int_a^c f(x)dx = -\int_c^b f(x)dx - \int_b^a f(x)dx = \int_b^c f(x)dx + \int_a^b f(x)dx∫acf(x)dx=−∫cbf(x)dx−∫baf(x)dx=∫bcf(x)dx+∫abf(x)dx. 这与目标 ∫abf(x) dx=∫acf(x) dx+∫cbf(x) dx\int_a^b f(x) \, dx = \int_a^c f(x) \, dx + \int_c^b f(x) \, dx∫abf(x)dx=∫acf(x)dx+∫cbf(x)dx 变形后是一致的。 注： 该性质表明积分对于区间具有可加性，无论 a,b,ca, b, ca,b,c 的相对顺序如何，只要各积分存在，此等式均成立。该性质在计算分段函数的定积分或含有绝对值的函数的定积分时会经常用到。 性质 4 (积分不等式性质) 若 f(x)f(x)f(x) 在 [a,b][a, b][a,b] 上可积（a ∫abf(x) dx≥0 \int_a^b f(x) \, dx \geq 0 ∫abf(x)dx≥0 证明： 由定积分定义 ∫abf(x) dx=limΔx→0∑i=1nf(ξi)Δxi \int_a^b f(x) \, dx = \lim_{\Delta x \rightarrow 0} \sum_{i=1}^n f(\xi_i) \Delta x_i ∫abf(x)dx=Δx→0limi=1∑nf(ξi)Δxi 因为 f(x)≥0f(x) \geq 0f(x)≥0，所以对任意 ξi∈[xi−1,xi]\xi_i \in [x_{i-1}, x_i]ξi∈[xi−1,xi]，有 f(ξi)≥0f(\xi_i) \geq 0f(ξi)≥0。又因 a 因此，积分和中的每一项 f(ξi)Δxi≥0f(\xi_i) \Delta x_i \geq 0f(ξi)Δxi≥0，所以 ∑i=1nf(ξi)Δxi≥0\sum_{i=1}^n f(\xi_i) \Delta x_i \geq 0∑i=1nf(ξi)Δxi≥0。 根据极限的保号性，其极限也满足 ∫abf(x) dx=limΔx→0∑i=1nf(ξi)Δxi≥0 \int_a^b f(x) \, dx = \lim_{\Delta x \rightarrow 0} \sum_{i=1}^n f(\xi_i) \Delta x_i \geq 0 ∫abf(x)dx=Δx→0limi=1∑nf(ξi)Δxi≥0 注： 该性质说明：当 a 推论： 设 f(x),g(x)f(x), g(x)f(x),g(x) 在 [a,b][a, b][a,b] 上都可积（a ∫abf(x) dx≤∫abg(x) dx \int_a^b f(x) \, dx \leq \int_a^b g(x) \, dx ∫abf(x)dx≤∫abg(x)dx 证明： 由 f(x)≤g(x)f(x) \leq g(x)f(x)≤g(x) 知，h(x)=g(x)−f(x)≥0h(x) = g(x) - f(x) \geq 0h(x)=g(x)−f(x)≥0。 根据性质4，∫abh(x) dx=∫ab(g(x)−f(x)) dx≥0\int_a^b h(x) \, dx = \int_a^b (g(x) - f(x)) \, dx \geq 0∫abh(x)dx=∫ab(g(x)−f(x))dx≥0。 再根据性质2，∫abg(x) dx−∫abf(x) dx≥0\int_a^b g(x) \, dx - \int_a^b f(x) \, dx \geq 0∫abg(x)dx−∫abf(x)dx≥0。 因此，∫abf(x) dx≤∫abg(x) dx\int_a^b f(x) \, dx \leq \int_a^b g(x) \, dx∫abf(x)dx≤∫abg(x)dx。 注： 该性质说明（当 a 例 1： 不计算定积分的值，比较 ∫01x dx\int_0^1 x \, dx∫01xdx 与 ∫01x2 dx\int_0^1 x^2 \, dx∫01x2dx 的大小。 解： 在积分区间 [0,1][0,1][0,1] 上，对于任意 x∈[0,1]x \in [0,1]x∈[0,1]，有 x≥x2x \geq x^2x≥x2（因为 x−x2=x(1−x)≥0x-x^2 = x(1-x) \ge 0x−x2=x(1−x)≥0）。 因此由不等式性质的推论（性质4注2）知 (这里 a=0,b=1a=0, b=1a=0,b=1, a ∫01x dx≥∫01x2 dx \int_0^1 x \, dx \geq \int_0^1 x^2 \, dx ∫01xdx≥∫01x2dx 例 2： 设 I=∫0π4ln(sinx) dx,J=∫0π4ln(cosx) dx,K=∫0π4ln(cotx) dx I = \int_0^{\frac{\pi}{4}} \ln (\sin x) \, dx, \quad J = \int_0^{\frac{\pi}{4}} \ln (\cos x) \, dx, \quad K = \int_0^{\frac{\pi}{4}} \ln (\cot x) \, dx I=∫04πln(sinx)dx,J=∫04πln(cosx)dx,K=∫04πln(cotx)dx 比较 I,J,KI, J, KI,J,K 的大小。(注意：ln(sinx)\ln(\sin x)ln(sinx) 在 x→0+x \to 0^+x→0+ 时趋于 −∞-\infty−∞，严格来说这是瑕积分，但此处假定按可积处理或在 (0,π/4](0, \pi/4](0,π/4] 考虑) 解： 积分区间都是 (0,π4]\left(0, \frac{\pi}{4}\right](0,4π] (为使对数有意义)。我们需要比较被积函数的大小。 被积函数都是复合函数，外函数 lnu\ln ulnu 是严格增函数。因此只需要比较内函数的大小。 在区间 (0,π4]\left(0, \frac{\pi}{4}\right](0,4π] 上： sinx\sin xsinx 和 cosx\cos xcosx：当 x∈(0,π4)x \in (0, \frac{\pi}{4})x∈(0,4π), sinx 所以在 (0,π4)(0, \frac{\pi}{4})(0,4π) 上，cotx>1>cosx>sinx>0\cot x > 1 > \cos x > \sin x > 0cotx>1>cosx>sinx>0。 因此， ln(sinx) \ln(\sin x) < \ln(\cos x) < \ln(\cot x) ln(sinx) 根据定积分的不等式性质（性质4注2），由于积分上限 π4\frac{\pi}{4}4π 大于积分下限 000： I I < J < K I 性质 5 (积分为1的函数的积分) ∫ab1 dx=∫abdx=b−a \int_a^b 1 \, dx = \int_a^b dx = b - a ∫ab1dx=∫abdx=b−a 证明： 利用定义： 设 f(x)≡1f(x) \equiv 1f(x)≡1。则在任意小区间 [xi−1,xi][\text{x}_{i-1}, \text{x}_i][xi−1,xi] 上任取 ξi\xi_iξi, f(ξi)=1f(\xi_i) = 1f(ξi)=1。 ∫ab1 dx=limΔx→0∑i=1n1⋅Δxi=limΔx→0∑i=1n(xi−xi−1) \int_a^b 1 \, dx = \lim_{\Delta x \rightarrow 0} \sum_{i=1}^n 1 \cdot \Delta x_i = \lim_{\Delta x \rightarrow 0} \sum_{i=1}^n (x_i - x_{i-1}) ∫ab1dx=Δx→0limi=1∑n1⋅Δxi=Δx→0limi=1∑n(xi−xi−1) ∑i=1n(xi−xi−1)=(x1−x0)+(x2−x1)+⋯+(xn−xn−1)=xn−x0=b−a \sum_{i=1}^n (x_i - x_{i-1}) = (x_1 - x_0) + (x_2 - x_1) + \cdots + (x_n - x_{n-1}) = x_n - x_0 = b - a i=1∑n(xi−xi−1)=(x1−x0)+(x2−x1)+⋯+(xn−xn−1)=xn−x0=b−a 所以， ∫ab1 dx=limΔx→0(b−a)=b−a \int_a^b 1 \, dx = \lim_{\Delta x \rightarrow 0} (b - a) = b - a ∫ab1dx=Δx→0lim(b−a)=b−a 此结果与 Δx→0\Delta x \to 0Δx→0 的过程无关，因为和式恒为 b−ab-ab−a。 性质 6 (积分估计不等式) 设 f(x)f(x)f(x) 在 [a,b][a, b][a,b] 上连续 (a m(b−a)≤∫abf(x) dx≤M(b−a) m(b - a) \leq \int_a^b f(x) \, dx \leq M(b - a) m(b−a)≤∫abf(x)dx≤M(b−a) 证明： 由于 f(x)f(x)f(x) 在 [a,b][a, b][a,b] 上连续，故其在 [a,b][a, b][a,b] 上必取得最大值 MMM 和最小值 mmm。 即对所有 x∈[a,b]x \in [a,b]x∈[a,b]，有 m≤f(x)≤Mm \leq f(x) \leq Mm≤f(x)≤M。 根据性质4的推论和性质5，将此不等式三边同时在 [a,b][a,b][a,b] 上积分： ∫abm dx≤∫abf(x) dx≤∫abM dx \int_a^b m \, dx \leq \int_a^b f(x) \, dx \leq \int_a^b M \, dx ∫abmdx≤∫abf(x)dx≤∫abMdx m∫ab1 dx≤∫abf(x) dx≤M∫ab1 dx m \int_a^b 1 \, dx \leq \int_a^b f(x) \, dx \leq M \int_a^b 1 \, dx m∫ab1dx≤∫abf(x)dx≤M∫ab1dx 即 m(b−a)≤∫abf(x) dx≤M(b−a) m(b - a) \leq \int_a^b f(x) \, dx \leq M(b - a) m(b−a)≤∫abf(x)dx≤M(b−a) 注： 该性质提供了一种不计算定积分精确值而估计其大致范围的方法。 例如： 不计算定积分的值，估计 ∫01ex dx\int_0^1 e^x \, dx∫01exdx 的值。 解： 函数 f(x)=exf(x) = e^xf(x)=ex 在区间 [0,1][0,1][0,1] 上是连续且单调递增的。 其最小值为 m=f(0)=e0=1m = f(0) = e^0 = 1m=f(0)=e0=1。 其最大值为 M=f(1)=e1=eM = f(1) = e^1 = eM=f(1)=e1=e。 积分区间长度 b−a=1−0=1b-a = 1-0 = 1b−a=1−0=1。 根据性质6，有： 1⋅(1−0)≤∫01ex dx≤e⋅(1−0) 1 \cdot (1 - 0) \leq \int_0^1 e^x \, dx \leq e \cdot (1 - 0) 1⋅(1−0)≤∫01exdx≤e⋅(1−0) 即 1≤∫01ex dx≤e(其中 e≈2.718) 1 \leq \int_0^1 e^x \, dx \leq e \quad (\text{其中 } e \approx 2.718) 1≤∫01exdx≤e(其中 e≈2.718) 性质 7 (定积分中值定理) 设 f(x)f(x)f(x) 在 [a,b][a, b][a,b] 上连续 (a≠ba \neq ba=b)，则至少存在一点 ξ∈[a,b]\xi \in [a, b]ξ∈[a,b]，使得 ∫abf(x) dx=f(ξ)(b−a) \int_a^b f(x) \, dx = f(\xi)(b - a) ∫abf(x)dx=f(ξ)(b−a) 证明： 不妨设 a 由于 f(x)f(x)f(x) 在 [a,b][a, b][a,b] 上连续，根据性质6，我们有： m(b−a)≤∫abf(x) dx≤M(b−a) m(b - a) \leq \int_a^b f(x) \, dx \leq M(b - a) m(b−a)≤∫abf(x)dx≤M(b−a) 其中 mmm 和 MMM 分别是 f(x)f(x)f(x) 在 [a,b][a,b][a,b] 上的最小值和最大值。 因为 b−a>0b-a > 0b−a>0，两边同除以 (b−a)(b-a)(b−a) 得： m≤∫abf(x) dxb−a≤M m \leq \frac{\int_a^b f(x) \, dx}{b - a} \leq M m≤b−a∫abf(x)dx≤M 记 C=∫abf(x) dxb−aC = \frac{\int_a^b f(x) \, dx}{b - a}C=b−a∫abf(x)dx。则 m≤C≤Mm \leq C \leq Mm≤C≤M。 根据连续函数的介值定理 (Intermediate Value Theorem)，既然 CCC 是介于函数最小值 mmm 和最大值 MMM 之间的一个值，则在区间 [a,b][a, b][a,b] 上至少存在一点 ξ\xiξ 使得 f(ξ)=Cf(\xi) = Cf(ξ)=C。 即， f(ξ)=∫abf(x) dxb−a f(\xi) = \frac{\int_a^b f(x) \, dx}{b - a} f(ξ)=b−a∫abf(x)dx 从而， ∫abf(x) dx=f(ξ)(b−a) \int_a^b f(x) \, dx = f(\xi)(b - a) ∫abf(x)dx=f(ξ)(b−a) 若 a>ba > ba>b, 则 ∫abf(x)dx=−∫baf(x)dx=−f(ξ)(a−b)=f(ξ)(b−a)\int_a^b f(x)dx = -\int_b^a f(x)dx = -f(\xi)(a-b) = f(\xi)(b-a)∫abf(x)dx=−∫baf(x)dx=−f(ξ)(a−b)=f(ξ)(b−a) for some ξ∈[b,a]\xi \in [b,a]ξ∈[b,a]. 若 a=ba=ba=b, 则 ∫aaf(x)dx=0\int_a^a f(x)dx = 0∫aaf(x)dx=0 and f(ξ)(a−a)=0f(\xi)(a-a)=0f(ξ)(a−a)=0, a ξ\xiξ can be any point in [a,a][a,a][a,a]. 注： 平均值： f(ξ)=∫abf(x) dxb−af(\xi) = \frac{\int_a^b f(x) \, dx}{b - a}f(ξ)=b−a∫abf(x)dx (当 a≠ba \neq ba=b) 称为函数 f(x)f(x)f(x) 在区间 [a,b][a, b][a,b] 上的平均值。这可以看作是离散数据算术平均数概念在连续函数上的推广。 例如： 已知 f(x)f(x)f(x) 在 [−1,2][-1, 2][−1,2] 上的平均值为 2，求 ∫−12f(x) dx\int_{-1}^2 f(x) \, dx∫−12f(x)dx。 解： 根据平均值的定义： ∫−12f(x) dx2−(−1)=2 \frac{\int_{-1}^2 f(x) \, dx}{2 - (-1)} = 2 2−(−1)∫−12f(x)dx=2 ∫−12f(x) dx3=2 \frac{\int_{-1}^2 f(x) \, dx}{3} = 2 3∫−12f(x)dx=2 所以， ∫−12f(x) dx=2×3=6 \int_{-1}^2 f(x) \, dx = 2 \times 3 = 6 ∫−12f(x)dx=2×3=6 定积分中值定理的几何意义： (假设 f(x)≥0f(x) \ge 0f(x)≥0 且 a 等式左边 ∫abf(x) dx\int_a^b f(x) \, dx∫abf(x)dx 表示曲边梯形的面积。 等式右边 f(ξ)(b−a)f(\xi)(b - a)f(ξ)(b−a) 表示以 (b−a)(b - a)(b−a) 为底，以 f(ξ)f(\xi)f(ξ) 为高的矩形的面积。 定积分中值定理的几何意义是：由连续曲线 y=f(x)y=f(x)y=f(x)（f(x)≥0f(x) \ge 0f(x)≥0）与 x=a,x=b,y=0x=a, x=b, y=0x=a,x=b,y=0 所围成的曲边梯形的面积，一定等于一个以相同底边 [a,b][a,b][a,b]、高为曲线上某点 f(ξ)f(\xi)f(ξ) 的矩形的面积。也就是说，总能找到一个高度 f(ξ)f(\xi)f(ξ)，使得这个矩形面积恰好等于曲边梯形面积。 推广的定积分中值定理 (积分第二中值定理的一种形式)： 设 f(x),g(x)f(x), g(x)f(x),g(x) 在 [a,b][a, b][a,b] 上连续，且 g(x)g(x)g(x) 在 [a,b][a, b][a,b] 上不变号（即 g(x)≥0g(x) \geq 0g(x)≥0 处处成立，或 g(x)≤0g(x) \leq 0g(x)≤0 处处成立），则至少存在一点 ξ∈[a,b]\xi \in [a, b]ξ∈[a,b]，满足 ∫abf(x)g(x) dx=f(ξ)∫abg(x) dx \int_a^b f(x) g(x) \, dx = f(\xi) \int_a^b g(x) \, dx ∫abf(x)g(x)dx=f(ξ)∫abg(x)dx 证明： 不妨设 g(x)≥0g(x) \geq 0g(x)≥0 在 [a,b][a,b][a,b] 上。若 ∫abg(x)dx=0\int_a^b g(x)dx = 0∫abg(x)dx=0, 由于 g(x)≥0g(x) \ge 0g(x)≥0 且连续, 这意味着 g(x)≡0g(x) \equiv 0g(x)≡0 在 [a,b][a,b][a,b] 上。此时等式两边都为0，任取 ξ∈[a,b]\xi \in [a,b]ξ∈[a,b] 均成立。 现设 ∫abg(x)dx>0\int_a^b g(x)dx > 0∫abg(x)dx>0。 由于 f(x)f(x)f(x) 在 [a,b][a, b][a,b] 上连续，设其最小值为 mmm，最大值为 MMM。即 m≤f(x)≤Mm \leq f(x) \leq Mm≤f(x)≤M。 因为 g(x)≥0g(x) \geq 0g(x)≥0，所以 mg(x)≤f(x)g(x)≤Mg(x)m g(x) \leq f(x) g(x) \leq M g(x)mg(x)≤f(x)g(x)≤Mg(x)。 根据定积分的保不等式性（性质4推论），在 [a,b][a,b][a,b] 上积分得： ∫abmg(x) dx≤∫abf(x)g(x) dx≤∫abMg(x) dx \int_a^b m g(x) \, dx \leq \int_a^b f(x) g(x) \, dx \leq \int_a^b M g(x) \, dx ∫abmg(x)dx≤∫abf(x)g(x)dx≤∫abMg(x)dx m∫abg(x) dx≤∫abf(x)g(x) dx≤M∫abg(x) dx m \int_a^b g(x) \, dx \leq \int_a^b f(x) g(x) \, dx \leq M \int_a^b g(x) \, dx m∫abg(x)dx≤∫abf(x)g(x)dx≤M∫abg(x)dx 由于 ∫abg(x) dx>0\int_a^b g(x) \, dx > 0∫abg(x)dx>0，三边同除以 ∫abg(x) dx\int_a^b g(x) \, dx∫abg(x)dx 得： m≤∫abf(x)g(x) dx∫abg(x) dx≤M m \leq \frac{\int_a^b f(x) g(x) \, dx}{\int_a^b g(x) \, dx} \leq M m≤∫abg(x)dx∫abf(x)g(x)dx≤M 记 C=∫abf(x)g(x) dx∫abg(x) dxC = \frac{\int_a^b f(x) g(x) \, dx}{\int_a^b g(x) \, dx}C=∫abg(x)dx∫abf(x)g(x)dx。则 m≤C≤Mm \leq C \leq Mm≤C≤M。 根据连续函数的介值定理，至少存在一点 ξ∈[a,b]\xi \in [a, b]ξ∈[a,b]，满足 f(ξ)=Cf(\xi) = Cf(ξ)=C。 即 f(ξ)=∫abf(x)g(x) dx∫abg(x) dx f(\xi) = \frac{\int_a^b f(x) g(x) \, dx}{\int_a^b g(x) \, dx} f(ξ)=∫abg(x)dx∫abf(x)g(x)dx 整理得： ∫abf(x)g(x) dx=f(ξ)∫abg(x) dx \int_a^b f(x) g(x) \, dx = f(\xi) \int_a^b g(x) \, dx ∫abf(x)g(x)dx=f(ξ)∫abg(x)dx 若 g(x)≤0g(x) \leq 0g(x)≤0 且 ∫abg(x)dx<0\int_a^b g(x)dx < 0∫abg(x)dx<0，则 mg(x)≥f(x)g(x)≥Mg(x)m g(x) \geq f(x) g(x) \geq M g(x)mg(x)≥f(x)g(x)≥Mg(x)，积分后除以负数 ∫abg(x)dx\int_a^b g(x)dx∫abg(x)dx 会使不等号反向，但最终仍得到 m≤C≤Mm \le C \le Mm≤C≤M。