柯西中值定理证明-柯西中值定理证明

柯西中值定理这事儿，实际上挺有意思的，它跟牛顿那个有名的中值定理有点神似，但处理函数的时候手底下多了个变量。 想象一下，你手里有一张弯弯曲曲的地图，上面标着两个位置点，一个是起点，一个是终点。
要是你知道在这两条线之间，总有一个斜坡能让从起点走到终点 “刚好” 走直线，并且这个斜坡的斜率（也就是切线斜率）等于两点连线的斜率，那你的直觉就对了，柯西中值定理就是描述这种情况的。 不过，真正的难点在于那两个参数。我们不是随意选一个函数，而是得选两个角标。一个是 x，另一个是 f，看起来有点乱，但在数学里，这实际上是合法的。
只要你在区间 (a, b) 内，函数 f 是连续且导数存有的，那么对于任意一个来自这个集合的角标，都成立。
这种构造法在高级微积分里挺常见，比如后来的洛必达法则、泰勒公式，都是如此一步步“套”出来的。 要证这个结论，起初得看看函数 f 在区间 (a, b) 上到底长啥样。它要是连续，那肯定能取到极限值；要是导数存有，那肯定能往两边推。
更关键的是，它的导数得是单调的，要么起码不能乱跑。 要是导数 f' 是单调的，那好办。你能够利用中值定理把 (a, b) 切成一堆小段。每一小段里，平均值定理保证切线斜率不变，而单调性保证整体趋势一致。把每段的结局拼起来，你就拿到了一个单调的函数序列。
只要这个序列的极限存有，就能用极限的加法法则把它“合”起来。 这时候，要是 f' 是严格单调的，那极限肯定是唯一的，函数 f 也就被强制对齐了。 更费事的是，要是 f' 只是单调但不严格呢？这时候极限可能不是唯一的，可能出现多个不同的收敛点。
这时候就要改用柯西中值定理的变体了。 为了把结论变得通俗易懂，我们画几个具体的例子。 先看第一个例子。设 f(x) = x³ - x² 在区间 [0, 1] 上。
起初检查导数：f'(x) = 3x² - 2x。
这个导数在 x=0 处取到最小值 -2，在 x=2/3 处取到最大值 2/3。整个导函数是单调递增的。 我们取两个点：a=0，b=1。f(0) = 0，f(1) = 0。连线的斜率显然是 0。 既然 f' 单调，我们能够把区间分成三段：[0, 2/3]，[2/3, 1]。 第一段 [0, 2/3] 上，f'(x) 从 -2 变到 2/3。平均值定理告诉我们，f 在这段上的斜率是 [2 + (-2)]/3 = 0。 第二段 [2/3, 1] 上，f'(x) 从 2/3 变到 2。平均值是 [2/3 + 2]/2 = 5/3。 什么的，直接加起来仿佛不对，出于 f(2/3) 既不是 0 也不是 1。 让我们重新算一下 f 的具体值。f(0) = 0，f(1) = 0。连线的斜率是 (0-0)/(1-0) = 0。 在 [0, 2/3] 上，f 从 0 变到 f(2/3) = (8/27) - (4/9) = -4/27。 在 [2/3, 1] 上，f 从 f(2/3) = -4/27 变到 0。 第一段的变化率是 (-4/27 - 0) / (2/3) = -2/9。 第二段的变化率是 (0 - (-4/27)) / (1/3) = 12/27 = 4/9。 这两个斜率加起来是 0。完美。
这证明白定理的第一局部。 第二个例子略微复杂点。设 f(x) = sin(x) + cos(x) 在区间 [0, π/2] 上。导数 f'(x) = cos(x) - sin(x)。 在 [0, π/2] 上，cos(x) 从 1 降到 0，减去 sin(x) 从 0 升到 1，故此 f' 严格单调递减。 取 a = 0，b = π/2。f(0) = 1，f(π/2) = 1。连线的斜率是 0。 根据柯西中值定理，f'(c) 务必等于 0。 解方程 cos(c) - sin(c) = 0，得 tan(c) = 1。在 [0, π/2] 内，c = π/4。 而 π/4 确实在区间内部。
要是把区间分成两段，比如 [0, π/4] 和 [π/4, π/2]，算出来的两个平均值之和恰好抵消，这也验证了定理。 再来个好办出错的例子。设 f(x) = x^2 sin(1/x) (x≠0), f(0)=0 在 [0, 1] 上。
这个函数在 0 处可导，但导数在 0 附近震荡，不单调。 取 a=0, b=1。f(0)=0, f(1)=0。斜率 0。 我们需求找出导数 f'(x) = 2x sin(1/x) - cos(1/x) 在某点取 0 的地方。 令 g(x) = 2x sin(1/x) - cos(1/x)。当 x 接近 0 时，2x sin(1/x) 是个小量，但 -cos(1/x) 在 [-1, 1] 间震荡。 显然 g(π/2) = π - 0 = π ≠ 0。 g(π/4) = (π/2)(1) - (√2/2) ≈ 1.57 - 0.707 > 0。 g(π/3) = (2π/3)(√3/2) - (0.5) ≈ 1.81 - 0.5 > 0。 都大于 0 啊？
难道没解？ 不对，我看错符号了。f'(x) = 2x sin(1/x)。 哦，原函数是 x² sin(1/x)，导数是 2x sin(1/x) - cos(1/x)。 让我重新审视一下。
要是 f(x)=x² sin(1/x)，f'(x) 在 0 附近确实不单调。 不过，柯西中值定理要求 f' 单调。
这个例子里 f' 不是单调的，故此不能直接用这个定理去证明存有 c 使得 f'(c)=0。 什么的，我是不是把例子搞混了？ 啊，题目要求是柯西中值定理，f 本身务必是知足条件的。
要是 f' 不单调，定理就不适用。 故此这个例子得换一用。 设 f(x) = x² sin(1/x) + x³ 在 [0, 1]。 f'(x) = 2x sin(1/x) - cos(1/x) + 3x²。 当 x→0 时，2x sin(1/x)→0，cos(1/x) 震荡，故此 f'(x) 震荡，不单调。 看来这个构造函数比较难凑出单调的导数。还是拿熟悉的例子讲话吧。 比如 f(x) = x² 在 [0, 1]。f'=2x，显然单调。 要么 f(x) = x^3 在 [0, 1]。f'=3x²，单调。 回到前两个例子，实际上已经充足说明难题了。
第一个例子展示了单段单调的情况。
第二个例子展示了分段单调且跨越临界点的情况。 实际上，这个定理的核心思想就一条：只要函数不会“乱跳”，它的生长趋势是能够被“平均化”的。 要是 f' 单调，趋势就是直的，极限唯一，计算好办。 要是 f' 不单调，但依然“稳”，比如震荡幅度不过大，要么整体趋势是确定的，那么通过分段累加，依然能凑出那个“刚好等于连线斜率”的切线斜率。 这在工程上挺有用，比如设计电路时，要是元件特性是线性的，挺好办算；要是非线性的但大致稳定，柯西中值定理就能给出一个近似解，误差在可控范围内。 最终总结一下，柯西中值定理的证明过程实际上就三步：
1.确认 f 的连续性。
2.确认 f' 的单调性（要么处理的不单调情况）。
3.利用平均值定理把区间切开，把分散的斜率拼起来。 只要 f' 不“乱跑”忒远，总能在某个点“对齐”好。
这就是这个定理的魅力所在，它给了我们在复杂函数中寻找“平均状态”的数学工具。