琴生不等式：（注意前提、等号成立条件）
设f(x)为上凸函数，则f[(x1+x2+……+xn)/n]>=[f(x1)+f(x2)+……+f(xn)]/n,称为琴生不等式（幂平均）。
加权形式为：
f[(a1x1+a2x2+……+anxn)]>=a1f(x1)+a2(x2)+……+anf(xn),其中
ai>=0(i=1,2,……,n),且a1+a2+……+an=1.
如何证明琴生不等式
假设对于n=2^k琴生不等式成立，那么对于n=2^(k+1)
(f(x1)+f(x2)+...+f(xn))/n
=((f(x1)+f(x2)+...+f(x(n/2)))/(n/2)+(f(x(n/2+1))+...+f(xn))/(n/2))/2
>=(f(（(x1+x2+...+x(n/2)）/(n/2))+f((x(n/2+1)+...+xn)/(n/2)))/2
>=f(((（(x1+x2+...+x(n/2)）/(n/2)+(x(n/2+1)+...+xn)/(n/2)))/2)
=f((x1+x2+...+xn)/n)
所以对于所有2的幂，琴生不等式成立。
现在对于一个普通的n,如果n不是2的幂，我们可以找到一个k,使得2^k>n
然后我们设
x(n+1)=x(n+2)=...=x(2^k)=(x1+x2+...+xn)/n
代入2^k阶的琴生不等式结论，整理后就可以得到结论。
柯西不等式
可在证明不等式，解三角形相关问题，求函数最值，解方程等问题的方面得到应用。
柯西不等式的一般证法有以下几种：
■①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^2+a2^2+......+an^2)^(1/2)乘以(b1^2+b2^2+......+bn^2)^(1/2)乘以cosX．
因为cosX小于等于1，所以：a1b1+a2b2+......+anbn小于等于a1^2+a2^2+......+an^2)^(1/2)乘以(b1^2+b2^2+.....+bn^2)^(1/2)
这就证明了不等式．
柯西不等式还有很多种，这里只取两种较常用的证法．
[编辑本段]【柯西不等式的应用】
柯西不等式在求某些函数最值中和证明某些不等式时是经常使用的理论根据，我们在教学中应给予极大的重视。
■巧拆常数：
例：设a、b、c 为正数且各不相等。
求证： 2/(a+b)+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 各不相等，故等号不能成立
∴原不等式成立。
贝努利不等式
设x＞-1,且x≠0,n是不小于2的整数,则(1+x)^n≥1+nx.
参考资料：baidu