论文部分内容阅读
摘 要： 不等式是高中数学的重要内容之一，不等式的證明蕴涵着丰富的数学思想方法.不等式作为高中数学的重点、难点内容之一，是培养学生探究思维能力的好材料，因而是数学高考命题的热点.本文针对高三数学不等式复习中证明与求解不等式的方法容易出现的问题提出注意点.
关键词： 不等式 均值不等式 三角换元 反证法 函数的单调性
一、利用均值不等式求解不等式
均值不等式在高中数学的应用比较广泛，常用于求函数的最值，或者应用于不等式的证明.解题思路比较明确，因为公式的应用主要是原式或者是它们的变式，所以比较好下手，但是在解题中一定要注意公式自身所隐含的条件.在利用公式求函数的最值时特别是要满足“一正，二定，三相等”这句话.即第一个条件是两个数都应该是正数；第二个条件是和或是积要定值，不能含有跟自变量有关的参数；第三个条件是在函数取到最值时能够取到等号，也就是相应的自变量能取得到.看以下一个例题.
例1：已知x，y>0，x y=1，求■ ■的最小值.
上述是一道非常典型的题目，上过高三老师在不等式复习时也都会把它重新再拿来讲一遍.很多学生在做题过程中很容易出现套公式的现象，常会出现以下错误：
∵x y≥2■∴xy≤（■）■=■，∴■ ■≥2■≥4■.
问题出在哪里呢？很多学生一时查不出来.后面老师提醒了一下很多学生就知道原因了：不等式取不到等号，上述解题过程中用到两次均值不等式，但是两次的x，y取不到相同的值.故最小值不是4■.正解如下：
■ ■=（x y）（■ ■）=3 ■ ■≥3 2■=3 2■，此时当且仅当■=■，x=■-1，y=2-■时，取到最小值.
二、利用反证法证明不等式
反证法，它是从反面的角度思考问题，即肯定题设否定结论，从否定的结论出发导出矛盾，从而最终肯定命题是正确.反证法是高中数学不等式中常用的方法之一，它是直接证明不易下手，此时应该考虑的是“正难则反”的原则，从反面的角度进行推理.它常用于以下证明：
（1）难于直接使用已知条件导出结论的命题；
（2）唯一性命题；
（3）“至多”或“至少”性命题；
（4）否定性或肯定性命题.
例2：已知x，y>0，x y>2，试证：■，■中至少有一个小于2.
分析：要证的结论与条件之间的联系不明显.直接由条件推出结论不够清晰.另外，如果从正面证明，需要对某一个分式小于2或两个分式都小于2等进行分类讨论，而从反面证明，则只要证明两个分式都不小于2是不可能的即可.于是考虑用反证法.
证明：假设■，■都不小于2，即■≥2，且■≥2因为x，y≥0，所以1 x≥2y，且1 y≥2x，把这两个不等式相加得，2 x y≥2（x y），从而x y≤2.
这与已知条件x y>2矛盾.因此，■，■都不小于2是不可能的，即原命题成立.
三、利用三角换元解证不等式
有些不等式证明问题中，含有一些特殊的条件及特殊的运算关系.这些条件或运算关系恰好满足三角关系，则可以采用三角代换证明.常见的换元形式有（1）x■ y■=a■，可令x=acosθ，y=asinθ；（2）x■ y■≤1，可令x=tcosθ，y=tsinθ（|t|≤1）.
例3：已知x■ y■=1，求证：|x■ 2xy-y■|≤■.
分析：本题中，由x■ y■=1可联想到三角换元公式：sin■θ cos■θ=1，进行三角换元证明.
证明：令x=sinθ，y=cosθ，则
|x■ 2xy-y■|=|cos■θ 2sinθcosθ-sin■θ|
=|cos2θ sin2θ|=■|sin（2θ ■）|≤■
故命题得证.
例4：已知x■ y■=1，m■ n■=4，求mx ny的最大值.
分析：很多学生首先会想到用公式：ab≤■，因而会有如下解法：mx≤■，nx≤■，把这两个不等式相加就得到
mx ny≤■ ■=■=■，从而得到它的最大值是■.
解题过程错在哪里呢？这也是很多学生会忽略的一个问题：就是等号取不到，因而它的最大值不是■，这种类型题还是应该考虑三角换元或是用柯西不等式求解.
正解：令x=cosα，y=sinα；m=2cosβ，n=2sinβ，则mx ny=2cosαcosβ 2sinαsinβ=2cos（α-β）≤2.
当然本题用柯西不等式也很简单，这边不再说明.
四、利用函数的单调性求不等式的最值
在求解不等式的过程中往往会出现一些题目直接用公式或是其他方法不易得出结论，甚至得出的结论是错误的.这时可以考虑构造函数通过证明函数的单调性求函数的最值，问题往往会迎刃而解.
例5：求函数f（x）=■的最小值.
分析：本题很多学生第一个想到的还是会用均值不等式进行求解，先把它拆成f（x）=■ ■≥2，从而得到最小值是2的错误答案.主要也是错在等号取不到的原因.这时可以考虑构造函数，通过证明函数的单调性进行求解.
解：令f（t）=t ■（t≥2），令t■>t■≥2
f（t■）-f（t■）=（t■ ■）-（t■ ■）=■>0，
∴f（t）在[2， ∞）上是增函数.∴f（t）■=f（2）=■，此时x=0.
不等式的证明方法和求解方法不只上面所谈到的这几种，还有很多.只要我们平时多注意收集，多做归纳，多做观察，多做比较，多做反思，在高三数学总复习中才会有的放矢，事半功倍.
参考文献：
[1]刘绍学.不等式选讲.人民教育出版社.
[2]郭慧清.一类分式不等式的新证法[J].数学通报.
[3]李红春.构造法巧解三解函数题[J].高中数学教与学.
[4]余元希，田万海，毛宏德.初等代数研究.高等教育出版社.
[5]曹凤山.利用基本不等式的变化证明分式不等式[J].数学通报.
关键词： 不等式 均值不等式 三角换元 反证法 函数的单调性
一、利用均值不等式求解不等式
均值不等式在高中数学的应用比较广泛，常用于求函数的最值，或者应用于不等式的证明.解题思路比较明确，因为公式的应用主要是原式或者是它们的变式，所以比较好下手，但是在解题中一定要注意公式自身所隐含的条件.在利用公式求函数的最值时特别是要满足“一正，二定，三相等”这句话.即第一个条件是两个数都应该是正数；第二个条件是和或是积要定值，不能含有跟自变量有关的参数；第三个条件是在函数取到最值时能够取到等号，也就是相应的自变量能取得到.看以下一个例题.
例1：已知x，y>0，x y=1，求■ ■的最小值.
上述是一道非常典型的题目，上过高三老师在不等式复习时也都会把它重新再拿来讲一遍.很多学生在做题过程中很容易出现套公式的现象，常会出现以下错误：
∵x y≥2■∴xy≤（■）■=■，∴■ ■≥2■≥4■.
问题出在哪里呢？很多学生一时查不出来.后面老师提醒了一下很多学生就知道原因了：不等式取不到等号，上述解题过程中用到两次均值不等式，但是两次的x，y取不到相同的值.故最小值不是4■.正解如下：
■ ■=（x y）（■ ■）=3 ■ ■≥3 2■=3 2■，此时当且仅当■=■，x=■-1，y=2-■时，取到最小值.
二、利用反证法证明不等式
反证法，它是从反面的角度思考问题，即肯定题设否定结论，从否定的结论出发导出矛盾，从而最终肯定命题是正确.反证法是高中数学不等式中常用的方法之一，它是直接证明不易下手，此时应该考虑的是“正难则反”的原则，从反面的角度进行推理.它常用于以下证明：
（1）难于直接使用已知条件导出结论的命题；
（2）唯一性命题；
（3）“至多”或“至少”性命题；
（4）否定性或肯定性命题.
例2：已知x，y>0，x y>2，试证：■，■中至少有一个小于2.
分析：要证的结论与条件之间的联系不明显.直接由条件推出结论不够清晰.另外，如果从正面证明，需要对某一个分式小于2或两个分式都小于2等进行分类讨论，而从反面证明，则只要证明两个分式都不小于2是不可能的即可.于是考虑用反证法.
证明：假设■，■都不小于2，即■≥2，且■≥2因为x，y≥0，所以1 x≥2y，且1 y≥2x，把这两个不等式相加得，2 x y≥2（x y），从而x y≤2.
这与已知条件x y>2矛盾.因此，■，■都不小于2是不可能的，即原命题成立.
三、利用三角换元解证不等式
有些不等式证明问题中，含有一些特殊的条件及特殊的运算关系.这些条件或运算关系恰好满足三角关系，则可以采用三角代换证明.常见的换元形式有（1）x■ y■=a■，可令x=acosθ，y=asinθ；（2）x■ y■≤1，可令x=tcosθ，y=tsinθ（|t|≤1）.
例3：已知x■ y■=1，求证：|x■ 2xy-y■|≤■.
分析：本题中，由x■ y■=1可联想到三角换元公式：sin■θ cos■θ=1，进行三角换元证明.
证明：令x=sinθ，y=cosθ，则
|x■ 2xy-y■|=|cos■θ 2sinθcosθ-sin■θ|
=|cos2θ sin2θ|=■|sin（2θ ■）|≤■
故命题得证.
例4：已知x■ y■=1，m■ n■=4，求mx ny的最大值.
分析：很多学生首先会想到用公式：ab≤■，因而会有如下解法：mx≤■，nx≤■，把这两个不等式相加就得到
mx ny≤■ ■=■=■，从而得到它的最大值是■.
解题过程错在哪里呢？这也是很多学生会忽略的一个问题：就是等号取不到，因而它的最大值不是■，这种类型题还是应该考虑三角换元或是用柯西不等式求解.
正解：令x=cosα，y=sinα；m=2cosβ，n=2sinβ，则mx ny=2cosαcosβ 2sinαsinβ=2cos（α-β）≤2.
当然本题用柯西不等式也很简单，这边不再说明.
四、利用函数的单调性求不等式的最值
在求解不等式的过程中往往会出现一些题目直接用公式或是其他方法不易得出结论，甚至得出的结论是错误的.这时可以考虑构造函数通过证明函数的单调性求函数的最值，问题往往会迎刃而解.
例5：求函数f（x）=■的最小值.
分析：本题很多学生第一个想到的还是会用均值不等式进行求解，先把它拆成f（x）=■ ■≥2，从而得到最小值是2的错误答案.主要也是错在等号取不到的原因.这时可以考虑构造函数，通过证明函数的单调性进行求解.
解：令f（t）=t ■（t≥2），令t■>t■≥2
f（t■）-f（t■）=（t■ ■）-（t■ ■）=■>0，
∴f（t）在[2， ∞）上是增函数.∴f（t）■=f（2）=■，此时x=0.
不等式的证明方法和求解方法不只上面所谈到的这几种，还有很多.只要我们平时多注意收集，多做归纳，多做观察，多做比较，多做反思，在高三数学总复习中才会有的放矢，事半功倍.
参考文献：
[1]刘绍学.不等式选讲.人民教育出版社.
[2]郭慧清.一类分式不等式的新证法[J].数学通报.
[3]李红春.构造法巧解三解函数题[J].高中数学教与学.
[4]余元希，田万海，毛宏德.初等代数研究.高等教育出版社.
[5]曹凤山.利用基本不等式的变化证明分式不等式[J].数学通报.