3.1 中值定理高等数学.pptVIP

第三章 第一节 1.2 罗尔（ Rolle ）定理 若 M m , 则 M 和 m 中至少有一个与端点值不等, 2) 定理条件只是充分的. 例1. 证明方程 1.3 拉格朗日中值定理 拉格朗日中值定理的有限增量形式: 例2. 证明等式 例3. 证明不等式 1.4 柯西(Cauchy)中值定理 证: 作辅助函数 柯西定理的几何意义: 例4. 设 例5. 试证至少存在一点 例5. 试证至少存在一点 内容小结 思考与练习 2. 设 3. 若 4. 思考: 在 6. 费马(1601 – 1665) 拉格朗日 (1736 – 1813) 柯西(1789 – 1857) 法国数学家, 他对数学的贡献主要集中 在微积分学, 《柯 西全集》共有 27 卷. 其中最重要的的是为巴黎综合学 校编写的《分析教程》, 《无穷小分析概论》, 《微积 分在几何上的应用》 等, 有思想有创建, 响广泛而深远 . 对数学的影 他是经典分析的奠人之一, 他为微积分 所奠定的基础推动了分析的发展. 复变函数和微分方程方面 . 一生发表论文800余篇, 著书 7 本 , * 中值定理 应用 研究函数性质及曲线性态 利用导数解决实际问题 罗尔中值定理 拉格朗日中值定理 柯西中值定理 泰勒公式 推广 微分中值定理 与导数的应用 1.2 罗尔( Rolle )定理 1.3 拉格朗日(Lagrange)中值定理 1.4 柯西(Cauchy)中值定理 微分中值定理 第三章 1.1费马(Fermat)定理 1.1 费马(Fermat)定理 定义1.1 设函数f(x)在区间(a,b)内有定义， x0?(a,b),若存在x0的一个邻域U(x0), （1）?x? U(x0),有f(x0)≥f(x) , 使得 则称 f(x) 在x0处取得极大值， x0是f(x)的极大值点。 （2）?x? U(x0),有f(x0)≤f(x) , 则称 f(x) 在x0处取得极小值， x0是f(x)的极小值点。 极大值和极小值统称为极值； 极大值点和极小值点统称为极值点。 费马(fermat)引理 且 存在 证: 设 则 证毕 满足: (1) 在区间 [a , b] 上连续 (2) 在区间 (a , b) 内可导 (3) f ( a ) = f ( b ) 使 证: 故在[ a , b ]上取得最大值 M 和最小值 m . 若 M = m , 则 因此 在( a , b ) 内至少存在一点 不妨设 则至少存在一点 使 注意: 1) 定理条件条件不全具备, 结论不一定成立. 例如, 则由费马引理得 使 本定理可推广为 在 ( a , b ) 内可导, 且 在( a , b ) 内至少存在一点 证明提示: 设 证 F(x) 在 [a , b] 上满足罗尔定理 . （3）罗尔中值定理指出了ξ的存在，但没有指定其位置，也不保证它的惟一性。 罗尔（Rolle,Michel，1652～1719） 罗尔是法国数学家.1652年4月21日生于昂贝尔特；1719年11月8日卒于巴黎. 罗尔出生于小店主家庭，只受过初等教育。 罗尔在数学上的成就主要是在代数方面，专长于丢番图方程的研究.1690年他的专著《代数学讲义》问世。 罗尔所处的时代正当牛顿、莱布尼茨的微积分诞生不久，由于这一新生事物还存在逻辑上的缺陷，从而遭受多方面的非议，其中也包括罗尔，并且他是反对派中最直言不讳的一员. .1700年，在法国科学院发生了一场有关无穷小方法是否真实的论战。在这场论战中，罗尔认为无穷小方法由于缺乏理论基础将导致谬论，并说：“微积分是巧妙的谬论的汇集.” 罗尔于1691年在题为《任意次方程的一个解法的证明》的论文中指出了 罗尔只叙述了这个结论，而没有给出证明.这个定理本来和微分学无关，因为当时罗尔是微积分的怀疑者和极力反对者。 在多项式方程 f(x) = 0的两个相邻的实根之间，方程 f (x) = 0 至少有一个根. （但罗尔并没有使用导数的概念和符号 ） 在一百多年之后，即1846年，尤斯托·伯拉维提斯（Giusto Bellavitis）将这一定理推广到可微函数，即如果函数f(x)在区间[a, b]上连续，且在这个区间内部f (x)存在，又f(a)=f(b)，则在[a, b]内至少有一点c，使f (c)=0. 尤斯托·伯拉维提斯还把此定理命名为罗尔定理. 另外，罗尔在《代数学讲义》一书中设计了一个数a的n次方根的符号为 （而在他之前，则是用符号 来表示a的n次方根） 有且仅有一个小于1 的 正实根 . 证: 1) 存在性 . 则 在 [0 , 1 ] 连续 , 且 由介值定理知存在 使 即方程有小于 1 的正根 2) 唯一