拉格朗日中值定理：弦的斜率必在某点被切线追上

破除误解：这不是平均速度的定义，也不是介值的加强版#

第一个误解，是把定理当成平均速度的定义。平均速度本来就是 $\frac{f(b)-f(a)}{b-a}$。定理说的是：这个已经算出来的差商，必等于某点导数。定义不需要存在性。存在性需要可导。汽车仪表在某一瞬间读到的时速，不必事先等于全程平均；定理保证，只要速度函数可导，必有那么一瞬间相等。

第二个误解，是把它写成介值定理的加强版。介值要连续，结论是函数值取到中间高度。中值要可导，结论是导数取到弦的斜率。两个“中间”不是同一个量。达布定理还给出第三种：导数即使不连续，也具有介值性质。三种不要叠成一句“凡变化必取中间”。

第三个误解，是以为定理给出了 $c$ 的公式。证明通常先做罗尔，再构造一个减去直线的辅助函数。辅助函数在端点相等，于是内部有水平切线。水平切线的位置，一般写不成根式。数值上可以搜索，停机条件仍是残差，不是“已经等于平均斜率”。

定理到底断言什么#

设 $f$ 在 $[a,b]$ 上连续，在 $(a,b)$ 上可导。则存在 $c\in(a,b)$ 使得

$$f'(c)=\frac{f(b)-f(a)}{b-a}.$$

罗尔定理是特例：若再有 $f(a)=f(b)$，则存在 $c$ 使 $f'(c)=0$。罗尔 1691 年的代数表述更早；今天课堂里的分析形式，通常作为中值的引理来教。计划里不单开罗尔，正因为它是同一对象的端点为零情形。

标准证明先处理罗尔。连续函数在闭区间上取到最大最小值。若最值都在端点且端点值相等，函数为常值，任意内点导数为零。若某个最值在内部，费马引理给出该点导数为零。然后对一般的 $f$，令

$$g(x)=f(x)-\frac{f(b)-f(a)}{b-a}(x-a).$$

则 $g(a)=g(b)$，对 $g$ 用罗尔，$g'(c)=0$ 即得中值。辅助函数的几何意思，就是把弦“扳平”。扳平之后找水平切线，再扳回去。

假设缺一条都会死。连续保证最值被取到。可导保证费马引理能用。只连续不可导的尖点，例如 $|x|$ 在 $[-1,1]$，弦的斜率为 0，但 $x=0$ 处没有导数。只可导不在端点连续的例子更造作，教材较少需要，但提醒：定义域必须把端点收进来。

柯西中值定理用两个函数：$f'(c)/g'(c)=(f(b)-f(a))/(g(b)-g(a))$，在 $g'$ 不为零时。洛必达法则的若干形式从这里出发，但仍要额外控制。把洛必达写成中值的自动推论，会在条件不够时误用。

它在微积分里干什么#

若导数处处为零，中值迫使函数为常值：任意两点的差商等于某点导数，因而为 0。这是“导数为零则不变”的全局版。只看一点导数为零，函数仍可动。全局结论来自任意两点都能找到中间的 $c$。

若 $|f'|\le M$，则 $|f(b)-f(a)|\le M|b-a|$。利普希茨条件从中值读出来。误差估计、数值积分的粗糙界，常走这一步。更细的泰勒余项，用的是反复应用中值或柯西中值，把差商换成高阶导数。微积分基本定理 需要原函数；中值把导数与差商焊在同一条等式上，使“变化率的积分还原位移”在直观上闭合。焊点是存在性，不是算法。

单调性判别也靠它。若 $f'>0$，差商为正，函数严格增。反过来，严格增不必导数处处为正，平坦点可以出现。中值管的是充分条件这一侧。把充分当成必要，会在 $f(x)=x^3$ 的原点处卡死：导数为零，函数仍严格增。

物理里的瞬时速度与平均速度，是最常被讲滥的例子。讲滥的代价是：学生以为定理只对时间函数有效。任何把“总量变化”和“局部变化率”连在一起的量都可以用：浓度、温度、电荷。有效的前提仍是可导。相变、冲击波、开关电路，局部可以不可导。不可导时，平均变化仍有定义，中值沉默。

深一层：存在性、构造与不该用中值的地方#

