张彬斌定稿论文浅析.docVIP

安庆师范学院数学与计算科学学院2011届毕业论文第 PAGE 12 页 共 NUMPAGES 12 页中值定理与不等式作者：张彬斌 指导老师：胡学平摘要：不等式的证明是数学分析中的常见问题,本文主要讨论应用微分中值定理对不等式证明的应用.微分中值定理包括罗尔中值定理、拉格朗日中值定理以及积分中值定理,在这里主要分析这三种中值定理之间的关系及其在不等式证明、函数单调性、凹凸性中的应用.关键词：不等式 中值定理 单调性的应用 凹凸性的应用1 引言关于罗尔中值定理、拉格朗日中值定理以及柯西中值定理的证明和应用有许多专门的研究,利用微分中值定理证明不等式有许多方便之处,本文主要介绍如何利用它来分析证明一些常见的不等式.2 基本概念定理 2.1 罗尔中值定理若函数满足如下条件： = 1 \* GB2 ⑴在闭区间上连续； = 2 \* GB2 ⑵在开区间内可导； = 3 \* GB2 ⑶,则在内至少存在一点,使得 （1）证明：因为在上连续,所以有最大值与最小值,分别用与表示,现分两种情况来讨论： = 1 \* GB3 ①若,则在上必为常数,从而结论成立. = 2 \* GB3 ②若,则因,使得最大值与最小值至少有一个在内某点处取得,从而是的极值点.由条件（2）,在点处可导,故由费马定理推知注：定理中的三个条件缺少任何一个,结论将不一定成立.罗尔中值定理的几何意义是：在每一点都可导的一段连续曲线上,如果曲线的两端高,则至少存在一条水平线.定理 2.2 拉格朗日中值定理若函数满足如下条件： = 1 \* GB2 ⑴在闭区间上连续； = 2 \* GB2 ⑵在开区间内可导；则在至少存在一点,使得 （2）显然,特别当时,本定理的结论即为罗尔中值定理的结论,这表明罗尔中值定理是拉格朗日中值定理的一个特殊情形.证明：作辅助函数 显然,,且在上满足罗尔中值定理的另两个条件.故存在,使得,移项后即得到所要证明的（2）式.拉格朗日中值定理的几何意义是：在满足定理条件的曲线上至少存在一点,该曲线在该点处的切线平行于曲线两端的连线AB,我们在证明中引入的辅助函数,正是曲线与直线AB（）之差.定理1.2的结论（公式（2））称为拉格朗日公式.拉格朗日公式还有下面几种等价表示形式: 注：拉格朗日公式无论对于,还是都成立,而则是介于与之间的某一定数.而（4）、（5）两式的特点在于把中值点表示成了,使得不论,为何值, 总可为小于1的某一正数.定理 2.3 柯西中值定理设函数和满足： = 1 \* GB2 ⑴在上都连续； = 2 \* GB2 ⑵在内都可导； = 3 \* GB2 ⑶和不同时为零； = 4 \* GB2 ⑷,则存在,使得 （6）证明：作辅助函数 易见在上满足罗尔中值定理的条件,故存在,使得因为（否则由上式也为零）,所以可把上式改写成（6）式.结论：由上述证明可知,拉格朗日中值定理和柯西中值定理都可以借用罗尔中值定理来证明,且罗尔中值定理是拉格朗日中值定理的特殊情况.柯西中值定理有着与前两个中值定理相类似的几何意义,只是现在要把这两个函数当作以为参量的参量方程在平面上表示一段曲线.由于（6）式右边的表示连接曲线两端的弦AB的斜率,而（6）式左边的则表示该曲线上与相对应的一点处的切线的斜率,因此,（3）式即表示上述切线与弦AB互相平行.3 Lagrange中值定理的推广拉格朗日中值定理是罗尔（Rolle）中值定理的推广,因而在证明时,自然要求满足条件的函数转化成满足罗尔中值定理条件的函数,即有函数构造辅助函数 ,下面将拉格朗日中值定理的可微条件适当放宽,使其具有更广泛的意义.定理3.1 设函数在闭区间上连续,若函数在内除了有限个点外可微,则存在,使得.证明：不妨设仅在不可微,分别在区间与上应用拉格朗日中值定理,则得到令使得.定理3.2 设函数在闭区间上连续,若函数在内除了个点外可微,则存在个点及个正数,使得,且证明：不妨设仅在不可微,分别在区间与上应用拉格朗日中值定理,得到取,使则,且这个证明方法显然可以推广到在个点上不可微的情形.定理3.3 若函数在闭区间上连续,在开区间内存在左,右导数,则存在及使得证明：（1）先证 若在上连续,在开区间内存在左、右导数,且,则存在,使得. 事实上,由在上连续,得存在,使得. 又,故必在区间内取得至少一个最值,不妨设最值点为,. 或 即 （2）作辅助函数.则由在上连续,在开区间内存在左、右导数,知在上连续,且