中值定理：
从"一个点"通向"一整段"的桥

导数只管一个点，可你想知道的是一整段

f′(x₀) 告诉你的，只是 x₀ 这一个点上的变化率。

可你真正想问的从来不是一个点，而是：这一整段上，函数是涨还是跌？这一整段上，它最多能变多少？

这中间有一道真实的鸿沟。一个点的信息，凭什么能推出一整段的结论？

先看最省事的情形：罗尔

如果一条曲线两端一样高，中间又连着、又光滑——那么中间一定有个地方是平的。

把条件老老实实写清楚，一共三条：

• 1在闭区间 [a, b] 上连续
• 2在开区间 (a, b) 内可导
• 3两端等高：f(a) = f(b)

⚠️ 支点：三个条件，删哪个都塌

别信"看起来很显然"。下面四个开关，把三条件逐个拆掉，看看结论还在不在。

三个反例，一个比一个朴素，可它们各自堵死一条后路：

两端不等高怎么办：把整张图斜过来

罗尔要求两端一样高，太挑食了。可如果只是把那张图整个倾斜一下呢？

"水平切线"就变成了——平行于两端连线的切线：

f′(ξ) = [ f(b) − f(a) ] / ( b − a )

拖动右端点，割线怎么斜，那条平行切线就跟着跑——但它从来没有消失过。这就是拉格朗日中值定理。

它真正值钱的地方：三张你一直在用的许可证

中值定理的用处不是做证明题。它的真正身份是——给下面这些"显然"发许可证。

关键那一步永远是同一个变形：

f(x₂) − f(x₁) = f′(ξ) · (x₂ − x₁)

左边是整段的变化，右边是某一点的导数。桥就架在这个等号上。

• f′ > 0　⇒　f 单调增 右边两个因子都是正的，所以 f(x₂) > f(x₁)。
  你从中学用到现在，凭的就是这一行。
• f′ ≡ 0　⇒　f 是常数 右边整个是 0，所以任意两点函数值相等。
  不定积分"相差一个常数 C"，全部合法性在这儿。
• |f′| ≤ M　⇒　|f(x₂) − f(x₁)| ≤ M|x₂ − x₁| 导数有界，函数就跑不快。
  数值分析里到处是它（利普希茨条件），迭代法收不收敛就看它。

一个必须说死的坑：ξ 只是"存在"

定理说的是"存在一点 ξ"。它不告诉你 ξ 在哪，也不保证只有一个。

罗尔和拉格朗日，其实是一张图

拉格朗日的证明，一句话就说完：把割线减掉，就把斜的扶正了。

F(x) = f(x) − 割线(x)

减完之后，F(a) = F(b) = 0——两端等高，罗尔的条件齐了。
罗尔给出的那个水平点，换算回去正好就是拉格朗日要的 ξ。

整节话，就这三行

八道，第 4、7 题是分水岭

凡是用定理的题，一律先逐条核对条件：闭区间上连不连续、开区间内可不可导、两端等不等高。不写这三步的答案不算数。

1. 验证罗尔定理对 f(x) = x² − 4x + 3 在 [1, 3] 上成立，并求出 ξ先算 f(1) 和 f(3)，看两端等不等高
2. 验证拉格朗日对 f(x) = x³ 在 [0, 1] 上成立，求出 ξ答案是个无理数
3. ⚠️ f(x) = |x| 在 [−1, 1]：罗尔的三条件里哪一条不满足？结论还成立吗就是第 3 幕那个开关。这次自己写清楚
4. ⚠️ f(x) = 1/x 在 [−1, 1]：能用拉格朗日吗？先硬套一次，看会得到什么硬套会得到 f′(ξ) = 1，可 f′(x) = −1/x² 恒为负。矛盾从哪来的？这题不动手算体会不到
5. 用拉格朗日证明：若 f′(x) ≡ 0，则 f 是常数三行就够。用第 5 幕那个等式
6. 用拉格朗日证明 |sin a − sin b| ≤ |a − b|提示：|cos ξ| ≤ 1
7. ⚠️ 两个门架相距 20 公里，限速 100 km/h，某车 10 分钟通过。能否断定它超速？写明用了哪条定理、哪一条件这题是这一页的现实出口。答"能"很容易，说清楚"凭哪一条"才算过
8. 中值定理告诉你 ξ 的位置吗？它和第五页的单调有界、第六页的零点定理是不是同一类？一句话回答，但要说出这一类的名字