构造函数法在微积分证明中的应用.doc

一、绪论 构造函数思想是数学的一种重要的思想方法。在数学中具有广泛的应用。他属于数学思想方法中的构造法。所谓构造法，就是根据件或结论所具有的特征、性质，构造出满足条件或结论的数学模型，借助于该数学模型解决数学问题的方法怎样构造呢？当某些数学问题用通常办法按定势思维去解，很难凑效时，应根据题设条件和结论的特征、性质展开联想，常是从一个目标联想起我们曾经使用过可能达到目的的方法，手段，进而构造出解决问题的特殊模式，就是构造法解题的思路．构造法是数学解题的主要方法之一，它的应用极广。随着知识的积累和增加，构造法就越加突现重要。比如在微积分学里的中值定理的证明和应用上。 其中，在拉格朗日中值定理的证明中利用定理公式构造了一个新的函数，再利用函数的性质和定理合理地证明了拉格朗日中值定理。其他中值定理也如此，都是通过构造函数来证明的。四种中值定理：费马定理，罗尔中值定理，拉格朗日中值定理，柯西中值定理。构造法都贯穿其中，起到了重要和决定性的作用。设函数在闭区间上连续，且与 异号（即），那么在开区间内至少有函数的一个零点，即至少有一点（）使零点定理，使，结论中并未出现导数运算.所以不太可能利用中值定理证明.相反，只要可以整理为：“证明存在，使某连续函数满足”这种形式的命题，基本上都可以使用零点定理换成）作为辅助函数即可. 设在闭区间上连续函数，证明：对于任意的，，都存在，使得. 证明：只要证，即可.为此，设.显然在闭区间上连续， . 若，则，都满足方程； 若，则由，及零点定理，使得； 因而，对于任意的，，都存在，使得，即. 构造辅助函数利用零点定理，，，.证明方程分别在区间有且仅有一个实根. 证明：设 ， 记； 易见，是一个二次函数，它在内连续，当然在和上都连续，并且，， . 所以由零点定理与，使得，； 然而是一个二次函数，最多有两个零点，因此分别在区间有且仅有一个实根. 另一方面，由于，所以当且仅当，因而也分别在区间有且仅有一个实根. （二）构造辅助函数用罗尔定理证明 罗尔中值定理 如果函数在闭区间上连续,在开区间内可导,且,那么至少存在一点,使得. 对于含有抽象函数及其导数的方程或关于的等式，在证明时，应构造辅助函数，用罗尔定理证明。此时构造函数的一般方法是，查找原函数，其步骤为： 若证的是含有的等式，先把改为，使等式成为方程； 把方程看作是以为未知函数的微分方程，然后解微分方程； 求出解后，把任意常数移到一端，另一端即为所要构造辅助的函数; 对于形式简单的方程或含的等式，则可用观察法求出辅助函数. 下面我们用罗尔定理来证明一些重要的定理： 拉格朗日中值定理 设函数满足条件：（1）在闭区间上连续；（2）在开区间内可导。则至少存在一点 ，使 （1.1） 我们要证（1.1）式， 即要证， 即 . 故我们可以从几何意义上来考虑： 拉格朗日中值定理的几何意义如图所示，函数的图像在区间上为图中的弧段 ，上点点存在不与轴平行的切线。那么，结论是在内存在点，使相应于这一点的弧上点处的切线平行于弦。 图 因此在证明拉格朗日中值定理中，故我们想到作辅助函数 我们所做的辅助函数 实际上分两部分：和，容易验证，它们在闭区间连续，在开区间内可导，此时易知 容易验证，在上满足罗尔定理的条件.因而存在，使=0， 即成立. 柯西中值定理 设函数和满足条件：（1）,均在闭区间上连续；（2）, 均在开区间内可导;（3）对 .则存在，使 （2.1） 我们要证（2.1）式， 即要证 , 也就是 . 故我们想到作辅助函数 . 容易验证，在上满足罗尔定理的条件。因而存在， 使. 因（）故，， 得 柯西定理证毕. （三）构造辅助函数用拉格朗日中值定理证明 证明方法根据－拉格朗日中值定理 拉格朗日中值定理：若函数满足下列条件：（I）在闭区间上连续；（II）内可导，则在开区间内至少存在一点，使得. 拉格朗日中值定理反映了函数或函数增量和可导函数的一阶导数符号之间的关系. 对于常值不等式或函数不等式，通过恒等变形后，若出现函数差值与自变量之差之比，符号拉格朗日中值公式的形式，则用拉格朗日中值定理证明之.此时，所要构造的辅助函数可观察得出. 证明步骤为： 1．辅助函数，找到相应的区间； 2．验证该函数在区间满足拉格朗日中值定理的条件； 3．写出拉格朗日中值公式； 4．由满足的不等式，对放大或缩小，从而消去，得到所要证明的不等式. 例1 证明：当. 分析：所证不等式中的函数的