用微积分理论明证不式等的几种方法.docVIP

哈尔滨师范大学 学 年 论 文 题 目 用微积分理论证明不等式的几种方法 学 生 韩倩 指导教师 李智华 副教授 年 级 2005级8班 专 业 数学与应用数学 系 别 数学系 学 院 数学与计算机科学学院 哈 尔 滨 师 范 大 学 2007年06月 用微积分理论证明不等式的几种方法 韩倩 摘要：本文总结了利用微积分理论证明不等式的10种方法：导数定义法、单调性法、极值与最大最小值法、拉格朗日中值定理法、柯西中值定理法、函数的凹凸性法、泰勒公式法、幂级数展开式法、定积分理论法、参数法. 关键词:不等式、导数、拉格朗日中值定理、柯西中值定理、泰勒公式. 用微积分理论证明不等式的方法 高等数学中所涉及到的不等式，大致可分为两种:函数不等式(含变量)和数值不等式(不含变量)．对于前者，一般可直接或稍加变形构造一函数，从而可通过研究所构造函数的性质，进而证明不等式；对于后者，我们也可根据数值不等式的特点，巧妙的构造辅助函数，从而将数值不等式问题转化为函数的问题，研究方法正好与前者相似． 微积分是高等数学中的重要内容，以它为工具能较好的研究函数的形态，有些常规方法难于证明的不等式，若能根据不等式的结构特征，巧妙的构造函数，将不等式问题转化为函数的问题，利用微积分理论研究函数的性质，应用函数的性质证明不等式． 一、用导数定义证明不等式法 1．证明方法： (1)找出，使得恰为结论中不等式的一边；(2)利用导数的定义并结合已知条件去研究． 2．例 例1:设函数，其中都为实数，为正整数，已知对于一切实数，有，试证：． 证明：因．则． 得：．由于． 所以．即． 二．用可导函数的单调性证明不等式法 1.证明方法 （1）构造辅助函数，取定闭区间； .(2)研究在上的单调性，从而证明不等式. 2.例 例2：证明不等式：. 证明：令，易知在上连续，且有，由定理二可知在上严格单调增加，所以由单调性定义可知，即.因此. 例3：求证：. 证明：设辅助函数.易知在上连续，且有.则由定理二可知在上严格单调增加.由，有， 得到，所以原不等式成立. 三、函数的极值与最大、最小值证明不等式法 1.证明方法 （1）构造辅助函数，并取定区间. (2)求出在所设区间上的极值与最大、最小值. 2.例 例5：证明：当时有. 证明：构造辅助函数，则有 令，解得，其中只有在区间内，由，有在点连续．因当时，，则在上为减函数；当时，，则在上为增函数；由定理四可知，在处取得极小值，即为区间上的最小值，所以当时，有．故即． 四、用拉格朗日中值定理证明不等式法 1.证明方法 ①辅助函数，并确定施用拉格朗日中值定理的区间； ②对在上施用拉格朗日中值定理； ③利用与的关系，对拉格朗日公式进行加强不等式. 2.例 例6：证明：当. 证明：构造函数，因在上连续，在上可导，在 上满足拉格朗日条件，于是存在，使 ，因 ， . 即. 五、用柯西中值定理证明不等式法 1.证明方法 ①构造两个辅助函数和，并确定它们施用柯西中值定理的区间； ②对与在上施用柯西中值定理； ③利用与的关系，对柯西公式进行加强不等式. 2.例 例7：设，证明.. 证明：原不等式等价于，可构造函数，,因 均在上连续，在上可导，且，由于，则，所以在上满足柯西中值条件，于是存在，使得，又因 有，得： ,因此 ,即. 六、用函数的凹凸性证明不等式 命题（詹森不等式） 若在上为凸函数，对任意的且,则.该命题可用数学归纳法证明. .2.证明方法： ①定义证明法：将不等式写成定义的形式，构造辅助函数，并讨论在所给区间上的凹凸性. ②詹森不等式法：对一些函数值的不等式，构造凸函数，应用詹森不等式能快速证此类不等式. 3.例 例8：证明：当时, .. 证明（定义证明法）：设.有.则在 为凸函数.对任意，有(取).(要使与的系数相同，当且仅当时成立，即).因此. 七、用泰勒公式证明不等式法 1.证明方法 ①根据已知条件，围绕证明目标，选取恰当的点将函数在这些点展成泰勒展式； ②根据已知条件，向着有利于证明目标不等式的方向对上面的展式作适当的处理，直到可以结合已知条件证出不等式为止.（注意具体的题目应用此方法时要灵活运用，有些题目在进行①前，要先对已知条件或证明目标进行适当的转化，以更有利于证明的进行，使②不会过于繁琐.） 2.例 例9：设函数在上二阶可导，,且，试证明：. 证明：取，有： .由于则 ．因此原不等式成立. 八、用定积分理论来证明不等式法 1.证明方法根据－定积分的