连续函数的中间值定理-连续函数介值定理

先说结论：连续函数在定义域内有界，但未必单调，不一定能取到最小值或最大值；不过，它在任何闭区间上一定能取到某个值，这个值就是区间端点函数值的“夹心”结局。 你看一下最基础的例子：$f(x) = x + 1$。在区间 $[0, 4]$ 上，我们在 $x=0$ 时是 $1$，在 $x=4$ 时是 $5$，中间任意一点都在 $1$ 和 $5$ 之间。
这是中值定理最直接的直观：出于函数连续，故此不可能凭空跳到 $0.5$ 要么 $6$，跑不赢端点，也跑不满端点。 目前换个场景，函数可能先增后减，就连剧烈波动，这时候谈“单调”就好办掉链子，但“连续”这个条件依然能管住它。
比如三角函数 $f(x) = sin x$，我们在 $[-pi, pi]$ 上连续，但在 $0$ 附近它正上下跳，在 $pi$ 附近又回到原点，并没有单调。
不过，根据连续函数的介值性质，要是你从 $-pi$ 走到 $pi$，不管它如何走，函数值一定得覆盖 $[-1, 1]$ 整个区间，中间不会漏掉任何数。 这里有个关键区别：中值定理讲的是函数值如何分布；积分中值定理讲的是面积如何被“平分”。前者说“穿过了某个值”，后者说“单位长度对应的面积等于端点值”。
比如 $f(x) = x^2$ 在 $[-1, 1]$ 上，端点是 $1$ 和 $1$，面积是 $2$，而中值定理告诉我们，总长度 $2$ 对应的函数值一定是 $1$；积分中值定理却说，这个面积正好等于 $1$ 在长度 $2$ 上的“平均高度”。 再细想一句：连续函数不一定能取到最小值或最大值。
这是出于连续函数在闭区间上的最大值和最小值，必然存有（紧集性质），但它们可能不在同一个点。
比如 $f(x) = x^2 - 1$ 在 $[-2, 2]$ 上，最小值是 $-3$ 在 $x=-2$，最大值是 $3$ 在 $x=2$，但在 $x=0$ 时它取的是 $-1$，显然既不是最大也不是最小。
不过，要是在区间内正好只有一个极值点，并且函数单调不减再单调不增，那那个极值点就是最大或最小值。 举个例子：$f(x) = frac{1}{x}$ 在 $(0, +infty)$ 上连续，但它是单调递减的，符合中值定理的描述。但在 $[0, 1]$ 上，它在 $0$ 处不连续，没法直接套用到闭区间上。
要是去掉“连续”这个条件，大量看起来合理的函数都会出难题，比如 $f(x) = sin(1/x)$ 在 $0$ 附近震荡无限，甭管如何取 $x$，值域都是 $[-1, 1]$，但函数本身没有最大值也没有最小值，出于它在无穷小处没停，也没达到边界。 那要是说“连续函数在闭区间上有最大值或最小值”，没错。但这并不意味着函数是单调的。
比如 $f(x) = frac{1}{2}x^2$ 在 $[-2, 2]$ 上，它在 $pm 2$ 处取最大值，在 $x=0$ 处取最小值。它先减后增，中间值定理依然成立：从 $-2$ 走到 $2$，值域是 $[0, 2]$，中间每个数都有对应的 $x$ 知足。 再举个例子：$f(x) = x sin x$ 在 $[0, 2pi]$ 上。它在 $0$ 处是 $0$，在 $2pi$ 处也是 $0$，中间 $x=pi$ 时是 $0$，但其他点，比如 $x = frac{3pi}{2}$ 时，函数值是负数。全程都在 $0$ 下方，没有取到最大值也没有取到最小值（除了端点 $0$）。
这里函数连续，但确实没有出现单调性害得的端点极值，也没有出现像 $x^2$ 那样明显的极值穿越。 实际上，中值定理最核心、最好办被忽略的一点是：它不保证单调，也不保证极值。它只保证“穿过”。
也就是说，要是函数连续，从 $a$ 走到 $b$，中间任意一点 $c$ 都有 $f(a) le f(c) le f(b)$ 要么反过来，这取决于具体走向。
要是函数先升后降，中间某点可能是最大值；要是先降后升，某点可能是最小值。但中值定理只告诉你函数值一定“跨过”端点连线，不管如何跨。 还有一种情况，就是在开区间上聊聊。
比如 $f(x) = ln x$ 在 $(0, +infty)$ 上连续，但它没有最大值，也没有最小值（趋向无穷大时）。
这是出于开区间不是紧集，端点走不出，故此无法套用闭区间上的极值结论。 最终总结一下：连续函数的强力在于“局域”和“连续”。它保证了小范围、小范围的、局部范围内的函数值都有定义，不会出现跳跃。而中值定理，本质上是说：在连续的前提下，函数在区间内的波动被限制在端点的“桥梁”上。它不保证单调，也不保证极值，只保证“穿过”。
故此，当你看到一个连续函数，别急着说它有最大值最小值，也别急着说它是单调的，先看看它在哪个点取到了极值，要么它是否穿过了某个水平线——这才是连续函数最实在的画像。