罗尔定理的证明过程-罗尔定理证法

在数学房里，罗尔定理这事儿有时候真让人头大。它看着像个好办的结论：要是两个函数在区间两头跟个一样，中间又没跳大，那中间肯定起码得有过一个“原地踏步”点。但这条件要是写错了，整篇文章都得被怼得说不出话。
比方说，你要是忘了说那两个函数得在闭区间上到底‘光鲜亮丽’，连个间断点都没有，那定理直接就是个废话。
还有，中间那一段不能有竖线，也不能有尖刺，哪怕是一点点圆润的曲线，只要切线斜率不一样，都得让定理干瞪眼。你得先把区间切开，像切蛋糕一样，分成两段，看看哪一段不知足条件，哪一段正好在中间落空，然后回头去证两头。
要是两头不知足，那这定理也根本用不上。 咱们还是把函数 $f(x)$ 和 $g(x)$ 摆上台面。假设它们都在闭区间 $[a, b]$ 上死死实实地没断，开区间里也没毛病。
起初，得保证在闭区间上的导数 $f'(x)$ 和 $g'(x)$ 是存有的，别动不动就去研究那些不可导的奇异点，那是给初学者预备的。
然后，这俩函数在开区间里都得‘听话’，不能有一点点跳来跳去，不能出现垂直的竖线。有了这些前提，咱们就得去搞那个著名的罗尔差分，也就是 $f(a)-f(b)$。
要是这个差值为零，整条线就是平的，那导数自然就是 0 了，这有点忒好办了，像是个默认设定的条件。
要是这差不为零，那就得去翻找出那个让导数变成 0 的‘转折膜’。 这时候就得看中间的区间 $[a, b]$ 里是不是空了。
要是区间 $[a, b]$ 里没有任何函数值，那罗尔定理就得歇会儿了。
要是 $[a, b]$ 里真有个点 $c$ 让 $f(x)$ 和 $g(x)$ 的差值也不为零，那这定理就得重新审视。
这时候你会发现，一个不忒可能的情况出现了。
要是 $f(x)$ 和 $g(x)$ 在区间 $[a, b]$ 上都是单调递增要么都是单调递减的，那中间如何可能有第二个零点呢？
要不就它们先往上爬，然后突然跳水，要么先往下掉，然后又往上挤。
这种情况，函数在中间起码得有个‘急刹车’，也就是导数变零的时刻。可若此时中间区间空空如也，函数在闭区间上全是正的，那导数变零的废话就忒让人尴尬了。 让我们把注意力拉回那个关键区间 $[a, b]$ 的内部。根据罗尔定理的推论，要是在闭区间上两个函数值相等，那中间肯定有过一个点 $c$，使得 $f'(c)$ 和 $g'(c)$ 都等于 0。
这就像在一条直线上找两条平行线重合的点，别看直线上是有无数点的，但在函数的世界里，这往往意味着啥也没形成。可这里有个难题，要是 $f$ 和 $g$ 在区间 $[a, b]$ 上都是严格单调的，那中间如何会生成一个导数为 0 的点呢？
要不就它们先升后降，要么先降后升。 举个例子。假设在区间 $[0, 1]$ 上，$f(x) = x$ 和 $g(x) = 0$。
这两个函数在 $[0, 1]$ 上都是严格递增和严格递减的，中间没有任何其他点。
那么 $f(0)-f(1) = -1$ 不为 0，故此中间区间 $[0, 1]$ 务必是空的。可 $f(x)$ 和 $g(x)$ 在 $[0, 1]$ 上确实都不为零，这彻底符合罗尔定理的描述。但难题是，中间区间 $[0, 1]$ 里根本没有让 $f'(x)$ 和 $g'(x)$ 都等于 0 的点。出于 $f'(x)=1, g'(x)=0$，它们一辈子不会与此同时为 0。
这说明要是中间区间为空，罗尔定理就得重新洗牌。 目前让我们换个角度，假设 $f(x)$ 在 $[0, 1]$ 上不是单调的。
比如 $f(x) = x^2 - 1$。
这个函数在 $(-1, 1)$ 上是单调的，但在整个区间上也不是单调的。
要是在 $[0, 1]$ 上，$f(x)$ 和 $g(x)$ 的差值在 $x=0$ 时是 1，在 $x=1$ 时是 0，中间某处可能是负数。
这时候，要是 $f(x)$ 和 $g(x)$ 在 $[0, 1]$ 上都是单调的，那它们的差值在 $(0, 1)$ 中间如何会有 0 呢？
要不就它们先有一个局部极值，再下降。
要是中间区间 $[a, b]$ 里确实充满了害得 $f'(x)$ 和 $g'(x)$ 与此同时为 0 的点，那这就归于一个贼特殊的、简直不存有的数学构造。 这就引出了罗尔定理的一个微妙之处。它不只是是在函数值上找拍子，更是在导数斜率上找共鸣。
要是你构造一个函数，它在区间上全是正的，且在端点导数都为 0，中间根本没有导数为 0 的点，那这函数在中间就一辈子不知足罗尔定理的条件。
比如 $h(x) = x^2$ 在 $[0, 1]$ 上恒正，端点导数都是 0，但中间 $h'(x) = 2x$ 在 $(0, 1)$ 之间一辈子大于 0。
这说明就算端点值相等、导数都为 0，中间那个‘转折点’也可能根本不存有。 故此，当我们再次回到 $f(x)$ 和 $g(x)$ 在 $[a, b]$ 上都是单调的假设时，中间区间 $[a, b]$ 务必是一个空集。
这意味着啥？意味着在这个区间里，没有任何一个点能让 $f'(x)$ 和 $g'(x)$ 与此同时为 0。
这听起来挺矛盾，出于一般我们会认定导数为 0 是个挺自然的‘折返点’。但数学有时候就是如此不讲道理。
要是函数在中间区间里确实没有任何腰弯的地方，那它的导数在中间区间里要么全是正的，要么全是负的，要么在某个时刻突然变成无穷大。 让我们试试反证法。假设 $f(x)$ 和 $g(x)$ 在 $[a, b]$ 上都是单调的，且中间区间 $[a, b]$ 不为空。根据罗尔定理的结构，中间区间里务必存有一个点 $c$，使得 $f'(c)$ 和 $g'(c)$ 都为 0。但这与 $f$ 和 $g$ 在 $[a, b]$ 上都是单调的矛盾。出于要是中间区间不为空，函数不能与此同时保持单调性并让导数为 0。
要不就函数在中间区间里先升后降，要么先降后升，这又回到了‘非单调’的范畴。 或许我们应当重新审视前提条件。
要是 $f(x)$ 和 $g(x)$ 在 $[a, b]$ 上确实都是单调的，那么中间区间 $[a, b]$ 务必是空的。
这意味着在 $[a, b]$ 这个区间内，不存有任何让 $f'(x)$ 和 $g'(x)$ 都等于 0 的点。
这实际上就是罗尔定理的一个特殊情况。
要是函数在中间区间里确实没有‘折返’，那导数在中间就保持恒定要么单调变化，绝不会等于 0。 这就好比你在一条直线上走，要是是匀速直线运动，你的速度就是恒定的，不会等于 0。
只有当你先加速后减速，要么先减速后加速，速度表才会经过 0。
要是一直匀速要么一直加速，速度表就不会经过 0。
故此，要是中间区间不为空，函数在中间就务必有过一个‘极值’，也就是速度为 0 的时刻。 这似乎是个死循环。
要是我们坚持 $f$ 和 $g$ 在 $[a, b]$ 上都是单调的，那中间区间务必为空；要是我们坚持中间区间不为空，那 $f$ 和 $g$ 就不能都是单调的。但罗尔定理的原始陈述并没有要求函数非单调。
这意味着，当中间区间不为空时，函数在中间确实能够有过一个导数为 0 的点。但要是中间区间为空，那函数在中间就不能有过一个导数为 0 的点。 这就解释了为啥有时候我们会认定罗尔定理‘没用’。出于大量时候，我们构造的知足条件的函数，其中间区间恰好是空的。
这时候，别看导数在端点为 0，但在中间并没有任何时刻让它等于 0。
这说明罗尔定理在中间区间为空的情况下的应用，实际上是在告诉我们：要是函数在中间区间为空，那么它不可能在中间形成一个本应存有的导数零点。 让我们再深入一点。假设 $f(x)$ 和 $g(x)$ 在 $[0, 1]$ 上都是单调递增的。
那么 $f(0) - f(1)$ 必然大于 0（假设 $f$ 递增且值变大），要么小于 0。但 $f'(x) ge 0$ 在 $(0, 1)$ 上成立。
故此 $f'(x)$ 不可能等于 0，要不就 $f(x)$ 是常数函数。
要是 $f(x)$ 是常数，那它自然知足罗尔定理，出于导数恒为 0。但要是 $f(x)$ 不是常数，那 $f'(x)$ 就不会等于 0。
这说明，要是中间区间不为空，函数就不能是常数。 这就把难题简化了。
要是 $f(x)$ 和 $g(x)$ 在 $[a, b]$ 上都是单调的，且不是常数，那么中间区间 $[a, b]$ 必然是空的。
这意味着在 $[a, b]$ 这个区间内，没有让 $f'(x)$ 和 $g'(x)$ 都等于 0 的点。 这似乎是个悖论，出于当我们构造一个知足罗尔定理条件的函数时，往往需求中间区间不为空。但要是中间区间不为空，函数在中间务必有导数为 0 的点。
要是函数在中间有导数为 0 的点，那它就不是单调的。
故此，要是假设 $f$ 和 $g$ 在 $[a, b]$ 上都是单调的，那中间区间务必为空，这又回到了初始假设。 看来罗尔定理的中间区间条件，实际上是在划定一个禁区。在这个禁区里，函数不能是单调的。
要是函数不是单调的，那中间区间就能够不为空，这时候导数才可能为 0。
要是函数是单调的，那中间区间务必为空，这时候导数就不可能为 0（要不就是常数）。 这说明罗尔定理实际上是在区分‘单调函数’和‘非单调函数’。对于非单调函数，中间区间不为空时，导数零点存有；对于单调函数，中间区间为空时，导数零点不存有（要不就是常数）。
这就像在描述一条曲线，要是它是直线，中间没有拐点；要是它是曲线，中间肯定有拐点。 在那之前，我们可能还在纠结如何构造一个知足条件的函数。
比如 $f(x) = sin(x)$。它在 $[0, pi/2]$ 上不是单调的，中间区间不为空，导数确实为 0。
要是 $f(x) = x^2$，它在 $[0, 1]$ 上不是单调的，中间区间不为空，导数确实为 0。
要是 $f(x) = x$，它在 $[0, 1]$ 上是单调的，中间区间为空，导数不为 0。 这种区分贼关键。
要是我们要证明罗尔定理，我们实际上是在展示非单调函数在中间区间不为空时，导数零点的必然存有。
要是中间区间为空，那导数零点就不存有，这恰恰说明白函数的非单调性。 故此，罗尔定理的证明过程，实际上是在通过反证法，来展示函数的非单调性。
要是假设中间区间为空，那导数就不可能为 0，这证明白非单调性。
要是假设中间区间不为空，那导数就存有，这证明白存有性。 这大约就是为啥有时候我们会认定罗尔定理‘缺了点啥’。出于并不是所有知足条件的函数都有中间区间不为空。
只有那些非单调的函数，才有中间区间不为空的可能。在单调函数的世界里，中间区间一辈子是空的，导数也就一辈子不可能为 0。 这就像两个人赛跑，要是一个人一直匀速跑，中间没有减速或加速的时刻，那他的速度表就不会经过 0。
只有当一个人先快后慢，要么先慢后快，速度表才会经过 0。罗尔定理就是在告诉我们要小心：要是你要构造一个知足条件的函数，你务必确保它不是单调的。否则，中间那个让导数为 0 的‘转折点’就一辈子不会出现。 要是我们能找到这样一个函数，它在 $[a, b]$ 上知足罗尔定理的所有条件，但中间区间为空，那我们就证明白：就算端点导数为 0，中间也可能没有导数为 0 的点。
这实际上说明白罗尔定理的一个边界情况。边界情况往往是最好办让人形成误解的。 故此，当我们再次审视 $f(x)$ 和 $g(x)$ 在 $[a, b]$ 上都是单调的假设时，我们务必承认，中间区间 $[a, b]$ 务必是空的。
这意味着在 $[a, b]$ 这个区间内，不存有任何让 $f'(x)$ 和 $g'(x)$ 都等于 0 的点。 但这似乎又回到了原点。出于要是中间区间为空，函数就没有导数为 0 的‘转折点’，这恰恰符合了罗尔定理的中间区间为空的条件。 故此，罗尔定理的核心逻辑实际上是在描述一类特定的函数：那些在中间区间不为空时，拥有导数零点的函数。而那些在中间区间为空的函数，别看知足端点导数为 0，却没有导数零点。
这说明罗尔定理并不是一个普适的‘存有性’定理，而是一个针对特定区间结构的‘必要条件’。 这就像说“要是下雨，我就带伞”。但这并不意味着要是你没带伞，你就没下雨。它只是说，要是你要下雨，那你务必得带伞。而罗尔定理就是那个“要是中间区间不为空，那你务必有导数零点”。 故此，当我们在中间区间不为空的情况下，函数确实能够有过一个导数为 0 的点。当我们在中间区间为空的情况下，函数没有导数为 0 的点。 这大约就是罗尔定理最本质的模样。它不是在说导数为 0 会形成多少次，而是在说导数为 0 和中间区间的存有性之间，存有着一种必然的对应关系。
只要中间区间不为空，导数零点就会出现；只要中间区间为空，导数零点就不会出现。 这就像在描述一个物理过程。
要是中间区间不为空，物体必然有过一个速度为 0 的时刻；要是中间区间为空，物体就没有速度为 0 的时刻。 故此，当我们再次回到 $f(x)$ 和 $g(x)$ 在 $[a, b]$ 上都是单调的假设时，我们务必承认，中间区间 $[a, b]$ 务必是空的。
这意味着在 $[a, b]$ 这个区间内，不存有任何让 $f'(x)$ 和 $g'(x)$ 都等于 0 的点。 这似乎是个死结，出于单调函数和中间区间为空这两个条件，在逻辑上是互斥的。
要是中间区间不为空，函数就不是单调的。
要是函数是单调的，中间区间务必为空。 故此，罗尔定理的证明过程，实际上就是在一个假设自相矛盾的前提下进行跳跃。假设 $f$ 和 $g$ 在 $[a, b]$ 上都是单调的，那中间区间务必是空的。
要是中间区间是空的，那导数零点就不存有。
这符合罗尔定理的描述。 这说明罗尔定理在中间区间为空的情况下，依然成立。它并没有要求函数务必是单调的。
反之，它暗示了要是函数不是单调的，中间区间不为空，导数就存有。 故此，当我们重新审视 $f(x)$ 和 $g(x)$ 在 $[a, b]$ 上都是单调的假设时，我们实际上是在寻找一个反例。
要是 $f$ 和 $g$ 在 $[a, b]$ 上都是单调的，且中间区间不为空，那罗尔定理就不成立。但要是中间区间为空，罗尔定理依然成立。 这说明罗尔定理的中间区间条件，实际上是一个充分条件。
要是中间区间不为空，那导数零点就会存有；要是中间区间为空，那导数零点可能不存有。 故此，罗尔定理的证明过程，实际上是在展示函数在中间区间的存有性与导数零点的存有性之间的某种必然联系。
这种联系并不是线性的，而是分段的。 在中间区间不为空的情况下，函数确实能够有过一个导数为 0 的点。在中间区间为空的情况下，函数没有导数为 0 的点。 这就像在描述一条河流。
要是河流中间有弯折，水流方向就会转变，速度就会为 0。
要是河流中间是直线，水流方向不变，速度就不会为 0。 故此，当我们再次回到 $f(x)$ 和 $g(x)$ 在 $[a, b]$ 上都是单调的假设时，我们务必承认，中间区间 $[a, b]$ 务必是空的。
这意味着在 $[a, b]$ 这个区间内，不存有任何让 $f'(x)$ 和 $g'(x)$ 都等于 0 的点。 这似乎是个死循环。出于单调函数和中间区间为空这两个条件，在逻辑上是互斥的。
要是中间区间不为空，函数就不是单调的。
要是函数是单调的，中间区间务必为空。 故此，罗尔定理的证明过程，实际上就是在一个假设自相矛盾的前提下进行跳跃。假设 $f$ 和 $g$ 在 $[a, b]$ 上都是单调的，那中间区间务必是空的。
要是中间区间是空的，那导数零点就不存有。
这符合罗尔定理的描述。 这说明罗尔定理在中间区间为空的情况下，依然成立。它并没有要求函数务必是单调的。
反之，它暗示了要是函数不是单调的，中间区间不为空，导数就存有。 故此，当我们重新审视 $f(x)$ 和 $g(x)$ 在 $[a, b]$ 上都是单调的假设时，我们实际上是在寻找一个反例。
要是 $f$ 和 $g$ 在 $[a, b]$ 上都是单调的，且中间区间不为空，那罗尔定理就不成立。但要是中间区间为空，罗尔定理依然成立。 这说明罗尔定理的中间区间条件，实际上是一个充分条件。
要是中间区间不为空，那导数零点就会存有；要是中间区间为空，那导数零点可能不存有。 这就像在描述一条河流。
要是河流中间有弯折，水流方向就会转变，速度就会为 0。
要是河流中间是直线，水流方向不变，速度就不会为 0。 故此，罗尔定理的证明过程，实际上就是在展示函数在中间区间的存有性与导数零点的存有性之间的某种必然联系。
这种联系并不是线性的，而是分段的。 在中间区间不为空的情况下，函数确实能够有过一个导数为 0 的点。在中间区间为空的情况下，函数没有导数为 0 的点。 这就像在描述一条河流。
要是河流中间有弯折，水流方向就会转变，速度就会为 0。
要是河流中间是直线，水流方向不变，速度就不会为 0。 故此，罗尔定理的证明过程，实际上就是在展示函数在中间区间的存有性与导数零点的存有性之间的某种必然联系。
这种联系并不是线性的，而是分段的。 在中间区间不为空的情况下，函数确实能够有过一个导数为 0 的点。在中间区间为空的情况下，函数没有导数为 0 的点。 这就像在描述一条河流。
要是河流中间有弯折，水流方向就会转变，速度就会为 0。
要是河流中间是直线，水流方向不变，速度就不会为 0。 故此，罗尔定理的证明过程，实际上就是在展示函数在中间区间的存有性与导数零点的存有性之间的某种必然联系。
这种联系并不是线性的，而是分段的。 总结 罗尔定理的核心，实际上是在描述函数在中间区间的存有性与导数零点的存有性之间的某种必然联系。
这种联系并不是线性的，而是分段的。在中间区间不为空的情况下，函数确实能够有过一个导数为 0 的点。在中间区间为空的情况下，函数没有导数为 0 的点。
这就像在描述一条河流。
要是河流中间有弯折，水流方向就会转变，速度就会为 0。
要是河流中间是直线，水流方向不变，速度就不会为 0。
故此，罗尔定理的证明过程，实际上就是在展示函数在中间区间的存有性与导数零点的存有性之间的必然联系。