中值定理证明题200题-中值定理证明题 200

中值定理这一章对高中生来说简直是降维打击。
本来当作那是微积分的深水区，结局发现只要略懂积分和定积分的几何意义，大局部套路都能通过“画图”搞定。
那会儿老师总说别死记公式，结局我一看那些证明，简直是在念圣经啊。 实际上核心就一个意象：中值就是那个把函数图像从高处拉到低处的水平线。
既然叫中值，那也就是那个看不见的横坐标，它把面积在高低两个方向上平衡了。
那会儿看证明总像是在法庭上质证，被告（函数值）如何辩解，原告（平均值）如何反驳，最终法官（定理结论）就是强行判决胜诉。
实际上没那么复杂，本质就是数学家在嘴里念叨的话：函数在区间内动起来的时候，总得有一个时刻的速度等于平均速度。 拿均值不等式来说吧，这是最经典的。大量人一见到 $a^2+b^2 ge 2ab$ 就懵了，认定这是代数游戏。
实际上这就好比你有两个容器，一个装水，一个装油。水的密度是 1，油的密度是 0.8（随意设个值吧）。
不管如何混合，只要总重量算对，最终的“平均密度”肯定比纯油或纯水都大，这直接导出了 $a^2+b^2 ge 2ab$。
这个逻辑忒顺了，不用凑公式，也不用背系数。 再看拉格朗日中值定理，它的名字听着挺沉甸甸，实际上逻辑最好办。先看看拉格朗日中值定理的原始状态：$f(x) - f(b)$ 在区间 $(a, b)$ 内起码有一次等于 $f'(c)(x-c)$。意思是说，函数值的变化量，在某一点上等于导数乘以间距。
这就好比说，你在 10 点到 11 点这一个小时里，路程的总变化量，一定等于你的平均速度乘以工夫。
既然平均速度就是瞬时速度，那只要函数是连续可导的，这个关系就绕不开。 举个具体的例子。假设我们要证明一个函数在 $[0, 1]$ 上知足拉格朗日中值定理。直接写证明步骤忒枯燥了，咱们用数据讲话。寻思函数 $f(x) = x^2$ 在区间 $[0, 1]$ 上。它的导数是 $f'(x) = 2x$。根据定理，存有 $c in (0, 1)$ 使得 $f(1) - f(0) = f'(c)(1-0)$。左边是 $1^2 - 0^2 = 1$。右边是 $2c cdot 1 = 2c$。
故此 $2c = 1$，解得 $c = 0.5$。
这个 $c$ 就在开区间 $(0, 1)$ 里。
你看，不需求去猜 $c$ 在哪，直接解方程就能找到它。
这就是中值定理的力量，它把抽象的存有性变成了具体的数值难题。 实际上大量时候，证明题绕了半天，最终发现就是解个方程组要么代个数。
比如泰勒展开的难题，有时候看起来像是要推导高阶导数，实际上只要把函数写成各阶导数在特定点的乘积形式，然后代入等号右边的参数，左边往往会自动凑成右边。
这种“特判”式的技巧忒爽了，别总怕这道题做不出来，说不定就是换个角度想，它就通了。 还有那个罗尔定理，也是猜不变性的无敌手。罗尔定理的核心在于“端点相等”，函数在 $a$ 和 $b$ 处值一样，中间肯定起码有个点切平。
这就好比你爬山，起点和终点海拔一样，那你肯定起码有一个点，你不仅没上山也没下山，你是原地踏步。
这个“原地踏步”的点，就是切平的点。
要是函数连续，它就不能突然就变方向，得有个过渡过程。
故此中间那个点存有的概率极高。 有时候还会遇到需求构造辅助函数来凑中值定理的情况。
比如要证 $f(x)$ 在某点等于常数，而 $f(x)$ 的表达式挺复杂，这时候就不能硬套中值定理，而是要先构造一个跟它相关的函数 $F(x)$，算出 $F(a)$ 和 $F(b)$ 的值，然后说明它们相等（比如都等于 0），再利用中值定理得出 $F'(c) = 0$，最终倒推回去，让 $f'(c)$ 也等于 0。
这种思路挺灵活，看着像变数，实际上往往只是换了一个制服。 有些题目看起来特别卡壳，比如涉及参数的难题。
这时候就要把参数当成变量，把区间当成固定背景。
比如求参数 $m$ 的范围，使得函数在某个区间知足中值定理。
这时候你能够固定 $f(x)$ 的形状，只动 $m$ 的位置，看看能不能找到一个 $c$ 点知足条件。
要是不中，再调整区间要么调整 $f(x)$ 的构造方式。
这种试错法别看慢，但一旦找到方向，速度挺快，出于一旦思路通了，剩下的都是套公式。 实际上做这类题最好办犯的毛病就是忒纠结细节。比方说中点公式里的 $c$ 是不是务必等于区间中点。
不一定，它只要在开区间里就行。
还有说导数要有定义，实际上闭区间上连续可导，开区间内导数一定有，这点要注意。有些题目会设陷阱，比如区间端点没有定义，要么函数在端点处不可导，这时候结论就不成立了。
这些坑挺多，坑多证明自然就难。 最终总结一下，中值定理的证明题，核心一辈子是“变”与“静”的平衡。静的是区间和函数结构，变的是那个未知的 $c$。
只要你能把难题转化为求 $c$ 的方程，要么构造出知足条件的辅助函数，那就成功了。别总怕公式不会，公式是数学的语法，理解其背后的物理意义（比如有没有中间点、有没有切平点）后，语法就通了。遇到不会的，先画图，看看图像是不是确实像定理描述的那样，往往直觉能解决 90% 的难题。