从基础定义到高阶应用，全面梳理微积分核心工具，助您攻克考研数学与高等数学难点。
在深入探讨推广形式之前，我们必须牢牢掌握第一积分中值定理的核心定义。这是理解所有推广形式的基石。许多学生在解题时容易混淆“平均值”的概念，导致证明步骤缺失关键条件。
该定理的几何意义非常直观：由曲线 y = f(x)，直线 x=a，x=b 以及 x 轴所围成的曲边梯形的面积，等于以 (b-a) 为底，以 f(ξ) 为高的矩形的面积。换句话说，f(ξ) 就是函数 f(x) 在区间 [a, b] 上的平均值。
注意 ξ 的取值范围是 [a, b]（闭区间），而非开区间 (a, b)。虽然在某些特定条件下可以推广到开区间，但基础定理仅保证闭区间内存在。
主要用于证明积分不等式、估算积分值的大小，以及作为拉格朗日中值定理在积分形式下的推广。
在实际应用和考研真题中，纯粹的第一中值定理往往不够用。当被积函数包含一个权函数时，我们需要使用加权积分中值定理。这是网民关注度最高、考查频率最强的推广形式之一。
设函数 f(x) 和 g(x) 在闭区间 [a, b] 上连续，且 g(x) 在 [a, b] 上不变号（即恒 ≥ 0 或恒 ≤ 0），则存在 ξ ∈ [a, b]，使得：
若 g(x) ≡ 1，则退化为第一积分中值定理。
证明的关键在于利用最值定理和介值定理：
问题：证明不等式 ∫01 x2 e-x dx < 1/3。
解析： 此题直接估算较难。我们可以构造权函数。虽然此例更适合直接放缩，但在处理形如 ∫ f(x) sin(nx) dx 且 f(x) 单调时，加权中值定理是首选工具。 例如：若 f(x) 在 [a,b] 上单调递减且非负，g(x) 可积，则存在 ξ ∈ [a,b] 使得 ∫ f(x)g(x) dx = f(a) ∫aξ g(x) dx。
如果说加权形式是“平滑”的推广，那么第二积分中值定理则是处理振荡函数与单调函数乘积积分的利器。它在证明含参变量积分的一致收敛性以及处理广义积分时具有不可替代的作用。
若 f(x) 在 [a, b] 上可积，g(x) 在 [a, b] 上单调递减且 g(x) ≥ 0，则存在 ξ ∈ [a, b]，使得：
若 g(x) 单调递增且 g(x) ≥ 0，则：
若 f(x) 在 [a, b] 上可积，g(x) 在 [a, b] 上单调有界，则存在 ξ ∈ [a, b]，使得：
“一函数可积，一函数单调。端点值乘区间积分，中点ξ来分两边。”
第二中值定理的证明通常基于分部积分法和第一中值定理的结合。理解这一点有助于在复杂证明中灵活运用。
对于无穷区间 [a, +∞) 或无界函数，积分中值定理需要额外的收敛性条件才能保证成立。这是学术研究和高阶考试中的难点。
若 f(x) 在 [a, +∞) 上连续，g(x) 在 [a, +∞) 上可积且不变号，且 ∫a+∞ g(x) dx 收敛，则存在 ξ ∈ [a, +∞)，使得：
注意：此时 ξ 可能趋向于无穷大，具体位置取决于 f(x) 的性质。
设 I(α) = ∫ab f(x, α) dx，若 f(x, α) 关于 α 连续，则存在 ξ(α) 使得 I(α) = f(ξ(α), α) (b-a)。这在研究积分方程和微分方程解的存在性时至关重要。
熟练掌握闭区间上的第一、第二中值定理，能够准确识别适用条件（连续性、单调性、不变号）。
结合泰勒公式、洛必达法则，处理极限问题中的积分中值定理应用。例如：求 limx→0 (1/x) ∫0x f(t) dt。
利用中值定理构造辅助函数，证明积分不等式。这是考研数学证明题的高频考点，需要大量练习。
理论必须结合实践。以下选取两道具有代表性的题目，展示积分中值定理推广形式在解题中的具体操作。
| 定理类型 | 关键条件 | 结论形式 | 主要应用场景 |
|---|---|---|---|
| 第一中值定理 | f 连续 | ∫f = f(ξ)(b-a) | 估值、平均值 |
| 加权中值定理 | f 连续, g 连续不变号 | ∫fg = f(ξ)∫g | 加权平均、不等式证明 |
| 第二中值定理 | f 可积, g 单调 | 端点值×分段积分 | 振荡积分、一致收敛 |
A: 不一定。 定理只保证“至少存在一点”。例如，对于常数函数 f(x)=C，区间内任意一点都可以作为 ξ。只有当 f(x) 严格单调时，ξ 才可能唯一（在特定条件下）。
A: 是的，这是关键条件。 如果 g(x) 不单调，定理结论通常不成立。但在某些广义形式中，可以放宽为“有界变差函数”，但这超出了常规高等数学和考研的范围。
A: 看到以下关键词请警惕： 1. 积分符号与函数值混合出现； 2. 需要证明存在某点使得导数或函数值为0； 3. 题目涉及“平均值”、“等式”而非“不等式”（不等式常用放缩法，等式常用中值定理）； 4. 被积函数含有 sin(nx), cos(nx) 等振荡项，考虑第二中值定理。