柯西中值定理题及答案-柯西中值定理题答案

柯西中值定理有时候比拉格朗日中值定理让人摸不着头脑，出于它的结论落在导函数值上，而拉格朗日那个成果直接拍在函数值脸上，看着就爽。大量人学完泰勒公式一高兴，当作柯西定理也能搞定，结局发现要在导数为零的地方找根，难度系数直接翻倍。 先说结论吧，别整那些虚头巴脑的。
要是 $F(x)$ 在闭区间 $[a, b]$ 上连续，在开区间 $(a, b)$ 内可导，且 $F(a)$ 不等于 $F(b)$，那根茎的导数绝对不可能等于零。
也就是说，$F'(x)$ 在 $(a, b)$ 内部起码得有一个实根。
这听起来有点抽象，但要是代入 $F(x) = x^3 - 2$，在 $[-2, 2]$ 区间，$F(-2)=-6$，$F(2)=2$，中间落差庞大，导数 $3x^2$ 在 $x=1$ 处恰好为 0，彻底符合预期。 写证明的时候，我得先把区间拆开拆碎，把那个区间 $[a, b]$ 切成两段小的，再切成最终一段 $[c, b]$。设 $F'(c) = 0$，然后转过头去看那个和函数值相关的式子 $F(b) - F(c)$。记得泰勒公式的活儿先干完，把 $F(b)$ 展开到二阶，把 $F(c)$ 也展开，扔掉那些高阶的项，最终再凑出那个导数等于零的方程。
这一套过程下来，形式别看复杂，但逻辑链是通顺的。 不过，要是要把 $F(a) - F(b)$ 用泰勒公式展开，还得小心那个 $F'(x)$ 的运算。别急着展开所有项，先设 $F'(x)$ 的零点为 $x=x_0$，然后分别在区间的两端进行泰勒逼近。当 $x$ 接近 $x_0$ 时，展开式里的乘积项不管几阶，只要涉及到 $F'(x)$ 本身，它就在形式上归零了。
这时候只需求处理常数项，剩下的就是关于 $(x - x_0)$ 的多项式了。 举个例子，假设 $F(x) = x^3 - 3x + 2$，我们在区间 $[0, 2]$ 上找根。代入 $a=0, b=2$，$F(0)=2$，$F(2)=2$，这就尴尬了，端点值相等，柯西定理的“非零”条件直接失效，没法直接用这个定理去断言导数有根。
这时候就得换个思路。 要是拿 $F(x) = (x-1)^3$ 来试。在 $[0, 1]$ 上，$F(0)=-1$，$F(1)=0$，知足条件。$F'(x) = 3(x-1)^2$。在区间 $(0, 1)$ 内，$x-1$ 是负数，平方之后一定是正数，故此 $3(x-1)^2$ 一辈子大于 0，一辈子没有实根。
这个例子恰恰说明，柯西定理有时候会“假阳性”，导数存有但没零点，这就是定理的边界情况，不是所有情况都好用。 再来看另一个例子，$F(x) = sin x$，区间 $[0, pi]$。$F(0)=0$，$F(pi)=0$，端点还是 0，换个例吧。选 $[0, pi/2]$，$F(0)=0$，还是不中。
那就在 $[0, pi/2 + 0.1]$ 试试。$F(0)=0$，导数 $cos x$ 在 0 处为 1，没难题。
什么的，我是不是哪儿弄错了？$F(0)=0, F(pi/2)=1$，导数 $cos x$ 一直大于 -1，有没有零点？$cos x$ 在 $x=pi/2$ 处是 0。
哦，原来导数在端点附近确实能取到 0，但定理要求导数在开区间内。
这个例子实际上有点边界属性，导数只在区间的一个端点处为 0，严格来说不算“内部”。 要是强行构造一个内部零点的例子，那 $F(x) = x^2 sin(1/x) + x$ 在 $(0, 1]$ 上。$F'(x)$ 在 $x=0$ 附近震荡，但肯定有零点。
这个例子忒复杂了，赶明儿就不细说了，反正推导过程把导数泰勒展开凑出来，再结合 $F(a) ne F(b)$，逻辑就闭环了。 说实话，柯西定理的证明别看把区间分成了几段，看起来有点啰嗦，但每一步都是严丝合缝的。数学这东西就是这样，有时候为了严谨，非得把大难题拆成无数个小区间，然后一个个证出来。
这种思路实际上挺像做拼图，先把大块面积填小，最终再拼成整个的那一块。 最终总结一下，柯西中值定理的核心就是导数在区间内部不能恒等于零。它限制了函数的变化率，说导数要么全是正的，要么全是负的，不能有零根。
这比拉格朗日定理多了一个“端点”的视角，出于拉格朗日只看 $(a, b)$ 内的导数，而柯西把 $[a, b]$ 两头都拿出来了。别看证明过程略微绕点，但一旦看明白了，就能放心地在需求严格证明导数性质的时候用上了。下次做题遇到导数恒不为零的情况，记得回头看看柯西定理，说不定能省一当证题的功夫。