高阶导数介值定理-高阶导数介值定理

别急着去背“要是连续在某区间取两个值”，那是给没吃过苦头的学生预备的。高阶导数介值定理要是真像教科书那样写出来，显得多像机器人啊。
那玩意儿实际上就一句话：你哪怕把函数画得再复杂，只要它连续，它在两个点之间肯定能“偷个懒”——要么更准地说，它总得能取到中间某个点的值。
这听起来有点玄乎，但你接着往下看，你会发现它写得格外接地气，跟咱们平时聊家常没半点二毛。 常有人盯着 $f''(x)$ 要么 $f^{(n)}(x)$ 这些高阶导数干瞪眼。
实际上高阶导数介值定理的核心根本没变。它的意思是，甭管导数算出来是几阶，只要函数本身是连着的（没有断崖、没有裂口），你就指望它能跨过中间的某条线。
这就像是一个玩“连连看”的人，他手里拿着两个气球，一个红一个蓝，中间不知道把哪位放哪。他只要保证气球是捏在一起的，那肯定得有一个气球在“夹层”里，要么一个气球在“夹层”外面，要么……两个都夹在中间。
这就是介值定理在说。 咱们不整那些虚头巴脑的“黎曼和”要么“柯西定理”了。直接看例子，比如一个经典的 $f(x)$ 变成了三次方。你算出来 $f''(x)$ 是个抛物线，$f'''(x)$ 是个直线要么常数。
这玩意儿如何体现“介值”？实际上例子忒好办，直接上那个最典型的例子：$f(x) = x^3$。在区间 $[-1, 1]$ 上，你先看看二阶导数。$f'(x) = 3x^2$，$f''(x) = 6x$。
这就够了。在 $x=-1$ 时，$f''(-1) = -6$；在 $x=1$ 时，$f''(1) = 6$。数学家的眼是雪亮的，哎，-6 和 6 中间缺了啥？肯定缺了 0。
那 0 对应的 $x$ 是多少？$6x=0$，哎，得是 $x=0$。0 在 $[-1, 1]$ 中间，稳得挺。 再换个口味，看看 $f(x) = x^2 sin(1/x)$ 这种略微有点毛边的情况。它在 0 附近特别爱折腾。算二阶导数时，你会发现它就连发散，要么变得特别复杂。
这时候要是硬套理论，可能会认定“这玩意儿如何都没介值啊？”。但别急，高阶导数介值定理一般针对的是连续可导函数（即一阶导数连续）。对于 $x^2 sin(1/x)$ 这种，它在 0 附近别看不是一阶导数连续，但二阶导数可能就不值钱了。
这时候你就得回头去看一阶导数。$f'(x)$ 在 0 附近别看震荡，但它是有界的，并且它是连续函数（在 0 点能够定义好极限）。
既然它连续，在 $[-0.1, 0.1]$ 之间取值，那它总不能一辈子跳过一个固定的水平线吧？它肯定能碰到，要么穿过。 哪怕是 $n=4$ 阶导都算上，这玩意儿也没戏。
比如求 $f(x) = e^x$ 在 $0$ 到 $1$ 的 4 阶导。$f(x)$ 是 $e^x$，$f'(x)$ 还是 $e^x$，$f''(x)$ 还是，$f'''(x)$ 还是，$f^{(4)}(x)$ 还是 $e^x$。在 $[0, 1]$ 上，$e^x$ 从 1 变到 $e approx 2.718$。
这中间肯定有个值，等于 $1.4$ 啊。别看它是个单调递增函数，但它从一个值跳到了另一个值，中间自然经过了所有介于两者之间的数。高阶导数介值定理在这里还不起功能，出于它本来就是单调的，没“肝”过弯。真正的了得的是那些有“弯”的函数，比如 $f(x) = sqrt{x}$。在一阶导数 $1/(2sqrt{x})$ 处，它在 0 处不是解析的，但有界。在二阶导数 $-1/(4x^{3/2})$ 处，它是负的，且趋向于负无穷。
那在 $x=1$ 处是负的，但在 $x=0.01$ 处它是个极小的负数。
这俩负数中间肯定夹住一些负数了。
这就够了。 有人可能会说，高阶导数介值定理的核心不就是“连续函数取中间值”吗？对，废话。但为啥它叫这个名字？出于有时候，就算高阶导数本身存有且连续，你依然可能取不到某个值。
比如 $g(x) = x^2 + x + 1$，它的二阶导是 2。在 $[0, 1]$ 上，$g''(x)$ 恒等于 2。
那你取到 2 了吗？自然，恒等于 2 自然等于 2。再比如 $h(x) = sin(x)$，二阶导是 $-sin(x)$。在 $[0, pi/2]$ 上，$h''(x)$ 从 0 变到 $-1$。
那有没有可能取到 0.5？有。$-sin(x)=0.5 implies sin(x)=-0.5$。在 $[0, pi/2]$ 上，正弦都是正的，故此 $-sin(x)$ 都是负的，不可能取到 0.5。 这就有点意思了。高阶导数介值定理并没有说“高阶导数一定要取到所有值”。它只是说，要是两个高阶导数 $A$ 和 $B$ 存有，并且函数是连续的，那你总能在某个点取到介于 $A$ 和 $B$ 之间的值。
这里有个关键点：$A$ 和 $B$ 不一定是函数值，它们务必是“某点上的函数值”要么“导数在某点的值”。
要是 $A$ 和 $B$ 是两个不同的点上的 $f(x)$ 值，那自然有 $x$ 使得 $f(x)$ 在它们之间。
要是 $A$ 和 $B$ 是 $f^{(n)}(a)$ 和 $f^{(n)}(b)$ 的值，那定理保证在 $(a, b)$ 存有 $x$ 使得 $f^{(n)}(x) = (A+B)/2$。 这就好比两个人，一个人说“我今天心情不好”，另一个人说“我昨天心情挺好”。根据介值定理，在今天和昨天这两个状态之间，肯定有一个人的心情介于这两人心情之间。别看他们心情可能不连续，但在这个区间里，总有一个人的心情是“中间状态”。至于具体是多少，哪位也不知道，但肯定存有。 举个例子，设 $f(x) = x^3 - 3x$。 在 $x=0$ 处，$f(0)=0$。 在 $x=1$ 处，$f(1) = 1 - 3 = -2$。 在 $x=2$ 处，$f(2) = 8 - 6 = 2$。 根据介值定理，$f(x)$ 在 $[0, 2]$ 上肯定能取到 $-2$ 到 $2$ 之间的任意值。
比如 $x=0.5$，$f(0.5) = 0.125 - 1.5 = -1.375$。
这个值在 $(-2, 2)$ 之间。 目前看二阶导数。$f'(x) = 3x^2 - 3$，$f''(x) = 6x$。 在 $x=0$ 时，$f''(0) = 0$。 在 $x=1$ 时，$f''(1) = 6$。 在 $x=2$ 时，$f''(2) = 12$。 这两个值分别是 0, 6, 12。
那在 $[0, 2]$ 之间，$f''(x)$ 取值 0 到 12 之间的所有数吗？自然。
比如 $x=0.5$，$f''(0.5) = 3$。 再看四阶导数。$f'''(x) = 6$，$f^{(4)}(x) = 0$。 在 $x=0, 1, 2$ 处，四阶导数都是 0。
那在区间内是否存有非零的四阶导数？没有。出于 $f^{(4)}(x)$ 恒为 0。 这时候你可能会纳闷，高阶导数介值定理如何限制了如此死？出于它有个前提：函数务必连续且定义域内某阶导数存有。
要是某个阶数导数在整个区间上都恒为常数，那自然没有“跳跃”的中间值可选。但这不影响定理本身。定理说的是：要是存有两个值 $u, v$，且 $f^{(n)}(a)=u, f^{(n)}(b)=v$，那么在 $(a, b)$ 内起码存有一个 $x$ 使得 $f^{(n)}(x) = (u+v)/2$。
要是 $u=v=0$，那 $(u+v)/2 = 0$，而 $f^{(n)}(x)$ 恒等于 0，故此自然等于 0。定理并不要求中间值务必“非零”要么“变化”。它只要求存有性。 故此啊，高阶导数介值定理这东西，别记成“高阶导数算出来务必是个怪数”。它就是个“存有性承诺”。
只要函数连着，只要两个端点值定了，中间就藏着一个“折中点”，并且这个“折中点”有可能是高阶导数本身，也可能不是。它只是说，这个世界上一定存有一个个体的高阶导数值，介于这两个端点值之间。至于这个数值具体是多少，是 10，还是 -50，还是 0，我们得自己去算。但逻辑上，不可能“跳”那会儿，也不可能“跳过”。它得“过”。 这就解释了大量数学系学生的纳闷。
那会儿认定高阶导数介值定理是吓死人的硬约束，目前才明白，它只是个温柔的提醒：别忒执着于某个特定的高阶导数值是否为零或正负，只要函数连起来，中间一定有“坑”要么“山”，要么只是是“高度”的过渡。
哪怕高阶导数算不出来，那个定理也没说它“不存有”，它只是说它在区间内“活跃”着。 最终总结一下，高阶导数介值定理就是那个“保证桥梁存有”的定律。它不保证桥梁有多高，不保证桥中间是不是车水马龙，它保证在两个端点之间，一定有一个点，它的高度（在这个维度下）介于两端。连点都没跳，就是恒等。连高度都没变，就是常数。但只要函数是连续的，这个“介于”的律法就绝对生效。
这就好比在世界上最窄的桥，两头各有一块石头，中间那根铁链，肯定得是连着的，哪怕它只是晃了两晃。而高阶导数介值定理，就是保证那个铁链在“高度”这一指标上，绝对能跨过中间的阈值。
不管你是算二阶还是四阶，不管函数多变态，只要连续，这个“跨过”的时机，那个“中间值”，它就在那里等着被你发现。