柯西与拉格朗日中值定理的多种证明方法
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
微分中值定理的进一步探讨
□孙莹
摘要：
微分中指定理中的Cauchy中值定理与Lagrange中值定理是数学分析学习内容的重中之重，其具有较强的理论性,其揭示函数与其导数之间的关系,在知识结构和思想体系中建立起应用导数进一步研究函数性质的桥梁。我们在处理数学证明题中会经常用到这两个定理，但是课本中给出的证明方法单一而且独特，较难掌握，为弥补此不足之处，本课题将帮助大家多角度地了解微分中值定理的证明方法，以便更深刻地理解Cauchy中值定理与Lagrange中值定理，学会用多种方法处理同一问题的思想。
，
因为其系数行列式
所以还存在变换 的逆变换 ,即：
不难求得当
时， 同时可知Y(x)在 上连续，在(a，b)内可微，
故知Y(x)满足罗尔定理条件，则存在一点 使得 ，
即：
因为 ，所以 ，从而上式可转化为
证毕。
定理1（Roller中值定理）若 满足如下条件：
在 上都连续；
在 上都可导；
，
则在 内至少存在一点 ，使得 。
定理2（Cauchy中值定理） ， 满足以下几个条件：
在 上都连续；
在 上都可导
和 不同时为零
则存在 使得
。
证明：作辅助函数
易见F(x)在 上满足罗尔定理条件，故存在 使得
因为 （否则由上式可知 ），所以可把上式改写成
关键词：Cauchy中值定理；Lagrange中值定理；常数k法；行列式法；坐标旋转法
文章一开始先给出Roller中值定理，因为Cauchy中值定理和Lagrange中值定理的多种证明过程都会用到Roller中值定理的结论。然后给出北师大版的数学分析上册书中的Cauchy中值定理和Lagrange中值定理及其证明过程，目的在于让读者发现其与其它证明方法的联系。
证毕。
定理2（Lagrange中值定理）若函数 满足如下条件：
在 上都连续；
在 上都可导，
则在 内至少存在一点 ，使得
。
证明：做辅助函数
显然， 且 在 上满足罗尔定理的另外两个条件，故存在 ，ቤተ መጻሕፍቲ ባይዱ得
移项后即可得
证毕。
接下来将给出Cauchy中值定理和Lagrange中值定理的其他证明方法：
证法一：常数k法
（Cauchy中值定理）利用常数k的辅助函数来证明一个等式往往是通过待定系数法的思路来完成证明的，其符合人的认识规律，易于理解。
将Cauchy中值定理的结论改写成：
由条件 可知，一定存在一个常数k使得：
成立。将上式中的常数b换成变量x,可以得到辅助函数
< 1 >
经检验， 在在 上都连续，在 上都可导，而且 满足Roller中值定理的所有条件，于是根据Roller中值定理可知：至少 ，使得 即
即
。
由此解得 ，代入< 2 >中可得
证毕。
证法二：行列式法
不难发现Cauchy中值定理的结论有着独特的形式， 和 与二阶行列式 和 有着密切的联系，根据此关系可构造一个行列式作为辅助函数
显然该函数满足Roller中值定理的所有条件。于是，根据Roller中值定理的结论可得，至少少存在一个 ，使得 ，
即
由此可得
因为 ，所以上式可以改写为
证毕。
证法三：坐标旋转法
考察参数方程
由Cauchy中值定理的条件可知，方程< 3 >的图像是XOY平面上一条连续且光滑的曲线L，其端点分别为 和 。
如图1，设弦AB与 轴正方向的夹角为 ，且 。旋转 轴，使得 平行于AB，曲线L在 上的投影分别为 ，则曲线上一点 在新坐标系 的坐标为
由此解得
代入< 1 >中可得
证毕。
（Lagrange中值定理）
将Lagrange定理的结果改写成
由 可知，必定存在一个常数 使得：
< 2 >
将上式中的常数 换成变量 ，得到辅助函数
经检验， 满足Roller中值定理的全部条件： 在 上都连续， 在 上都可导，且 。于是根据Roller中值定理可知，至少存在一个 ，使得 ，
即
解得
因为 ，且 和 不同时为零，所以上式可改写成
证毕。
不难发现Lagrange中值定理的结论有着独特的形式， 和 与二阶行列式 和 有着密切的联系，根据此关系可构造一个行列式作为辅助函数
显然该函数满足Roller中值定理的所有条件。于是，根据Roller中值定理的结论可得，至少少存在一个 ，使得 ，
其中， ，
。
故曲线L在新坐标系 下的参数方程为
记
，
则 式可化为
显然，对于任意 ， 与 均存在。
设 ，则方程< 3 >在 上满足Roller中值定理的所有条件并且有：
即至少存在 ，使得：
经化简可得：
证毕。
比较Lagrange中值定理和Roller中值定理便可知道，它们的区别仅仅在于区间端点的函数值相等与不相等，如果将Lagrange中值定理中函数所对应的图象通过旋转坐标使得该函数两端点的函数值相等。于是旋转后图像所对应的新函数则满足Roller中值定理的所有条件，从而证明Lagrange中值定理。先引入坐标系的旋转变换 ,即：
□孙莹
摘要：
微分中指定理中的Cauchy中值定理与Lagrange中值定理是数学分析学习内容的重中之重，其具有较强的理论性,其揭示函数与其导数之间的关系,在知识结构和思想体系中建立起应用导数进一步研究函数性质的桥梁。我们在处理数学证明题中会经常用到这两个定理，但是课本中给出的证明方法单一而且独特，较难掌握，为弥补此不足之处，本课题将帮助大家多角度地了解微分中值定理的证明方法，以便更深刻地理解Cauchy中值定理与Lagrange中值定理，学会用多种方法处理同一问题的思想。
，
因为其系数行列式
所以还存在变换 的逆变换 ,即：
不难求得当
时， 同时可知Y(x)在 上连续，在(a，b)内可微，
故知Y(x)满足罗尔定理条件，则存在一点 使得 ，
即：
因为 ，所以 ，从而上式可转化为
证毕。
定理1（Roller中值定理）若 满足如下条件：
在 上都连续；
在 上都可导；
，
则在 内至少存在一点 ，使得 。
定理2（Cauchy中值定理） ， 满足以下几个条件：
在 上都连续；
在 上都可导
和 不同时为零
则存在 使得
。
证明：作辅助函数
易见F(x)在 上满足罗尔定理条件，故存在 使得
因为 （否则由上式可知 ），所以可把上式改写成
关键词：Cauchy中值定理；Lagrange中值定理；常数k法；行列式法；坐标旋转法
文章一开始先给出Roller中值定理，因为Cauchy中值定理和Lagrange中值定理的多种证明过程都会用到Roller中值定理的结论。然后给出北师大版的数学分析上册书中的Cauchy中值定理和Lagrange中值定理及其证明过程，目的在于让读者发现其与其它证明方法的联系。
证毕。
定理2（Lagrange中值定理）若函数 满足如下条件：
在 上都连续；
在 上都可导，
则在 内至少存在一点 ，使得
。
证明：做辅助函数
显然， 且 在 上满足罗尔定理的另外两个条件，故存在 ，ቤተ መጻሕፍቲ ባይዱ得
移项后即可得
证毕。
接下来将给出Cauchy中值定理和Lagrange中值定理的其他证明方法：
证法一：常数k法
（Cauchy中值定理）利用常数k的辅助函数来证明一个等式往往是通过待定系数法的思路来完成证明的，其符合人的认识规律，易于理解。
将Cauchy中值定理的结论改写成：
由条件 可知，一定存在一个常数k使得：
成立。将上式中的常数b换成变量x,可以得到辅助函数
< 1 >
经检验， 在在 上都连续，在 上都可导，而且 满足Roller中值定理的所有条件，于是根据Roller中值定理可知：至少 ，使得 即
即
。
由此解得 ，代入< 2 >中可得
证毕。
证法二：行列式法
不难发现Cauchy中值定理的结论有着独特的形式， 和 与二阶行列式 和 有着密切的联系，根据此关系可构造一个行列式作为辅助函数
显然该函数满足Roller中值定理的所有条件。于是，根据Roller中值定理的结论可得，至少少存在一个 ，使得 ，
即
由此可得
因为 ，所以上式可以改写为
证毕。
证法三：坐标旋转法
考察参数方程
由Cauchy中值定理的条件可知，方程< 3 >的图像是XOY平面上一条连续且光滑的曲线L，其端点分别为 和 。
如图1，设弦AB与 轴正方向的夹角为 ，且 。旋转 轴，使得 平行于AB，曲线L在 上的投影分别为 ，则曲线上一点 在新坐标系 的坐标为
由此解得
代入< 1 >中可得
证毕。
（Lagrange中值定理）
将Lagrange定理的结果改写成
由 可知，必定存在一个常数 使得：
< 2 >
将上式中的常数 换成变量 ，得到辅助函数
经检验， 满足Roller中值定理的全部条件： 在 上都连续， 在 上都可导，且 。于是根据Roller中值定理可知，至少存在一个 ，使得 ，
即
解得
因为 ，且 和 不同时为零，所以上式可改写成
证毕。
不难发现Lagrange中值定理的结论有着独特的形式， 和 与二阶行列式 和 有着密切的联系，根据此关系可构造一个行列式作为辅助函数
显然该函数满足Roller中值定理的所有条件。于是，根据Roller中值定理的结论可得，至少少存在一个 ，使得 ，
其中， ，
。
故曲线L在新坐标系 下的参数方程为
记
，
则 式可化为
显然，对于任意 ， 与 均存在。
设 ，则方程< 3 >在 上满足Roller中值定理的所有条件并且有：
即至少存在 ，使得：
经化简可得：
证毕。
比较Lagrange中值定理和Roller中值定理便可知道，它们的区别仅仅在于区间端点的函数值相等与不相等，如果将Lagrange中值定理中函数所对应的图象通过旋转坐标使得该函数两端点的函数值相等。于是旋转后图像所对应的新函数则满足Roller中值定理的所有条件，从而证明Lagrange中值定理。先引入坐标系的旋转变换 ,即：