微積分學(xué)中輔助函數(shù)的構(gòu)造探索總結(jié)

1、微積分學(xué)中輔助函數(shù)的構(gòu)造探索總結(jié)邱燁，高戰(zhàn)，高亞茹中國礦業(yè)大學(xué)計算機科學(xué)與技術(shù)學(xué)院，徐州(221008)摘 要：構(gòu)造輔助函數(shù)是數(shù)學(xué)分析中解決問題的重要方法，在解決實際問題中有廣泛應(yīng)用通過研究微積分學(xué)中輔助函數(shù)構(gòu)造法，構(gòu)造與問題相關(guān)的輔助函數(shù)，從而得出欲證明的結(jié)論本文介紹了構(gòu)造輔助函數(shù)的概念及其重要性，分析了構(gòu)造輔助函數(shù)的原則，歸納了構(gòu)造輔助函數(shù)的幾種方法，并研究了構(gòu)造輔助函數(shù)在微積分學(xué)中的重要作用和應(yīng)用技巧。關(guān)鍵詞：微積分 輔助函數(shù) 中值定理0引 言當(dāng)某些數(shù)學(xué)問題使用通常辦法按定勢思維去考慮而很難奏效時，可根據(jù)題設(shè)條件和結(jié)論特征、性質(zhì)展開聯(lián)想，進(jìn)而構(gòu)造出解決問題的特殊模式構(gòu)造輔助函數(shù)輔助函數(shù)構(gòu)

2、造法是數(shù)學(xué)分析中一個重要的思想方法，在數(shù)學(xué)分析中具有廣泛的應(yīng)用構(gòu)造輔助函數(shù)是把復(fù)雜問題轉(zhuǎn)化為已知的容易解決問題的一種方法，在解題時，常表現(xiàn)為不對問題本身求解，而是構(gòu)造一個與問題有關(guān)的輔助問題進(jìn)行求解微積分學(xué)中輔助函數(shù)的構(gòu)造是在一定條件下利用微積分中值定理求解數(shù)學(xué)問題的方法通過查閱現(xiàn)有的大量資料發(fā)現(xiàn)，現(xiàn)在國內(nèi)外對微積分學(xué)中輔助函數(shù)構(gòu)造法的研究比較多，其中有一部分研究的是輔助函數(shù)構(gòu)造法的思路，但大部分研究的是輔助函數(shù)的構(gòu)造在微積分學(xué)解題中的應(yīng)用通過構(gòu)造輔助函數(shù)，可以解決數(shù)學(xué)分析中眾多難題，尤其是在微積分學(xué)證明題中應(yīng)用頗廣，且可達(dá)到事半功倍的效果1. 構(gòu)造輔助函數(shù)的原則構(gòu)造輔助函數(shù)把復(fù)雜的問題轉(zhuǎn)化為

3、已知的容易解決的問題，這是微積分中的一種重要解題方法，為了更好地掌握此方法，我們通過對微積分學(xué)中的一些問題的分析，探討構(gòu)造輔助函數(shù)的兩個原則1.1將未知化為已知在微積分學(xué)中許多命題的證明都是在分析所給命題的條件、結(jié)論的基礎(chǔ)上構(gòu)造一個函數(shù)將要證的問題轉(zhuǎn)化為可利用的已知結(jié)論來完成比如，下面例1.1的證明就是對連續(xù)函數(shù)的性質(zhì)進(jìn)行分析，構(gòu)造輔助函數(shù)，轉(zhuǎn)化為利用已知的零點定理加以證明例1.11設(shè)在上連續(xù)，且，求證：，使證明作輔助函數(shù)，則由在上連續(xù)知在連續(xù)，因為，所以，(1 )若，則取或即可(2)若，則，由零點定理知，使，即1.2將復(fù)雜化為簡單一些命題較為復(fù)雜，直接構(gòu)造輔助函數(shù)往往較困難，可通過恒等變形，

