定理10设函数f(x)在I可导
函数f(x)在区间I是凸函数,且,有
推论若函数f(x)在区间I上存在二阶导数,且(1),有,则函数f(x)在区间I严凸
(2),有,则函数f(x)在区间I严凹
定理11(詹生不等式)若函数f(x)在区间I是凸,则有不等式其中且
利用拉格朗日重要不等式证明不等式例33(101页)证明:若函数在闭区间[a,b]满足拉格朗日定理,且在[a,b]上单调增加(减少),则()其中a=,(i=0,1,2,···,n),(此不等式称为拉格朗日重要不等式)证明已知函数在闭区间[a,b]满足拉格朗日定理,则在(i=0,1,2,···,n-1)上也满足拉格朗日定理,有(i=0,1,2,···,n-1)又已知在[a,b]上单调增加,则在(i=0,1,2,···,n-1)上也单调增加,从而或(i=0,1,2,···,n-1)于是1即类似可证,为单调减少的情形利用凸凹函数证明不等式例38(105页)证明:当(i=0,1,2,····,n)时,有不等式(调和平均数)(几何平均数)(算术平均数)证明分别证明两个不等式,首先证明右端不等式
设,,0,根据定理10推论知,f(x)在内为凸函数,由詹生不等式,令,有或即
其次证明左端不等式,只须令,有,或,即2综上所证有
例42(107页)证明:当且时,有不等式
证明设,故f(x)在上是凸函数,由詹生不等式,有,即
若用代替,两边开次方,有若令,有如果用分别代表n个正数的调和平均值,几何平均值,算术平均值和平方平均值,即,,
例43(108页)证明:,有不等式3证明设根据定理10推论知,f(x)在R上为凸函数,由詹生不等式,,有
当n=2时,有(高中代数习题)例44(108页)证明:当,且时,有不等式证明设则根据定理10推论知,f(x)在R上为凸函数,有詹生不等式,有,即于是注欲证故,设函数为,
例55(赫尔德不等式)(11