重要不等式是常用不等式的简称
下面介绍几种重要不等式
1.柯西不等式柯西不等式的一般证法有以下几种：
（1）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.
于是移项得到结论。
（2）用向量来证.
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.排序不等式排序不等式是高中数学竞赛大纲要求的基本不等式。
设有两组数 a 1 , a 2 ,…… a n, b 1 , b 2 ,…… b n 满足 a 1 ≤ a 2 ≤……≤ a n, b 1 ≤ b 2 ≤……≤ b n 则有 a 1 b n + a 2 b n−1 +……+ a n b1≤ a 1 b t + a 2 b t +……+ a n b t ≤ a 1 b 1 + a 2 b 2 +……+ a n b n 式中t1，t2，……，tn是1，2，……，n的任意一个排列， 当且仅当 a 1 = a 2 =……= a n 或 b 1 = b 2 =……= b n 时成立。
以上排序不等式也可简记为： 反序和≤乱序和≤同序和.
证明时可采用逐步调整法。
例如，证明：其余不变时，将a 1 b 1 + a 2 b 2 调整为a 1 b 2 + a 2 b 1 ，值变小，只需作差证明（a 1 -a 2 ）*（b 1 -b 2 ）≥0，这由题知成立。
依次类推，根据逐步调整法，排序不等式得证。
3.切比雪夫不等式切比雪夫不等式有两个
（1）设存在数列a1,a2,a3.....an和b1,b2,b3......bn满足a1≤a2≤a3≤.....≤an和b1≤b2≤b3≤......≤bn
那么，∑aibi≥(1/n)(∑ai)(∑bi)
（2）设存在数列a1,a2,a3.....an和b1,b2,b3......bn满足a1≤a2≤a3≤.....≤an和b1≥b2≥b3≥......≥bn
那么，∑aibi≤(1/n)(∑ai)(∑bi)
4.琴生不等式设f(x)为上凸函数，则f[(x1+x2+……+xn)/n]≥[f(x1)+f(x2)+……+f(xn)]/n,称为琴生不等式（幂平均）。
加权形式为：
f[(a1x1+a2x2+……+anxn)]≥a1f(x1)+a2f(x2)+……+anf(xn),其中
ai>=0(i=1,2,……,n),且a1+a2+……+an=1.
5.均值不等式a^2 + b^2≥ 2ab （a与b的平方和不小于它们的乘积的2倍)
当a,b 分别大于0时上试可变为a+b ≥2√ab
6.完全的均值不等式√[(a^2+ b^2)/2] ≥(a+b)/2 ≥√ab ≥2/(1/a+1/b)
（二次幂平均≥算术平均≥几何平均≥调和平均）
证明：（证明过程引自他出）
设a，b是两个正数，
M2=√[(a^2+b^2)/2]，A=(a+b)/2，G=√(ab)，H=2/(1/a+1/b)
分别表示a，b两元的二次幂平均，算术平均，几何平均和调和平均。证明: M2≥A≥G≥H。
证明 在梯形ABCD中，AB∥CD，记AB=b，CD=a。
EiFi(i=1,2,3,4)是平行于梯形ABCD的底边且被梯形两腰所截的线段。
如果E1F1分梯形为等积的两部分，那么
E1F1=√[(a^2+b^2)/2]。
如果E2F2分梯形的中位线，那么
E2F2=(a+b)/2。
如果E3F3分梯形为两相似图形，那么
E3F3=√(ab)。
如果E4F4通过梯形两对角线交点的线段，那么
E4F4=2/(1/a+1/b)。
从图中直观地证明E1F1≥E2F2≥E3F3≥E4F4，当a=b时取等号。
7.幂平均不等式幂平均不等式：ai>0(1≤i≤n),且α>β，则有（∑ai^α/n)^1/α≥(∑ai^β/n)^1/β成立
iff a1=a2=a3=……=an 时取等号
加权的形式：
设ai>0，pi>0(1≤i≤n)，且α>β，则有
（∑pi*ai^α/∑pi)^1/α≥(∑pi*ai^β/∑pi)^1/β
iff a1=a2=a3=……=an， p1=p2=p3=……=pn 时取等号。
特例：
- 调和平均（-1次幂）， - 几何平均（0次幂）， - 算术平均（1次幂）， ， - 二次平均（2次幂）