4、由復(fù)雜轉(zhuǎn)化為簡單，從中探索輔助函數(shù)的構(gòu)造，以達(dá)到解決問題的目的，這種通過巧妙的數(shù)學(xué)變換，將一般化為特殊，將復(fù)雜問題化為簡單問題的論證思想，是微積分學(xué)中的重要而常用的數(shù)學(xué)思維方式例如下面例1.2的證明中，可先做一次恒等變形，即將證明的結(jié)論變形為：直接思考哪個函數(shù)求導(dǎo)后為，發(fā)現(xiàn)不易找到這個函數(shù)進(jìn)一步考慮除以一個非零因子，不難發(fā)現(xiàn)所證結(jié)論可變形為因此，找到了輔助函數(shù)例1.22設(shè)，都在上連續(xù)，在內(nèi)可導(dǎo)，且，求證：在內(nèi)存在一點，使得證明作輔助函數(shù)，因為，都在上連續(xù)，在內(nèi)可導(dǎo)，所以有在上連續(xù)，在內(nèi)可導(dǎo)，且顯然有，由羅爾定理可知，在內(nèi)存在一點使得，即命題得證總之，在利用構(gòu)造輔助函數(shù)解決命題的過程中，考慮將未

5、知化為已知，將復(fù)雜化為簡單，將兩點融合在解題過程中在下文研究中幾乎都能體現(xiàn)到這兩點的融合。2. 構(gòu)造輔助函數(shù)的方法探討用輔助函數(shù)解決數(shù)學(xué)問題，是高等數(shù)學(xué)中常用的方法之一，如果能用好輔助函數(shù)，則輕而易舉就能給出證明過程為了更好地利用輔助函數(shù)，在此給出幾種尋求輔助函數(shù)的常見方法2.1原函數(shù)法在利用微分中值定理求解介值問題時，要證明的結(jié)論往往是某一個函數(shù)的導(dǎo)函數(shù)的零點，因此可通過不定積分求出原函數(shù)作為輔助函數(shù)，其步驟可以總結(jié)如下：(1)將欲證的結(jié)果中的換成；(2)通過恒等變形將結(jié)論化為易消除導(dǎo)數(shù)符號形式；(3)用觀察法或積分法求出原函數(shù)，為簡便積分，常數(shù)取作零；(4)移項使式子一邊為0，則另一邊即為

6、所求的輔助函數(shù)例2.13函數(shù)和在閉區(qū)間上存在二階導(dǎo)數(shù)，并且，求證：在開區(qū)間內(nèi)至少存在一點，使成立分析題中的結(jié)論相當(dāng)于證明用替換，得，積分后得即 由此聯(lián)想到構(gòu)造輔助函數(shù)證明作輔助函數(shù)，則在上連續(xù)，在內(nèi)可導(dǎo)，且，由羅爾定理知，存在一點，使得，即從而得出例2.24設(shè)，在上二階可導(dǎo)，且，求證：存在一個，使得分析題中結(jié)論相當(dāng)于證明用替換得積分后得得輔助函數(shù)證明作輔助函數(shù)顯然在上連續(xù)，在內(nèi)可導(dǎo)，又可知滿足羅爾定理的條件，于是存在，使，即故例2.35設(shè)在上連續(xù)，在內(nèi)可導(dǎo)，則在內(nèi)至少存在一點使分析本題要證明，即證：至少存在一點，使，用替換得，積分后得輔助函數(shù)證明 作輔助函數(shù)則在上連續(xù)，在內(nèi)可導(dǎo)，且所以根據(jù)羅爾

