拉格朗日中值定理例题-拉格朗日中值定理例题

在“拉格朗日”边缘试探的午后 下午三点，阳光斜斜地透过窗棂，把数学书那本厚厚的灰白色压得有些褶皱。我坐在桌前，手里捏着你递给我的那个函数 $f(x) = x^3 - 3x^2 + 2$。
这个难题看着像一道考题，但在我眼里，它更像是一个刚被打开的混沌房间。 老师讲的那句“存有性”，此刻突然变得有点虚无缥缈。他说只要知足端点条件，中间哪怕有一毫秒不对劲，那个“那个”的 $c$ 点就凑巧落在了某个看不见的坐标上。但我站在这页纸上，需求一点工夫去推导，需求一点工夫去强迫大脑在那“那个”里找点东西。 先别急着套公式。
你看这个函数，是个奇异的家伙。$x=0$ 和 $x=2$ 之间，函数值是个过山车。$f(0)$ 是正的 $2$，$f(2)$ 也是正的 $6$，但中间呢？算一算啊，$x=1$ 的时候，$f(1) = 1 - 3 + 2 = 0$。
哎哟，如此巧！零点就在正中间。 这时候，要是硬要找 $f'(c)$，你会认定这题有些不对劲。函数的导数 $f'(x) = 3x^2 - 6x$，是个开口向上的抛物线。它的最大值在 $x=2$ 处取得，也就是 $f'(2) = 0$。而 $f'(0) = 0$。
这意味着在区间端点，导数都是 $0$，这意味着啥？意味着函数在两端都是平坦的，要么说，斜率没变。 但什么的，这函数是不是凸的？二阶导数 $f''(x) = 6x$。区间里 $x$ 取负值时，二阶导数是负的，函数是凹的。
这就怪了，一个“凹”的函数，两端导数都是 $0$，中间零点存有，这符合啥规律？ 突然，我想起了那个著名的例子。泰勒展开仿佛能解释得通，但那是逼近，不是证明。我们需求的是那个“平均速度”等于“瞬时速度”的平衡点。 让我们重新审视一下过程，别跟着别人的节奏走。设 $f(x) = x^3 - 3x^2 + 2$。端点是 $a=0$ 和 $b=2$。 $f(a) = 2$，$f(b) = 6$。 要是存有 $c in (0, 2)$ 使得 $f'(c) = frac{f(b) - f(a)}{b - a}$，那右边这个分数就是 $frac{6 - 2}{2 - 0} = 2$。 也就是说，我们要找 $3c^2 - 6c = 2$ 的根。 $3c^2 - 6c - 2 = 0$。 解这个一元二次方程：$c = frac{6 pm sqrt{36 - 4 cdot 3 cdot (-2)}}{6} = frac{6 pm sqrt{48}}{6} = frac{6 pm 4sqrt{3}}{6} = 1 pm frac{2}{sqrt{3}}$。 $2/sqrt{3}$ 大约等于 $1.15$。 故此两个根分别是 $1 + 1.15 = 2.15$ 和 $1 - 1.15 = -0.15$。 $2.15$ 跑出区间 $(0, 2)$，$-0.15$ 也没进来。 这说明啥？说明在这个特定的例子里，没有 $c$ 知足条件？ 什么的，我是不是哪儿算错了？
要么题目本身有坑？ 再仔细看一眼。$x=0$ 处导数是 $0$，$x=2$ 处导数是 $0$。导数最大值确实是 $0$（在两端）。
那么导数如何可能等于 $2$ 呢？ 难道我在计算导数或面积差时出错了？ $f(2) = 8 - 12 + 2 = -2$。啊！刚刚算错了。$f(2)$ 是负二。 那面积差就是 $-2 - 2 = -4$。 区间长度是 $2$。 故此 $frac{f(b) - f(a)}{b - a} = frac{-4}{2} = -2$。 我们要解 $3c^2 - 6c = -2$，即 $3c^2 - 6c + 2 = 0$。 判别式 $Delta = 36 - 24 = 12$。 $c = frac{6 pm sqrt{12}}{6} = 1 pm frac{sqrt{3}}{3}$。 $sqrt{3} approx 1.732$，故此 $frac{sqrt{3}}{3} approx 0.577$。 $c_1 approx 1.577$，$c_2 approx 0.423$。 这两个都在 $(0, 2)$ 之间！ 原来如此。
这就是所谓的“交错定理”要么叫“介值性质”的体现，只不过在最值定理里，我们一般聊聊的是导数非负的性质，比如凸函数。而这里，别看函数本身有极值点，但出于端点导数为 $0$，而函数值下降了，故此导数必然从 $0$ 变到了负数，穿过 $-2$。 这个例子实际上挺有意思的。它不是那种教科书里举的“求 $f(x) = x^3$ 在 $[0, 1]$ 上的中值”那种好办百出的题。我特意选了这个，出于它略微有点“假”，带点冲突。 大量人一看 $f''(x) = 6x$，区间 $(0, 2)$ 里有一局部是负的，局部也是正的。直觉告诉我是“震荡”的，可能找不到稳定的导数值。 巧了，数学有时候就是这样，你越怕它不稳定，它就越要给你供给某种解释。 $0.423$ 这个点，位置就在 $1$ 的左边一点点。 $1.577$ 这个点，就在 $1.5$ 的右边一点点。 这两个点把区间 $(0, 2)$ 给夹在中间了。 要是在 $0.4$ 处，函数下降的速度是 $-2$（平均），而在 $0.4$ 处，瞬时速度是多少？$3(0.4)^2 - 6(0.4) = 3(0.16) - 2.4 = 0.48 - 2.4 = -1.92$。 哦，什么的，$-1.92$ 比 $-2$ 大（绝对值小）。 这意味着在 $0.4$ 处，瞬时斜率比平均斜率更“平缓”一点。 而在 $1.57$ 处呢？$3(1.57)^2 - 6(1.57) = 3(2.46) - 9.42 = 7.38 - 9.42 = -2.04$。 哎，这里瞬时斜率比平均斜率更“陡峭”了，也就是更小（更负）。 这就对了。$0.4$ 处的瞬时速度没彻底跟上平均速度的下降节奏，$1.57$ 处的瞬时速度反而冲得更猛一点。根据介值定理，连续函数 $f'$ 必然在 $-2.04$ 和 $-1.92$ 之间取到某个值。 它实际上取到了 $-2$。 别看这个计算过程比单纯背公式要累一点，需求一点点试错和数值的代入，但一旦算出来，那种“果然如此”的直觉感，还是比照搬结论要来的新鲜。 另一个视角的变体 后来我又翻看了一下另一个经典例子，这次是 $f(x) = e^x - x$ 在 $[0, 1]$ 上。 这个函数忒“无辜”了，反正增函数，端点导数都是 $1$。 $f(0) = 1, f(1) = e-1 approx 1.718$。 平均速度 $(e-1)/1 = e-1$。 导数恒等于 $1$。 故此 $c=1$ 就知足条件了。 这个例子到了手的时候，感觉像是一个经过严格验证过的模型，没有任何意外，导数就是 $1$，跑马灯似的扫过整个区间，最终在 $x=1$ 停驻。 这时候，我的脑子里只剩下一个念头：要是把这个函数改成 $f(x) = x^2 + sin(x)$ 呢？ $[0, pi]$，$f(0)=0, f(pi)=pi^2$。 平均速度 $(pi^2)/pi = pi$。 导数 $f'(x) = 2x + cos(x)$。 在 $x=0$ 时，$f'(0) = 1$。 在 $x=pi$ 时，$f'(pi) = 2pi - 1 approx 5.28$。 导数从 $1$ 变到了 $5.28$，中间肯定经过 $pi approx 3.14$。 这时候，要是我在纸上画出来，$2x + cos(x) = pi$。 $x=0$ 时 $1 < 3.14$。 $x=pi$ 时 $5.28 > 3.14$。 在 $x=1$ 时，$2+0.54 = 2.54 < 3.14$。 在 $x=1.1$ 时，$2.2 + 0.45 = 2.65$。 在 $x=1.2$ 时，$2.4 + 0.36 = 2.76$。 在 $x=1.3$ 时，$2.6 + 0.26 = 2.86$。 在 $x=1.4$ 时，$2.8 + 0.17 = 2.97$。 在 $x=1.5$ 时，$3.0 + 0.07 = 3.07$。 在 $x=1.55$ 时，$3.1 + 0.01 = 3.11$。 看来根就在 $1.54$ 左右。 这个例子之故此让我抓心挠肝，是出于它忒完美了。教科书上的例题，往往就是那种一眼就能看出端倪，就连不需求动脑筋，只需求代入数值就能心算出结局的情况。 比如 $f(x) = x^3$，求 $[0, 1]$ 的中值。 $f(0)=0, f(1)=1$。 需求 $3c^2 = 1 Rightarrow c^2 = 1/3 Rightarrow c = 1/sqrt{3} approx 0.577$。 这个数一眼就能看出来，彻底不需求解方程，也不需求画图，也不需求啥复杂的区间分析。 这种题目标存有，就是为了训练我们习惯了这种“平滑”的、少了摩擦的推导方式。 拉格朗日中值定理的精髓，实际上不在于它证明白收敛性要么存有性，而在于它供给了一种视角的转换。它让你把关切点从“端点”挪到了“中间”，从“函数本身的形状”挪到了“函数图像的切线”。 你看那个 $e^x - x$ 的例子，$f'(x)=1$，切线就是 $y-x=1$。
这条切线在整条曲线上都是垂直于 $x$ 轴的吗？不是，是斜率恒为 $1$。
这暗示着函数增长的速度是恒定且均匀的。 再看那个 $x^3-3x^2+2$ 的例子，导数在 $1 pm 0.577$ 处等于平均速度。
这意味着，在平均速度为 $-2$ 的那个位置，函数图像一定“穿过”了那条 $y=f(x)-2$ 的水平线（要么是某种等值线）。 这就像是一个冲浪者，海浪的流速（平均速度）是固定的，而冲浪板的推力（瞬时速度）在变。总有一个时刻，他的推力刚好匹配海浪的流速。 别看这个例子忒具体了，有点琐碎，但它提醒我，数学不是抽象的符号游戏，它是在具体的数值关系里寻找秩序。 有时候，一道题解出来的瞬间，你会认定那种“啊，原来是这样”的快感，比背下所有定理要来得实在。它让人感觉到，那些枯燥的 $f(a), f(b), f'(c)$ 之间，实际上是有灵魂、有温度、有相互呼应的。 就像刚刚那个 $0.423$ 和 $1.577$ 的解，它们分别位于区间两端，把那个“平均”点给夹在中间，临时的感觉挺奇妙。它不像是被设计好的，更像是某种自然的碰撞结局。 要是我再改个函数，让导数一直小于平均速度呢？比如 $f(x) = cos(x)$ 在 $[-pi/2, pi/2]$。 $f(-pi/2) = 0, f(pi/2) = 0$。 平均速度 $0$。 导数 $f'(x) = -sin(x)$。 在 $[-pi/2, pi/2]$ 上，$sin(x) ge 0$，故此 $f'(x) le 0$。 为了知足 $f'(c) = 0/c = 0$，在 $x=0$ 处确实知足。 这个例子忒直白了，没有悬念。 但我认定，真正好的例子，是那些让你忍不住想停下来，就连质疑自己算得对不对，然后才恍然大悟的例子。 刚刚那个 $x^3-3x^2+2$，算出 $c approx 1.58$ 和 $c approx 0.42$，然后我还在心里嘀咕：“这如何如此精？” 这时候，我突然意识到，这实际上是一种“非对称”的平衡。 函数在 $x=1$ 处有一个极小值，$f(1)=0$。 在 $x<1$ 时，函数下降，斜率为负。 在 $x>1$ 时，函数上升，斜率为正。 整个区间 $[0, 2]$ 覆盖了极小值点。 平均值是 $-2$，这是下降的。 但导数在区间内部有正有负。 平均速度是负的，说明整体在下降。 但导数在正区间是正的，在负区间是负的。 这就构成了震荡。 震荡的幅度务必充足大，才能覆盖那个 $-2$ 的平均值。 $0.4$ 处的瞬时速度 $-1.92$（还没掉到 $-2$），$1.57$ 处的瞬时速度 $-2.04$（都已经掉到 $-2$ 下面了）。 这说明，函数在“低谷”处，瞬时速度掉得最了得，也就是最接近平均速度。 这大约就是中值定理给我们的一个微妙的启示：有时候，瞬时的剧烈波动，恰恰是为了填补平均意义上的庞大空白。 写到这里，我有点累了，但脑子却保持着一丝热度。 拉格朗日中值定理，本质上就是在问：要是两个端点不一样高，中间得有过一条“刚好连上”的弦，这条弦在某个点的切线，务必和那条弦平行。 对于 $x^3-3x^2+2$，那条弦的斜率是 $-2$。 对于 $f(x) = e^x - x$，那条弦的斜率是 $e-1$。 对于 $f(x) = cos x$，那条弦的斜率是 $0$。 这些线条，最终都穿过了函数的谷底，要么直接贴在了崖壁。 这种几何上的共鸣，才是数学最迷人的地方。 它不告诉你答案，它只是给你一个机会，去观察，去触碰，去确认那个“ $c$ ”到底藏在哪儿。 在那片看似荒诞的数值交错中，仿佛确实有一颗星星，在某个坐标里，亮得晃眼，却又只能瞥见一点点光芒。 这就是为啥我认定，解这道题，比记住定理要难得多，却也快乐得有多。