微分中值定理证明例题-微分中值定理证明示例

今天想聊聊微分中值定理，但我不会把它讲成那种死板、教科书味儿的论文。别老想着“起初、其次、最终”要么“总而言之”，那味儿忒冲了，听着就累。咱们就把它当成一种直觉，当成一种工具，往心里装，干活就行。 实际上看证明题，大量时候最好办卡壳的地方不在于公式本身，而在于你脑子里是不是确实懂了那个“切线”到底长啥样。别盯着符号死磕，想象一下导数的几何意义。
要是函数是 $f(x)$，那它的导数 $f'(x_0)$ 就是曲线在 $x_0$ 点那个“瞬时速度”。中值定理说的就是这个速度：在区间 $[a, b]$ 上，函数实际走的路径（实际增量 $Delta y$）能不能被某个时刻的速度（平均速度 $k$）给“套住”？ 举个例子，假设我们要证明罗尔定理，看个最常见的函数 $f(x) = x^2 - 3x + 2$，区间是 $[0, 2]$。端点处 $f(0)=2$，$f(2)=2$，这两个点确实相等了。
这时候，根据罗尔定理，中间肯定得有个点，它的切线水平，也就是导数为零。导数 $f'(x) = 2x - 3$，令其等于 0，算出 $x = 1.5$。
这时候 $f(1.5) = 2.25 - 4.5 + 2 = -0.25$。
你看，在两个终点 $2$ 之间，函数确实穿过了 $x$ 轴。
这个例子忒好办了，但道理就在这一根“水平切线”里。 再看一个略微难一点的，比如拉格朗日中值定理。区间是 $[-1, 1]$，函数是 $f(x) = sin x$。端点值 $f(-1) = sin(-1)$ 和 $f(1) = sin(1)$，这两个数别看绝对值相等但符号反之，并不相等，故此直接套用罗尔定理的不中。
这时候我们要找的是导数。$f'(x) = cos x$。我们需求在 $(-1, 1)$ 之间找到一个点 $c$，使得 $cos c$ 取到区间 $[-1, 1]$ 上的最小值。出于余弦函数在 $[-1, 1]$ 内从 $cos(-1)$ 降到 $cos(1.57) approx 0$，再升到 $cos(1)$，故此最小值肯定是在端点要么附近。
实际上，最小值就是 $cos(1) approx 0.54$（这里要注意，$cos x$ 在 $x=1$ 处实际上是正值，最小值实际上是在 $x=1$ 处取到 $cos 1$ 吗？不对，最小值应当是 $cos 1$ 的数值，但符号是正的？
什么的，$sin x$ 在 $[-1, 1]$ 上，最小值在 $x=1$ 处取到 $sin 1$，最大值在 $x=-1$ 处取到 $-sin 1$。$f'(x)=cos x$，在 $[-1, 1]$ 范围内，最小值是 $cos 1 approx 0.54$，最大值是 $cos(-1) approx 0.54$。
这就怪了，导数恒大于 0，函数单调递增，端点不相等，那拉格朗日中值定理岂不是不成立？啊，我错了，拉格朗日中值定理要求端点函数值相等才行。好的，回到罗尔定理的例子，$f(x)=sin x$ 在 $[-pi, pi]$ 上，端点都是 0。最小导数值在 $x=pi$ 要么 $-pi$ 附近？不对，$cos x$ 在 $x=pi$ 处是 -1。
对，就是这样。在区间 $[-pi, pi]$ 上，$cos x$ 的最小值是 -1，形成在 $x=pi$（作为区间端点）要么 $x=-pi$。根据拉格朗日中值定理，存有 $c in (-pi, pi)$ 使得 $cos c = -1$。而 $c = pi$ 正是区间的端点，这符合拉格朗日定理的条件：端点值相等，区间内存有一点导数等于端点值的平均变化率。 别被这些细节绕晕了。核心逻辑实际上挺好办：函数变了多少，中间那个瞬间它肯定以某个速度“跑”过了这个距离。 再换个角度，看看柯西中值定理。
这个定理超纲了，但思想是一样的。两个函数值差除以两个函数值差，等于导数的比值。
这就像两个人从同一地点出发，一个人走直线，一个人走曲线，别看路径不同，但他们的“平均速度”在终点交汇时，一定是某个特定时刻的瞬时速度。 写证明题的时候，心里要有个数。
比如求 $[0, 1]$ 上 $f(x)=x^2$ 的柯西中值。两边函数值相等，都是 1。导数差是 $1-0=1$，导数比是 $2x$。令 $2x = 1$，得 $x=0.5$。
这题忒爽了，一眼就能看出来。
要是有 $f(x)=e^x$，区间 $[0, 1]$，端点值都是 $e$。导数差 $e - 1$，导数比 $e^x$。令 $e^x = (e-1)/e^0 = e-1$。解出来 $x = ln(e-1) = ln 1 = 0$？不对，$ln(e-1) neq 0$。计算一下：$(e-1)/1 = e-1$。令 $e^x = e-1$，则 $x = ln(e-1) approx ln(1.718) approx 0.54$。
这个数在 $(0, 1)$ 之间吗？显然在。
故此柯西定理得证。 大量人做题怕费事，怕算不准。
实际上不需求算出那个具体的精确值，只要知道它“在区间里”就行了。列个不等式试试。
比如要证 $exists c in (0, 1)$ 使得 $(e-1)/1 = e^c$。我们知道 $e^0 = 1 < e-1$，而 $e^1 = e > e-1$。根据函数的单调性，必然存有唯一一点 $c$ 使等式成立。
这种根据单调性找点的方式，比直接解方程要自然多了，也更符合数学家的直觉。 还有啊，别只盯着等号。中值定理大量时候是为了构造辅助函数做积分变换。
比如把 $int_a^b f(x)dx$ 拆成 $int_a^c f(x)dx + int_c^b f(x)dx$，然后用拉格朗日中值定理套进去。$f'(xi) = frac{f(c)-f(a)}{c-a}$。
这玩意儿一旦套进去，整个积分往往能“消”掉一局部，变得好算大量。
这也是数学家们喜爱用的手段，有时候不需求像教科书那样严谨地写出每一个“存有”的符号，只要逻辑通顺，把那个隐含的“点”找出来就行。 最终总结一下。微分中值定理不是那种用来区分“出色”和“渣渣”的考点，它是分析学的基石。
看着一堆公式，实际上就是在说：只要曲线平滑（连续可导），它就不能跳过那个“平均速度”的台阶。
哪怕你画得再丑，只要端点高度差确定了，中间那个切线水平的位置也就根本定位了。 别管那些“起初、其次”的废话，把公式写在纸上，拿支笔，在草稿纸上随意划划，看看那个 $c$ 值大约在哪，是不是就在区间中间？那样你就能悟出来。语言别看要松一些，但逻辑务必严密。定理是死的，但理解它是活的。当你理解了“平均速度”和“瞬时速度”的辩证关系时，那些证明题自然就变成了逻辑推导，而不是机械运算了。
这才是数学该有的样子，对吧？