积分中值定理怎么证明？一文掌握积分中值定理证明全过程

? 几何意义一句话

若f(x)在[a, b]上连续，则必存在ξ ∈ [a, b]，使得：

即：曲线y = f(x)与x = a, x = b围成的曲边梯形面积，恰好等于一个以(b − a)为底、f(ξ)为高的矩形面积。

? 为什么叫“中值”？

“中值”并非指“中间某个值”，而是指“介于最小值与最大值之间的某个值”——这是由闭区间上连续函数的最值定理保证的：设m = min_x∈[a,b] f(x), M = max_x∈[a,b] f(x)，则必有m ≤ (1/(b−a))∫_a^b f(x)dx ≤ M，再由介值定理，存在ξ使f(ξ)等于该平均值。

? 关键前提：连续性不可少

若f(x)在[a, b]上不连续，结论可能不成立！例如：

✅ 此反例说明：连续性是积分中值定理怎么证明中不可或缺的基石。

? 与“拉格朗日中值定理”的关系

者常被混淆，实则为不同层面的结论：

• 拉格朗日中值定理：针对导函数，结论为f'(ξ) = (f(b)−f(a))/(b−a)，要求f(x)在(a,b)可导、在[a,b]连续。
• 积分中值定理：针对原函数的函数值，结论为∫_a^b f(x)dx = f(ξ)(b−a)，仅需f(x)在[a,b]连续。

有趣的是：若F(x)是f(x)的原函数，则F'(x) = f(x)，此时积分中值定理可推出F(b)−F(a) = f(ξ)(b−a) = F'(ξ)(b−a)——这正是拉格朗日中值定理！因此，积分中值定理怎么证明可视为对拉格朗日中值定理的“逆向推广”。

✅ 步骤1：利用最值定理建立上下界

因f(x)在[a,b]连续，由最值定理，存在m = min_x∈[a,b] f(x), M = max_x∈[a,b] f(x)，且对任意x ∈ [a,b]，有：

对不等式在[a,b]上积分（积分保序性）：

即：

两边同除(b−a) > 0：

✅ 步骤2：引入平均值A

令A = (1/(b−a)) ∫_a^b f(x) dx，则上式变为：

即A是介于f(x)最小值与最大值之间的某个实数。

✅ 步骤3：应用介值定理

因f(x)在[a,b]连续，由介值定理，对任意C ∈ [m, M]，必存在ξ ∈ [a,b]，使得f(ξ) = C。

取C = A，则存在ξ ∈ [a,b]，使得：

移项即得：

证毕。

✅ 步骤4：逻辑闭环——为什么不能省略连续性？

上述证明中，最值定理与介值定理均以闭区间上连续为前提。若函数不连续：

• 最值定理可能失效（如f(x)=1/x在(0,1]无最大值）；
• 介值定理失效（如符号函数跳过中间值）。

因此，积分中值定理怎么证明的本质，是将积分的连续性与函数值的介值性通过极限过程打通，形成闭环。

? 拓展：积分第二中值定理（贝塞尔不等式）

若f(x)在[a,b]可积，g(x)在[a,b]单调有界，则存在ξ₁, ξ₂ ∈ [a,b]，使得：

此为更高级结论，常见于数学分析考研题，其证明需借助达布和与单调收敛原理，此处从略。

? 与“平均值”的统计学类比

设随机变量X ~ U[a,b]（均匀分布），则其期望为：

而积分中值定理说：对任意连续f(x)，存在ξ使E[f(X)] = f(ξ)。

这正是Jensen不等式的等号情形（因f连续，当f为线性函数时取等）。

? 几何直观：曲边梯形的“等积矩形”

下图展示f(x)=sin x在[0,π]上的积分：

此矩形的高2/π即为f(ξ)，对应ξ = π/6或5π/6（因sin(π/6)=1/2 < 2/π，实际解为ξ = arcsin(2/π) ≈ 0.6901）。

? 与“牛顿-莱布尼茨公式”的联系

设F(x)为f(x)的原函数，则：

若f(x)连续，则F(x)可导，由拉格朗日中值定理：

这正是积分中值定理怎么证明的简洁推导！

✅ 因此：牛顿-莱布尼茨公式 + 拉格朗日中值定理 ⇒ 积分中值定理。

? 证明中的极限思想：为何“区间收缩”能保证M变大？

设I = [a,b]，对任意ε > 0，存在划分P: a = x₀ < x₁ < … < xₙ = b，使达布和满足：

当f连续时，对任意子区间[x_{i−1}, x_i]，存在ξ_i ∈ [x_{i−1}, x_i]使f(ξ_i)为该子区间上的“代表值”。

特别地，取n=1（即整个区间），则存在ξ ∈ [a,b]使f(ξ)介于m与M之间，且：

此即积分中值定理怎么证明的原始思想：用最大值与最小值“夹逼”积分值。