7、定理可知，至少存在一點使，即2.2常數(shù)值法常數(shù)值法適用于常數(shù)部分可分離出的命題，其構(gòu)造輔助函數(shù)的步驟如下：將常數(shù)部分令作；作恒等變形，使等式一端及構(gòu)成代數(shù)式，另一端及構(gòu)成代數(shù)式；分析關(guān)于端點的表達(dá)式是否為對稱式，若是，只要將端點(或)改成，相應(yīng)的函數(shù)值(或)改成，則變量后的端點表達(dá)式即為所求的輔助函數(shù)例2.56設(shè)，在上連續(xù)，在內(nèi)可導(dǎo)，求證：存在一個，使得分析令常數(shù)部分為，即 作恒等變形 (2.1)顯然式(2.1)為對稱式，從而得到輔助函數(shù)證明作輔助函數(shù)，由題設(shè)條件可知在上連續(xù)，在內(nèi)可導(dǎo)，又可見在上滿足羅爾定理的條件，于是存在，使得，即2.3參數(shù)變易法此法適用于不等式的證明，直接把要證明的結(jié)論中

8、的某個參數(shù)“變易”為變量，從而構(gòu)造出相應(yīng)的輔助函數(shù)最終一般都是利用該輔助函數(shù)的單調(diào)性完成證明例2.67設(shè)在上二階可導(dǎo)，且，求證：證明將結(jié)論中的參數(shù)變易為變量，得輔助函數(shù)則，因為在上二階可導(dǎo)，且，故即在上單調(diào)遞增，所以對于，都有，特別地，我們有，即3. 輔助函數(shù)在微積分學(xué)中的應(yīng)用分析羅爾定理，拉格朗日中值定理，柯西中值定理，積分中值定理是微積分學(xué)中的重要內(nèi)容，這些定理貫穿了微積分學(xué)的始終，利用它們證明有關(guān)命題，往往需要構(gòu)造輔助函數(shù)，便可以把微積分學(xué)中較難的問題轉(zhuǎn)化為易解決的問題，下面將舉例說明輔助函數(shù)在解決微積分學(xué)問題中的應(yīng)用3.1輔助函數(shù)在羅爾(Rolle)定理中的應(yīng)用微分中值定理中的羅爾定理

9、是高等數(shù)學(xué)中的一個重要內(nèi)容，因為它的應(yīng)用非常廣泛，而構(gòu)造輔助函數(shù)是解決羅爾定理問題的最主要的方法若輔助函數(shù)構(gòu)造的合理巧妙，滿足定理的三個條件，則問題很快就能迎刃而解推廣的羅爾定理及其證明羅爾定理：若函數(shù)滿足如下條件：(1)在閉區(qū)間上連續(xù)；(2)在開區(qū)間內(nèi)可導(dǎo)；(3)；則在內(nèi)至少存在一點，使得.推廣的羅爾定理設(shè)函數(shù)滿足條件：(1)函數(shù)在開區(qū)間內(nèi)可微；(2)；則在內(nèi)至少存在一點，使證明 不妨設(shè)，作輔助函數(shù)，所以由的構(gòu)造可知，在上連續(xù)，從而滿足羅爾定理的條件即(1)在閉區(qū)間上連續(xù)；(2)在開區(qū)間內(nèi)可導(dǎo)；(3)；則在內(nèi)至少存在一點，使得證畢3.1.2構(gòu)造輔助函數(shù)利用羅爾定理解決問題舉例例3.18設(shè)，在

10、上連續(xù)，在內(nèi)可導(dǎo)求證：存在，使得證明利用原函數(shù)法構(gòu)造輔助函數(shù)則在上連續(xù)，在內(nèi)可導(dǎo)，應(yīng)用羅爾定理可知存在，使得，據(jù)行列式性質(zhì)知所以例3.22設(shè)，在上連續(xù)，在內(nèi)可導(dǎo)，且，求證：在與之間存在一點，使證明利用原函數(shù)法構(gòu)造輔助函數(shù)，則顯然有在上連續(xù)，在內(nèi)可導(dǎo)，且.由羅爾定理知使得，即命題得證就高等數(shù)學(xué)而言，羅爾定理的主要作用是來證明拉格朗日中值定理與柯西中值定理接下來本文將通過構(gòu)造輔助函數(shù)，利用拉格朗日中值定理和柯西中值定理解決問題3.2輔助函數(shù)在拉格朗日(Lagrange)中值定理中的應(yīng)用3.2.1拉格朗日中值定理及其證明拉格朗日中值定理：若函數(shù)滿足如下條件：(1)在閉區(qū)間上連續(xù)；(2)在開區(qū)間內(nèi)可導(dǎo)

