罗尔中值定理与拉格朗日中值定理

微分中值定理

小象实战讲义 · 人工智能数学基础

在人工智能的模型构建与优化中，深刻理解函数的变化规律至关重要。本节将学习微分学的两大基石——罗尔中值定理与拉格朗日中值定理。它们不仅为函数在区间上的整体行为与局部导数之间建立了桥梁，也是后续泰勒公式等核心理论的基础。掌握它们，你将能更严谨地分析函数的性质，并为理解梯度下降等优化算法背后的数学原理铺平道路。

💡 核心导读

本节你将掌握：

• 罗尔中值定理：理解函数在区间端点值相等时，其内部必存在导数为零的点（水平切线）。
• 拉格朗日中值定理：理解函数在区间内某点的切线斜率，等于区间两端点连线的割线斜率。
• 定理的证明思路：学习如何利用闭区间上连续函数的性质（最值定理）和导数定义进行严谨证明，特别是拉格朗日中值定理中巧妙的辅助函数构造法。
• 重要推论：掌握“导函数恒为零”与“函数为常数”的等价关系，以及两函数导数相等则相差一个常数的结论。

罗尔中值定理

定理 1 (罗尔中值定理) 设函数 $f(x)$ 满足：

1. 在闭区间 $[a, b]$ 上连续；
2. 在开区间 $(a, b)$ 内可导；
3. 区间端点函数值相等，即 $f(a) = f(b)$。

则在开区间 $(a, b)$ 内至少存在一点 $\xi$，使得 $$f’(\xi) = 0.$$

几何直观与证明思路

罗尔定理的几何意义非常直观：如果一条连续光滑的曲线（可导意味着没有尖角）的两个端点 $(a, f(a))$ 和 $(b, f(b))$ 高度相同，那么在曲线内部至少有一点，该点处的切线是水平的（斜率为 0）。

证明： 我们分两种情况讨论，核心是利用闭区间上连续函数的最值定理。

1. 若最大值 $M$ 等于最小值 $m$： 这意味着函数 $f(x)$ 在 $[a, b]$ 上恒为常数，即 $f(x) \equiv C$。此时，区间 $(a, b)$ 内任意一点 $\xi$ 的导数 $f’(\xi) = 0$。定理成立。

2. 若最大值 $M$ 大于最小值 $m$： 由条件 $f(a) = f(b)$ 可知，最大值 $M$ 和最小值 $m$ 中至少有一个不等于端点值 $f(a)$。不妨设 $M \neq f(a)$（对 $m \neq f(a)$ 的情形证明完全类似）。 根据最值定理，存在 $\xi \in (a, b)$，使得 $f(\xi) = M$。我们证明 $f’(\xi) = 0$。 由于 $f(\xi)$ 是最大值，对于任意足够小的 $\Delta x$，有 $f(\xi + \Delta x) \leq f(\xi)$。

   • 当 $\Delta x > 0$ 时，考虑右导数： $$\frac{f(\xi + \Delta x) - f(\xi)}{\Delta x} \leq 0.$$ 令 $\Delta x \to 0^+$，由极限的保号性，得到 $f’(\xi) \leq 0$。
   • 当 $\Delta x < 0$ 时，考虑左导数： $$\frac{f(\xi + \Delta x) - f(\xi)}{\Delta x} \geq 0 \quad (\text{因为分母} \Delta x < 0)。$$ 令 $\Delta x \to 0^-$，得到 $f’(\xi) \geq 0$。 综合 $f’(\xi) \leq 0$ 和 $f’(\xi) \geq 0$，必有 $f’(\xi) = 0$。证毕。

拉格朗日中值定理

罗尔定理要求端点函数值相等，这个条件比较特殊。拉格朗日中值定理去掉了这个限制，是更一般的形式。

定理 2 (拉格朗日中值定理) 设函数 $f(x)$ 满足：

1. 在闭区间 $[a, b]$ 上连续；
2. 在开区间 $(a, b)$ 内可导。

则在开区间 $(a, b)$ 内至少存在一点 $\xi$，使得 $$f’(\xi) = \frac{f(b) - f(a)}{b - a}.$$

几何意义与证明

公式右边 $\frac{f(b) - f(a)}{b - a}$ 是连接曲线两端点 $(a, f(a))$ 和 $(b, f(b))$ 的割线 $L$ 的斜率。 定理的几何意义是：在连续光滑的曲线上，至少存在一点，该点的切线平行于连接端点的割线。

