張明會 高婷婷

（隴南師范高等?？茖W(xué)校數(shù)信學(xué)院，甘肅成縣 742500）

微分學(xué)基本定理評注

張明會 高婷婷

（隴南師范高等?？茖W(xué)校數(shù)信學(xué)院，甘肅成縣 742500）

微分學(xué)主要處理的是連續(xù)函數(shù)的變化率問題，它的基本定理、概念、原理和方法是高等數(shù)學(xué)的主干，也是高等數(shù)學(xué)尤其是數(shù)學(xué)分析的靈魂．文章從微分學(xué)基本理論出發(fā)，逐步分析并闡明了微分中值定理間內(nèi)在聯(lián)系，以及它們的特征和意義．

微分學(xué)；中值定理；評注

微分學(xué)的基本定理，又叫微分中值定理，主要指羅爾（Rolle）中值定理、拉格朗日（Lagrange）中值定理、柯西中值定理及泰勒（Taylor）展開定理．這些定理是利用導(dǎo)函數(shù)研究函數(shù)在區(qū)間上的整體性質(zhì)的重要工具，是微分學(xué)通向應(yīng)用之路的橋梁，他們和實(shí)數(shù)R的基本性質(zhì)一起構(gòu)成了微分學(xué)的理論基礎(chǔ)．下面我們將著重闡明微分中值定理之間的內(nèi)在聯(lián)系，以及它們的特征和意義．

1 微分中值定理結(jié)構(gòu)框

圖1 微分中值定理結(jié)構(gòu)圖

圖1中縱向中間的三個定理，是微分中值定理的主干定理，箭頭表明三個中值定理公式之間是“特殊”與“一般”的關(guān)系，即下面是上面的特例，上面是下面的推廣．

2 建立與證明微分中值定理的思路分析

微分中值定理的建立以及它們的分析證明思路的形成，有著深刻的幾何背景，與實(shí)數(shù)R的基本定理相比，這似乎是它們的突出特征．認(rèn)真體會這些定理建立過程中的幾何直觀因素，對于培養(yǎng)把抽象的分析論證與形象的幾何直觀模型相互借用的能力，有重要的意義．

羅爾定理是微分中值定理中最簡單的情形，其幾何意義是：在區(qū)間[a，b]上兩端等高的一條連續(xù)曲線y=f（x），若在（a，b）內(nèi)的曲線上處處有切線，那么其中必有一條切線與x軸平行．

從圖形上發(fā)現(xiàn)，y=f（x）如果存在極值f（x0），那么曲線在極值點(diǎn)上的切線平行于x軸，即f’（x）=0．閉區(qū)間上連續(xù)函數(shù)的性質(zhì)保證函數(shù)必有最大值和最小值，即保證了極值點(diǎn)的存在．同時，由條件f（a）=f（b）又限制函數(shù)的最大值和最小值一般不可能在區(qū)間端點(diǎn)a，b上出現(xiàn)，因此，必然存在一點(diǎn)ξ∈（a，b），使函數(shù)在其上達(dá)到極值，即f’（ξ）=0．這就是建立羅爾中值定理的基本幾何事實(shí)．借助幾何直覺從而給出了抽象的分析證明．

拉格朗日中值定理是羅爾中值定理的推廣，當(dāng)拉格朗日中值公式f’（ξ）=（f（b）－ f（a））/（b－ a）中f（a）=f（b）時，就成了羅爾定理．因此，拉格朗日中值定理仍然具有鮮明的幾何意義，當(dāng)f（a）≠f（b）時，如圖所示：

公式中（f（b）－ f（a））/（b － a）是聯(lián)結(jié)二端點(diǎn)（a，f（a）），（b，f（b））的弦的斜率，拉格朗日中值定理肯定在（a，b）內(nèi)存在點(diǎn)ξ，使得曲線上過（ξ，f（ξ））端點(diǎn)切線與這條弦平行，弦的方程：

y=（（f（b）-f（a））/（b-a））×（x-a）-f（a）

它與函數(shù)曲線y=f（x）的縱坐標(biāo)的差是：

h（x）=f（x）－（（f（b）－ f（a））/（b－ a））×（x－ a）+ f（a）

由圖可以看出，h（x）滿足羅爾定理的所有條件，因此，在拉格朗日中值定理的證明中，首先構(gòu)造輔助函數(shù)h（x），然后驗(yàn)證它滿足羅爾定理的條件，使定理得證．構(gòu)造輔助函數(shù)證明有關(guān)問題，是數(shù)學(xué)分析中常見的方法，而輔助函數(shù)的構(gòu)造方法，往往是從一些幾何事實(shí)的直覺中得到啟示的．

