掌握微积分核心利器，攻克高等数学证明题难关。从理论推导到实战技巧，一站式解决您的疑惑。
在高等数学和数学分析的考试中，用拉格朗日中值定理证明不等式是一个高频考点，也是许多学生感到头疼的难点。与泰勒公式相比，拉格朗日中值定理（Lagrange Mean Value Theorem）更加简洁，几何意义明确；与单调性法相比，它更能体现“区间”与“导数”之间的深刻联系。
f(b) - f(a) 与区间内某点导数 f'(ξ) 之间的联系。通过这种联系，我们可以将难以直接比较的函数值之差，转化为易于分析的导数函数值。
当我们面对形如 f(x) > g(x) 或 f(b) - f(a) > k(b-a) 的不等式时，直接作差往往困难重重，而引入中值定理则能化繁为简。
成功运用拉格朗日中值定理证明不等式，通常遵循以下四个关键步骤。请通过下方选项卡查看不同侧重点的详细解析。
这是最关键的一步。我们需要将不等式变形，使得一边为 0。
f(x) > g(x) 对 x > 0 成立，通常设 F(x) = f(x) - g(x)。此时区间一端为 0，另一端为 x。f(b) - f(a) > k(b-a)，则直接设 F(x) = f(x)，区间为 [a, b]。这是最标准的拉格朗日形式。F(x) = f(x)/x 或 F(x) = e^{-x}f(x)，这取决于原不等式的结构。
在使用定理前，必须严谨地验证辅助函数 F(x) 满足定理条件：
F(x) 在闭区间 [a, b] 上连续。F(x) 在开区间 (a, b) 内可导。对于常见的初等函数（多项式、指数、对数、三角函数等），在其定义域内通常天然满足这些条件。但如果涉及分段函数或绝对值函数，必须单独检查分段点处的连续性和可导性。
根据定理，存在 ξ ∈ (a, b)（或 ξ ∈ (0, x)），使得：
F(b) - F(a) = F'(ξ)(b - a)
或者对于单变量情况：
F(x) - F(0) = F'(ξ)(x - 0), ξ ∈ (0, x)
这一步将函数值的差转化为了导数与区间长度的乘积。
这是最后也是最能体现技巧的一步。我们需要分析 F'(ξ) 的范围。
F'(x) > k 对所有 x 成立，则 F'(ξ) > k，进而 F(b) - F(a) > k(b-a)。F'(x) 单调，则利用极值进行放缩。b-a 或 x 的正负号，以免不等号方向改变。理论必须结合实践。以下精选三个典型例题，涵盖不同难度和类型。
题目： 证明当 x > 0 时，e^x > 1 + x。
解析：
1. 构造函数： 设 F(x) = e^x - x - 1。
2. 求导： F'(x) = e^x - 1。
3. 分析： 当 x > 0 时，e^x > 1，故 F'(x) > 0。
4. 结论： F(x) 在 [0, x] 上单调递增，故 F(x) > F(0) = 0，即 e^x > 1 + x。
注：此题也可用中值定理直接写：e^x - e^0 = e^ξ(x-0)，因 ξ>0，e^ξ>1，故 e^x - 1 > x。
题目： 证明当 a > b > 0 时，ln a - ln b > (a-b)/a。
解析：
1. 构造函数： 设 F(x) = ln x，区间 [b, a]。
2. 应用定理： 存在 ξ ∈ (b, a)，使得 ln a - ln b = (1/ξ)(a - b)。
3. 放缩： 因为 b < ξ < a，所以 1/a < 1/ξ < 1/b。
4. 结论： ln a - ln b = (a-b)/ξ > (a-b)/a。证毕。
题目： 证明 |sin a - sin b| ≤ |a - b|。
解析：
1. 构造函数： 设 F(x) = sin x，区间 [a, b]（不妨设 a < b）。
2. 应用定理： 存在 ξ ∈ (a, b)，使得 sin a - sin b = cos ξ (a - b)。
3. 放缩： 因为 |cos ξ| ≤ 1，所以 |sin a - sin b| = |cos ξ| |a - b| ≤ |a - b|。
在解决不等式证明问题时，选择合适的工具至关重要。以下是三个中值定理的横向对比：
| 定理名称 | 公式形式 | 适用场景 | 优点 |
|---|---|---|---|
| 罗尔定理 | f'(ξ) = 0 |
证明方程根的存在性，或作为其他定理的基础 | 条件最严格（端点值相等），结论最简洁 |
| 拉格朗日中值定理 | f(b)-f(a) = f'(ξ)(b-a) |
证明不等式、估计函数值、研究函数增量 | 无需端点值相等，应用范围最广，几何意义直观 |
| 柯西中值定理 | (f(b)-f(a))/(g(b)-g(a)) = f'(ξ)/g'(ξ) |
涉及两个函数比值的不等式，或参数方程 | 处理复杂比值问题，是拉格朗日的推广 |
虽然拉格朗日中值定理非常强大，但在某些高阶不等式证明中（如涉及 x^3 或更高阶项），泰勒公式 往往更有效。
在构造辅助函数后，未检查函数在指定区间内是否可导。例如，ln x 在 x=0 处无定义，若区间包含 0，则不能直接使用。
在分析 F'(ξ) 范围时，混淆了“最大值”和“最小值”的放缩方向。若需证 F(b)-F(a) > 0，且 b-a > 0，则需 F'(ξ) > 0，即找 F'(x) 的下界。
拉格朗日定理中的 ξ 是介于 a 和 b 之间的某个值，并非任意值。因此，放缩时必须确保对 (a,b) 内的所有 ξ 都成立，通常取极值。
以下是互联网上关于“用拉格朗日中值定理证明不等式”最常被搜索到的问题及深度解答。
因为我们要证明 f(x) > g(x)，等价于证明 f(x) - g(x) > 0。通过构造差函数 F(x)，可以将不等式证明转化为求函数最小值或判断函数单调性的问题，从而更容易应用中值定理。如果直接对 f(x) 和 g(x) 分别使用中值定理，很难建立两者之间的联系。
拉格朗日中值定理是泰勒公式的一阶特殊情况。当只需要一阶近似或区间端点值的关系时，使用中值定理更简洁；当需要更高精度的近似或多项式展开时，泰勒公式更强大。但在某些基础不等式证明中，中值定理往往能给出更直观的几何解释，且计算量较小。
不能直接使用。罗尔定理要求 f(a) = f(b)。如果端点值不相等，通常需要通过构造辅助函数，使其在端点处值相等，从而转化为罗尔定理的情形。这其实也是拉格朗日中值定理证明思路的一部分（即构造 F(x) = f(x) - kx 使得 F(a)=F(b)）。
非常高频。无论是数学数学二还是数学三，中值定理的应用都是必考内容，尤其是证明题部分。考生需要熟练掌握拉格朗日、柯西以及泰勒公式在不等式证明中的灵活切换。
掌握用拉格朗日中值定理证明不等式的关键在于“熟练”与“直觉”。
希望本文能为您提供清晰的思路。如有更多疑问，欢迎在评论区交流讨论。