柯西中值定理,又称广义拉格朗日中值定理,它是微积分中一个非常重要和基础的定理。它在推导其他重要结论,例如洛必达法则,扮演着关键角色。要理解这个定理的证明,我们可以先回顾一下拉格朗日中值定理,因为它在某种程度上是拉格朗日中值定理的推广。
拉格朗日中值定理回顾
如果函数 $f(x)$ 在闭区间 $[a, b]$ 上连续,在开区间 $(a, b)$ 上可导,并且 $f(a)
eq f(b)$,那么在 $(a, b)$ 上至少存在一点 $c$,使得:
$$f'(c) = frac{f(b) f(a)}{b a}$$
几何意义是:区间 $[a, b]$ 上连接点 $(a, f(a))$ 和 $(b, f(b))$ 的割线的斜率,在区间 $(a, b)$ 内至少有一个点的切线斜率与之相等。
柯西中值定理
现在,我们来看看柯西中值定理。
定理陈述:
设函数 $f(x)$ 和 $g(x)$ 在闭区间 $[a, b]$ 上连续,在开区间 $(a, b)$ 上可导。并且,对于在 $(a, b)$ 内的一切 $x$,都有 $g'(x)
eq 0$。如果 $g(a)
eq g(b)$,那么在 $(a, b)$ 上至少存在一点 $c$,使得:
$$frac{f'(c)}{g'(c)} = frac{f(b) f(a)}{g(b) g(a)}$$
证明思路:构建辅助函数
柯西中值定理的证明,最核心的技巧是构造一个“巧妙”的辅助函数。这个辅助函数的设计,目标是让我们能够应用已经熟悉的拉格朗日中值定理,并且最终能推导出我们想要的结果。
我们设想这样一个辅助函数 $phi(x)$:
$$phi(x) = f(x) k cdot g(x)$$
这里的 $k$ 是一个常数,我们需要通过一些条件来确定它的值。我们的目标是让这个辅助函数 $phi(x)$ 满足拉格朗日中值定理的条件,并且当我们将拉格朗日中值定理应用于 $phi(x)$ 时,能够直接得到柯西中值定理的结论。
确定常数 k 的值
拉格朗日中值定理告诉我们,如果 $phi(a) = phi(b)$,那么在 $(a, b)$ 上至少存在一点 $c$ 使得 $phi'(c) = 0$。
我们尝试让 $phi(a) = phi(b)$,代入 $phi(x)$ 的定义:
$$f(a) k cdot g(a) = f(b) k cdot g(b)$$
移项整理一下:
$$f(a) f(b) = k cdot g(a) k cdot g(b)$$
$$f(a) f(b) = k cdot (g(a) g(b))$$
如果我们假设 $g(a)
eq g(b)$(这是柯西中值定理的条件之一),那么我们可以解出 $k$:
$$k = frac{f(a) f(b)}{g(a) g(b)}$$
或者等价地:
$$k = frac{f(b) f(a)}{g(b) g(a)}$$
验证辅助函数的条件
现在我们找到了 $k$ 的值。我们来看看我们构造的辅助函数 $phi(x) = f(x) k cdot g(x)$ 是否满足拉格朗日中值定理的条件:
1. 连续性: 因为 $f(x)$ 和 $g(x)$ 在 $[a, b]$ 上连续,而常数 $k$ 也是连续的,所以 $k cdot g(x)$ 也在 $[a, b]$ 上连续。两个连续函数的差(或和)仍然是连续的。因此,$phi(x)$ 在 $[a, b]$ 上连续。
2. 可导性: 因为 $f(x)$ 和 $g(x)$ 在 $(a, b)$ 上可导,而常数 $k$ 也是可导的(导数为 0),所以 $k cdot g(x)$ 在 $(a, b)$ 上可导。两个可导函数的差(或和)仍然是可导的。因此,$phi(x)$ 在 $(a, b)$ 上可导。
3. $phi(a) = phi(b)$: 我们正是通过这个条件来选择 $k$ 的,所以 $phi(a) = phi(b)$ 是满足的。
应用拉格朗日中值定理
既然 $phi(x)$ 满足拉格朗日中值定理的所有条件,那么在 $(a, b)$ 上至少存在一点 $c$ 使得:
$$phi'(c) = frac{phi(b) phi(a)}{b a}$$
由于我们已经确保了 $phi(a) = phi(b)$,所以 $phi(b) phi(a) = 0$。这意味着:
$$phi'(c) = 0$$
推导柯西中值定理的结论
现在,我们来计算 $phi'(x)$:
$$phi'(x) = frac{d}{dx} (f(x) k cdot g(x))$$
根据导数的线性性质:
$$phi'(x) = f'(x) k cdot g'(x)$$
将 $c$ 代入:
$$phi'(c) = f'(c) k cdot g'(c)$$
因为我们已经得出 $phi'(c) = 0$,所以:
$$f'(c) k cdot g'(c) = 0$$
移项:
$$f'(c) = k cdot g'(c)$$
现在,我们将之前确定的 $k$ 的值代入:
$$f'(c) = frac{f(b) f(a)}{g(b) g(a)} cdot g'(c)$$
处理 $g'(c)$ 的情况
我们证明的最后一步是得到 $frac{f'(c)}{g'(c)} = frac{f(b) f(a)}{g(b) g(a)}$。这需要 $g'(c)
eq 0$。
在柯西中值定理的陈述中,我们有一个重要的条件:对于在 $(a, b)$ 内的一切 $x$,都有 $g'(x)
eq 0$。这个条件非常关键。
由于 $g'(x)
eq 0$ 对于 $(a, b)$ 内的所有 $x$ 都成立,那么我们找到的那个 $c$(它在 $(a, b)$ 内)必然满足 $g'(c)
eq 0$。
因此,我们可以安全地将等式两边同除以 $g'(c)$:
$$frac{f'(c)}{g'(c)} = frac{f(b) f(a)}{g(b) g(a)}$$
这就完成了柯西中值定理的证明。
总结证明过程:
1. 构造辅助函数: 关键在于构造 $phi(x) = f(x) k cdot g(x)$。
2. 确定常数 k: 选择 $k$ 的目的是为了让 $phi(a) = phi(b)$,从而使辅助函数满足拉格朗日中值定理的“零导数”条件。通过令 $phi(a) = phi(b)$,我们推导出 $k = frac{f(b) f(a)}{g(b) g(a)}$。
3. 验证辅助函数条件: 确认 $phi(x)$ 在 $[a, b]$ 上连续,在 $(a, b)$ 上可导,并且 $phi(a) = phi(b)$。
4. 应用拉格朗日中值定理: 对 $phi(x)$ 应用拉格朗日中值定理,得到在 $(a, b)$ 上存在一点 $c$ 使得 $phi'(c) = 0$。
5. 推导结论: 将 $phi'(x) = f'(x) k cdot g'(x)$ 代入 $phi'(c) = 0$ 中,并代入 $k$ 的值,最后利用 $g'(x)
eq 0$ 的条件,便得到了柯西中值定理的结论。
这个证明思路非常经典,它展示了如何通过构造合适的辅助函数来巧妙地利用已有的定理(拉格朗日中值定理)来证明新的定理。希望这个详细的讲解能帮助你理解柯西中值定理的证明过程。