证明的关键是构造一个辅助函数，将问题转化为罗尔定理的情形。 观察结论 $f’(\xi) = \frac{f(b) - f(a)}{b - a}$，等价于 $f’(\xi) - \frac{f(b) - f(a)}{b - a} = 0$。 这提示我们构造一个函数 $F(x)$，使其导数正好是 $f’(x) - \frac{f(b) - f(a)}{b - a}$，并且满足 $F(a) = F(b)$，从而对 $F(x)$ 应用罗尔定理。

令辅助函数为： $$F(x) = f(x) - f(a) - \frac{f(b) - f(a)}{b - a}(x - a).$$ 验证 $F(x)$ 满足罗尔定理的条件：

1. 由于 $f(x)$ 在 $[a, b]$ 上连续，$F(x)$ 也在 $[a, b]$ 上连续。
2. 由于 $f(x)$ 在 $(a, b)$ 内可导，$F(x)$ 也在 $(a, b)$ 内可导。
3. 计算端点值： $$F(a) = f(a) - f(a) - \frac{f(b) - f(a)}{b - a}(a - a) = 0,$$ $$F(b) = f(b) - f(a) - \frac{f(b) - f(a)}{b - a}(b - a) = f(b) - f(a) - [f(b) - f(a)] = 0.$$ 故 $F(a) = F(b) = 0$。

因此，对 $F(x)$ 在 $[a, b]$ 上应用罗尔定理，存在 $\xi \in (a, b)$，使得 $F’(\xi) = 0$。 计算 $F(x)$ 的导数： $$F’(x) = f’(x) - \frac{f(b) - f(a)}{b - a}.$$ 代入 $\xi$，得： $$F’(\xi) = f’(\xi) - \frac{f(b) - f(a)}{b - a} = 0.$$ 即 $$f’(\xi) = \frac{f(b) - f(a)}{b - a}.$$ 证毕。

重要推论

由拉格朗日中值定理可以直接导出两个非常重要的结论。

推论 1 如果函数 $f(x)$ 在区间 $I$ 上的导数恒为零，即 $f’(x) \equiv 0, \forall x \in I$，则 $f(x)$ 在 $I$ 上是一个常数函数。

证明：在区间 $I$ 内任取两点 $x_1, x_2$（设 $x_1 < x_2$）。在子区间 $[x_1, x_2]$ 上应用拉格朗日中值定理，存在 $\xi \in (x_1, x_2)$，使得 $$f(x_2) - f(x_1) = f’(\xi)(x_2 - x_1).$$ 由于 $f’(\xi) = 0$，所以 $f(x_2) - f(x_1) = 0$，即 $f(x_2) = f(x_1)$。由 $x_1, x_2$ 的任意性可知，$f(x)$ 在 $I$ 上为常数。

推论 2 如果两个函数 $f(x)$ 和 $g(x)$ 在区间 $I$ 上的导数处处相等，即 $f’(x) = g’(x), \forall x \in I$，则这两个函数在 $I$ 上仅相差一个常数，即存在常数 $C$，使得 $f(x) = g(x) + C, \forall x \in I$。

证明：令 $h(x) = f(x) - g(x)$。则 $h’(x) = f’(x) - g’(x) = 0, \forall x \in I$。由推论1可知，$h(x)$ 为常数，记为 $C$。因此 $f(x) = g(x) + C$。

这两个推论在积分学中至关重要，它们说明了“求导”运算的“原函数”在相差一个常数的意义下是唯一的。

📝 动手练一练

1. 验证罗尔定理：考虑函数 $f(x) = x^3 - x$ 在区间 $[-1, 1]$ 上。验证其是否满足罗尔定理的条件？如果满足，请找出所有满足 $f’(\xi)=0$ 的点 $\xi$。 参考答案： 首先，$f(x)$ 是多项式，在 $[-1, 1]$ 上连续，在 $(-1, 1)$ 内可导。计算端点值：$f(-1)=(-1)^3-(-1)=0$, $f(1)=1^3-1=0$，满足 $f(-1)=f(1)$。故罗尔定理条件全部满足。 求导：$f’(x)=3x^2-1$。令 $f’(\xi)=0$，即 $3\xi^2-1=0$，解得 $\xi = \pm \frac{\sqrt{3}}{3}$。这两个点都在开区间 $(-1, 1)$ 内。

