摘 要:微分中值定理是一系列包括拉格朗日定理、柯西定理、費馬定理、泰勒公式等等重要定理公式的總稱,它是歷代數(shù)學(xué)大家的智慧和心血的結(jié)晶,也在應(yīng)用數(shù)學(xué)中有著不可估量的作用,是證明不等式、判斷函數(shù)圖像的走勢、凹凸性、單調(diào)性、極值定理時最有力的工具之一。筆者根據(jù)自身實踐和研究,在本文中著重探討微分中值定理在高等數(shù)學(xué)時的應(yīng)用,通過各個實例進一步展示如何在高等數(shù)學(xué)中運用微分中值定理,以期為大家在今后的解題和教學(xué)中提供思路和借鑒。
關(guān)鍵詞:微分中值定理;高數(shù);應(yīng)用研究
從歷史角度看,早在古希臘時代,人類就開始對微分中值定理進行探討和研究。例如古希臘的數(shù)學(xué)家早在公元前就在書中作出了如下判斷,即“經(jīng)過拋物線的頂點的切線一定平行于拋物線的凸弓形的底”,而這恰恰就是今后為世人所熟知的拉格朗日定理的一種特殊情況。而古希臘最著名的數(shù)學(xué)大家阿基米德就在他今后的研究中充分利用了這位先賢的判斷結(jié)論,巧妙地運用該特殊情況計算出了拋物線和底形成的圓凸形的面積,這在當(dāng)時是一個拉格朗日定理在應(yīng)用數(shù)學(xué)上的一個重大突破。到了現(xiàn)代,法國數(shù)學(xué)家費馬(Fermat)在1637年在其著作《求最大值和最小值的方法》中證明了費馬定理。緊接著,法國數(shù)學(xué)家羅爾在十七世紀(jì)末在其著名論文《方程的解法》中證明了多項式情形下的Rolle定理。在到1797年的《解析函數(shù)論》著作中,偉大的法國數(shù)學(xué)家拉格朗日第一次次闡釋了拉格朗日定理,而他自己也在該書中作出了最初的證明。而法國數(shù)學(xué)家柯西(Cauchy)運用自己的聰明才智,對微分中值定理進行最為系統(tǒng)研究??挛髟谙热说幕A(chǔ)上重新構(gòu)建了微積分理論,并在自己的三部傳世巨著《分析教程》、《無窮小計算教程概論》、《微分計算教程》中對微積分理論基礎(chǔ)逐個作了探討和闡釋。換句話說,在數(shù)學(xué)運用領(lǐng)域,是柯西第一次奠定了高數(shù)中微分中值定理的應(yīng)用價值,使微分中值定理成為了日后高等數(shù)學(xué)應(yīng)用的核心定理。到了近代,微分中值定理已經(jīng)成為現(xiàn)代高等數(shù)學(xué)的研究和應(yīng)用時最有效的工具手段之一,下面筆者通過幾個具體的實例,探討高數(shù)中微分中值定理的應(yīng)用技巧。
一、微分中值定理在幾何學(xué)上的應(yīng)用
拉格朗日定理在微分中值定理中處在最為基礎(chǔ)的位置,其他幾個定理都是在拉格朗日定理的基礎(chǔ)上變化而來的,而這一點在幾何學(xué)意義上尤其明顯,下面筆者重點以拉格朗日定理中的弦線法對具體的幾何實例進行分析。
例一:設(shè)存在函數(shù)f(x),可微積分,該函數(shù)的導(dǎo)函數(shù)f’(x)嚴(yán)格單調(diào)遞增,若f ( a ) = f ( b ) ,并且a < b 。試證明:對于一切x∈(a, b ) ,有f ( x ) < f ( a ) = f ( b ) 。
證明如下:如圖所示,作弦線AC ,BC ,并應(yīng)用拉格朗日定理,( a , x ),( x , b ) ,由此使導(dǎo)數(shù)f ’(ζ) 以及f ’()分別等于作出的弦AC 和BC的斜率,因為f’( x )嚴(yán)格單調(diào)遞增,所以f’(ζ) < f ’(),由此可得弦AC的斜率小于弦BC的斜率。
綜上所述,<。由此依照已知f ( a ) = f (b) ,該不等式可以整理為f ( x ) < f ( a ) = f ( b ) 。
二、微分中值定理作為輔助函數(shù)的應(yīng)用
在高等數(shù)學(xué)的證明題中,構(gòu)建一個輔助函數(shù)有時就像在第一部分的幾何學(xué)應(yīng)用中構(gòu)建輔助線一樣具有十分重要的作用,因為輔助函數(shù)常常會使一些看似根本無法解答的證明題剎那間豁然開朗、柳暗花明,而微分中值定理在這些證明題中常常又是構(gòu)建一個有用的輔助函數(shù)的關(guān)鍵。