深度解析微积分核心工具，掌握加权、第二中值定理及变上限积分的高级运算法则。
在高等数学与数学分析的学习中，积分中值定理（Integral Mean Value Theorem）是连接微分与积分的桥梁。然而，许多同学在面对考研数学或竞赛题目时，往往局限于最基础的定理形式：
若 f(x) 在 [a, b] 上连续，则存在 ξ ∈ [a, b]，使得 ∫[a,b] f(x)dx = f(ξ)(b-a)
这种基础形式在处理复杂被积函数、含参变量积分或不等式证明时显得力不从心。网民在搜索相关知识点时，最常遇到的痛点包括：加权函数的处理、非连续函数的推广以及积分第二中值定理的灵活运用。本页面将系统性地梳理这些推广技巧，提供“信息增益”级的深度内容。
为了应对不同的数学场景，我们需要掌握以下三种主要的推广形式。点击标签页查看详细解析。
这是最常用且最重要的推广。当被积函数由两部分组成，其中一部分保持符号不变时，适用此定理。
若函数 f(x) 在 [a, b] 上连续，函数 g(x) 在 [a, b] 上可积且不变号（即恒 ≥0 或恒 ≤0），则存在 ξ ∈ [a, b]，使得：
∫[a,b] f(x)g(x)dx = f(ξ) ∫[a,b] g(x)dx
当被积函数包含一个单调函数和一个可积函数时，积分第二中值定理是解决震荡积分和证明题的有力武器。
若 f(x) 在 [a, b] 上可积，g(x) 在 [a, b] 上单调有界，则存在 ξ ∈ [a, b]，使得：
∫[a,b] f(x)g(x)dx = g(a)∫[a,ξ] f(x)dx + g(b)∫[ξ,b] f(x)dx
特别地，若 g(x) 单调递减且 g(x) ≥ 0，则公式简化为：
∫[a,b] f(x)g(x)dx = g(a)∫[a,ξ] f(x)dx
在实变函数论中，积分中值定理不再简单成立，因为“连续”的概念被“可测”取代，“最大值”可能被无限接近但不达到。
若 f 是 [a, b] 上的勒贝格可积函数，g 是非负可积函数，则：
inf(f) ∫g ≤ ∫fg ≤ sup(f) ∫g
这意味着 ∫fg 的值落在 f 的值域加权平均的范围内，但不一定存在某个点 ξ 使得等式严格取到 f(ξ)。
对于工科硕士及本科生，重点掌握黎曼积分下的推广形式即可。但对于数学专业学生，需理解ess inf（本质下确界）和ess sup（本质上确界）在推广中的作用。
掌握定理只是第一步，如何在复杂题目中迅速定位并应用推广技巧，需要遵循一定的思维路径。以下时间轴展示了从基础到高级的思维演进过程。
任务： 判断被积函数是否连续，区间是否有限。
策略： 若 f(x) 连续，直接联想第一中值定理。若积分区间包含奇点（如 1/x 在 x=0），则不能直接使用，需讨论广义积分。
任务： 识别并分离权重函数 g(x)。
策略： 观察积分形式 ∫ f(x)g(x)dx。若 g(x) 单调或不变号，尝试提取 g(x) 到积分号外或将其视为 f(ξ) 的系数。注意：只有当 g(x) 不变号时，才能将 f(x) 提出。
任务： 处理含参变量或需证明存在性的问题。
策略： 设 F(x) = ∫[a,x] f(t)dt，利用微分中值定理（拉格朗日）与积分中值定理结合。例如，证明 ∫[0,1] f(x)dx = f(0)/2 + f(1)/2 这类问题，常需构造辅助函数并使用罗尔定理。
任务： 处理不等式证明或极限估算。
策略： 利用积分第二中值定理，将积分转化为边界值与局部积分的乘积，利用单调性进行放缩。这是考研数学压轴题的高频考点。
理论结合实践，以下是两个高频出现的典型例题，展示推广技巧的实际应用。
题目： 设 f(x) 在 [0, 1] 上连续且单调递减，证明：∫[0,1] f(x)sin(x)dx ≥ (2/π) ∫[0,1] f(x)dx。
解析：
∫[0,1] f(x)sin(x)dx = f(ξ) ∫[0,1] sin(x)dx = f(ξ)(1 - cos(1))
由于 f(x) 单调递减，且 sin(x) 在 [0,1] 上“重心”偏向右侧（相对于线性函数），此题更严谨的解法通常涉及切比雪夫不等式。但若考察加权中值，重点在于理解 f(ξ) 与平均值的关系。
题目： 设 f(x) 在 [0, 1] 上连续，∫[0,1] f(x)dx = 0，证明存在 ξ ∈ (0, 1) 使得 ∫[0,ξ] f(x)dx = ξf(ξ)。
解析：
此题展示了积分中值定理与微分中值定理的综合运用，是考研数学中的经典综合题模型。
答：不一定。 如果 f(x) 是常数函数，则任意 ξ ∈ [a, b] 都成立。如果 f(x) 是严格单调的，则 ξ 通常是唯一的。但在一般连续函数情况下，可能存在多个 ξ 满足条件。
答：基础形式不行。 第一中值定理要求 f(x) 连续。但如果 f(x) 仅有有限个第一类间断点，且我们讨论的是黎曼可积性，通常不能直接得出 f(ξ) 的形式。此时可能需要使用积分第二中值定理或将其拆分为连续区间分别讨论。
答：主要考三类： 1. 证明存在性问题（利用罗尔定理+中值定理）；2. 不等式证明（利用加权或第二中值定理放缩）；3. 极限计算（利用中值定理简化变上限积分的阶）。重点掌握加权积分中值定理和积分第二中值定理的灵活拆分。
掌握积分中值定理推广技巧不仅是为了应对考试，更是为了深入理解微积分中“平均”与“局部”的辩证关系。从加权形式到第二中值定理，每一步推广都极大地扩展了我们的解题工具箱。建议学习者通过大量例题，特别是考研真题和竞赛题，来内化这些技巧。
本文档旨在提供学术参考，具体解题请以教材和考纲为准。