11、；則在內(nèi)至少存在一點，使得證明利用常數(shù)值法構(gòu)造輔助函數(shù)，令，則作輔助函數(shù)，則顯然有又因為在閉區(qū)間上連續(xù)，在開區(qū)間內(nèi)可導(dǎo)，所以顯然有滿足羅爾定理的條件：(1) 在閉區(qū)間上連續(xù)；(2)在開區(qū)間內(nèi)可導(dǎo)；(3)；所以在內(nèi)至少存在一點，使得，即從而定理得證3.2.2構(gòu)造輔助函數(shù)利用拉格朗日中值定理解決問題舉例例3.39 證明對一切，成立不等式證明構(gòu)造輔助函數(shù)，則由拉格朗日中值定理可得，當(dāng)時，由可推知，當(dāng)時，由可推得從而得到所要證明的結(jié)論例3.410 設(shè)在上連續(xù)，在內(nèi)可導(dǎo)，若不是線性函數(shù)，且，求證：使得證明利用原函數(shù)法構(gòu)造輔助函數(shù)，則，在內(nèi)可導(dǎo)，且，因為不是線性函數(shù)，所以，使若，則在上應(yīng)用拉格朗日中值定理

12、，使即若，則在上應(yīng)用拉格朗日中值定理，使即例3.51設(shè)，求證：，使證明利用原函數(shù)法構(gòu)造輔助函數(shù)，在上應(yīng)用拉格朗日中值定理得所以令，有例3.61設(shè)在上二次連續(xù)可微，求證：，使證明作輔助函數(shù)，則在內(nèi)可導(dǎo)，由拉格朗日中值定理有，而()所以3.3輔助函數(shù)在柯西 (Cauchy)中值定理中的應(yīng)用3.3.1柯西中值定理及其證明柯西中值定理：設(shè)函數(shù)和滿足：(1)在上都連續(xù)；(2)在上都可導(dǎo)；(3)和不同時為零；(4)；則存在，使得證明作輔助函數(shù)易見在上滿足羅爾定理的條件，故存在，使得因為，所以有3.3.2構(gòu)造輔助函數(shù)利用柯西中值定理解決問題舉例例3.711設(shè)在內(nèi)二次可微，用柯西中值定理證明：，存在在與之間，

13、使得 (3.1)成立(此即展開到一次冪的公式)證明只證明的情況(的情況類似可證，的情況顯然)，式(3.1)可改寫成 (3.2)為了證明(3.2)式，只要作輔助函數(shù)，則，注意到，兩次應(yīng)用柯西中值定理，則 () ()證畢例3.88設(shè)函數(shù)在上可微，且當(dāng)時， ，求證：證明問題在于證明 (3.3)利用參數(shù)變易法構(gòu)造輔助函數(shù)，利用柯西中值定理，可得(3.3)式左端()()例3.99設(shè)函數(shù)在()上連續(xù)，在內(nèi)可導(dǎo)，則存在，使得證明利用參數(shù)變易法構(gòu)造輔助函數(shù)，顯然它在上與一起滿足柯西中值定理條件，于是存在，使得從而有 3.4輔助函數(shù)在積分學(xué)里的應(yīng)用舉例例3.1012 設(shè)在上連續(xù)，且，求證：證明作輔助函數(shù)，則，且

