合肥工业大学-高等数学-上-4-1微分中值定理.pptVIP

  • 8
  • 0
  • 约2.67千字
  • 约 26页
  • 2017-05-30 发布于北京
  • 举报

合肥工业大学-高等数学-上-4-1微分中值定理.ppt

26-* 26-* 26-* 26-* 26-* 图4-1-3 26-* 26-* 26-* 图4-1-4 26-* 26-* 26-* 26-* 图4-1-5 26-* 26-* 26-* 26-* 26-* 26-* 26-* 26-* 26-* 26-* 26-* 26-* 26-* 26-* 第4章 一元函数微分学的应用 4.1微分中值定理 4.1.1 费马(Fermat)引理 4.1.3 拉格朗日中值定理 4.1.4 柯西中值定理 4.1.1费马 (Fermat)引理 如图4-1-1所示,是内一段光滑曲线(在内具有连续导数),我们来观察曲线在附近有什么特点? 图4-1-1    图4-1-1 在附近,无论,还是,曲线在处总有一条水平切线. 引理4.1.1(费马引理) 设在的某邻域内有定义,且在可导,则 证 在的某邻域内任取 则所以 又在可导,根据在可导的充要条件为 存在且 ,有. 如图4-1-2所示,是上一段光滑的曲线段,曲线段的两个端点A、B的纵坐标是相同的,那么我们可以观察能得到什么结论呢? 4.1.2 罗尔中值定理 图4-1-2 图4-1-2 图4-1-2 图4-1-2 从上面图形来看,它们都有一个共同点,就是在内至少有一条水平切线.这样一个事实就是下面的罗尔中值定理. 定理4.1.1(罗尔中值定理) 设函数满足条件: (1) 在上连续; (2) 在内可导;  (3), 则至少存在一点,使得 罗尔中值定理的几何意义:设连续曲线弧的两个端点A和B的纵坐标相等,且除端点外,其余各点处都有不平行于轴的切线,那么在上,至少有一点处的切线与轴平行,当然也与弦AB平行. 罗尔中值定理的代数意义:如果函数满足罗尔中值定理的条件.则导函数在内至少有一个零点或方程在内至少有一个根. 证 由于在上连续,故在上可取得最大值和最小值,从而有 下面分两种情况讨论. (1) 如果,则,因此,,于是内任一点都可作为,均有. (2) 如果,由于,故中至少有一个不等于,不妨设,,, 注:罗尔中值定理的条件是充分的,而不是必要的. 下面图形表明,当不满足其中任一个条件时,曲线上未必有和轴平行的切线,说明当定理中的三个条件不能全部满足时,定理的结论未必成立. 例1 证明方程只有一个正根. 证 先利用零点定理证明根的存在性 再利用反证法证明根的惟一性  令,则,又,知存在,使.由零点定理知,在内至少存在一点,使得即至少有一个正根. 假设方程有两个正根,则. 由罗尔中值定理知,至少存在一点,使得.而,矛盾.因而方程最多只有一个正根. 综上,证明方程只有一个正根. 例4.1.2 设函数在上连续,,.证明至少存在一点,使得 . 证 令,,则根据连续函数和导数的性质知,,,,,, . 例4.1.3 设函数在上连续,在内可导,,证明函数在内至少有一零点. 证 令,.则在上连续,在内可导,且,由罗尔中值定理知,至少存在一点,使,即 . 由于,故得 . 所以函数在内至少有一零点. 由于罗尔中值定理对函数有很高的要求,特别是要求函数在端点的两个函数值相等,这对于多数函数来说是无法满足,这样就大大限制了罗尔中值定理的应用范围. 从图4-1-5上看,我们看到一个不变的规律,就是在内的曲线段上至少有一点处的切线与端点的联线平行. 4.1.3 拉格朗日中值定理 如果将这一限制条件取消,我们会得到什么结论? 这就是将要介绍的拉格朗日中值定理. 定理4.1.2 () (1)在上连续;(2)在内可导, 则至少存在一点,使得. 分析 . 令容易验证满足罗尔中值定理的条件.利用罗尔中值定理即证得拉格朗日中值定理, 注2:当时,也成立,此时. 注3:拉格朗日中值定理是微分学中重要定理之一. 为应用方便,: 介于之间. 注1:()称为拉格朗日公式. 注4:任取两个点,如果在以和为端点的区间或上满足拉格朗日中值定理的条件,则拉格朗日公式又可以写成 其中介于与之间. 如果记,则有,从而 ,, 即      ,. 上式也称为有限增量公式,定理4.1.2也叫做有限增量定理. 推论4.1.1 如果函数在内可导,且,则在内为常数. 证 设为内任意不同的两点,不妨设,显然,在上满足拉格朗日中值定理的条件,因此 . 由条件知由条件知,所以,即在 内任意两点处的函数值相等,故在内恒为常数. 推论4.1.2 设函数在内可导,且,则在内恒有 (其中为常数). 证 令,则 由推论4.1.1得,即. 注:推论4.1.1和推论4.1.2中的有限区间可推广到无穷区间上去. 例4.1.4 证明:当时,. 证 令,则当时, . 由推论4.1.1知,在内恒为常数,记为. 因为在点处连续,所以,得,故,即. 例4.1.5 设函数在

文档评论(0)

1亿VIP精品文档

相关文档