中值定理例题讲解中，如何快速判断使用哪个定理？

主要看结论形式。若结论为 f(b)-f(a)，优先考虑拉格朗日；若结论含 f'(ξ)，考虑罗尔或拉格朗日；若结论为两个函数导数之比，必用柯西；若涉及高阶导数或泰勒展开，需结合泰勒中值定理。

构造辅助函数是难点吗？有什么技巧？

构造辅助函数是中值定理证明的核心。常用技巧包括：逆向推导法（将 ξ 视为 x，积分还原）、观察法（识别导数形式）、常数 k 法（移项后求导）。例如证明 f'(ξ)+λf(ξ)=0，可构造 F(x)=e^(λx)f(x)。

中值定理例题讲解

从基础定义到高阶证明，全方位解析《高等数学》核心难点。汇集历年真题，深度剖析拉格朗日中值定理、柯西中值定理与罗尔定理的应用场景。

开始深度学习 ↗

理论基石：三大中值定理的逻辑关联

① 罗尔定理 (Rolle's Theorem)

这是中值定理的基石。若函数 f(x) 在闭区间 [a, b] 连续，开区间 (a, b) 可导，且 f(a) = f(b)，则在 (a, b) 内至少存在一点 ξ，使得 f'(ξ) = 0。

几何意义：曲线两端高度相同，中间必有水平切线。

② 拉格朗日中值定理 (Lagrange)

罗尔定理的推广。去掉 f(a)=f(b) 的条件。若 f(x) 满足连续可导条件，则存在 ξ∈(a,b)，使得：

f(b) - f(a) = f'(ξ)(b - a)

即：割线斜率等于某点切线斜率。这是微分学最重要的桥梁。

③ 柯西中值定理 (Cauchy)

拉格朗日定理的参数方程形式。引入两个函数 f(x) 和 g(x)。若满足条件且 g'(x)≠0，则存在 ξ 使得：

[f(b) - f(a)] / [g(b) - g(a)] = f'(ξ) / g'(ξ)

这是证明 洛必达法则 的理论依据。

实战演练：高频题型分类解析

点击下方选项卡切换不同难度的解题思路

类型一：等式证明

类型二：不等式证明

类型三：零点存在性

【例题】已知 f(x) 在 [0,1] 上连续，在 (0,1) 内可导，且 f(0)=0, f(1)=1。求证：存在 ξ∈(0,1)，使得 f'(ξ) = 1/(1-ξ²)。

解题思路：此题结论变形为 f'(ξ)(1-ξ²) = 1，即 f'(ξ) + f'(ξ)ξ² = 1？这种直接凑比较困难。我们需要逆向思考。

将结论改写为：f'(ξ) - 1/(1-ξ²) = 0。通分得 [f'(ξ)(1-ξ²) - 1] / (1-ξ²) = 0。分子部分提示我们要构造辅助函数。

步骤演示：

观察目标式：需要出现 f'(ξ) 和 ξ² 的组合。
尝试构造 F(x) = f(x) - ∫₀ˣ dt/(1-t²)？积分太复杂。
换个角度：令 G(x) = f(x) - arctanh(x) (双曲正切反函数)？或者更简单的代数变形。
实际上，我们可以利用柯西中值定理。设 g(x) = x/(1-x²)？不对。
正确构造：考虑函数 H(x) = f(x) - x - ln((1+x)/(1-x))？也不对。
终极解法：将结论变形为 f'(ξ)(1-ξ²) = 1 → f'(ξ) - 1/(1-ξ²) = 0。这暗示我们寻找一个函数，其导数为 f'(x) - 1/(1-x²)。但这很难积分。
重新审视：题目可能考察的是 柯西中值定理 的变体。设 F(x) = f(x), G(x) = x/(1-x²)？验证端点。

💡 深度解析：本题属于高难度构造题。标准解法是将结论变形为 f'(ξ)(1-ξ²) - 1 = 0。注意到 d/dx [f(x)(1-x²)] = f'(x)(1-x²) - 2xf(x)，这与目标不符。正确的辅助函数构造往往需要通过逆向积分或分组求导发现规律。对于此类题目，建议先假设结论成立，反向推导可能的原函数形式。

【例题】证明：当 x > 0 时，ln(1+x) < x。

解题思路：这是一个非常经典的拉格朗日中值定理应用题。

证明过程：

构造函数：f(t) = ln(1+t)。
选取区间：[0, x]，其中 x > 0。
验证条件：f(t) 在 [0,x] 连续，在 (0,x) 可导，满足拉格朗日定理条件。
应用定理：存在 ξ ∈ (0, x)，使得 f(x) - f(0) = f'(ξ)(x - 0)。
代入计算：ln(1+x) - ln(1) = [1/(1+ξ)] · x。
放缩：因为 0 < ξ < x，所以 1+ξ > 1，故 1/(1+ξ) < 1。
结论：ln(1+x) = x/(1+ξ) < x。得证。

💡 举一反三：此类不等式证明，关键在于选择合适的区间和函数，利用导数的有界性进行放缩。

【例题】设 f(x) 在 [0,1] 上连续，f(0)=f(1)=0，且 f'(x) 存在。证明：存在 ξ∈(0,1)，使得 f'(ξ) = f(ξ)。

解题思路：结论变形为 f'(ξ) - f(ξ) = 0。这看起来像是一个微分方程的特征。

