不等式证明方法
1.比较法 比较法是证明不等式的最基本、最重要的方法之一，它是两个实数大小顺序和运算性质的直接应用，比较法可分为差值比较法(简称为求差法)和商值比较法(简称为求商法)。 (1)差值比较法的理论依据是不等式的基本性质：“a-b≥0a≥b；a-b≤0a≤b”。其一般步骤为：①作差：考察不等式左右两边构成的差式，将其看作一个整体；②变形：把不等式两边的差进行变形，或变形为一个常数，或变形为若干个因式的积，或变形为一个或几个平方的和等等，其中变形是求差法的关键，配方和因式分解是经常使用的变形手段；③判断：根据已知条件与上述变形结果，判断不等式两边差的正负号，最后肯定所求证不等式成立的结论。应用范围：当被证的不等式两端是多项式、分式或对数式时一般使用差值比较法。 (2)商值比较法的理论依据是：“若a，b∈R+，a/b≥1a≥b；a/b≤1a≤b”。其一般步骤为：①作商：将左右两端作商；②变形：化简商式到最简形式；③判断商与1的大小关系，就是判定商大于1或小于1。应用范围：当被证的不等式两端含有幂、指数式时，一般使用商值比较法。
2.综合法 利用已知事实(已知条件、重要不等式或已证明的不等式)作为基础，借助不等式的性质和有关定理，经过逐步的逻辑推理，最后推出所要证明的不等式，其特点和思路是“由因导果”，从“已知”看“需知”，逐步推出“结论”。其逻辑关系为：AB1 B2 B3„ BnB，即从已知A逐步推演不等式成立的必要条件从而得出结论B。
3.分析法 分析法是指从需证的不等式出发，分析这个不等式成立的充分条件，进而转化为判定那个条件是否具备，其特点和思路是“执果索因”，即从“未知”看“需知”，逐步靠拢“已知”。用分析法证明AB的逻辑关系为：BB1B1 B3 „ BnA，书写的模式是：为了证明命题B成立，只需证明命题B1为真，从而有„，这只需证明B2为真，从而又有„，„„这只需证明A为真，而已知A为真，故B必为真。这种证题模式告诉我们，分析法证题是步步寻求上一步成立的充分条件。
4.反证法 有些不等式的证明，从正面证不好说清楚，可以从正难则反的角度考虑，即要证明不等式A>B，先假设A≤B，由题设及其它性质，推出矛盾，从而肯定A>B。凡涉及到的证明不等式为否定命题、惟一性命题或含有“至多”、“至少”、“不存在”、“不可能”等词语时，可以考虑用反证法。
5.换元法 换元法是对一些结构比较复杂，变量较多，变量之间的关系不甚明了的不等式可引入一个或多个变量进行代换，以便简化原有的结构或实现某种转化与变通，给证明带来新的启迪和方法。主要有两种换元形式。(1)三角代换法：多用于条件不等式的证明，当所给条件较复杂，一个变量不易用另一个变量表示，这时可考虑三角代换，将两个变量都有同一
个参数表示。此法如果运用恰当，可沟通三角与代数的联系，将复杂的代数问题转化为三角问题根据具体问题，实施的三角代换方法有：①若x2+y2=1，可设x=cosθ，y=sinθ；②若x2+y2≤1，可设x=rcosθ，
y=rsinθ(0≤r≤1)；③对于含有的不等式，由于|x|≤1，可设x=cosθ；④若x+y+z=xyz，由tanA+tanB+tanC=tanAtan-BtanC知，可设x=taaA，y=tanB，z=tanC，其中A+B+C=π。(2)增量换元法：在对称式(任意交换两个字母，代数式不变)和给定字母顺序(如a>b>c等)的不等式，考虑用增量法进行换元，其目的是通过换元达到减元，使问题化难为易，化繁为简。如a+b=1，可以用a=1-t，b=t或a=1/2+t，b=1/2-t进行换元。
6.放缩法 放缩法是要证明不等式A
(3)同分子(分母)异分母(分子)的两个分式大小的比较。常用的放缩技巧有：①舍掉(或加进)一些项；②在分式中放大或缩小分子或分母；③应用均值不等式进行放缩。[1]
编辑本段重要不等式
柯西不等式
对于2n个任意实数x1，x2，„，xn和y1，y2，„，yn，恒有
（x1y1＋x2y2＋„＋xnyn)^2≤（x1^2＋x2^2＋„＋xn^2）（y1^2＋y2^2＋„＋yn^2）
柯西不等式的几种变形形式
1.设aiÎR,bi>0 (i=1,2,„,n)则，当且仅当bi=lai
(1£i£n)时取等号
2.设ai,bi同号且不为零(i=1,2,„,n)，则，当且仅当b1=b2=„=bn时取等
柯西不等式的一般证法有以下几种： ①Cauchy不等式的形式化写法就是：记两列数分别是ai, bi，则有 (∑ai^2) * (∑bi^2) ≥ (∑ai * bi)^2.我们令 f(x) = ∑(ai + x * bi)^2 = (∑bi^2) * x^2 + 2 * (∑ai * bi) * x + (∑ai^2) 则我们知道恒有 f(x) ≥ 0.用二次函数无实根或只有一个实根的条件，就有 Δ = 4 * (∑ai * bi)^2 - 4 * (∑ai^2) * (∑bi^2) ≤ 0.于是移项得到结论。 ②用向量来证.m=(a1,a2......an) n=(b1,b2......bn)
mn=a1b1+a2b2+......+anbn=(a1^+a2^+......+an^)^1/2乘以
(b1^+b2^+......+bn^)^1/2乘以cosX． 因为cosX小于等于1，所以：a1b1+a2b2+......+anbn小于等于a1^+a2^+......+an^)^1/2乘以
(b1^+b2^+......+bn^)^1/2 这就证明了不等式． 柯西不等式还有很多种，
这里只取两种较常用的证法． 【柯西不等式的应用】 柯西不等式在求某些函数最值中和证明某些不等式时是经常使用的理论根据，我们在教学中应给予极大的重视。 巧拆常数： 例：设a、b、c 为正数且各不相等。 求证： (2/a+c)+(2/b+c)+(2/c+a)＞(9/a+b+c) 分析：∵a、b、c 均为正数 ∴为证结论正确只需证：2(a+b+c)[(1/a+b)+(1/b+c)+(1/c+a)]＞9 而2(a+b+c)=(a+b)+(a+c)+(c+b) 又 9=(1+1+1)(1+1+1)
证明
2(a+b+c)[(1/a+b)+(1/b+c)+(1/c+a)]=[(a+b)+(a+c)+(b+c)][1/a+b)+(1/b+c)+(1/c+a)]≥(1+1+1)(1+1+1)=9 又 a、b、c 各不相等，故等号不能成立 ∴原不等式成立。 [2]
排序不等式
对于两组有序的实数x1≤x2≤„≤xn，y1≤y2≤„≤yn，设yi1，yi2，„，yin是后一组的任意一个排列，
记S＝x1yn＋x2yn-1＋„＋xny1，M＝x1yi1＋x2yi2＋„＋xnyin，L＝x1y1＋x2y2＋„＋xnyn，那么恒有S≤M≤L。
编辑本段其他重要不等式
琴生不等式
均值不等式绝对值不等式权方和不等式赫尔德不等式闵可夫斯基不等式贝努利不等式
