不等式的证明方法.doc

数学与统计学院 信息与计算科学系 综合课程设计 设计题目：不等式的证明方法 姓 名： 曾科 - 学 号： 11201010134 专 业： 信息与计算科学 班 级： 112010101 -- 指导老师： 张华 ---- 时 间： 2015年12月16 数学与统计学院 信息与计算科学系 综合课程设计成绩评定书 设计题目： 不等式的证明方法 指 导 教 师 评 语 成 绩： 指导教师： 不等式的证明方法 曾科 （重庆理工大学 数学与统计学院，重庆 400054） 摘要: 不等式在高等数学中有着极其广泛的应用。利用函数单调性、微分中值定理、泰勒公式、积分中值定理、极值法对不等式的证明方法进行讨论。不等式是研究数学问题的重要工具。它渗透在数学的各个部分，在高等数学中也有极其重要的应用。但是有关不等式证明的高等数学的方法的研究一直缺乏系统的理论层面的提升。我们从导数、函数的凸性、泰勒公式、排序不等式、构造法等高等数学的层面对不等式证明方法进行了有益的探讨. 关键字： 高等数学; 不等式; 单调性;凸函数。 前言： 不等式证明的基本方法很多，主要有比较法、分析法、综合法、反证法、放缩法、数学归纳法、函数法、换元法、判别式法等十多种方法，现在国内外有许多教师、学者对不等式的证明方法进行了系统的归纳和总结，并结合丰富的教学经验，许多方法已经在教学实践中得到广泛应用，并且已经取得了非常显著的成效。但是有关不等式证明的高等数学的方法的研究一直缺乏系统的理论层面的提升． 下面主要从导数、函数的凸性、泰勒公式、排序不等式、构造法等高等数学的层面对不等式证明方法进行了探讨。 1 利用函数单调性证明不等式 利用单调性来证明不等式是高等数学中一种最常用的方法，其适应范围很广。它的解题思路是将所要证明的不等式作某些必要或适当的变形之后，选取适当的函数F( x) 及区间［a，b］，再利用导数确定函数F( x) 在区间［a，b］内的单调性。如果当一阶导数不能确定函数的单调性时，则利用高阶导数来判断 函数的单调性，然后取函数F( x) 在区间［a，b］端点处的函数值， 则可以得证不等式。 定理1 若f( x) 在区间( a，b) 上可导，且在( a，b) 单调增加 则有x ∈ ( a，b) ，有f( x) ≥0 。 定理2 ( 严格单调的充分条件) 若函数f( x) 在( a，b) 上可导，x∈( a，b ) ，有f( x) ＞ 0， 则函数f( x) 在( a，b) 严格增加。 2 利用微分中值定理证明不等式 微分中值定理在高等数学不等式的证明中的作用也是非常大的。当不等式或其变形中有函数在两点的函数值之差f( b) －f( a) 时，一般可考虑用拉格朗日中值定理来证明。柯西定理是拉格朗日定理的一个推广，当不等式或其变形中有两个函数在 两点的函数值之差的比值(f( b) － f( a))/(g( b) － g( a)) 时，一般可考虑用柯西定 定理3( 拉格朗日定理) : 若函数f( x) 在闭区间［a，b］连续，在开区间( a，b) 可导，则在开区间( a，b) 内至少存在一点ξ，使f( ξ) = （f( b) － f( a)）/(b-a) 定理4( 柯西定理) : 若函数f( x) 与g( x) 在闭区间［a，b］上连续，在开区间( a，b) 上可导，且x∈( a，b ) ，g( x) ≠0，则在( a，b) 内至少存在一点ξ，使(f( b) － f( a))/(g( b) － g( a)) = f( ξ)/g( ξ) 。 3 利用Taylor 公式证明不等式 定义1: 如果任意一个函数f( x) ( 不一定是多项 式) ，只要函数f( x) 在a 处存在n 阶导数，总存在一 个相应的n 次多项式: Tn( x) 称为函数f( x) 在a 的n 次泰勒多项式。 定义2: 对任意函数f( x) ，只要函数f( x) 在a 存在n 阶导数，它就有n 次泰勒多项式T