辅助函数构造：观察 y' - y = 0 的通解是 y = Ce^x。因此，我们构造辅助函数 F(x) = e⁻ˣf(x)。

验证：

F(0) = e⁰·f(0) = 0
F(1) = e⁻¹·f(1) = 0

由于 F(0)=F(1)，根据罗尔定理，存在 ξ∈(0,1)，使得 F'(ξ) = 0。

计算导数：F'(x) = (e⁻ˣ)'f(x) + e⁻ˣf'(x) = -e⁻ˣf(x) + e⁻ˣf'(x) = e⁻ˣ[f'(x) - f(x)]。

因为 e⁻ˣ ≠ 0，所以必须有 f'(ξ) - f(ξ) = 0，即 f'(ξ) = f(ξ)。得证。

核心秘籍：辅助函数的构造艺术

在中值定理的证明题中，构造辅助函数往往是解题的“生死线”。很多考生卡在“不知道构造函数是什么”这一步。以下总结了四种最常用的构造方法，配合案例说明。

方法一：逆向积分法

将结论中的 ξ 替换为 x，得到一个微分方程，求解该方程得到原函数即为辅助函数。

示例：欲证 f'(ξ) + λf(ξ) = 0。对应微分方程 y' + λy = 0，解得 y = Ce⁻ˡˣ。取 C=1，构造 F(x) = e⁽ˡˣ⁾f(x)。

方法二：常数 k 法

将结论中的常数项移到一边，使等式右边为 0。然后观察左边的结构，尝试将其看作某个函数的导数。

示例：欲证 f(b) - f(a) = k(b-a)。移项得 f(b) - ka = f(a) + kb？不对。应整理为 [f(b)-f(a)]/(b-a) = k。此时构造 F(x) = f(x) - kx，则 F'(x) = f'(x) - k，由罗尔定理易证。

方法三：观察导数公式

熟记基本初等函数的导数公式，特别是乘积法则 (uv)' = u'v + uv' 和商法则。

示例：若结论中有 f'(ξ)g(ξ) + f(ξ)g'(ξ)，这明显是 [f(x)g(x)]' 的形式，直接构造 F(x) = f(x)g(x)。

方法四：参数法

当结论中包含多个变量或参数时，可以将其中一个视为常数，另一个视为变量，构造单变量函数。

示例：涉及 f(a), f(b), f(c) 三个点的关系，通常需要在 [a,b] 和 [b,c] 分别使用中值定理，或者构造包含三个点的复杂函数。

结论形式	推荐定理	辅助函数特征
f'(ξ) = 0	罗尔定理	F(a)=F(b)
f(b)-f(a) = f'(ξ)(b-a)	拉格朗日	F(x) = f(x) - kx
f'(ξ)/g'(ξ) = ...	柯西定理	比值形式
f'(ξ) + λf(ξ) = 0	罗尔定理	e⁽ˡˣ⁾f(x)

网友们还关心：中值定理的延伸与应用

除了课本上的证明，这些知识点也是考试的高频考点

① 泰勒中值定理 (Taylor's Theorem)

泰勒公式是中值定理的推广，它将函数展开为多项式。佩亚诺余项用于极限计算，拉格朗日余项用于误差估计和不等式证明。在考研数学中，带拉格朗日余项的泰勒公式是解决高阶导数问题的利器。

关键公式：
f(x) = f(x₀) + f'(x₀)(x-x₀) + ... + f⁽ⁿ⁾(x₀)/n! (x-x₀)ⁿ + Rₙ(x)

② 介值定理与零点定理

虽然不属于严格意义上的“中值定理”，但它们经常与中值定理混合考查。零点定理是介值定理的特例（值为 0）。在证明方程根的存在性时，常先构造辅助函数，再用零点定理证明根的存在，最后用中值定理研究根的个数或性质。

③ 积分中值定理

将微分学的中值定理推广到积分领域。若 f(x) 在 [a,b] 连续，则存在 ξ∈[a,b]，使得 ∫ₐᵇ f(x)dx = f(ξ)(b-a)。这在处理积分不等式证明时非常有用，特别是当被积函数具有单调性时。

Q&A：高频疑难问题解答

Q: 为什么有时候要用柯西中值定理，而不用拉格朗日？+

A: 当结论中出现两个函数的导数之比（如 f'(ξ)/g'(ξ)），或者需要消去某些项时，柯西中值定理是首选。拉格朗日是柯西的特殊情况（g(x)=x）。如果题目条件只给了一个函数，通常只能用拉格朗日或罗尔。

Q: 辅助函数构造不出来怎么办？+

A: 不要死磕。可以尝试“逆向思维”：把结论中的 ξ 换成 x，看看能不能凑成一个已知函数的导数。或者尝试“分段法”，先在小区间上用一次中值定理，再在大区间上用一次。此外，多刷真题，总结常见的构造模式（如 e^x, sinx, lnx 等系数）。

Q: 中值定理在物理中的应用是什么？+

A: 拉格朗日中值定理在物理学中对应“平均速度等于瞬时速度”的时刻。例如，汽车在一段路程中的平均速度，必然在某时刻等于瞬时速度。这在运动学分析中非常直观。

Q: 泰勒公式和中值定理有什么关系？+

A: 泰勒公式本身就是中值定理的高阶推广。当 n=0 时，泰勒公式退化为拉格朗日中值定理。它们本质上都是利用局部线性化或多项式逼近来研究函数性质。

本站致力于提供高质量的数学教学资源，如有版权问题请联系删除。