![](https://zhongcosmos.com/wp-content/uploads/2023/06/image017-9.png)
【高数学习回顾】7.筑基导数应用的大厦:柯西中值定理
前文回顾:
我们已经证明费马引理从而证明罗尔定理,再次基础上用罗尔定理证明了拉格朗日中值定理:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image001-8.png)
以此我们又能知道什么呢?
曲径通幽:柯西中值定理
如果不小心在使用拉格朗日中值定理时,同时写出了两个式子,你可能会发现它们有个共同的因数(b-a):
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image002-7.png)
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image003-9.png)
如果把两者相除消去公因式会得到什么呢?
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image004-6.png)
我们一定会好奇,两个ξ间会不会有什么潜在的关系呢?如果我们敢大胆地猜想:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image005-6.png)
就可以得到大名鼎鼎的柯西中值定理:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image006-7.png)
我们先来考虑一下怎样才能证明它。回想一下我们在证明拉格朗日中值定理时用到的方法,在假设柯西中值定理成立的情况下,我们可以变换出:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image007-10.png)
延续之前的思路,我们设出辅助函数:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image008-10.png)
对它积分:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image009-7.png)
我们想找到一个C,可以使:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image010-8.png)
细心的读者可能会发现,这根本不需要像我们证明拉格朗日中值定理时一样东凑西凑,当C的值就为0时,很容易验证:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image011-8.png)
那我们就可以正式开始证明它了。让我有仪式感地写下证明这两个字:
证明:令:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image012-9.png)
其中
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image010-9.png)
由罗尔定理知:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image013-12.png)
其中:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image008-11.png)
则:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image014-10.png)
所以:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image006-8.png)
证毕。
我们观察新得到的柯西中值定理,如果令
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image015-6.png)
那公式就可以变形为:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image016-12.png)
即自然地退化为拉格朗日中值定理。
再次观察柯西中值定理,我们可能有这样的联想:如果可以把点的坐标用f(x)和g(x)表示:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image017-9.png)
那AB的斜率就可以表示为:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image018-7.png)
这样思考,我们可以得到这样一个判断:柯西中值定理是拉格朗日中值定理在参数方程形式下的表达形式。我们来证实一下:
令曲线AB的参数方程为:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image019-6.png)
则曲线上点(x,y)处切线的斜率为:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image020-5.png)
AB的斜率可以表示为:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image021-6.png)
由拉格朗日中值定理可以得到:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image022-5.png)
即:
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image023-5.png)
到此为止,我们已经证明了三大中值定理:罗尔定理,拉格朗日中值定理,以及柯西中值定理。那为什么这三者对建立导数应用的大厦这么重要呢?敬请见证下一节:《领略风光:洛必达法则》。
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image012-11-75x75.png)
![](https://zhongcosmos.com/wp-content/uploads/2023/06/image003-8-75x75.png)