柯西中值定理的證明也是如此，若令x=f（t），y=f（t），那么就是平面上以（g（a），f（a）），（g（b），f（b））為端點(diǎn)的一段曲線，連接這兩點(diǎn)的弦的斜率是：

（（f（b）－ f（a））/（（g（b）－ g（a））

曲線在（g（t），f（t））處的切線斜率是：dy/dx=f’（t）/g’（t），

定理肯定存在ξ∈（a，b），使得曲線在點(diǎn)（g（ξ），f（ξ））的切線和連接兩端點(diǎn)（g（a），f（a）），（g（b），f（b））的弦平行．

同樣，曲線方程的縱坐標(biāo)y=f（x）與弦方程的縱坐標(biāo)y=（（f（b）－ f（a））/（g（b）－ g（a）））×（g（t）－ g（a））+f（a）之差h（t）=f（t）－（（f（b）－ f（a））/（g（b）－ g（a）））×（g（t）－ g（a））－ f（a）滿足羅爾定理的條件，因而就以h（t）作為輔助函數(shù)，使定理得證．

3 幾點(diǎn)評注

（1）羅爾定理是拉格朗日中值定理的特例，柯西中值定理又是拉格朗日中值定理的推廣，其中拉格朗日中值定理是核心，拉格朗日中值定理是用函數(shù)的局部性質(zhì)研究函數(shù)整體性質(zhì)的橋梁，其應(yīng)用十分廣泛．

（2）微分中值定理的證明是建立在閉區(qū)間上連續(xù)函數(shù)的整體性質(zhì)之上的，因此它們與數(shù)系的性質(zhì)有關(guān)，如果除掉數(shù)系的完備性，微分中值定理將不成立．例如，對定義在閉區(qū)間[0，1]上的有理數(shù)集上的連續(xù)函數(shù)f（x）= x-x3，羅爾定理就不成立．

（3）函數(shù)f（x）在點(diǎn)x0的泰勒公式為：

其余項(xiàng)Rn（x）有三種形式：

二者有本質(zhì)差異，拉格朗日余項(xiàng)和柯西余項(xiàng)是定量形式，便于定量分析和誤差估計(jì)，其泰勒公式反映了區(qū)間上的整體性質(zhì)；皮亞諾余項(xiàng)是定性形式，便于考察函數(shù)的變化狀態(tài)，在確定極限時有用，其泰勒公式只能反映函數(shù)在某點(diǎn)鄰域的局部性質(zhì)．泰勒公式的重要意義是，它表明在x0點(diǎn)具有n+1階導(dǎo)數(shù)的函數(shù)f（x）可以用n次多項(xiàng)式作局部逼近，在級數(shù)理論、函數(shù)逼近和解析函數(shù)研究中有重要應(yīng)用．

[1]華東師范大學(xué)數(shù)學(xué)系.數(shù)學(xué)分析[M].北京：高等教育出版社，2001.

[2]馬振華.離散數(shù)學(xué)導(dǎo)引[M].北京：清華大學(xué)出版社，2006.

[3]裴禮文.數(shù)學(xué)分析中的典型問題與方法[M].北京：高等教育出版社，2002.

[4]馬振民，呂克璞.微積分習(xí)題類型分析[M].蘭州：蘭州大學(xué)出版社，1999.

[5]張明會，高婷婷.恒等變換方法在數(shù)學(xué)分析中的應(yīng)用[J].湖南工程學(xué)院學(xué)報(bào)，2011（2）.

（責(zé)任編輯：于開紅）

Commentary on Fundamental Theorem of Differential Calculus

ZHANG Minghui GAO Tingting
(School of Mathematics and Information, Longnan Normal College, Longnan Gansu 742500)

Differential calculus mainly deals with the change rate of continuous function, concept, principle and method, and is the backbone of higher mathematics and the soul of higher mathematics analysis. This paper, from the basic theory of differential calculus, has a step-by-step analysis and clarification of the relationship among differential mean value theorems, and their characteristic and the significance.

differential calculus; differential mean value theorem; commentary

G812.78

A

1009-8135（2015）03-0017-03

2015-02-25

張明會（1981-），男，甘肅康縣人，隴南師范高等?？茖W(xué)校數(shù)學(xué)系講師，主要研究基礎(chǔ)數(shù)學(xué)．高婷婷（1979-），女，甘肅禮縣人，隴南師范高等?？茖W(xué)校數(shù)學(xué)系講師，主要研究基礎(chǔ)數(shù)學(xué)．

隴南師范高等?？茖W(xué)校科研項(xiàng)目（2014LSZK02001）、隴南師范高等?？茖W(xué)校教學(xué)改革項(xiàng)目（JXGG2013003）階段性成果