中值定理证明根的存在-定理存在根证明

中值定理，说白了就是那个“牛头不对马嘴”的代名词。开区间的那些结论，别总想着用来证明闭区间的根，那是把牛头往马嘴上碰。 大量人一上来就想着拉马三角形，要么博羅斯定理，总认定这些高级的玩意儿能解释一切。但你要知道，中值定理最精通的，就是证明一个函数在区间端点取值不同，中间肯定得有个交点。
这就像你拿一根绳子，一头在 0 米，一头在 10 米，中间哪怕是个滑梯，你也没必要非得去猜那个滑梯具体多高，你只需求知道总长度是 10，那肯定有个地方高度比层高就行。 举个最好办的例子。设 $f(x)$ 在区间 $[0, 1]$ 上连续，$g(x)$ 在 $[0, 1]$ 上可导。我们要证 $f(x) - g(x) = 0$ 有根。
这实际上就是罗尔定理的一个特例。罗尔定理说，要是两端相等，中间必有一阶导数为 0。
那我们要证有零点，我们只需求构造一个新的函数，比如 $h(x) = f(x) - g(x)$。
要是 $h(0) neq h(1)$，那中值定理就说，$h'(c) = 0$。
这时候，$h'(x)$ 能够写成 $f'(x) - g'(x)$。
既然导数在某个点 $c$ 处为 0，这说明啥？说明 $f'(c)$ 和 $g'(c)$ 的差是 0，也就是 $f'(c)$ 和 $g'(c)$ 相等。
这好比两个人赛跑，起点速度一样，那肯定会在某个时刻到达终点。
这就够了。 这就有点怪了，出于大量人把解决根的难题都绕成了导数。
实际上，解决根的难题，核心就两条。
第一条是找。你要确定这个函数 $f(x)$ 在区间 $[a, b]$ 上一定得变过号。
要是 $f(a)$ 和 $f(b)$ 同号，那它就像个上坡，要么一直爬，要么在山顶停了，要不就它是水平的。
要是它是水平的，那就是常数函数，这忒好办了，直接说 $f(x)$ 是恒等式就行。
要是它不是恒等式，且两端同号，那它得穿过 $x$ 轴，要么穿过 $y$ 轴。
要是有 $x$ 轴穿过，那就是根。
要是有 $y$ 轴穿过，那也只是个常数。
故此，根的存有，归根结底就是端点符号的难题。 那有没有反例呢？自然有。
比如 $f(x) = frac{1}{x}$ 在 $(-1, 1)$ 上。$f(-1) = -1$，$f(1) = 1$，看起来符号变了，根就在 0 啊。
哦不对，$0$ 不在区间内。$f(x)$ 在 $(-1, 1)$ 内没定义，故此连续和可导的定义都没搭上线。
这就是典型的反例。
这说明，要是区间端点没连续，要么无界害得定义域不对，那中值定理哪怕让你去找导数，也是找不到的。 再说说那个博羅斯定理。它要求一阶导数存有，二阶导数有界。
这跟中值定理有点冲突。中值定理只说有一阶导数存有，二阶导数能够不存有。
比如 $f(x) = x^2 sin(1/x)$ 这种。在 $x=0$ 处，一阶导数为 0，二阶导数不存有。
这彻底不影响中值定理的成立。中值定理忒宽容了，它只需求一根导数，一根就够了。 那为啥我们总怕中值定理不够用？出于大量时候，我们需求更精细的管住，比如二阶导数的符号。
这时候就得用到泰勒公式要么欧拉方式。
这时候中值定理只是个小尾巴，真正的骨架是泰勒展开。泰勒展开把函数变成多项式，多项式好算，好写。中值定理保证了多项式在端点取值不同，中间必有零点，这简直是泰勒展开的“数字签名”。 实际上，中值定理和泰勒公式的关系，就像GPS 和地图的关系。GPS 告诉你当前位置，能不能去某地；地图告诉你路如何走。中值定理是那个告诉你“去某地可行”的初步判断，它只关心能不能到；泰勒公式是那张详细的电子地图，告诉你具体如何走。
要是GPS 说可行，但地图上面全是悬崖，那中值定理就失效了，出于地图没给你讲。 故此，别死磕中值定理。它的威力在于：当你面对一个复杂的函数，你根本不需求知道它的具体表达式，就连不需求知道它在哪一段是升的，哪一段是降的。
只要你能算出两个端点的差，中值定理立马就能告诉你，肯定有一个点，其导数等于那个差。
这简直忒灵活了。 最终，想强调一点。中值定理不是万能钥匙，也不是终极真理。它只是数学大厦地基上的一块砖，要么是一块铺路的碎石。
有时候你需求更多砖头，有时候你需求更坚固的地基。但作为基础，它确实可靠。
只要端点不等，中间必有个“导数相等”的交点。
这就像你开车，只要起点和终点高度不一样，你肯定在中间某个高度，你的速度会等于平均速度。
这逻辑通顺，不用强行凑数，不用引入复杂的构造。 故此，总结就是：别被那些高深的名字骗了。
要是端点取值不等，中值定理立马就能给你答案。在这个世界里，好办有力，充足强大。