关于数学上不等式的定理,公理,还有各种推论,证明的还是未证明的都可以,从高中到大学的都要啊,

关于数学上不等式的定理,公理,还有各种推论,证明的还是未证明的都可以,从高中到大学的都要啊,

柯西不等式
对于2n个任意实数x1,x2,…,xn和y1,y2,…,yn,恒有
（x1y1+x2y2+…+xnyn)^2≤（x1^2+x2^2+…+xn^2）（y1^2+y2^2+…+yn^2）
柯西不等式的几种变形形式
1.设xi∈R,yi>0 (i=1,2,…,n)则,当且仅当bi=l*ai (i=1,2,3,…,n)时取等号
2.设ai,bi同号且不为零(i=1,2,…,n),则,当且仅当b1=b2=…=bn时取等
排序不等式
又称排序原理.
对于两组有序的实数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.
当且仅当x1=x2=……=xn且y1=y2=……yn时,等号成立.
QI琴生不等式
设f(x)为凸函数,则f((x1+x2+...+xn)/n)≤[f(x1)+f(x2)+...+f(xn)]/n(下凸);
设f(x)为凹函数,则f((x1+x2+...+xn)/n)≥[f(x1)+f(x2)+...+f(xn)]/n(上凸);
称为琴生不等式.
简均值不等式
Hn≤Gn≤An≤Qn,即调和平均数不超过几何平均数,几何平均数不超过算术平均数,算术平均数不超过平方平均数.
性绝对值不等式
|a|表示数轴上的点a与原点的距离叫做数a的绝对值.
两个重要性质：
1.|ab| = |a||b|
|a/b| = |a|/|b| （b≠0）
2.|a||a|
||a| - |b|| ≤ |a+b| ≤ |a|+|b|,当且仅当 ab≤0 时左边等号成立,ab≥0 时右边等号成立.
另外有：|a-b| ≤ |a|+|-b| = |a|+|-1|*|b| = |a|+|b|
| |a|-|b| | ≤ |a±b| ≤ |a|+|b|
概基本不等式
公式：(a+b)/2≥√(ab) (a≥0,b≥0)
（当且仅当a=b时,等号成立）
变形：ab≤[(a+b)/2]² (a≥0,b≥0)
（当且仅当a=b时,等号成立）
几几何不等式
Ptolemy（托勒密）不等式
若ABCD为四边形,则AB×CD+AD×BC≥ AC×BD.（等号成立,A,B,C,D四点共圆）
Erdos（埃尔多斯）不等式
设P是ΔABC内任意一点,P到ΔABC三边BC,CA,AB的距离分别为PD=p,PE=q,PF=r,记PA=x,PB=y,PC=z.则：x+y+z≥2*(p+q+r)
Weitzenberk（外森比克）不等式
若a,b,c为三角形三边长,S是三角形面积,
则：a^2+b^2+c^2≥(4√3)S（等号成立当且仅当ABC为等边三角形）.
Euler（欧拉）不等式
设△ABC外接圆与内切圆的半径分别为R、r,则R≥2r,当且仅当△ABC为正三角形时取等号.
Fermat（费马）问题
在△ABC中,使PA+PB+PC为最小的平面上的P点称为费马点.当每个内角均小于120时,则与三边张角为120的P点为费马点.
等周不等式
①周长一定的所有图形中,圆的面积最大；面积一定的所有图形中,圆的周长最小.
②周长一定的所有n边形中,正n边形的面积最大；面积一定的所有n边形中,正n边形的周长最小.
基赫尔德不等式
设S为测度空间,及,设f在Lp(S)内,g在Lq(S)内.则f g在L1(S)内,即||fg||1=0[1].我们称p和q互为赫尔德共轭.
若取S为自然数集附计数测度,便得与上类似的无穷级数不等式.
当p = q = 2,便得到柯西-施瓦茨不等式.
还有很多,具体证法网上都有.