［学术论文］
用微积分理论证明不等式的方法
姓名：李梅 性别：女 年龄：25岁
职称：中教数学二级教师 职务：高中数学教师 工作单位：中山市华侨中学
通讯地址：广东省中山市华侨中学高中部 邮编：528400
联系电话：0760-3108927 13715680472
[中文摘要]
用微积分理论证明不等式的方法
高中数学教师 李梅
摘要：本文总结了利用微积分理论证明不等式的10种方法：导数定义法、单调性法、极值与最大最小值法、拉格朗日中值定理法、柯西中值定理法、函数的凹凸性法、泰勒公式法、幂级数展开式法、定积分理论法、参数法.
关键词:不等式、导数、拉格朗日中值定理、柯西中值定理、泰勒公式.
[英文摘要]
The ways to prove inequalities with calculus theory
Abstract: In this paper ,I sum up ten methods to prove inequalities with calculus theory :the method with derivative′s definition ,the method with monotoricity ,the method with extremum ,the method with Lagrange mean value theorem ,the method with function′s concavity or convexity ,the method with Taylor formula ,the method with development of power series ,the method with definite integral theory and the method with Parameter.
Key words: inequality ,derivative ,Lagrange mean value theorem ,Cauchy Mean value theorem ,Taylor formula .
用微积分理论证明不等式的方法
高等数学中所涉及到的不等式，大致可分为两种:函数不等式(含变量)和数值不等式(不含变量)．对
于前者，一般可直接或稍加变形构造一函数，从而可通过研究所构造函数的性质，进而证明不等式；对于后者，我们也可根据数值不等式的特点，巧妙的构造辅助函数，从而将数值不等式问题转化为函数的问题，研究方法正好与前者相似．
微积分是高等数学中的重要内容，以它为工具能较好的研究函数的形态，有些常规方法难于证明的不等式，若能根据不等式的结构特征，巧妙的构造函数，将不等式问题转化为函数的问题，利用微积分理论研究函数的性质，应用函数的性质证明不等式．
一、用导数定义证明不等式法
1．证明方法根据－导数定义
导数定义：设函数y?f(x)在点x0的某个邻域内有定义，若极限
f(x)?f(x0)x?x0limx?x0?lim?x?0?y存在，则称?x函数f(x)在x0可导，称这极限为函数y?f(x)在点x0的导数，记作y?f?(x0)．
2．证明方法：
(1)找出x0，使得y?f?(x0)恰为结论中不等式的一边；(2)利用导数的定义并结合已知条件去研究．
3．例
例1:设函数f(x)?a1sinx?a2sin2x???ansinnx，其中a1,a2,?an都为实数，n为正整数，已知对于一切实数x，有f(x)?sinx，试证：a1?2a2???nan?1．
分析：问题中的条件与结论不属于同一类型的函数，如果能找出它们之间的关系，无疑能帮助解决此题，可以看出：a1?2a2???nan?f?(0)．于是问题可以转化为证明f?(0)?1．
证明：因f?(x)?a1cosx?2a2cos2x???nancosnx．则f?(0)?a1?2a2???nan．利用导数的定义得：f?(0)?limx?0f(x)?f(0)x?0?limf(x)xx?0?limx?0f(x)x．由于f(x)?sinx．
所以f?(0)?limx?0sinxx?1．即a1?2a2???nan?1．
4.适用范围
用导数定义证明不等式，此方法得适用范围不广，我们应仔细观察问题中的条件与结论之间的关系．有些不等式符合导数的定义，因此可利用导数的定义将其形式转化，以达到化繁为简的目的．
二．用可导函数的单调性证明不等式法
1.证明方法根据－可导函数的一阶导数符号与函数单调性关系定理
定理一：若函数f(x)在(a,b)可导，则f(x)在(a,b)内递增（递减）的充要条件是：
f?(x)?0(f?(x)?0),x?(a,b).
定理二：设函数f(x)在[a,b]连续，在(a,b)内可导，如果在(a,b)内f?(x)?0（或f?(x)?0），那么f(x)在[a,b]上严格单调增加（或严格单调减少）.
定理三：设函数f(x)在(a,b)内可导，若f?(x)?0（或f?(x)?0），则f(x)在(a,b)内严格递增（或严格递减）.
上述定理反映了可导函数的一阶导数符号与函数单调性的关系，因此可用一阶导数研究函数在所讨论区间上的单调性.
2.证明方法
（1）构造辅助函数f(x)，取定闭区间[a,b]； △如何构造辅助函数？
①利用不等式两边之差构造辅助函数（见例2）；
②利用不等式两边相同“形式”的特征构造辅助函数（见例3）；
③若所证的不等式涉及到幂指数函数，则可通过适当的变形（若取对数）将其化为易于证明的形式，再如前面所讲那样，根据不等式的特点，构造辅助函数（见例4）.
(2)研究f(x)在[a,b]上的单调性，从而证明不等式.
3.例
例2：证明不等式：1?xln(x?1?x2)?21?x(x?0).
分析：利用差式构造辅助函数f(x)?1?xln(x?1?x2)?1?x2,x?[0,??)，则将要证明的结论转化为要证f(x)?0,(x?0)，而f(0)?0，因而只要证明f(x)?f(0),(x?0).
证明：令f(x)?1?xln(x?1?x2)?1?x2,x?[0,??)，易知f(x)在[0,??)上连续，且有
2f?(x)?ln(x?1?x)?0,x?(0,??)，由定理二可知f(x)在[0,??)上严格单调增加，所以由单调性
定义可知f(x)?f(0)?0,(x?0)，即1?xln(x?1?x2)?1?x2?0.因此 1?xln(x?1?x)?21?x(x?0).
2
例3：求证：
a?b1?a?b?a1?a?b1?b.
Ax1?x分析：不等式两边有相同的“形式”: 在f(x)在[0,??)上的单调性证明不等式.
1?A：试构造辅助函数f(x)?,(x?0).利用定理二与