1、精選優質文檔-傾情為你奉上高數中的重要定理與公式及其證明（二）在第一期的資料內我們總結了高數前半部分需要掌握證明過程的定理，由于最近比較忙，所以一直沒來得及寫。現將后半部分補上。希望對大家有所幫助。1）泰勒公式（皮亞諾余項）設函數在點處存在階導數，則在的某一鄰域內成立【點評】：泰勒公式在計算極限、高階導數及證明題中有很重要的應用。對于它們，我們首要的任務是記住常見函數（）在處的泰勒公式，并能利用它們計算其它一些簡單函數的泰勒公式，然后在解題過程中加以應用。在復習的前期，如果基礎不是很好的話，兩種不同形式的泰勒公式的證明可以先不看。但由于證明過程中所用到的方法還是很常用的。因此把它寫在這里。證明

2、：令則我們要證明。由高階無窮小量的定義可知，需要證明。這個極限式的分子分母都趨于零，并且都是可導的，因此用洛必達法則得再次注意到該極限式的分子分母仍趨于零，并且也都是可導的，因此可以再次運用洛必達法則。不難驗證該過程可以一直進行下去，運用過次洛必達法則后我們可以得到由于在點處存在階導數，由導數的定義可知代入可得。 證畢注：這個定理很容易得到如下錯誤的證明：直接用次洛必達法則后得到錯誤的原因在于定理條件中僅告知了在點處存在階導數，并沒有說明在其它點處的階導數是否存在。就算其它點處的階導數也存在，也不一定連續，也不一定成立。希望大家注意。2）泰勒公式（拉格朗日余項）設函數含有點的某個開區間內有直到

3、階導數，則對內任意一點，都成立其中，其中介于和之間。【點評】：同上。證明：令則我們需要證明。由于，因此易知，滿足柯西中值的條件。因此，由柯西中值定理可知，在和之間存在一點使得而因此，此時仍然有。則。易知，仍滿足柯西中值的條件。因此，由柯西中值定理可知，在和之間存在一點使得。由于在和之間，因此也在和之間。容易檢驗，上述過程可以一直進行下去，使用過次柯西公式后即可得到。 證畢注：在計算極限或確定無窮小量的階時，一般用到皮亞諾余項的泰勒公式；在做證明題時用拉格朗日余項比較多。兩種泰勒公式的條件是不同的，其中拉格朗日余項的條件更強，結論也更強。這兩個定理的證明，如果基礎不太好一時接受不了的話可以先跳過

4、，到下一階段再看。3）定積分中值定理設函數在區間上連續，則在積分區間上至少存在一點使得下式成立：【點評】：積分中值定理是定積分比較定理和閉區間上連續函數的介值定理的推論，它在是證明微積分基本定理的基礎，在整個微積分中具有極大的理論意義。同時，證明題中對該定理的應用也比較常見，通常會和微分中值定理結合使用，考生首先應該熟記該定理的條件和結論。另外，考試中還出現過與該定理證明方法類似的證明題。因此，該定理的證明過程也是需要掌握的。該定理的證明過程教材上有，因為比較重要，也為了方便大家，在這里寫一下我的證明過程證明：由于在區間上連續，由閉區間上連續函數的最值定理可知：在區間上可以取到最大與最小值。設

5、最大值為，最小值為。則有。則有，也即兩邊同時除以可得。可知是介于函數在區間上的最大值和最小值為之間的一個數。由閉區間上連續函數的介值定理可知，能取到上的一切數。因此在積分區間上存在一點使得：。也即。 證畢附：下面是02年數三的一道證明題，證明方法與本定理很類似，大家可以試一試。【02年數三 6分】：設函數在上連續，且。試利用閉區間上連續函數的性質，證明存在一點，使得。4）積分上限函數的導數如果函數在區間上連續，則變積分上限函數在上可導，并且它的導數是【點評】：這個定理的重要性不用強調了，考試中也直接考到過它的證明。由于是對定理的證明，因此要證明的導數等于只能用定義，對于大家強化導數的定義是一個

6、很好的訓練。證明：由導數的定義可知，本定理等價于證明。而由于在區間上連續，因此由定積分中值定理可知：存在介于與之間的使得，則。由于介于與之間，因此當時，。又由于在區間上連續，可知。也即。由導數的定義可知。 證畢5）牛頓萊布尼茲公式如果函數是連續函數在區間上的一個原函數，則【點評】：牛頓-萊布尼茲公式又名微積分基本定理，是因為它用一個簡單的公式就成功地聯系起了微積分中最重要的兩個概念：微分和積分，極大地簡化了定積分的計算。它是微積分最核心的定理之一，其簡潔明了的形式也使它被認為是微積分幾百年研究歷史中最漂亮的結論之一！該定理和上一個定理實際上是等價的，只需要用到一個函數在同一區間上的不同原函數間

7、僅相差一個常數。大家不妨自己推證。6）柯西施瓦茲不等式設函數都在區間上可積且平方可積（注意：這里沒有說連續），則有【點評】：這個公式是教材上的習題，在考試時可以直接用。該公式在連續時也成立，但證明方法有區別，通過這個例子可以說明應用牛頓萊布尼茲公式時檢驗被積函數是否連續的重要性。證明：法一：令則。而因此在區間上單調遞減。則有。整理即得所需不等式。 證畢注：就本題來說，這個證明過程是錯的。因為本題沒有說連續，因此不能用變上限積分求導公式，也就是說對的計算是不合法的。把這個證明過程放在這里是因為在考研范圍內我們遇到的函數大多是連續的，而且利用函數單調性的方法在積分不等式的證明中也是很有代表性的。法

8、二：易知，有。將括號打開可得將該式看作變量的二次函數，。可知，對任意的實數都成立。由二次函數的相關理論可知，該二次函數的判別式小于或等于零也即整理即得所需不等式。 證畢注：由于這種證明方法所用到的條件比連續弱，因此當連續時，該證明過程也成立。但這個證明過程所用到的方法不具有代表性，大家了解一下即可。7）二元函數偏導數存在與可微的關系如果函數在點可微，則函數在該點連續且兩個偏導數均存在，并且【點評】：學到多元函數時第一個困擾我們的就是多元函數的可微與可導不再等價，它們與連續性的關系也變得更為復雜了。下面希望能通過幾個定理與反例來將這個關系說清楚。證明：由可微的定義可知存在只與有關而與實數使得在點附近成立。現證明，由偏導數定義可知，這等價于證明。由于成立，因此則。由高階無窮小的定義可知。因此，有。也即。同理，可證。 證畢注1：關于二元函數可微，偏導數存在、連續和偏導數連續的關系可以用下圖來表示：也就是說：偏導數連續的函數必然可微，可微的函數必然連續并且存在偏導數，但連續和偏導數存在這兩個概念本身是互不包含的（也就是說連續的函數不一定存在偏導數，偏導數存在的函數也不一定連續）。注二：例如：1）函數，在連續，但偏導數不存在。2）又如函數，在（0，0）處的偏導數是存在