← 回到目录
第 1 幕
换一个问法：整段区间上呢
左极限、右极限、间断点、无穷小——回头看看，全是"在 x₀ 这一点"的事。
现在把镜头拉远：一个函数在整个 [a, b] 上都连续。光凭这一句，我能免费得到什么结论？
整段不断、两个端点也在里面——就这么一个前提
答案是四条。而且这四条都不需要你知道函数长什么样，也不需要它可导、有公式——只要"闭区间 + 连续"这六个字。
这一页要讲的，是数学里少见的白给：
你只交出六个字，它还你四个保证。
第 2 幕
保证一：它跑不出去（有界）
存在两条水平线，把整条曲线夹在中间。听起来像废话，但它是后面三条的地基——一个能跑到无穷的函数，谈最大值毫无意义。
无论曲线怎么扭，总有一个盒子能装下它
工程上的意思很直接：你的计算不会溢出，你的量程可以事先定下来。
第 3 幕
保证二：最高点真的站得住（最值）
这一条比上一条强，而且强在一个很容易被忽略的地方。
"有上界"只是说没人超过某条线。"有最大值"是说：真有一个点，站在最高处。这两件事不一样。
不但有天花板，还有一个点顶到了天花板
⚠️ 有上界 ≠ 有最大值。
f(x) = x 在 (0, 1) 上，上界是 1，可谁也够不着 1——最大值不存在。
最值定理说的是"够得着"，这才是它的分量所在。
"有上界"和"有最大值"，差在哪一个字上？
差在取不取得到。
上界只要求"没人越过这条线"，最大值要求"真有一个点站在线上"。
f(x)=x 在 (0,1) 上有上界 1，却没有最大值——1 那个位置压根不在定义域里。
第 4 幕
⚠️ 支点：那六个字，删哪个都塌
「闭区间上连续」——这两处是承重墙。下面三个开关，你亲手拆一次看看。
三个结果摆在一起，结论只有一个：
「闭」和「连续」各挡一种死法：
「闭」把端点关进定义域，挡住"够不着"；
「连续」把中间焊死，挡住"跑掉"。
删任何一个，四条保证一起失效。
第三种情形是闭区间，为什么也塌了？闭区间不是已经把端点关进来了吗？
端点关进来了，可中间漏了。
在 x=0 处不连续，函数就能在那附近窜到任意高——闭区间管得住两头，管不住中间的窟窿。
这也是为什么两个条件缺一不可，而不是"闭"更重要。
第 5 幕
保证三：中间一定有个根（零点定理）
如果 f 在 [a,b] 上连续，而且两端异号（f(a)·f(b) < 0），那么中间至少有一个点让 f = 0。
从地下走到地上，中途必然踩过地面
白话就是这么回事，而且这句白话就是证明的直觉：不许瞬移，就只能穿过去。
注意这条定理的脾气，上一页刚说过：
它只告诉你根存在，一个字也不说根在哪。
——和「单调有界」是同一类：存在性定理。
零点定理能告诉你根的位置吗？它和上一页的单调有界准则是同一类东西吗？
不能，而且是同一类。
两者都只保证"答案存在"，不给答案本身——这类叫存在性定理。
但"存在"绝不是废话：下一幕就靠它，把根真的找出来。
第 6 幕
它值钱在哪：你天天在用的二分法
既然"中间一定有根"，那就有了一个笨到不会出错的找法：
对半砍。算中点的函数值，看它和哪一端异号，就留哪一半。
剩下那一半里仍然一定有根（零点定理再用一次）。如此往复。
拿 x³ − x − 2 = 0 在 [1, 2] 上试试。f(1) = −2，f(2) = 4，异号，所以里面一定有根：
橙色区间是当前还没排除的范围
每砍一刀，区间长度减半，误差上界就是 (b − a) / 2ⁿ。这是一个一阶收敛的方法——回想上一页那张对数刻度的柱图，你已经知道"几阶"意味着什么了。
二分法凭什么一定能收敛到根上？
全部合法性来自零点定理这一条。没有它，对半砍只是碰运气。
二分法每一步都要"再用一次"零点定理。用在哪儿？
用在留下的那半个区间上。
因为新区间的两端仍然异号、函数仍然连续，所以它里面依然保证有根——这一步不成立的话，你砍下去就可能把根扔掉了。
第 7 幕
保证四：连续函数不能跳级（介值）
零点定理其实只是一个特例。把它推广一下：
f 在 [a,b] 上连续，那么 f(a) 和 f(b) 之间的每一个值，都会被取到。
把横线放在两端值之间的任何高度，它都躲不开
换个说法：连续函数不能跳级。从 3 分涨到 90 分，中间每一个分数它都当过。
回头看第二页：跳跃间断点干的正是"跳级"这件事。
所以那种函数拿不到这条保证——它可以从 0 直接蹦到 12，中间的 6 从未发生过。
这一页和那一页，说的是同一件事的两面。
一根杆子，左端 20℃，右端 80℃，温度沿杆连续分布。杆上一定存在 55℃ 的点吗？
一定存在。55 夹在 20 和 80 之间，介值定理直接给结论。
但它同样不告诉你在哪儿——要找到它，还得二分。
⚠️ 如果杆子是两段焊起来的、温度在焊缝处跳变，这个保证立刻作废。
第 8 幕
整节话，就这一行
- 有界跑不出去，量程可以事先定死
- 有最值最高最低不只是有，而且够得着
- 有零点两端异号，中间必有根——二分法的全部底气
- 介值不能跳级，中间每个值都当过
交出「闭区间 + 连续」六个字，白拿这四条。
删掉任何一个字，四条一起塌。
今 天 的 任 务
八道，第 5、6 题是分水岭
凡是用定理的题，都先写清楚三件事：在哪个区间、是否连续、条件满不满足。跳过这三步的答案不算数。
- f(x) = 1/x 在 (0, 1] 上连续吗？有界吗？两问的答案一个"是"一个"否"。说清楚为什么这不矛盾
- f(x) = x 在 (0, 1) 上：有上界吗？有最大值吗？把第 3 幕那条区分用出来
- 证明 x³ − x − 2 = 0 在 [1, 2] 内有根老老实实写三步：连续、异号、结论。别跳
- 接上题，手算二分法 3 步，写出根所在区间和误差上界对着第 6 幕那个滑块核一下
- ⚠️ f(x) = 1/x，f(−1) = −1，f(1) = 1，两端异号。那么 (−1, 1) 内一定有根吗？先答，再画图。这题不动手画的人几乎都会答错
- ⚠️ 一个函数在 [0, 1] 上有界，它一定取得到最大值吗？举例说明提示：有界是真的，缺的是另一个条件
- 一根杆左端 20℃、右端 80℃，温度连续分布。杆上一定有 55℃ 的点吗？如果杆是两段焊起来的呢？两问分开答
- 二分法要把误差从 0.5 降到 10⁻⁶，大约要迭代多少次？用 (b−a)/2ⁿ 解一下。答案是个二十上下的数
第 5 题是全章最经典的陷阱：两端确实异号，可它在 x=0 处根本不连续，定理压根用不上。画一张图就全清楚了——而不画图、只看"异号"就下结论的人，正是这条定理最想拦住的人。
对完答案，每道错题旁只写一句：
我是没检查连续、没检查区间是闭是开、把"有界"当成了"有最值"，还是纯算错？