中值与介值一样，是存在性训练。课堂若只画一条平行切线，学生会以为永远找得到、而且找得到的是“最像平均的那一点”。函数可以在区间里多次达到该斜率。定理只保证至少一次。唯一性要另买单调性或凸性。

构造性同样受限。经典证明用最值，最值用完备性。直觉主义或构造分析里，中值需要额外条件。数值课从不声称已经拿到那个 $c$，只声称把导数与差商的差关进残差。残差是工艺。对象是：在假设成立时括号非空。

不该用中值的地方也很具体。向量值函数没有直接的中值：从平面上 $(0,0)$ 走到 $(1,1)$ 的光滑路径，速度向量可以永远不平行于弦，只要路径绕弯。要对坐标函数分别用一维中值，或改用积分余项。把一维门票当成所有映射的通行证，在多元微积分里会立刻翻车。

离散数据也没有中值。股票收盘价的差商，不必等于某日“瞬时”收益率，因为没有可导的轨道，只有一串点。强行套用，是把连续模型的存在性说成市场事实。模型可以当近似。近似要另做误差，不能用定理的权威句。

导数 的定义是差商的极限。中值说的是：极限值会在某点被差商本身追上。极限是局部的；追上是区间上的。两句话的量词不同。局部存在导数，不自动给出区间上的 $c$，除非假设在整个开区间都可导。只在一点可导的函数，中值没有舞台。

教材顺序把介值放在前、中值放在后，是因为假设在加强：从连续到可导。加强的是假设，不是把介值的结论升级。结论换成了导数。对象因此是另一张票。两张票都要，泰勒公式才有地方写余项。余项写出来，近似才知道自己错多少。不知道错多少的近似，只是图画。

泰勒公式把局部多项式写成带余项的等式。一阶余项正是中值：在 $a$ 与 $x$ 之间存在 $c$，使 $f(x)=f(a)+f'(c)(x-a)$。这不是“函数很像直线”的比喻，而是直线加上一个被中值钉死的误差。误差可以很大。很大时，一阶近似没有用，但等式仍然真。真与有用是两句话。课堂若只画切线，会把有用当成真的全部。真的全部是：只要可导，误差必能写成某点导数乘间距。写成之后，才能讨论二阶、三阶把误差再拆细。拆细仍然靠反复中值或积分余项。没有第一张中值票，后面的拆法没有地方签字。

常值判别、单调判别、不等式估计，都是同一张票的不同盖章。盖章不创造新的存在性，只改变你问的问题。问“会不会动”，看导数是否恒零。问“会不会回头”，看导数是否变号。问“错多少”，看导数界。三问共用中值，是因为三问都要把两点差商换成一点导数。换得合法，假设必须在整个开区间成立。只在端点可导、中间裂开，换不合法。裂开的例子不必很病态：分段线性在尖点已经够。尖点提醒：可导是内部的全局假设，不是端点装饰。

反函数与隐函数课会再借中值。导数非零保证局部单调，从而局部可逆。非零是中值的推论：若两点函数值相等，中间必有导数为零。因此严格单调的可导函数，导数不能在一段上恒为零，但仍可在孤立点为零。$x^3$ 再次出现。中值帮你分清：恒零与某点为零，对全局形状的含义完全不同。分清之后，才不会把“导数为零则有水平切线”说成“函数在那里掉头”。水平切线可以是拐点。掉头要变号。变号是比中值多要的一张表。

闭区间端点必须进定义域，却不必可导。可导只要求开区间。这个不对称常被习题忽略。忽略之后，学生会在端点写 $f'(a)$，再把中值的 $c$ 误放到闭区间端点上。定理把 $c$ 放在开区间。端点可以没有切线。没有切线不妨碍弦的存在。弦是两端函数值算出来的。切线是内部逼出来的。两端与内部，分工不同。分工写清，罗尔的“端点值相等”才不会被读成“端点导数为零”。端点导数甚至可以不存在。不存在时，内部仍然可能有水平切线。内部才是舞台。舞台需要可导。可导需要开区间上每一点差商都有极限。每一点都有，才谈得上某一点追上弦。追上是全称假设推出的存在结论。全称越强，存在越便宜。便宜不是无成本：尖点、跳跃、区间裂开，都会让全称失败。失败时不要画平行线。不画，是尊重假设，不是作图能力不足。

