微分中值定理的若干新证明及其应用.pdf

微分中值定理的若干新证明及其应用 虚拟等式法用我们现在高等数学中所用的分析语言来表达就是：设f(x)为 近于o(厂(x。+P)一厂(‰)≈0)，再用e除虚拟等式丛生二堕二丛生≈0，然后令 P P_÷o，得磐丛生字盟=o，这就是／(x)在极值点‰的导数厂’(‰)=0。进一步研 究证明，这就是现在高等数学教材中的费马定理： 函数／(工)在X=X。处取极值f(x。)，并且在X=X。处可导，则厂’(x。)=0。 需要加以说明的是：在微积分还没有发展成熟的阶段，一些基本概念还没完 全明确(如极限、连续、可导等还没明确概念)，可以说这时推出这种论断是不 严格的，是有瑕疵的，但是应该说费马能得出以上结论，这是非常了不起的。后 人根据微积分理论和费马发现论断的推理过程以及其几何意义，重新加以整得到 我们现在所看到的费马定理。 解法》一文中给出多项式形式的费马定理的推广引申式～罗尔定理： “设aoz”+aIx”1+…+an—l而+ao=0为多项式，在多项式 20 aoX“+CllX”一1+…+an_IXI+ao 的两个相邻根中，方程 noox“一1+(n-1)alx“一2+…+口H—l=0 至少有一个实根。” b)上可导，并lSl 中的具体应用。 从罗尔定理推导过程和具体内容来看，它和现在高等数学教材中的罗尔定理 是有所不同的，用纯代数方法证明的罗尔定理和微积分概念几乎没有什么联系。 我们现在看到的对一般函数的罗尔定理，是后人根据微积分理论重新表述和证明 的。1834年，德国数学家德罗比什首先提出“罗尔定理(Rolle定理)”这一名称， 并于1846年，由意大利数学家贝拉维蒂斯(Bellavifis)在发表的论文中正式使用。 罗尔定理(Rolle定理)的几何意义：Y=F(功是一条表示事物运动状态的连 续函数曲线，曲线的两端点高度一样并且在每一点都有切线，则至少有一条水平 线是这个曲线上一点的切线。 2 蔓=童女堕 ．一一 现在的问题是，如果曲线的两个端点不一样高，那么是不是对于该曲线存在 一条平行于两端点相连弦线的切线呢?1797年，法国数学家拉格朗I了(Lagrange， 173仁1813)对这一问题进行研究后在《解析函数论》一书中给出罗尔定理的引 申一拉格朗日推理[5】：设厂(x)的导函数厂’(x)的最大值是彳，最小值是B，厂(x) 在而和x之间连续，则 』盟二』!型 X—Xo 必取彳与B之间的任何一个值。他从数学式 f(i+z)=／(z)+／f’(z)+{厂’(z)+… 出发，证明了“Z在【a，b】上变化，如果厂’(z)YgiE值，则厂(6)-厂(口)为正值”。为 ，”+l 拉格朗日得到 和厂(6)一厂(口)!掣， 厂(6)．／(口)尘!学m+l，竹十l 故有 警f(bm)掣。，打+l 研十I 令珑=0，得 Ⅳ—f(-b)—-f一(a)M，Nf，(z)M， 设笪掣：p(N弘M)，lil于f，(z)为连续的，则必有x∈【口，6】，使得， 厂’(x)=p。 在这里，拉格朗日要求厂O)在【‰，x】上是可导的，而且有连续导数，连续概 念也是直观的。 789--1 在十九世纪，法国数学家柯谗i(Cauchy，1857)作为一位数学分析严格 徽分中值定理的若干新证明及其应用 化运动的推动者，他的学术论文不胜枚举，t在其巨著《无穷小计算教程概论》、 《分析教程》和