物理

[微积分的那些事]-第二回目：微分学-第六章：微分中值定理

如果说导数是研究函数在某一点的瞬时变化率，那么微分中值定理就是搭建“局部”与“整体”之间桥梁的工具。它揭示了函数在一个区间上的平均变化率与区间内某一点的瞬时变化率之间的深刻关系。这一章不仅是理论的重点，更是后续研究函数性态、证明不等式、求极限等问题的基础。

6.1 罗尔定理

6.1.1 定理内容

定理（罗尔中值定理）：如果函数f(x)满足以下三个条件：

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

那么，在开区间(a, b)内至少存在一点ξ，使得：[ f'(\xi) = 0 ]

6.1.2 几何解释

罗尔定理的几何意义非常直观：如果一条连续且光滑的曲线（可导）在两个端点的高度相同，那么在这两点之间，至少有一点的切线是水平的（斜率为0）。

想象一下你从山脚出发，爬到山顶，又回到山脚——在这个过程中，你一定经过了某个地方，那里的坡度是0（可能是山顶，也可能是某个谷底）。

6.1.3 证明思路

证明基于闭区间上连续函数的最值定理：

• 因为f(x)在[a, b]上连续，所以存在最大值M和最小值m。
• 如果M = m，则f(x)是常数函数，导数处处为0，定理成立。
• 如果M > m，由于f(a) = f(b)，最大值或最小值至少有一个在区间内部取得。由费马引理（可导函数在极值点处的导数为0），该点处的导数即为0。

6.1.4 典型例题

例1：验证函数f(x) = x² - 4x + 3在区间[1, 3]上满足罗尔定理，并求出ξ。

解：

• f(x)是多项式函数，在[1, 3]上连续，在(1, 3)内可导。
• f(1) = 1 - 4 + 3 = 0，f(3) = 9 - 12 + 3 = 0，满足f(1) = f(3)。
• 由罗尔定理，存在ξ ∈ (1, 3)，使得f'(ξ) = 0。
• f'(x) = 2x - 4，令2ξ - 4 = 0，解得ξ = 2 ∈ (1, 3)。

例2：证明方程x³ - 3x + 1 = 0在(0, 1)内至少有一个实根。

分析：这是利用罗尔定理证明方程根的存在性问题。注意，罗尔定理给出的是导数为0的点，我们需要构造原函数。

解：

• 令f(x) = x³ - 3x + 1，则f(0) = 1，f(1) = -1，f(0)与f(1)异号。
• 由零点定理，存在c ∈ (0, 1)，使得f(c) = 0，即c是方程的根。
• 等一下——这用的是零点定理，不是罗尔定理。我们来看一个真正用罗尔定理的例子：

例3（罗尔定理的应用）：证明方程4ax³ + 3bx² + 2cx = a + b + c在(0, 1)内至少有一个实根。

分析：这个方程看起来复杂。注意到左边很像某个函数的导数。设F(x) = ax⁴ + bx³ + cx² - (a + b + c)x，则F'(x) = 4ax³ + 3bx² + 2cx - (a + b + c)。令F'(x) = 0，就是我们要求的方程。

证明：

• 构造辅助函数F(x) = ax⁴ + bx³ + cx² - (a + b + c)x。
• F(0) = 0，F(1) = a + b + c - (a + b + c) = 0，所以F(0) = F(1)。
• F(x)在[0, 1]上连续，在(0, 1)内可导。
• 由罗尔定理，存在ξ ∈ (0, 1)，使得F'(ξ) = 0，即4aξ³ + 3bξ² + 2cξ = a + b + c。
• 所以原方程在(0, 1)内至少有一个实根ξ。

6.2 拉格朗日中值定理

6.2.1 定理内容

罗尔定理要求端点函数值相等，这个条件比较苛刻。拉格朗日将其推广到了一般情形。

定理（拉格朗日中值定理）：如果函数f(x)满足：

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

那么，在(a, b)内至少存在一点ξ，使得：[ f'(\xi) = \frac{f(b) - f(a)}{b - a} ]

6.2.2 几何解释

拉格朗日中值定理的几何意义：在连续且光滑的曲线弧上，至少存在一点，该点处的切线平行于连接两个端点的弦（割线）。

公式右边是弦AB的斜率，左边是切线的斜率。定理说：这两条线至少在一点是平行的。

6.2.3 与罗尔定理的关系

拉格朗日中值定理是罗尔定理的推广。当f(a) = f(b)时，右边为0，就退化成了罗尔定理。

证明拉格朗日中值定理的关键是构造一个辅助函数，使其满足罗尔定理的条件：[ F(x) = f(x) - f(a) - \frac{f(b) - f(a)}{b - a}(x - a) ]可以验证F(a) = F(b) = 0，然后应用罗尔定理即可。

6.2.4 重要推论

推论1：如果在区间I上f'(x) ≡ 0，则f(x)在I上为常数。

推论2：如果在区间I上f'(x) = g'(x)，则f(x)与g(x)相差一个常数，即f(x) = g(x) + C。

这两个推论是后面学习不定积分的重要理论基础。

6.2.5 典型例题

例4：验证函数f(x) = ln x在[1, e]上满足拉格朗日中值定理，并求ξ。

解：

• f(x) = ln x在[1, e]上连续，在(1, e)内可导。
• f(1) = 0，f(e) = 1，所以[ \frac{f(e) - f(1)}{e - 1} = \frac{1}{e - 1} ]
• f'(x) = 1/x，令f'(ξ) = 1/ξ = 1/(e - 1)，解得ξ = e - 1。
• 验证：e - 1 ≈ 1.718 ∈ (1, e)，符合。

例5：证明不等式：|arctan a - arctan b| ≤ |a - b|。

证明：

• 不妨设a < b，令f(x) = arctan x，在[a, b]上应用拉格朗日中值定理。
• 存在ξ ∈ (a, b)，使得f(b) - f(a) = f'(ξ)(b - a) = \frac{1}{1 + ξ²}(b - a)。
• 取绝对值：|arctan b - arctan a| = \frac{1}{1 + ξ²} |b - a| ≤ |b - a|，因为1/(1+ξ²) ≤ 1。
• 证毕。

例6：证明当x > 0时，\frac{x}{1+x} < \ln(1+x) < x。

证明：

• 令f(t) = ln(1+t)，在[0, x]上应用拉格朗日中值定理。
• 存在ξ ∈ (0, x)，使得f(x) - f(0) = f'(ξ)(x - 0)，即ln(1+x) - 0 = \frac{1}{1+ξ} · x。
• 所以ln(1+x) = \frac{x}{1+ξ}。
• 由于0 < ξ < x，有\frac{x}{1+x} < \frac{x}{1+ξ} < x，即\frac{x}{1+x} < \ln(1+x) < x。

6.3 柯西中值定理

6.3.1 定理内容

柯西中值定理是拉格朗日中值定理的进一步推广，它将单个函数推广到了两个函数的情形。

定理（柯西中值定理）：如果函数f(x)和g(x)满足：

1. 在闭区间[a, b]上连续；
2. 在开区间(a, b)内可导；
3. 对任意x ∈ (a, b)，g'(x) ≠ 0；

那么，在(a, b)内至少存在一点ξ，使得：[ \frac{f(b) - f(a)}{g(b) - g(a)} = \frac{f'(\xi)}{g'(\xi)} ]

6.3.2 几何解释

如果我们把函数用参数方程表示：x = g(t)，y = f(t)，t ∈ [a, b]，那么曲线的两个端点分别为(g(a), f(a))和(g(b), f(b))。左边是连接两端点弦的斜率，右边是曲线上某点处的切线斜率（由参数方程求导可得dy/dx = f'(t)/g'(t)）。柯西中值定理说：在参数曲线上，至少存在一点，该点处的切线与连接两端点的弦平行。

6.3.3 与拉格朗日中值定理的关系

当g(x) = x时，g(b) - g(a) = b - a，g'(ξ) = 1，柯西中值定理就变成了拉格朗日中值定理。所以拉格朗日中值定理是柯西中值定理的特例。

6.3.4 典型例题

例7：设f(x)在[0, 1]上连续，在(0, 1)内可导，且f(0) = 0，f(1) = 1。证明：存在ξ ∈ (0, 1)，使得f'(ξ) = 2ξ。

分析：这个题直接应用拉格朗日定理得不到这个结论。我们需要构造两个函数，应用柯西中值定理。

证明：

• 令F(x) = f(x)，G(x) = x²。
• F(x)和G(x)在[0, 1]上连续，在(0, 1)内可导，且G'(x) = 2x，在(0, 1)内不为0。
• 由柯西中值定理，存在ξ ∈ (0, 1)，使得：[ \frac{F(1) - F(0)}{G(1) - G(0)} = \frac{F'(\xi)}{G'(\xi)} ]
• 代入F(1)=1，F(0)=0，G(1)=1，G(0)=0，得：[ \frac{1 - 0}{1 - 0} = \frac{f'(\xi)}{2\xi} ]
• 所以1 = f'(ξ)/(2ξ)，即f'(ξ) = 2ξ。

6.4 三个定理的关系与总结

6.4.1 关系图

罗尔定理f(a)=f(b)↓拉格朗日中值定理(特例g(x)=x)↓柯西中值定理

• 罗尔定理是基础
• 拉格朗日中值定理是罗尔定理的推广
• 柯西中值定理是拉格朗日中值定理的进一步推广

6.4.2 应用场景

6.4.3 解题技巧——构造辅助函数

在应用中值定理时，最关键的技巧是构造辅助函数。常见方法：

1. 移项，将待证等式转化为F(b) - F(a) = 0的形式
2. 观察导数形式，逆向还原原函数
3. 对于两个函数的问题，考虑柯西中值定理

例如，要证存在ξ使f'(ξ) = k，可以设F(x) = f(x) - kx，然后应用罗尔定理。

6.5 综合例题

例8：设f(x)在[0, 1]上二阶可导，且f(0) = f(1) = 0，证明：存在ξ ∈ (0, 1)，使得f''(ξ) = 2f'(ξ)/(1-2ξ)。

分析：这个题目比较复杂，涉及二阶导，需要构造合适的辅助函数。

证明思路：

• 构造F(x) = e^{g(x)}f'(x)之类的形式？或者考虑用两次中值定理。
• 这里提供一种解法：令φ(x) = f(x)e^{h(x)}，选择合适的h(x)使得φ(0)=φ(1)=0，然后应用罗尔定理得到φ'(ξ1)=0，再结合条件推导。

（由于篇幅，详细证明过程留给读者思考）

例9：设f(x)在[a, b]上连续，在(a, b)内可导，且f'(x) ≠ 0，证明：f(x)在(a, b)内至多有一个零点。

证明：

• 反证法。假设f(x)在(a, b)内有两个不同的零点x₁ < x₂。
• 在[x₁, x₂]上应用罗尔定理，存在ξ ∈ (x₁, x₂) ⊆ (a, b)，使得f'(ξ) = 0。
• 这与已知条件f'(x) ≠ 0矛盾。
• 所以假设不成立，f(x)至多有一个零点。