1. 命题
![]()
左边等号成立当且仅当,右边等号成立当且仅当
.
2. 命题
![]()
等号成立当且仅当.
3.命题
![]()
两边等号成立均当且仅当.
4.命题
![]()
两边等号成立均当且仅当.
推论
5. 命题
6.
7.均值不等式
![]()
有 均方根QM算术平均AM
几何平均GM
调和平均HM,即:
![]()
当且仅当时,取等号.
推论
![]()
由算术平均调和平均,化简即可得.
注:均值不等式“均方根QM算术平均AM”可以由柯西不等式推出. 还可以这样:
取算术平均![]()
有:![]()
所以:![]()
即 :![]()
8.三角(Triangular)不等式
一般形式:
对维向量
,利用两边之和大于第三边:
![]()
当且仅当时,等号成立.
即:![]()
特别地,当维数为
有:
![]()
左边等号成立当且仅当,右边等号成立当且仅当
.
和
![]()
左边等号成立当且仅当,右边等号成立当且仅当
.
9.柯西-施瓦茨(Cauchy-Schwarz)不等式
![]()
![]()
等号成立当且仅当为常数或
.
注:
上式即:在维欧式空间
中,向量
,有:
![]()
连续函数上的柯西-施瓦茨不等式
设在
上可积,则有:
![]()
等号成立的必要条件是存在常数使得
.
多元函数上的柯西-施瓦茨不等式
设二元函数在平面区域
上可积,则有:
![]()
10. 琴生(Jensen)不等式
如果函数
对于严格凸函数,等式成立当且仅当
更一般地,加权的琴生不等式,如果
连续函数上的琴生不等式
函数
11.切比雪夫(Chebysev)不等式
又叫马尔可夫不等式,通俗说法:顺序和
而排序不等式:顺序和
对于
证明方法:先证顺序和大于一个乱序的乱序和,再由数学归纳法,得出结论.
连续函数上的切比雪夫不等式
若函数
12. 幂平均(Power-mean)不等式
对于实数
当且仅当
证明:记
加权幂平均不等式:
对于实数
注:幂平均不等式是多变量的广义形式的均值不等式.
令
则,均值不等式为:
如何理解几何平均
不妨令
后者这个