《拉格朗日中值定理的证明综述》3100字.docx

拉格朗日中值定理的证明综述

目录

TOC\o1-2\h\u9573拉格朗日中值定理的证明综述 1

47731.1拉格朗日中值定理的概述 1

24631.2拉格朗日中值定理的几种证明方法 1

99071.1.1最简单的证明的方法 1

201901.1.2利用作差法证明拉格朗日中值定理 2

20061.1.3利用对称法证明拉格朗日中值定理 3

310961.1.4利用坐标变换法证明拉格朗日中值定理 3

317801.1.5利用迭加法证明拉格朗日中值定理 5

96881.1.6利用行列式法证明拉格朗日中值定理 5

108251.1.7利用闭区间套定理证明拉格朗日中值定理 7

上文叙述了罗尔定理的一些内容,接下来将要对拉格朗日中值定理的几个方面进行阐述,拉格朗日中值定理在多个学科领域中都有广泛运用，例如：数学分析微积分中熟知的拉格朗日中值定理；数论中的四平方和定理；在群论中也有相关内容．本文中主要讲述的是其在微积分领域的内容和证明方法．

1.1拉格朗日中值定理的概述

拉格朗日(Lagrange)中值定理[9]假设函数满足：在闭区间上连续，在开区间内可导，那么在开区间内至少有一点，使下面等式成立：

．

其几何意义为：二维直角坐标系中的一段光滑曲线，在这段曲线上，至少存在一点，使得在此点处的切线与两端点的连线平行[3]．与1.1中罗尔定理的几何意义作对比，不难发现两者之间只是缺少了定义区间的两端点相等这一条件．从这一角度看，我们能够以罗尔定理为基础证出拉格朗日中值定理[10]．

1.2拉格朗日中值定理的几种证明方法

1.1.1最简单的证明的方法

作辅助函数：(1)，明显可得，函数满足罗尔定理的条件，对函数求导即可证出拉格朗日定理．这种方法是最简单、基础的构造辅助函数的方法，也是各个教材中最常用的证明方法[11]．

1.1.2利用作差法证明拉格朗日中值定理

通过对1.1.1中(1)式的构造的思考，我发现可以通过作函数差的方式来引导出辅助函数，例如：(2)，

明显可得，函数满足罗尔定理条件，即可得在开区间内至少存在一点，对在点求导可得：

，

即

．

除上文证明中的(1)式与(2)式外，下面给出几个较为典型的例子：

(3)

(4)

等等．显然，以上函数都是满足证明条件的辅助函数，且证明方法与(1)式类似，在此就不一一证明了．

事实上，通过观察思考，不难发现之前的构造方法都是利用与一次函数的差来构造函数的，同时，构造这些函数的证明过程都比较简单，因为这些函数都满足罗尔定理的条件，所以直接对它们在点处求导即可得出结论．同时亦不难发现这样的辅助函数取之不尽、用之不竭，因为与函数平行的直线有无数条，即(其中为任意常数)[10]．

1.1.3利用对称法证明拉格朗日中值定理

在作差法的基础上换一个角度来思考，上述构造法中的诸多函数与之对应的关于轴的对称函数也可以作为证明拉氏定理辅助函数来用以证明，显然，这类函数也是取之不尽的．从几何意义上来看，与作差法的思路正好相反，一个是拿曲线减去直线，另一个是拿直线去减曲线，亦可证得拉氏定理成立．

以下给出与上文中所有公式对称的辅助函数如下：

(1)

(2)

(3)

(4)

等等．显然，以上函数都可作为证明拉格朗日中值定理的辅助函数，且证明方法类似，在此不做赘述[10]．

1.1.4利用坐标变换法证明拉格朗日中值定理

接下来本篇论文将要叙述坐标变换法，与前面介绍三种有异曲同工之妙．虽然都是构造辅助函数从罗尔定理入手．但是，在构造过程上方面给了我们新的思路．对称法与坐标变换法的区别在于一个对上述作差法中构造的函数作关于轴的对称的变换，而另一个是对其作逆时针旋转角度得变换．当然角度是有一定要求的．

证明作如下变换：

，

将，用、和表出得

，

因为构造的函数在定义域内满足罗尔定理，故首先要求在定义区间内两端点值相等，即，可以得到：

，

整理可得

，

此时，就要考虑角度的取值问题了，所取角度满足上式就行．因为函数在定义域内具有连续性和可导性，所以可推知函数在其定义域内也具有相同的性质[10]．

综上，根据罗尔定理，在区间内至少存在一点，使得：

，

即

．

到此，坐标变换法的证明过程已经结束了．不难看出，前四种方法在几何意义上有以下联系：如果说作差法是在1.1.1的方法上从二维图形平移的角度来分析的；对称法是在作差法的基础上从二维图形翻折的角度来思考的，那么坐标变换法就是从二维图形旋转角度来探究的[12]．

1.1.5利用迭加法证明拉格朗日中值定理

这种方法在一定情况下与作差法毫无区别，迭加法是让函数迭加上一个含有两个未知数的一次函数，其中和都为待定系数．构造好辅助函数后使其满足罗尔定理条件，通过使在辅助函数的构造上，可以解