嘿，别整那些教科书里“起初、其次”的套话，我们直接拿泡面一样拧巴的思路，把拉格朗日中值定理给揉碎了嚼。 先说啥？先看看那个图。$f(x)$ 是那条略微有点扭的曲线，$y=f(x)$ 是它。区间 $[a, b]$ 画得挺长，函数可不是直线，它待会儿快，待会儿慢，对吧？我们要证的结论挺有意思：对于区间里任意一点 $c$，肯定能找到一条切线（要么那条曲线本身，要是它挺直的），让它的高度 $f(c)$，恰好等于被那条切线截出来的那一段，从 $a$ 跑到 $b$ 的线段长度。
这听起来像天方夜谭，但在微积分里，这可是个硬道理。 先别管那些定义死记硬背的，搞个直观的例子。$f(x)=x^3$，区间是 $[1, 2]$。$a=1$，$b=2$。
那 $c$ 呢？随意取个 $c=1.5$ 试试。算推导过程烂大街的，我就跳过繁琐的求导公式，直接看结论。当 $x=1$ 时，$f(x)=1$；当 $x=2$ 时，$f(x)=8$。
那中点 $1.5$ 处的函数值是 $3.375$。再看区间端点连线，$y$ 从 $1$ 变到 $8$，线段总长是 $7$。而 $x$ 从 $1$ 到 $2$ 的长度是 $1$。
什么的，这里仿佛不对。
哦对，微分中值定理的推广版才是这个公式，是 $frac{f(x)-f(a)}{x-a} approx frac{f(b)-f(a)}{b-a}$ 这种导数差的商等于差值商。好，我重新来，$f(x)=x^3$，区间 $[1, 2]$。$f(1)=1, f(2)=8$，差值是 $7$。$x-a$ 是 $1$。导数 $f'(x)=3x^2$。在 $c=1.5$ 时，$f'(c)=3 times (1.5)^2 = 3 times 2.25 = 6.75$。啊？$f(1.5)=3.375$，而 $f(1)+f'(c)(1.5-1) = 1 + 6.75 0.5 = 1 + 3.375 = 4.375$。
哎不对，公式记混了。应当是 $frac{f(b)-f(a)}{b-a}$ 等于平均值。$f(1.5) = 3.375$。$frac{8-1}{2-1} = 7$。$3.375$ 不等于 $7$。
那我哪儿弄错了？哦，我搞反了。拉格朗日中值定理说的是：$frac{f(x-x_0)-f(x_0)}{x-x_0}$ 等于 $f'(c)$。也就是切线的斜率。在 $[1, 2]$ 区间上，切线斜率是 $6.75$，那切线方程是 $y - 1 = 6.75(x - 1)$。当 $x=2$ 时，$y = 1 + 6.75 = 7.75$。而 $f(2)=8$。
这就对了，切线高度是 $7.75$，函数值是 $8$。差 $0.25$。出于 $f'(c)$ 是 $6.75$，$Delta x = 1$，斜率 $Delta y = 6.75$。$1 + 6.75 = 7.75$。确实接近了。 接下来这个定理的核心，就是那个“存有性”。你说，是不是只要函数连续，导数一定存有？不中，那是连续函数的导数不存有，函数连续但导数不存有，比如 $x^2sin(1/x)$ 这种。
要么导数存有但函数不连续，比如 $x=0$ 处那个有冲角。
故此，$f$ 既要连续，导数还要存有。
这个条件比“连续”强得多，比“可导”也弱，似乎是个有点尴尬的中间状态。
不过，对于泰勒展开，我们一般希望函数不仅连续可导，就连二阶导数也要存有，这样才能用到余项的积分形式。别看拉格朗日中值定理只需求一阶导数存有，但它比罗尔定理更强，出于它要求区间端点取值不同，而罗尔定理准相等。 那如何证明它存有呢？这得靠构造。我们在区间 $[a, b]$ 上随意找一个点 $c$，然后看着 $f(a)$ 到 $f(b)$ 的变化，算出了平均增长量。目前，我们要找一条切线，让它的斜率等于这个平均增长量。假设这条切线存有，设切点为 $x_0$。切线方程就是 $y = f(x_0) + f'(x_0)(x - x_0)$。我们要求当 $x=b$ 时，这个切线的高度等于 $f(b)$。
这就得推导出 $f(b) = f(x_0) + f'(x_0)(b - x_0)$。也就是 $f(b) - f(a) = f'(x_0)(b - x_0)$。
什么的，这里有个难题。
这个式子说的是 $f(b) - f(a)$ 等于切线在 $b$ 处的增量。而拉格朗日中值定理的结论是 $f(b) - f(a) = f'(c) cdot (b - a)$。
这说明切线在 $a$ 处的值等于 $f(a)$，在 $b$ 处等于 $f(a) + f'(c)(b-a)$。但定理说的是在 $c$ 处取值。我看错公式了。啊，原定理是 $frac{f(x)-f(a)}{x-a} = f'(c)$。代入 $x=b$，就是 $frac{f(b)-f(a)}{b-a} = f'(c)$。
这意味着 $f(b) - f(a) = f'(c)(b - a)$。
是的，没错。 那要是我们固定 $x_0$，让 $x_0$ 趋向于 $b$ 呢？要是函数可导，那么对于任意 $x$，极限 $lim_{t to 0} frac{f(t) - f(b)}{t - b}$ 存有。我们能够令这个极限为 $f'(b)$。
那么对于任意 $epsilon > 0$，总存有 $delta$，当 $t$ 在 $b$ 的 $delta$ 附近时，这个差值的绝对值小于 $epsilon$。目前回到区间 $[a, b]$ 上任意取 $c in (a, b)$。我们要找 $x_0$ 使得上述成立。 实际上不用如此绕。我们直接看函数增量。$f(b) - f(a)$ 是固定的。而 $f'(c)$ 是 $c$ 处的瞬时变化率。
要是我们把 $f(b) - f(a)$ 看作 $f'(c) cdot (b - a)$，对于固定的 $c$，这意味着 $f'(c)$ 务必是一个常数，等于这个增量除以长度。但 $f'(c)$ 是个点，故此这个点务必覆盖整个区间 $[a, b]$ 上所有的 $c$ 值。
这就暗示了函数在区间内不能有忒剧烈的波动，要么更准地说，函数在 $c$ 处的变化率务必稳定到能“拟合”整个区间的平均增长。 这就像你站在一个斜坡上，从底走到顶，你的平均坡度是 3 度。
要是在中间某处你突然反向走了一段，要么斜率庞大，那你的平均坡度就不对了。
故此，要是函数在区间内是单调的，要么波动挺小，那么 $f'(c)$ 就能挺好地代表这个变化。 这时候我们得引入 柯西中值定理 来辅助说明。柯西定理说，要是两个函数 $g, h$ 知足条件，那么它们在区间内的比值 $frac{g(x)-g(a)}{h(x)-h(a)}$ 等于 $frac{g'(c)}{h'(c)}$。
要是取 $g(x)=f(x), h(x)=x$，那么 $frac{f(x)-f(a)}{x-a} = frac{f'(c)}{1}$。
这实际上就是拉格朗日中值定理的原始形式，右边那个分数实际上就是 $frac{f(b)-f(a)}{b-a}$ 的极限形式。当 $x to b$ 时，左边趋近于 $f'(b)$，故此 $f'(b) = frac{f(b)-f(a)}{b-a}$。
这说明在 $b$ 点附近，函数的变化率等于平均变化率。 要是我们取 $x_0$ 为任意点 $c$，而 $x$ 趋近于 $c$，那么 $frac{f(x)-f(a)}{x-a} to f'(c)$。但这跟整体区间 $[a, b]$ 的平均值有啥关系呢？这里有个逻辑跳跃。我们需求把区间端点的性质联系起来。
实际上，拉格朗日中值定理的普适性来自于泰勒展开的积分余项。 想象一下，把区间 $[a, b]$ 分成无数个小段。每一段能够用一个切线来近似。所有切线加起来，正好构成了从 $a$ 到 $b$ 的直线段。
要是切线斜率 $f'(c)$ 在整个区间上充足“平均”，那么这条切线就会把端点高度拉平。具体来说，对于区间内任意点 $c$，都有 $f'(c) = frac{f(b) - f(a)}{b - a}$。
这意味着 $f(b) - f(a) = f'(c)(b - a)$。 这个结论如何从几何上解释？画个图。$f(a)$ 是起点，$f(b)$ 是终点。连接这两点的线段，斜率是 $k = frac{f(b)-f(a)}{b-a}$。根据拉格朗日定理，在区间内任意点 $c$，都存有一个切线，其斜率也是 $k$，并且这个切线正好经过 $f(a)$ 和 $f(b)$ 两点。
也就是说，$f(a)$ 在切线上的投影，和 $f(b)$ 在切线上的投影，高度差正好是直线段的斜率。 这听起来有点矛盾。
要是 $f(b)$ 比 $f(a)$ 高大量，而 $f(c)$ 是中间那个点，如何会有切线让它与此同时等于 $a$ 和 $b$ 的高度？哦，我明白了。定理说存有一个切线，它的斜率等于平均变化率 $k$。
这个切线不一定经过 $f(a)$，也不经过 $f(b)$。
什么的，我彻底搞错了。让我重读一下定理的标准表述。 定理说：$frac{f(x)-f(a)}{x-a} = f'(c)$。
这意味着在 $x$ 处的切线斜率等于 $a$ 到 $x$ 的平均变化率。
要是 $x=b$，则 $frac{f(b)-f(a)}{b-a} = f'(c)$。
这意味着存有一个 $c$，使得 $f'(c)$ 等于区间 $[a, b]$ 的全局平均值。
这不一样。
这个定理是说，对于区间 $[a, b]$ 上的任意 $c$，这个 $c$ 处的导数，等于从 $a$ 到 $b$ 的全局平均值吗？不对，这显然不对。
比如 $f(x)=x^2$ 在 $[1, 2]$。$f'(x)=2x$。$c=1.5$，$f'(c)=3$。$frac{f(2)-f(1)}{2-1} = frac{4-1}{1} = 3$。
刚好相等。再试一个，$f(x)=e^x$ 在 $[0, 1]$。$f'(x)=e^x$。$c=0.5$，$f'(c)=e^{0.5} approx 1.648$。$frac{e^1-e^0}{1-0} = e - 1 approx 1.718$。
不相等。
故此我之前想自然地认定 $f'(c)$ 等于平均值。
这是错的。 啊，原来拉格朗日中值定理的结论是：$f(b) - f(a) = f'(c)(b - a)$。
这意味着 $f'(c)$ 务必等于 $frac{f(b)-f(a)}{b-a}$。
也就是说，在区间内任意一点 $c$，其导数值务必恰好等于端点间的平均变化率。
好吧，刚刚的例子我算错了。对于 $f(x)=x^2$ 在 $[1, 2]$，$f(2)-f(1)=3$，$b-a=1$，平均值是 $3$。$c=1.5$，$f'(1.5)=2 times 1.5 = 3$。确实相等。对于 $f(x)=e^x$ 在 $[0, 1]$，$f(1)-f(0)=e-1 approx 1.718$，平均值是 $1.718$。$c=0.5$，$f'(0.5)=e^{0.5} approx 1.648$。
不相等。
为啥？出于 $c$ 务必是切点吗？不，定理说“存有 $c$"。
哦，我读定理读反了。定理是：存有 $c in (a, b)$，使得 $f'(c) = frac{f(b)-f(a)}{b-a}$。对！是存有性，不是任意点。 好的，明白了。定理的核心是：在区间内起码存有一个点 $c$，使得该点的函数导数等于区间两端点函数值的增量除以区间的长度。
这就解释了为啥我们不能随意找一个点，而是需求证明起码有一个点能知足这个条件。 这个证明的关键在于零点存有定理。我们要证明 $f(x) - frac{f(b)-f(a)}{b-a}x - f(a)$ 在 $[a, b]$ 上有一个零点。让我们定义一个新函数 $g(x) = f(x) - f(a) - kx$，其中 $k = frac{f(b)-f(a)}{b-a}$。 要是 $x=a$，$g(a) = f(a) - f(a) - ka = -ka$。 要是 $x=b$，$g(b) = f(b) - f(a) - kb = kb - kb = 0$。 这不对，$g(b)=0$ 是已知的。
那 $g(a)$ 呢？$g(a) = -ka$。 什么的，我想构造的是 $h(x)$ 使得它有两个根。 令 $k = frac{f(b)-f(a)}{b-a}$。 我们要找 $x$ 使得 $g(x) = f(x) - f(a) - kx = 0$。 当 $x=b$ 时，$g(b) = f(b) - f(a) - k(b) = 0$。
这根本没用，出于它已经有一个解了。 那如何证明呢？我们需求构造一个函数，它在 $a$ 处为 0，在 $b$ 处也为 0。 寻思函数 $phi(t) = f(a+t) - f(a) - k t$，其中 $t in [0, b-a]$。 $phi(0) = f(a) - f(a) - 0 = 0$。 $phi(b-a) = f(b) - f(a) - k(b-a) = 0$。 目前，我们关心的是 $phi'(t)$ 在 $(0, b-a)$ 内是否恒大于 0 或恒小于 0。 要是 $phi'(t) > 0$ 对所有 $t$ 成立，那么 $phi(t)$ 单调递增。
要是 $phi(0)=0$ 且单调递增，那么 $phi(b-a) > 0$，这与我们 $phi(b-a)=0$ 矛盾。 故此，务必有 $phi'(t) le 0$ 对某些 $t$ 成立？不，这逻辑有点乱。 我们要找的是 $phi(t) = 0$ 的解。
既然两端都是 0，要是函数是单调的，那它不可能在中间变回 0。
要不就函数恒为 0。 啊，我犯了一个低级毛病。拉格朗日中值定理的结论是 $f'(c) = k$。
这意味着导数等于常数 $k$。 故此我们要证明的是：存有 $c$，使得 $f'(c) = k$。 定义 $g(x) = f(x) - kx$。 $g(a) = f(a) - ka = f(a) - frac{f(b)-f(a)}{b-a}a = f(a) - a frac{f(b)-f(a)}{b-a}$。 $g(b) = f(b) - kb = f(b) - (b-a)k = f(b) - (b-a)frac{f(b)-f(a)}{b-a} = f(b) - (f(b)-f(a)) = f(a)$。 故此 $g(a) = f(a)$，$g(b) = f(a)$。 出于 $g(a) = g(b)$，根据罗尔定理（Intermediate Value Theorem for Derivatives），存有 $c in (a, b)$，使得 $g'(c) = 0$。 $g'(x) = f'(x) - k$。 故此 $g'(c) = f'(c) - k = 0$，即 $f'(c) = k$。 这就证明白存有性！ 为啥 $g