2. 应用拉格朗日定理：对于函数 $f(x) = \ln x$，在区间 $[1, e]$ 上应用拉格朗日中值定理，求出相应的中间值 $\xi$。 参考答案： $f(x)=\ln x$ 在 $[1, e]$ 上连续，在 $(1, e)$ 内可导。根据定理，存在 $\xi \in (1, e)$，使得 $$f’(\xi) = \frac{f(e)-f(1)}{e-1} = \frac{\ln e - \ln 1}{e-1} = \frac{1-0}{e-1} = \frac{1}{e-1}.$$ 又因为 $f’(x) = \frac{1}{x}$，所以 $f’(\xi) = \frac{1}{\xi} = \frac{1}{e-1}$。解得 $\xi = e-1$。由于 $1 < e-1 < e$，故 $\xi = e-1$ 即为所求。

import numpy as np
import sympy as sp

# 练习1的数值验证
print("=== 练习1验证：罗尔定理 ===")
x = sp.symbols('x')
f_expr = x**3 - x
f_prime = sp.diff(f_expr, x)
print(f"函数 f(x) = {f_expr}")
print(f"导数 f'(x) = {f_prime}")

# 解方程 f'(x) = 0
critical_points = sp.solve(f_prime, x)
print(f"令导数为零的解为: {critical_points}")

# 验证解是否在区间 (-1, 1) 内
for pt in critical_points:
    val = float(pt.evalf())
    if -1 < val < 1:
        print(f"点 ξ = {pt:.4f} 在 (-1, 1) 内，且 f'({pt:.4f}) = 0")
    else:
        print(f"点 ξ = {pt:.4f} 不在区间 (-1, 1) 内")

# 计算端点值
f = sp.lambdify(x, f_expr, 'numpy')
print(f"\n端点值: f(-1) = {f(-1)}, f(1) = {f(1)}")
print(f"满足 f(-1) = f(1): {np.isclose(f(-1), f(1))}")

print("\n" + "="*40 + "\n")

# 练习2的数值验证
print("=== 练习2验证：拉格朗日中值定理 ===")
f_expr2 = sp.ln(x)
a, b = 1, sp.E # sympy中的自然常数E
f_a = f_expr2.subs(x, a)
f_b = f_expr2.subs(x, b)
secant_slope = (f_b - f_a) / (b - a)
print(f"函数 f(x) = ln(x) 在 [{a}, {b:.4f}] 上")
print(f"割线斜率 = [f({b:.4f}) - f({a})] / ({b:.4f} - {a}) = {secant_slope.evalf():.4f}")

# 根据定理，存在 ξ 使得 f'(ξ) = 割线斜率
f_prime2 = sp.diff(f_expr2, x)
# f'(x) = 1/x，令其等于割线斜率
xi_solution = sp.solve(sp.Eq(f_prime2, secant_slope), x)
print(f"解方程 f'(ξ) = 1/ξ = {secant_slope.evalf():.4f}")
print(f"解得 ξ = {xi_solution[0]:.4f}")
print(f"验证 ξ 是否在 (1, e) 内: {1 < float(xi_solution[0].evalf()) < np.e}")

本章小结

本节我们深入探讨了微分学中两个核心的中值定理：

• 罗尔中值定理 是基础，它描述了在端点值相等的特殊条件下，函数内部必存在水平切线（导数为零的点）。
• 拉格朗日中值定理 是更一般的形式，它揭示了函数在区间上的平均变化率（割线斜率）与区间内某点的瞬时变化率（切线斜率）必然相等。其证明中构造辅助函数 $F(x)$ 的方法，是处理中值定理问题的经典技巧。
• 由拉格朗日定理导出的两个推论，建立了“导数为零”与“函数为常数”之间的等价关系，这是连接微分与积分运算的关键思想。

行动清单 学完本节，你可以立即：

1. 几何验证：任选一个熟悉的函数（如二次函数、正弦函数），画出其在某个区间上的图像，并标出满足罗尔或拉格朗日定理的点，直观理解定理的几何意义。
2. 代码演练：运行并理解本节提供的 Python 代码，尝试修改函数或区间，观察定理结论的数值验证过程，加深对定理内容的理解。
3. 推论应用：思考并举例说明，推论1（导数为零推出是常函数）在机器学习中可能的应用场景，例如在损失函数优化中，如果梯度处处为零，意味着什么？

— 小象教研组