数学 {柯西中值定理}

数学 {柯西中值定理}
@LOC: 1

柯西中值定理

定义

条件: 函数$f(x),g(x)$ 同时满足: $C[a,b]$; $D(a,b)$; $g^{\prime }(x)\ne 0,\forall x\in (a,b)$;
结论: $\exists \xi \in (a,b),\frac{f^{\prime }(\xi )}{g^{\prime }(\xi )}=\frac{f(b)-f(a)}{g(b)-g(a)}$;

@DELI;

#证明#
#证明#
与拉格朗日中值定理很像, 假如你把条件里的$f(x),g(x)$中的$x$换成参数方程里的$t$, 则$y=f(t),x=g(t),t\in [a,b]$这个参数方程的图像 就是个函数图像 (因为$g(t)$是在$[g(a),g(b)]$上连续且严格单调函数);
我们写下其函数: $h(x)=f(g^{-1}(x)),x\in [g(a),g(b)]$, 你需要证明 $h$是满足连续可导的 (注意$f(t)$是$C[a,b],D(a,b)$, 可直接导出$h(x)$是在$[g(a),g(b)]$也满足连续可导), 根据复合函数的 导数/连续性法则 可知$h(x)$也满足连续可导;
因此$h(x)$满足拉格朗日中值定理, $\exists \xi \in (g(a),g(b)),h^{\prime }(\xi )=\frac{f(g^{-1}(g(b)))-f(g^{-1}(g(a)))}{g(b)-g(a)}=\frac{f(b)-f(a)}{g(b)-g(a)}$;
$h^{\prime }(x)=f^{\prime }(g^{-1}(x))\ast [g^{-1}(x){]}^{\prime }$, 记$t=g^{-1}(x)$ 则有$dh/dx=(df/dt)\ast (dt/dx)=\frac{df/dt}{dx/dt}=\frac{f^{\prime }}{g^{\prime }}$;

性质

MKAR: @LOC_0;
对于$g(x)$, 其满足$C[a,b],D(a,b)$, $g^{\prime }(x)\ne 0,\forall x\in (a,b)$, 这三个条件隐喻了: $g$在$[a,b]$上是严格单调函数;
. 证明见LINK: (https://editor.csdn.net/md/?not_checkout=1&articleId=131662396)-(@LOC_0);
但反之不然; 比如$x^3$在$[-1,1]$上是严格单调的, 但是在$0$处导数为0; 再比如$x^{1/3}$在$[-1,1]$是严格单调的, 但在$0$处不可导;

@DELI;

根据拉格朗日定理, $f(x):C[a,b],D(a,b)$, 记$K=\frac{f(b)-f(a)}{b-a}$, 则存在$\xi \in (a,b),f^{\prime }(\xi )=K$;
我们将该函数 写成参数方程的形式, 即$x=g(t)=t,y=h(t),t\in [a,b]$ (注意, 函数$f(x)$和该参数方程 其实是完全等价的, 从几何角度看 都是定义域为$x\in [a,b]$上的一段曲线, 只是表达方式不同而已);
原来的$a,b$ 等价于现在的$g(a),g(b)$, 原来的$f(a),f(b)$ 等价于 现在的$h(a),h(b)$, 因此$K$可以写成$\frac{h(b)-h(a)}{g(b)-g(a)}$;
原来的$\xi \in (a,b)$, 由于定义域不变 同样可以写成$t=\xi \in (a,b)$, 而参数方程的导数 即$dy/dx=h^{\prime }(t)/g^{\prime }(t)$,

故, 原来的$f^{\prime }(\xi )=K$ 等价于 现在的$\frac{h^{\prime }(\xi )}{g^{\prime }(\xi )}=\frac{h(b)-h(a)}{g(b)-g(a)}$;

@DELI;

条件里说$g(x):C[a,b],D(a,b),\forall x\in (a,b)[g^{\prime }(x)\ne 0]$, 结论中涉及到2个分母 即$g^{\prime }(\xi ),g(b)-g(a)$ 我们当然要保证他俩不为0;
. 对于$g^{\prime }(\xi )$, 条件里已经保证了他不会是0;
. 对于$g(b)-g(a)$, 根据LINK: @LOC_0, $g(x)$是严格单调的 因此他也不会是0;