谈谈拉格朗日中值定理的证明(考研中的证明题)

谈谈拉格朗日中值定理的证明引言众所周至拉格朗日中值定理是几个中值定理中最重要的一个，是微分学应用的桥梁，在高等数学的一些理论推导中起着很重要的作用.研究拉格朗日中值定理的证明方法，力求正确地理解和掌握它，是十分必要的.拉格朗日中值定理证明的关键在于引入适当的辅助函数.实际上，能用来证明拉格朗日中值定理的辅助函数有无数个，因此如果以引入辅助函数的个数来计算，证明拉格朗日中值定理的方法可以说有无数个.但事实上若从思想方法上分，我们仅发现五种引入辅助函数的方法.首先对罗尔中值定理拉格朗日中值定理及其几何意义作一概述.1罗尔Rolle中值定理如果函数xf满足条件：1在闭区间ba,上连续；2在开区间ba,内可导；（3）bfaf,则在ba,内至少存在一点,使得0'f罗尔中值定理的几何意义：如果连续光滑曲线xfy在点BA,处的纵坐标相等，那么，在弧AB上至少有一点,Cf，曲线在C点的切线平行于x轴，如图1，注意定理中三个条件缺少其中任何一个，定理的结论将不一定成立；但不能认为定理条件不全具备，就一定不存在属于ba,的，使得0'f.这就是说定理的条件是充分的，但非必要的.2拉格朗日lagrange中值定理1若函数xf满足如下条件：1在闭区间ba,上连续；2在开区间ba,内可导；则在ba,内至少存在一点，使abafbff'拉格朗日中值定理的几何意义：函数xfy在区间ba,上的图形是连续光滑曲线弧AB上至少有一点C，曲线在C点的切线平行于弦AB.如图2，从拉格朗日中值定理的条件与结论可见，若xf在闭区间ba,两端点的函数值相等，即bfaf，则拉格朗日中值定理就是罗尔中值定理.换句话说，罗尔中值定理是拉格朗日中值定理的一个特殊情形.正因为如此，我们只须对函数xf作适当变形，便可借助罗尔中值定理导出拉格朗日中值定理.3证明拉格朗日中值定理3.1教材证法证明作辅助函数fbfaFxfxxba显然，函数xF满足在闭区间ba,上连续，在开区间ba,内可导，而且FaFb．于是由罗尔中值定理知道，至少存在一点ba，使0''abafbffF.即abafbff'.3.2用作差法引入辅助函数法证明作辅助函数axabafbfafxfx显然，函数x在闭区间ba,上连续，在开区间ba,内可导，0ba，因此，由罗尔中值定理得，至少存在一点ba,，使得0''abafbff，即abafbff'推广1如图3过原点O作OT∥AB，由xf与直线OT对应的函数之差构成辅助函数x，因为直线OT的斜率与直线AB的斜率相同，即有：2abafbfKKABOT，OT的直线方程为：xabafbfy，于是引入的辅助函数为：xabafbfxfx.（证明略）推广2如图4过点Oa,作直线''BA∥AB，直线''BA的方程为：axabafbfy，由xf与直线函''BA数之差构成辅助函数x，于是有：axabafbfxfx.（证明略）推广3如图5过点作Ob,直线''BA∥AB，直''BA线的方程为bxabafbfy，由xf与直线AB函数之差构成辅助函数x，于是有：bxabafbfxfx.事实上，可过y轴上任已知点mO,作//BA∥AB得直线为mxabafbfy，从而利用xf与直线的''BA函数之差构成满足罗尔中值定理的辅助函数x都可以用来证明拉格朗日中值定理.因m是任意实数，显然，这样的辅助函数有无多个.3.3用对称法引入辅助函数法在第二种方法中引入的无数个辅助函数中关于x轴的对称函数也有无数个，显然这些函数也都可以用来证明拉格朗日中值定理.从几何意义上看，上面的辅3助函数是用曲线函数xf减去直线函数，反过来，用直线函数减曲线函数xf，即可得与之对称的辅助函数如下：⑴xfaxabafbfafx⑵xfxabafbfx⑶xfaxabafbfx⑷xfbxabafbfx等等.这类能用来证明拉格朗日中值定理的辅助函数显然也有无数个.这里仅以⑵为例给出拉格朗日中值定理的证明.证明显然，函数x满足条件：1在闭区间ba,上连续；2在开区间ba,内可导；3ababfbafba.由罗尔中值定理知，至少存在一点ba,，使得0''fabafbf，从而有abafbff'，显然可用其它辅助函数作类似的证明.3.4转轴法由拉格朗日中值定理的几何图形可以看出，若把坐标系xoy逆时针旋转适当的角度，得新直角坐标系XOY，若OX平行于弦AB，则在新的坐标系下xf满足罗尔中值定理，由此得拉格朗日中值定理的证明.证明作转轴变换sincosYXx，cossinYXy，为求出，解出YX,得xXxfxyxXsincossincos①xYxfxyxYcossincossin②由bYaY得cossincossinbfbafa，从而abafbftan，取满足上式即可.由xf在闭区间ba,上连续，在开区间ba,内可导，知xY在闭区间ba,上连续，在开区间ba,内可导，且bYaY，因此，由罗尔中值定理知，至少存在一点ba,，使得40cossin'fY，即abafbfftan'3.5用迭加法引入辅助函数法让xf迭加一个含待顶系数的一次函数mkxy，例如令mkxxfx或mkxxfx，通过使ba，确定出mk,，即可得到所需的辅助函数.例如由mkxxfx，令ba得mkbbfmkaaf，从而abafbfk，而m可取任意实数，这样我们就得到了辅助函数mxabafbfx，由m的任意性易知迭加法可构造出无数个辅助函数，这些函数都可用于证明拉格朗日中值定理.3.6用行列式引入辅助函数法证明构造一个含xf且满足罗尔中值定理的函数x，关键是满足ba.我们从行列式的性质想到行列式111xfxafabfb的值在,xaxb时恰恰均为0，因此可设易证111xfxxafabfb，展开得xfbxbfaafxafbfaxbfx.因为xf在闭区间ba,上连续，在开区间ba,内可导，所以x在闭区间ba,上连续，在开区间ba,内可导，且0ab，所以由罗尔中值定理知，至少存在一点ba,，使得0'.因为0''fbabfaf即：abafbff'3.7数形相结合法引理在平面直角坐标系中，已知ABC三个顶点的坐标分别为,Aafa，,Bbfb，,Ccfc，则ABC面积为1112ABCafaSbfbacfc，5这一引理的证明在这里我们不做介绍，下面我们利用这一引理对拉格朗日中值定理作出一种新的证明.这种方法是将数形相结合，考虑实际背景刻意构造函数使之满足罗尔中值定理的条件.如图，设,cfc是直线AB与yfx从A点开始的第一个交点，则构造211141afaxcfcxfx，易验证x满足罗尔中值定理的条件：在闭区间,ac上连续，在开区间,ac内可导，而且ba，则至少存在一点ba,，使/0，即：01111111'fcfcafafcfcafa但是1101afacfcf，这是因为，如果1101afacfcf，则ffcfcfacca，这样使得,f成为直线AB与yfx从A点的第一个交点，与已知矛盾）.故0111fcfcafa，即acafcfabafbff'.若只从满足罗尔中值定理的要求出发，我们可以摈弃许多限制条件，完全可以构造111afaxbfbxfx来解决问题，从而使形式更简洁，而且启发我们做进一步的推广：可构造111gafaxgbfbgxfx来证明柯西中值定理.63.8区间套定理证法证明将区间,Iab二等分，设分点为1，作直线1x，它与曲线yfx相交于1M，过1M作直线11LM∥弦baMM.此时，有如下两种可能:⑴若直线11ML与曲线yfx仅有一个交点1M，则曲线必在直线11ML的一侧.否则，直线11ML不平行于直线abMM.由于曲线yfx在点1M处有切线，根据曲线上一点切线的定义，直线11ML就是曲线yfx在点1M处的切线，从而abafbff1.由作法知，1在区间,ab内部，取1于是有abafbff⑵若直线11ML与曲线yfx还有除1M外的其他交点，设111,Nxy为另外一个交点，这时选取以11,x为端点的区间，记作111,Iab，有1,112balIba,1111fbfafbfababa，把1I作为新的“选用区间”，将1I二等分，并进行与上面同样的讨论，则要么得到所要求的点，要么又得到一个新“选用区间”2I.如此下去，有且只有如下两种情形中的一种发生:(a)在逐次等分“选用区间”的过程中，遇到某一个分点k，作直线kx它与曲线yfx交于kM，过点kM作直线kkLM∥弦bMM,它与曲线yfx只有一个交点kM，此时取k即为所求.(b)在逐次等分“选用区间”的过程中，遇不到上述那种点，则得一闭区间序列{nI}，满足:①12IIInnnbaI,7②02nnnbaban③nnnnfbfafbfababa由①②知，{nI}构成区间套，根据区间套定理，存在唯一的一点3,2,1nIn，此点即为所求.事实上nnnnbalimlim，f存在fabafbfnnnnnlim，由③limnnnnnfbfafbfababa，所以abafbff，从“选用区间”的取法可知，确在,ab的内部.3.9旋转变换法证明引入坐标旋转变换A:cossinxXY⑴cossinYXy⑵因为22cossincossin10sincos所以A有逆变换/A:cossincossinXxyxfxXx⑶sincossincosYxyxfxYx⑷由于xf满足条件:1在闭区间ba,上连续；2在开区间ba,内可导，因此