达布中值定理证明-中值定理达布证明

达布中值定理证明白导函数不一定连续，但一定知足某种特殊的“非跳跃”性质，只要这个函数是变动的，总能找到一条切线刚好经过函数图像上某一点。
这个结论实际上挺反直觉的，毕竟连续函数才是高中数学里的常态。记一下：设 $f(x)$ 在区间 $[a, b]$ 上可导，且导函数 $f'(x)$ 知足达布性质，那么对于任意 $c in (a, b)$，总存有一点 $x_0 in [a, b]$，使得 $f(x_0) - f(a) = c(x_0 - a)$。 这听起来像是曲线 $y=f(x)$ 上任意一点 $c$ 都能找到一条切线“路过”它。但这不只是是局部的事，而是全局的。
比如画个图，你随意挑一个点，只要函数是“平滑”变动的，总能找到一条直线穿过它。
这个定理实际上是说，导函数 $f'(x)$ 作为一个函数，别看不连续，但它是“连续函数”的一种广义版本。连续函数肯定知足这个性质，但反过来，知足这个性质的函数不一定连续。 为了把这一点看清楚，我们能够拿几个具体的例子来对比。假设 $f(x)$ 是一个在 $[0, 3]$ 上定义的多项式函数，比如 $f(x) = x^2 - 2x + 1$。
这个函数在区间内连续，导数 $f'(x) = 2x - 2$ 也是连续的。
要是我们取 $c = 2$，我们要找一点 $x_0$ 让 $x_0^2 - 2x_0 + 1 - (0) = 2(x_0 - 0)$，解得 $x_0 = 2$，完美。 再来看一个不连续的例子，看看导数不连续时是不是也能找到这条线。设 $f(x)$ 在 $[0, 2]$ 上由两局部组成：$x in [0, 1]$ 时 $f(x) = x$，$x in [1, 2]$ 时 $f(x) = x + 1$。
这个函数在 $x=1$ 处跳跃了，导数在 $x=1$ 处不连续。我们依然要验证 $f'(x)$ 是否知足达布性质。我们在 $x=1$ 取一个挺窄的邻域，比如 $(1, 1.1]$，由定义可知 $f'(x) = 1$。而在 $x < 1$ 时，导数也是 $1$。
故此在这个小范围内，导数像是个常数，显然是连续的。 不过，达布定理更深层的含义在于“变动的平滑性”。想象一下，要是你在一组点 $(x_i, f(x_i))$ 上画出一条折线，只要这些点的 $y$ 坐标变化得“充足平滑”，那么对于区间内任意给定的 $y$ 值，你总能找到一条切线经过它。
也就是说，导数 $f'(x)$ 在区间内不能出现“跳跃”的间断点。
这就是达布性质最核心的表述：$f'(x)$ 在任何区间内都没有第一类间断点。 为了更直观地感受这种“平滑”的破坏本事，我们构造一个具体的反例场景。取区间 $[0, 2]$，定义 $f(x)$ 如下：当 $x in [0, 1]$ 时，$f(x) = x$；当 $x in [1, 2]$ 时，$f(x) = x + varepsilon$，其中 $varepsilon$ 是一个极小的正数。
这个函数在 $x=1$ 处有个“台阶”，导数在 $x=1$ 处不连续。
要是我们试图找一点 $c$，使得 $f'(x_0) = c$ 有解，直觉上可能会认定在 $x=1$ 附近导数是个跳点，没法取到。但在达布定理的视角下，只要我们在 $x=1$ 附近取一个充足小的邻域，导数别看在那一瞬间跳了一下，但极限是存有的，且在该邻域内能够取到大量值。
比如 $c=1$，我们能够选 $x_0 = 1.1$，此时 $f'(1.1) = 1$，方程成立。 举个例子，设 $f(x) = x^2 + sin(x)$ 在区间 $[0, pi]$ 上。
这个函数处处可导，导数 $f'(x) = 2x + cos(x)$ 显然也是处处存有的连续函数，彻底符合达布定理的条件。再比如函数 $g(x) = begin{cases} x & x le 1 \ 2x - 1 & x > 1 end{cases}$。
这个函数在 $x=1$ 处导数不连续。取 $c = 1$，我们想找 $x_0$ 使得 $g'(x_0) = 1$。
显然 $x_0 le 1$ 时 $g'(x_0) = 1$，取 $x_0 = 1$ 即可。别看 $g'(1)$ 这种特殊的边界情况可能让你纳闷，但达布定理告诉我们，只要函数是“整体可导”的（即 $x$ 处的导数定义良好），其导数就不可能跳跃。 再深入一点，达布定理实际上揭示了函数可导性的一个深刻侧面：导数具有不可跳跃的性质。
这意味着，要是你沿着一条曲线从一数走到另一数，甭管你如何微调路径，只要路径是光滑的，你总能找到一条切线恰好经过你所在的点。
这不仅是 $f'(x)$ 的性质，更是对函数图像几何特征的描述。 为了验证这个结论，不妨尝试一个边界情况。设 $f(x)$ 在 $[0, 1]$ 上严格递减，且 $f(0)=1, f(1)=0$。取 $c = -0.5$。
显然 $f(x)$ 的值域是 $[0, 1]$，不包含 $-0.5$。但这不影响达布定理的聊聊，出于达布定理的前提是 $f(x)$ 在区间内可导，这意味着 $f(x)$ 的值域务必是连续的实数集。
要是值域里有洞，那肯定不可导要么导数不存有。 最终总结一下，达布中值定理告诉我们，导数作为一个函数，它别看可能不连续，但它一辈子不出现“台阶”或“断崖”。它准函数图像在某些点有“不连续”的导数值（比如尖点），但绝不会在某段区间内突然跳到一个根本不是寻思过的值。
这个性质使得我们能够用导数来解决涉及连续函数插值的难题，就连在某些工程应用（如优化算法、数值分析）中供给了关键的理论基础。它告诉我们，只要函数是“变动的”，就没有啥是它会突然“消亡”的，它总能通过某种方式“在场”。