柯西中值是同一张票的比值版。两个函数，若分母在开区间导数不恒为零，则存在 $c$ 使函数值差的比等于导数的比。几何上像参数曲线的弦被某切向量追上。证明仍走辅助函数加罗尔。拉格朗日是分母取恒等映射时的特例。教材先写拉格朗日，是因为弦与切线已经够用；把柯西提前，会让学生以为中值天生要两个函数。两个函数是工具，不是对象升级。对象仍是：存在性来自最值，最值来自连续，切线来自可导。

洛必达法则常被写成“中值的应用”。严格证明要小心 $0/0$ 与 $\infty/\infty$ 的定义域，还要防止在 $c$ 处导数为零时把式子除坏。课堂若跳过中值直接背洛必达，会在条件不满足时盲目约去。盲目约去不是计算失误，是把存在性定理当成代数恒等式。恒等式处处真。存在性只在假设成立的开区间真。区间一换，公式可以停止。停止时回到差商，不要继续对无穷小作除法。

物理课上的瞬时速度，常被说成“中值所以平均速度等于某瞬时速”。这句话只有在位移对时间可导时成立。冲击、碰撞、理想化的阶跃力，会让速度图不可导。不可导时，平均速度仍可定义，瞬时速度在尖点处没有。中值不能给不存在的对象签发存在证明。签发失败，应改用积分或弱导数，而不是把折线强行涂光滑。涂光滑是建模选择。选择要另写误差，不能借用定理的权威句。权威句只管假设成立的那一类函数。课堂若把中值当成“平均即瞬时”，会在碰撞、开关电路与分段资费上立刻翻车。翻车处应回到定义：差商始终在，导数可能不在。不在时定理沉默，沉默是正确的答案。定理不补全缺失的导数。

跨域连接#

• 导数：导数是差商的极限，中值是差商在某点被导数追上。极限是点上的局部对象。追上是区间上的存在性。只在一点可导，没有舞台给这条存在性。整个开区间可导，舞台才打开，弦的斜率才必须被某条切线重复一遍。重复不是算法给出的点，是假设强迫的存在。
• 介值定理：介值保证连续函数取到中间高度，中值保证可导函数的导数取到弦的斜率。两个中间不是同一个量。达布定理还给出导数的介值性，那是第三条。三条叠成一句“凡变化必取中间”，会把阶跃、尖点与光滑曲线混成同一类对象，并让假设从连续滑到可导时不被看见。
• 微积分基本定理：原函数把变化率积回去。中值把端点差商焊到某点导数上，使“积回去等于位移”在直观上闭合。焊点是存在性。牛顿–莱布尼茨公式的证明可以走积分定义，不必经过中值；但误差估计与泰勒余项常常要经过它。经过它，近似才知道自己签了哪一张误差支票。
• 连续性：罗尔的第一步是闭区间上连续函数取最值。最值来自连续加完备，不是来自可导。尖点函数连续但不可导，最值仍在，费马引理却用不上。中值因此有两层梁：连续收端点，可导收内部。抽掉一层，平行切线可以消失。消失不是作图失败，是假设已经被删。
• 牛顿法：牛顿迭代用的是局部切线，不是区间上的中值。中值可以估计一步误差，但不能代替收敛域。把中值的存在性说成“牛顿一定找到根”，会把局部算法写成全局保证。全局起步仍常要介值的两端异号。中值管的是斜率，不是根的括号。括号空着时，切线再漂亮也只是一次赌博。

参考文献#

1. Lagrange, J.-L. Théorie des fonctions analytiques. Paris, 1797.
2. Cauchy, A.-L. Résumé des leçons sur le calcul infinitésimal. Paris, 1823.
3. Rudin, Walter. Principles of Mathematical Analysis. 3rd ed. New York: McGraw-Hill, 1976. 第 5 章对中值与泰勒的标准陈述。
4. Spivak, Michael. Calculus. 4th ed. Houston: Publish or Perish, 2008.

延伸阅读#

• Apostol, Tom M. Calculus. Vol. 1. 2nd ed. Wiley, 1967. 把罗尔、拉格朗日与柯西中值写成一条链。
• Grabiner, Judith V. The Origins of Cauchy's Rigorous Calculus. MIT Press, 1981. 差商与导数怎样从十八世纪算法走进十九世纪证明。