专题04不等式的证明知识通关1．基本不等式（1）定理1：如果a，b∈R，那么a2＋b2≥2ab，当且仅当a＝b时，等号成立．（2）定理2（基本不等式）：如果a，b>0，那么，当且仅当a=b时，等号成立.用语言可以表述为：两个正数的算术平均数不小于(即大于或等于)它们的几何平均数.（3）定理3：如果a，b，c为正数，那么，当且仅当a＝b＝c时，等号成立．用语言可以表述为：三个正数的算术平均数不小于(即大于或等于)它们的几何平均数.（4）算术平均—几何平均定理(基本不等式的推广)：对于n个正数a1，a2，···，an，它们的算术平均数不小于(即大于或等于)它们的几何平均数，即，当且仅当a1=a2=···=an时，等号成立.2．柯西不等式（1）二维形式的柯西不等式：若a，b，c，d都是实数，则，当且仅当ad=bc时，等号成立.（2）柯西不等式的向量形式：设α，β是两个向量，则，当且仅当α是零向量或β是零向量或存在实数k使α=kβ时，等号成立.（3）二维形式的三角不等式：设x1，y1，x2，y2∈R，那么.（4）一般形式的柯西不等式：设是实数,则()()≥，当且仅当ai=0或bi=0(i=1,2,···,n)或存在一个数k使得ai=kbi(i=1,2,···,n)时，等号成立.3．不等式证明的方法（1）比较法比较法是证明不等式最基本的方法，可分为作差比较法和作商比较法两种.名称作差比较法作商比较法理论依据a＞b⇔a－b＞0a＜b⇔a－b＜0a＝b⇔a－b＝0b＞0，＞1⇒a＞bb＜0，＞1⇒a＜b（2）综合法与分析法①综合法：利用某些已经证明过的不等式和不等式的性质，推导出所要证明的不等式，这种方法叫综合法．即“由因导果”的方法．②分析法：从求证的不等式出发，分析使这个不等式成立的充分条件，把证明不等式转化为判定这些充分条件是否具备的问题，如果能够肯定这些充分条件都已经具备，那么就可以判定原不等式成立，这种方法叫分析法．即“执果索因”的方法．（3）反证法和放缩法①反证法：一般地，假设原命题不成立（即在原命题的条件下，结论不成立），经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明了原命题成立，这样的证明方法叫做反证法．反证法是间接证明的一种基本方法．②放缩法：证明不等式时，通过把不等式中的某些部分的值放大或缩小，简化不等式，从而达到到证明的目的.我们把这种方法称为放缩法.基础通关1．比较法证明不等式最常用的是差值比较法，其基本步骤是：作差—变形—判断差的符号—下结论.其中“变形”是证明的关键，一般通过因式分解或配方将差式变形为几个因式的积或配成几个代数式平方和的形式，当差式是二次三项式时，有时也可用判别式来判断差值的符号.2．综合法证明的实质是由因导果，其证明的逻辑关系是：A⇒B1⇒B2⇒…⇒Bn⇒B(A为已知条件或数学定义、定理、公理，B为要证结论)，它的常见书面表达式是“ ，∴”或“⇒”．解题时，要着力分析已知与求证之间，不等式的左右两端之间的差异与联系．合理进行转换，恰当选择已知不等式，这是证明的关键．3．当要证的不等式较难发现条件和结论之间的关系时，可用分析法来寻找证明途径，使用分析法证明的关键是推理的每一步必须可逆．题组一比较法证明不等式作差(商)证明不等式，关键是对差(商)式进行合理的变形，特别注意作商证明不等式，不等式的两边应同号．在使用作商比较法时，要注意说明分母的符号．【例1】已知函数，M为不等式的解集.（1）求M；（2）证明：当a，b时，.【解析】（1）当时，由得解得；当时，；当时，由得解得.所以的解集.（2）由（1）知，当时，，从而，因此题组二分析法证明不等式分析法证明的思路是“执果索因”，具体过程如下：→→→···→得到一个明显成立的条件.【例2】已知函数.（1）求不等式的解集A；（2）若，试证明：.【解析】（1）若，则，解得，无解；若，则，解得，故；若，则，解得，故.综上所述，不等式的解集A为.题组三反证法证明不等式反证法的关键是在正确的推理下得出矛盾．这个矛盾可以是与已知条件矛盾，或与假设矛盾，或与定义、公理、定理、公认的简单事实矛盾等．矛盾是在推理过程中发现的，不是推理之前设计的．【例3】设a>0，b>0，且a＋b＝.证明：（1）a＋b≥2；（2）a2＋a<2与b2＋b<2...
