柯西中值定理例题高考·深度解析

例题二：复杂对数不等式的证明

题目：设 x > 0，证明：ln(x+1) < x。

解析：虽然此题用拉格朗日中值定理即可轻松解决，但我们尝试用柯西中值定理的思路来拓展视野。

1. 变形：将不等式变形为 ln(x+1) / x < 1 （当 x>0 时）。

2. 构造：设 f(t) = ln(t+1), g(t) = t，在区间 [0, x] 上。

3. 应用：存在 ξ ∈ (0, x)，使得：

[ln(x+1) - ln(1)] / [x - 0] = [1/(ξ+1)] / 1

即：ln(x+1) / x = 1 / (ξ + 1)。

4. 放缩：因为 ξ > 0，所以 ξ + 1 > 1，从而 1 / (ξ + 1) < 1。

5. 结论：故 ln(x+1) / x < 1，即 ln(x+1) < x。

点评：此例展示了如何将不等式证明转化为寻找中间变量 ξ 的范围问题。在高考压轴题中，这种“比值转化”思想常出现在处理 e^x / x 或 ln x / x 类结构中。

例题三：含参零点存在性与唯一性

题目：已知函数 f(x) = e^x - ax 有两个零点 x1, x2，且 x1 < x2。证明：x1 + x2 > 2。

解析：这是一道典型的双变量不等式证明题，常出现在导数压轴题的第二问。

1. 分析结构：要证 x1 + x2 > 2，通常需构造函数 F(x) = f(2-x) - f(x) 或利用对称性。但在某些复杂结构下，柯西中值定理可提供新视角。

2. 利用中值定理：由 f(x1) = f(x2) = 0，根据罗尔定理（柯西的特例），存在 c ∈ (x1, x2) 使得 f'(c) = 0，即 e^c - a = 0，故 a = e^c。

3. 代换：将 a = e^c 代入 f(x1)=0 和 f(x2)=0，得 e^x1 = e^c x1 和 e^x2 = e^c x2。

4. 比值处理：两式相除得 e^(x1-x2) = x1/x2。令 t = x1/x2 (0 < t < 1)，则 x1 - x2 = ln t。结合 x1 = t x2，可解出 x1, x2 关于 t 的表达式。

5. 函数单调性：构造关于 t 的函数，证明其大于 2。在此过程中，若涉及 (x2 - x1) / (ln x2 - ln x1) 的结构，再次调用柯西中值定理思想，可简化放缩过程。

结论：虽然此题主要依赖罗尔定理，但柯西中值定理的思想贯穿于处理函数比值和导数关系的始终。