14、所以單調(diào)上升，所以對，有，即例3.118 設(shè)在上連續(xù)，且，使對，有，則，證明利用參數(shù)變易法構(gòu)造輔助函數(shù)，則所以，即，又，所以，例3.1213 設(shè)在上連續(xù)，且對在上連續(xù)，且，都有，求證：，證明作輔助函數(shù)，則在上連續(xù)，且，(只需證，即)，由已知，所以所以，即，從而即為常數(shù)例3.1314 設(shè)在上可微，且滿足，求證：在內(nèi)至少有一點，使證明由所要證明的結(jié)論出發(fā)，結(jié)合已知條件，探尋恰當(dāng)?shù)妮o助函數(shù)，將變形為，利用原函數(shù)法可得到輔助函數(shù)，因為，由積分中值定理可知，至少存在一點，使得又對于，有，所以由羅爾定理知，至少存在一點，使，即4. 結(jié)束語輔助函數(shù)的構(gòu)造在數(shù)學(xué)分析中一直占有重要地位，尤其是在微積分學(xué)中，構(gòu)造

15、輔助函數(shù)解題得到了廣泛的應(yīng)用輔助函數(shù)的構(gòu)造是我們解決問題的重要工具，對它的研究從沒中斷過，眾多數(shù)學(xué)工作者對微積分學(xué)中輔助函數(shù)的構(gòu)造做了很多研究，也取得了很多學(xué)術(shù)成果本文從構(gòu)造輔助函數(shù)的基本概念入手，總結(jié)了幾種輔助函數(shù)的構(gòu)造方法，對其在微積分學(xué)中的應(yīng)用做了大量的問題舉例，同時也體現(xiàn)出了構(gòu)造輔助函數(shù)解決問題對培養(yǎng)學(xué)生創(chuàng)新思維能力的重要作用參考文獻(xiàn)1 劉立山，孫欽福.數(shù)學(xué)分析的基本理論與典型方法M.北京：中國科學(xué)技術(shù)出版社，2005：63-71，87-139.2 同濟大學(xué).高等數(shù)學(xué)(第五版)M.北京：高等教育出版社，2002：126-132.3 郭欣紅.羅爾定理中輔助函數(shù)的構(gòu)造與應(yīng)用J.消費導(dǎo)刊，2

16、008(14)：163-165.4 呂書強，李秋紅.用羅爾定理證明數(shù)學(xué)等式時輔助函數(shù)的構(gòu)造法J平頂山工學(xué)院學(xué)報，2002，11(3)：86-875 陸征一.微分學(xué)基本定理論證的“積分輔助函數(shù)法”J.高等數(shù)學(xué)研究，2003，6(4)：29-31.6 趙樹嫄.微積分M.北京：中國人民大學(xué)出版社，1988：144-150.7 徐利治，王興華.數(shù)學(xué)分析的方法及例題選講M.北京：高等教育出版社，1983.8 裴禮文.數(shù)學(xué)分析中的典型問題與方法M.北京：高等教育出版社，2006：206-222.9 華東師范大學(xué)數(shù)學(xué)系.數(shù)學(xué)分析(上冊)M.北京：高等教育出版社，2001：119-127.10 DONG X

17、H， LAU K S. Cauchy transforms of self-similar measures：the Laurent coefficients J.J Funct Anal，2003，202：67-97.11 LUND J P， STRICHARTZ R S. VINSON J P. Cauchy transforms of self-similar measures J. Exper Math，1998，7(3)：177-190.12 宋振云，陳少元.微分中值定理證明中輔助函數(shù)的構(gòu)造J.高師理科學(xué)刊，2009，29(2)：10-13.13 DONG X H. Cauchy t

18、ransforms of self-similar measures D.Hong Kong：Department of Mathematics，The Chinese University of Hong Kong，2002.14 郭 喬.如何作輔助函數(shù)J.高等數(shù)學(xué)研究，2002，3(5)：48-49.Explore and sum up of the Structure Method of Auxiliary Function In CalculusQiu Ye, Gao Zhan, Gao YaruSchool of Computer Science and Technology, China University of Mining and Technology, Xu Zhou (221008)AbstractAuxiliary function is an important method of solvin