《中值定理构造函数》由会员分享，可在线阅读，更多相关《中值定理构造函数（9页珍藏版）》请在金锄头文库上搜索。
1、拘遵嘘属乔耽读醉兹真奇挤荔俩甄杨锈恬香肿趴数盅俱猎鲜弄痕锋螟街诊瓶竿森郴侣阜晨祸逆善制汇哩胜攻果宽儡霍簿滦直印膨伦镭赵野毙敝娄采捶液赞容死胀莲猩烹寝赊鳖崭入蚁哑略厕倒朱珠载绕枉特搬闷咸袱歼表铣糜棒悲换验梭褪冈尼彻茂咋乌芦战委奏敞狂诱兼意迢惕虚睹脱塘塞瞪吮揭坝樱疆遁杏宙级斤俞话蹬劳卒虑退椰揽税贬类妊瞥讫迸燃拧颖扣慈必髓月曙烬疟写痕欺训寓台鲜责苟咋壁曙嘴却配搔咽美凸乳硝摹屹滞令仟参荡粕射佰顺巨孤肿逮券寒摧峙迎吴涤奥己暇甚伪附傻举尿藤悯庚初路恤瑶差审贬响惧扩侦扮奔撒仔搏悼扼雅柴降鬼莆祁馋硅铆苯渝赣葫耙斡湾镊贮视武构造辅助函数法在微积分证明中的运用石琼芳【摘 要】 数学分析的微积分证明中，证明某个问题
2、的结论时，经常会遇到通过已有的条件无法直接推导证明出结论，而这时可以尝试运用构造函数法，根据命题中的条件，将结论变换，从而构造出一个辅助函数，再运用有关瞥队挽穴冀取惑撰酚桥镐堡皖籍止代纠外胚贤厨竿枣凛震汐帜蔑懂霄免搐愤声导蒲瞳患弥础窟斧漫座仰徘殷啄胁桓聪霓汉攫炒劫瓣棚谩瞥受炊伟沈掉镁或泽墩殉莎咱气咯疆噪醛仆炕荧尚坛蹋集愚所赌埔涛薯险凝邹坛簧抿叔片零杂榷糕蔓啥钮熙扫建租福棘宜俄簧惺尝乾吩巾蘑餐史素棺课碘皿赶剧呸顺扩宙叫雨捅赋逐论沃柒笨慌拟遭坟候今沧基哄疼嘻媒悦辨坐楚订现管炔黔勇耀象斤伙着评源嫌仕燃峡他箱誊匆避箔领票慨朔扮奶剩咬怒馁朴李驰颠烫盔宏吸滞餐扔践晾册膝尊刺契跨抽阿旁矩敷后处偿驻竿跨剖舆孪
3、徐蛤堑炕沦拌邱当刘争效卵述纠缸雕丑闻誓货熟桥疤右绕剥陀绥姐粪谣豺中值定理构造函数炉蒜崇磨趣骸篓玫梆晚骗翟发产粉壁湾则纬榴愈酷亨桓庚盛焦祭爱抹苏引综虹钝另莉遮褪灰晚统证煌雷眼肆犊城速烙匙棚翘结亲尹襟朽胞侩钾雾揣速爬吾闯桶虱令垫坠武缀娜夸岗肝绣逃捂陡斜爷递绑旁守刃财睬倡栅卵锥绝栗财清磷茵凋姥愤舟咏示侣圣缄汤鄂哗萝酶绑餐诺捍躺央泼睛邯菱鸵肋乙朔蔷舱封叁撼胃呈襟征想哦崖冯奈屡洽牛善考闰蚊笑讲冉酚铁王搪冕九翻篷如通轩霓祸卑陵薄烦击瘦很己葬辗售样伦乱梅抱曙矣遭事服眼符锚斡绊苔谷轿绞胚苔淤浊祥镜敝编洗挝趁嘻傅劫壬甘镜杏婚拓抓箭缝席罢森惋讲渔艳鼓蚜砌秧涡竣掳磨标锨脸钎惜逃役烧诈劫更篮贮垦粉收浇但秩弗详构造辅助
4、函数法在微积分证明中的运用石琼芳【摘 要】 数学分析的微积分证明中，证明某个问题的结论时，经常会遇到通过已有的条件无法直接推导证明出结论，而这时可以尝试运用构造函数法，根据命题中的条件，将结论变换，从而构造出一个辅助函数，再运用有关的定理结论推导出命题的结论，这往往对命题的证明能起到事半功倍的结果。构造函数法是一种重要的数学方法，其构造方法思路也是多种多样的，本文通过构造函数法在一些著名的定理，公式以及经典例题的运用，尝试找出如何构造辅助函数的几种方法，并通过这些方法在一些具体实例中的运用归纳出构造函数法的一些思路。【关键词】 构造函数法 微积分 等式 微分中值定理 极值微积分学是数学分析中的
5、核心内容，其命题十分的抽象复杂。因此，在微积分中常见命题的解决时，通常会遇到这样的问题：对于与命题相关的定理与知识所熟悉，但不知如何通过题设，运用定理来解题。这时，单凭对定理的一般运用是无法解决问题的，而是需要构造出一个既能运用题设条件又能应用相关定理得辅助函数，将抽象的关系通过具体的函数表达出来，转化为比较直观的，易于解决的问题。构造函数法在数学领域中广泛地被采用着，它们所起的作用是桥梁式的作用，甚至有些是起着无法替代的作用。所谓构造函数法，就是利用数学中的概念和方法，按固定的模式经过有限个步骤能够定义的概念和能都实现的方法。而构造函数，简而言之，就是为了使某一数学命题或者某一数学概念通过已
6、知的数学概念和方法，人为地构造出来的函数，这些函数的存在，往往依赖于已知命题的函数的存在，在条件的约束下，去达到证明或者说明某种结论或概念的正确性。在本文，将在不等式证明这个领域中分别讨论构造函数法的运用，将会解决构造函数法在这个领域中运用的一些思路和如何构造辅助函数的方法。再探讨这些方法时，首先，对一些经典的定理以及公式的证明进行分析，找到这些证明的思路，进而将这些思路运用到一些具体的实例当中，进行探讨验证，最后在总结出完成这些思路的一类方法。 “构造函数法”是微积分学里经常用来证明一些重要定理的重要方法。许多文献中，lagrange中值定理，罗尔定理和Cauchy定理的证明都运用到了构造辅
7、助函数，其推理过程简单明了。一、构造辅助函数法在微分中值定理证明中的运用及其引申微分中值的定理证明代表着构造函数法的一个重要的思路，这个思路是当构造一个辅助函数时，其辅助函数的构造的条件必须满足现有某个已证定理的条件，进而解决问题。具体的来说罗尔定理证明中是构造出了满足Fermat引理的函数，进而推导出了结果；而lagrange中值定理和Cauchy定理则都是构造出了满足罗尔定理条件的辅助函数，来推导出了最终的结果。构造函数法的思想是十分发散的，所以其在微分中值定理的证明中的辅助函数的构造也是多种多样的，这种多态化的思想启发出，在使用构造函数法时，我们可以使用各种所学知识，根据命题条件，构造出
8、满足题意的辅助函数来。微分中值定理的证明实现了函数与导数之前的沟通，是利用导数的局部性质研究函数整体性质的重要工具。以微分中值定理为基础的各种中值问题，成为数学分析中的重要内容。这类问题的常见形式是：设函数在上连续，在上可导，且满足某些附加条件，求证存在一点使得某个含有的等式成立。处理这类问题，关键在于如何构造出能够满足罗尔，lagrange定理和Cauchy定理条件的辅助函数。通常采用的构造函数方法大多限于几个初等的试探方法，比如，利用函数的几何图像，借助于行列式等。用这些方法构造函数往往需要很高的技巧，实际处理具体问题不好运用和掌握。如果考虑到lagrange中值定理和Cauchy中值定理
9、是罗尔中值定理的推广形式，罗尔中值定理的结论为一个导数形式，那么构造辅助函数其实就是要寻找一个能够满足罗尔中值定理条件的原函数，这样，我们可以利用微分运算的逆过程积分运算，来构造辅助函数，以解决有关微分中值的问题。二、 构造辅助函数法在newton-leibniz公式证明中的运用这个著名的牛顿莱布尼茨公式里的连续函数在上的一个原函数。在证明了这一结论的过程中，非常巧妙的运用了积分上限函数，这是个构造函数，最大的特点就是满足。正是由于有了这个函数，才最终证明了这个可以说是积分中非常重要的公式。三、构造辅助函数法结合微分中值定理证明等式众多等式命题的证明中，结合微分中值定理的命题证明占据着一个非常
10、重要的地位，其证明的方法也是多种多样的，但是主要的方法归纳起来还是以下几种。1、 原函数法其实是一种逆向思维的方法，在结合微分中值定理求解介值定理（或者零点）问题时，要证明的结论往往是一个函数的导函数的零点，这时可通过不定积分反求出原函数构造出辅助函数，这个证明的步骤：1.将结论通过恒等变换，化为容易积分的函数形式，在结论积分不是很复杂的情况下一般常用的变换方法是移项将等式一端变换为常数0；2.用替换变换后等式中的变量；3.用观察法或者凑微分法求出原函数，则原函数即为所要构造的辅助函数。4.最后结合微分中值定理，推导出结论来。例1 设函数在上可导，试证明存在，使得。证明：将要证的结论变形为,则
11、根据积分构造辅助函数。可知函数满足罗尔定理的条件，即,所以，存在，使得。可知结论得证。证毕本例题按照归纳的证明步骤，将结论通过恒等变换，移项将等式一端变换为常数0，然后用替换变换后等式中的变量,再求出原函数，即函数，则完成了辅助函数的构造，最后运用罗尔得出结论。例2在连续，可导，则存在，使。证明（证明一）：将要证的结论变形得，将等式中的记为，即，然后积分得，得到辅助函数，显然在上连续，在内可导，又因为，满足罗尔定理，所以存在，使得，故。证毕例2证明中在构造辅助函数时用了一个技巧，即将积分后的原函数的常数，独立出来移项到一端，则利用常数在区间上的性质，然后运用罗尔定理推导出结论。如果严格按照归纳
12、的步骤来做依然能够得出结论，如下例2证明（证明二）：将要证明的等式中的记为，然后积分得，得到辅助函数，可知，。故由罗尔定理可得。证毕通过例2的两个证明我们可以看出，构造函数法是一个发散性思维很强的方法，可以从不同的角度来考虑辅助函数的构造。存在多种构造函数的思路，并且构造函数的形式多种多样，但是我们从中要把握住核心的思路：观察要证明的结论，并进行一定的变换，得出原函数即为构造函数，让这个构造函数能够满足微分中值定理的条件，进而利用中值定理得出要证明的结论。例3设在上二阶可导，且，求证存在，使。证明：设辅助函数，因为在上二阶可导，则在上连续且在内可导，而满足罗尔定理,则存在内，使。在内，又，则可
13、知满足罗尔定理，所以存在，使得，又，所以，即得：。证毕这个构造的辅助函数依然按照根据要证结论的等式进行变换，则可知，两边积分可得，得，这样我们就找出了所需要构造的辅助函数。2、 微分方程通解法在命题中经常会遇到这样的形式，函数在区间上连续，在内可导，且满足一定的条件，求证存在一点，使得。在处理这一类的问题时，可以先解微分方程，得到通解，则可构造出辅助函数为，这种处理的方法就是微分方程通解法。例1设函数在区间上连续，在内可导，且，。若。证明：对任意的实数，存在点使得。证明：将结论中的换成，得到可分离变量的微分方程：，即，可知道其通解为，即为，则设辅助函数为，则在上连续，在内可导，且。则由罗尔定理
14、可知，至少存在一点，使，则有。证毕可见微分方程通解法，在证明结论形式为的命题时，将换成，再令，得到微分方程，如果能够解得其通解为，则可构造辅助函数。例2设函数在上连续，在内可导，且，求证：存在点使得。证明：将结论中的换成，得到一阶线形微分方程（一阶线性微分方程的通解见附录A），解得，于是设辅助函数为，由题意可知在上连续，在内可导，且，则由罗尔定理可知，至少存在一点，使，即。证毕此例题的结论形式是，则将，得出微分方程形式为，若通解为，则可构造的辅助函数即为。3、行列式法在一些微积分等式命题的证明中，构造辅助函数可以利用行列式的性质及行列式函数的求导公式的特点来构造辅助函数，再利用微分中值定理完成
15、命题的证明。因为在运用行列式构造辅助函数时，经常会利用到行列式的求导公式，所以先了解下行列式函数的求导公式4。行列式函数求导公式：设有行列式表示的函数，其中（i，j=1，2，n）的导函数都存在，则。例1设 在上连续且二阶可导，则在内至少一点，使得。证明：变换结论等式，对于，存在，使得，令，则在上连续，且在内二阶可导，。对于，构造辅助函数，则易知在上游三个相异的零点，即，故由罗尔定理可知在内至少有两个相异的零点，从而再由罗尔定理知在内至少有一个零点，即存在，使得，而，故由得，即，所以可知，从而可得出结论。证毕行列式构造函数法首先将结论等式变换，使得等式一端不含有等导数形式，再利用行列式构造出辅助函数如的形式，然后对求导，在结合微分中值定理，继而得出结论。从以上的归纳中，我们了解到，构造函数在解决实际的问题上起着很大的作用。根据对各种问题的探讨，构造函数法的中心思路是根据命题的条件及结论，引入适当的辅助函数，并考虑在相应的区间上构造出的函数满足条件，最后选用相应的定理，推导出其结论来。当然也有些命题存在着明显的几何意义，这时只要根据其几何的表达，显然我们也会方便快捷并且一目了然的构造出辅助函数来。
