【毕业论文】证明不等式的若干方法.docVIP

【标题】证明不等式的若干方法 【作者】刘 梅 奎 【关键词】不等式??证明??单调性??泰勒公式??导数? 【指导老师】杨 天 标 【专业】数学与应用数学 【正文】引言??不等式的证明在数学中就是一个较难的内容，中学里证明不等式，由于所学内容的局限性大都采用不等式的性质和有关结论及代数方法和几何方法证明不等式，采用初等方法来证，这些方法主要适合定义在自然数集上的不等式而对定义在实数集上的不等式就不适用，给不等式的证明带来了很大的困难，而且在高等数学中显得与中学数学脱节，如何解决这种问题，如何将高等数学的原理和方法运用于初等数学中，是我们需要探讨解决的问题之一。在这之前，已经有很多数学工作者研究过，并取得了重要丰硕的成果，例如常瑞林[1]，叶殷、何志树[2]，卢小青、张文艺[3]，龚冬保、武中祥[4]，陈文灯[5]，党四善[6]等都提出了很好的见解，本文就在前面学者的启发下展开思考，以高等数学作为工具，有关理论为依据，借助分析运算——导数与积分的理论，利用高等数学的原理和方法来证明不等式。这与初等数学证明不等式比较，就显得方便，简捷。下面就几种常见类型，以具体问题为例，对所用方法予以介绍。1.?利用函数的单调性证明不等式定理1.1[8]：函数?在区间（a,b）内可导，（1）若函数?在（a,b）内恒有?0,则函数?在（a,b）内单调增加.（2）若函数?在（a,b）内恒有?0,则函数?在（a,b）内单调减少.由上定理知,对题目所给的不等式的条件,通过适当的变形,选取恰当的函数?与区间(a,b),再利用导数的符号确定?在（a,b）内的单调性,然后将?与它的某个端点的单侧极限值做比较,确定函数?的不等式的关系.根据函数的单调性，可以证明不等式.例1?证明不等式???证明:??先证：???设?则?,?单调递减，所以?当?时,?即??再证:???????设?则??所以?单调递增，又因为????所以当?时,??即??????????故有???使用单调性证明不等式,其中关键是函数单调性的判断,它是靠求函数导数?的符号判断的,而当一阶导数?的符号无法确定时,可通过研究二阶导数?的符号,以证明新的不等式?(或?)的方式来确定?的符号,有时还要涉及三阶导数甚至更高阶导数,才能判断不等式的符号.下面用一个例题来说明.例2??证明:对一切实数?,有?.证明:?设????????????????????????????????????????由?及?当?时,????在?上递增,?即当?时,????在?上递增,?但?在?上为偶函数??时,??,且???的极小值为?.又由于??递增??是?在?内的一个驻点,由最值的特殊情形知?是?在?内的最小值?对一切?有?,由此可知????2.利用微分中值定理证明不等式微分中值定理又分拉格朗日中值定理和柯西中值定理两个定理,这两个定理在不等式的证明中也经常用到,也是证明不等式的好方法,我们先来看拉格朗日中值定理.拉格朗日中值定理：若函数?满足下列条件:?????????????????????????????????????????????(1)在闭区间[a,b]上连续,(2)在开区间(a,b)上可导,则在开区间(a,b)内至少存在一点?,使?中值定理适合证明函数与自变量之间关系的不等式,若观察不等式中出现?,?在某区间上的函数值之差及?的表达式,则微分中值定理是最佳选择.下面我们不妨用中值定理来证明例1证明：先证?设?,考虑区间?,显然?在?上连续,在?内可导由拉格朗日中值定理得:???即???(?)将?换成0得???,即?例3?若?及?,则?分析:从题目上可以看出,函数与自变量之间存在着关系,在不等式的每一部分同时除以?,很明显就和我们学过的拉格朗日中值定理联系起来了,问题就迎韧而解.证明:??令???很显然函数?在?上满足拉格朗日中值定理则有:??????即????因为???????所以??故有:????下面再来看柯西中值定理柯西中值定理[8]：若函数?与?满足下列条件:?????????????????????????????????????????????(1)在闭区间[a,b]上连续.(2)在开区间(a,b)上可导,且任意?有?.则在开区间(a,b)内至少存在一点?,使??????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????例4?设??求证:?分析:所证不等式等价于??,因此,对函数?在?上用柯西中值