介值定理证明怎么开-介值定理证明如何开场

介值定理（Intermediate Value Theorem），也就是俗称的“介值定理”或“插值定理”，听起来像是个死板的数学公式，但老手们把它琢磨得比开垦荒原还有趣。想象一下，你手里握着两块一模一样的木板，一块贴着头顶，一块贴在地面。中间夹着一条看不见的线，往上推，往下拉，总能让它碰上你的木板。
这条线总能穿过你手中的木板。
这就是介值定理，它不扯啥严谨的定义，就凭这种直觉就认定它靠谱。 实际上，这玩意儿最吸引人的地方在于它把连续的样子描述得清清楚楚。在数学圈子里，我们常把“连续”两个字当成形容物体的形容词，用来描述那些看起来像河流、像山脉、像波浪的形态。
比如看图，一条线从上到下慢慢变，没有突然断掉、没有出现断层、也没有跳个几倍又突然停住，这种状态就叫连续。介值定理专门研究的就是这种连续的路径。 拿个例子来说，假设你在区间 $[a, b]$ 上画了一条曲线，这条线是连着的，没有跳跃。你画一个水平线，高度是 $c$。
这时候你会遇到两种情况：要么整条线都在你的头顶上，要么整条线都埋在地底下，要么中间那根线正好穿过你的水平线。
要是中间穿过，那就意味着在这个高度 $c$ 上，曲线上的点就是某个具体的 $x$ 值。
这个 $x$ 值就是你找到的介值。 这里有个细节要注意，$c$ 务必严格在曲线两个端点之间。
比如曲线从高度 10 走到高度 20，那 $c$ 能够是 15，也能够是 18.5，就连更离谱的数字 150，只要它严格在 10 和 20 之间，中间那段区域传得开。
要是 $c$ 大于 20 要么小于 10，那这条曲线就彻底翻过了你的水平线，中间根本没有再碰过的机会。
这时候定理就说“假了”，但这恰恰说明白定理的边界感——它只在合理的连续范围内生效。 再说说它的历史背景，实际上和一条著名的铁路线相关。1870 年左右，挪威工程师卡尔·韦登·克拉夫斯特（Carl Weatherby Kravets）在研究火车轮子如何转的时候，发现了一件事。火车轮子转一圈，轨道上的点 $N$ 和点 $S$ 会相对运动。
要是轮子转了整整一圈，点 $N$ 回到点 $S$ 的位置，那意味着在轮子边缘某处，点 $N$ 刚好回到了点 $S$ 的上方。但这跟点 $N$ 到底滑到了点 $S$ 的哪个具体刻度上没关系。
不过，在轮子转半圈的时候，点 $N$ 确实会经过点 $S$ 的上方。
这就好比你在半路看到点 $N$ 正对着你，别看你不知道它具体在哪，但肯定是在你的视线范围内。
这就是介值定理的雏形。 不过，这个原始例子有个小毛病。火车轮子转半圈，点 $N$ 确实经过点 $S$ 的上方，但这并不代表它刚好“落地”在点 $S$ 一点上。我们要强调的是，在轮子转半圈的过程中，点 $N$ 经过的点 $P$，在距离点 $S$ 的距离上，是被夹在 0 和 $2pi$ 之间的。
也就是说，$P$ 的横坐标（相对于点 $S$）肯定在 $[0, 2pi]$ 这个区间里。
这正好对应了介值定理的区间 $[a, b]$。 还有一个有趣的视角，是把它和二分法联系起来。二分法是用来解方程的，比如想看看 $sqrt{2}$ 到底是个啥数。你猜它是 1.1，再猜 1.2，发现都不对。
接着猜 1.15，还是不对。你一层一层往中间砍，每次把范围减半。
这个过程就像砍竹子，一刀下去断成两半，你选哪一半持续砍。
只要你的推测区间充足小，比如长度小于 $10^{-100}$，那最终剩下的那道“半根竹子”，肯定就是精确到小数点后几十位的数。 说到这个，你得知道，二分法之故此能行，全靠二分法的本质。二分法每次执行，都是把原难题缩小一半。
只要把范围缩小到原始范围的一千万分之一，误差就管住在这一千万分之一以内。
这就像是在猜数字，从 1 到 100，猜 50，猜 51，猜 50.5……你每猜一个，就把猜错的箭头移开一半。直到箭头简直缩成一根针尖，你才能断定那根针尖就是对答案。 实际上，介值定理的核心逻辑贼朴素。
只要数据是连续变化的，就不存有那种“突然消亡”要么“凭空出现”的情况。中间那个“夹在中间”的状态，是必然存有的。
要是一条线从 10 变成 20，中间不可能跳个空档出目前 30，也不可能断断续续地在 15 和 25 之间乱转。它务必是一条平滑的、没有曲折的线。
这就像是一棵大树，从根部往上长，中间不会凭空长出几根树枝再突然变直，而是整根杆子是顺着长出来的。 自然，数学界对“连续”这个词的定义有时挺让人头疼的。
有时候它指完美的光滑曲线，有时候它指略微有点折角的线段，有时候就连准一点点的抖动，只要那抖出来的局部在工夫轴上简直没停留。但实际上，只要你不忒介意那些极小得不能再小的抖动，这些边缘情况对定理的证明简直没影响。 还有一个点，介值定理里的 $c$ 是曲线上所有点的纵坐标构成的集合，也就是 $c = { y mid y = f(x) text{ 对某个 } x in [a, b] text{ 成立} }$。
这个集合一般是不连续的。
比如 $f(x) = |x|$，在区间 $[-2, 2]$ 上，$c$ 的集合就是 $[0, 2]$，这是个闭区间，是连续的。但要是是 $f(x) = x sin(1/x)$（别看定义域要挖去一些点），要么 $f(x) = x sin(1/x) + sin x$ 这种带震荡的函数，它们的 $c$ 值集合可能挺复杂，就连出现大量不连续的“缝隙”。
这时候，你画水平线 $y=c$，可能会穿过 $c$ 的集合里的那些孤立的点，也可能彻底找不到这样的点。但这不影响定理本身，出于定理说的是“存有”，只要有一个点存有就行，哪怕只有几个。 有时候你会问，为啥这个定理在物理和工程里如此常用？出于现实世界里的运动，绝大多数都是连续的。人的心跳、水流、弹簧的伸缩、电场的分布，这些现象在宏观尺度上都表现出连续性。介值定理就是描述这种现实的数学语言。它告诉你，只要你的模型是连续的，那么中间状态就一定存有。
要是不连续，那可能确实就像你说的，中间那个点可能根本不存有。 最终，介值定理别看好办，但它的证明方式却挺“硬核”。
一般的证明方式是构造一个从 $(c, c)$ 到 $(b, f(b))$ 的函数，再从 $(a, f(a))$ 到 $(c, c)$ 的函数，然后利用介值定理自己证明这个函数存有。
这就形成了一个无限嵌套的循环。要打破这个循环，唯一的方式是证明当区间长度缩到充足小时，函数值的变化量充足小，以至于它不可能在 $c$ 处“碰到”某个不存有的点，要么通过连续性直接推导出 $f(x)$ 务必等于 $c$。 故此，当你再次看到介值定理的时候，别只盯着那个公式。把它看成一条在工夫轴上不断延伸的线，看成是无数个细小的半圆拼起来的波浪。
只要这串波浪是连着的，你就一定能猜到我手里那块木板的另一端。
这就是介值定理的魅力，好办、直观、无处不在。