定理10 设函数f(x)在I可导。函数f(x)在区间I是凸函数,且,有.docVIP

定理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） 于是 即 类似可证，为单调减少的情形 利用凸凹函数证明不等式 例38 （105页）证明：当 （i=0,1,2,····,n）时，有不等式 （调和平均数） （几何平均数） （算术平均数） 证明 分别证明两个不等式，首先证明右端不等式。设，， 0， 根据定理10推论知，f(x)在内为凸函数，由詹生不等式，令，有 或 即 。 其次证明左端不等式，只须令，有 ， 或 ， 即 综上所证有 。 例42 （107页）证明：当且时，有不等式 。 证明 设， 故f(x)在上是凸函数，由詹生不等式，有 ， 即 。 若用代替，两边开次方，有 若令，有 如果用分别代表n个正数的调和平均值，几何平均值，算术平均值和平方平均值，即 ， ， 。 则 。 例43 （108页）证明：，有不等式 证明 设根据定理10推论知，f(x)在R上为凸函数，由詹生不等式， ，有 。 当n=2时，有（高中代数习题） 例44 （108页）证明：当，且时，有不等式 证明 设 则 根据定理10推论知，f(x)在R上为凸函数，有詹生不等式，有 ， 即 于是 注 欲证 故，设函数为 ，。 例55（赫尔德不等式） （114页） 已知且求证： 其中。 证明 有题设条件，则。 设则 ， 根据定理10推论知，f(x)在内为凸函数，由詹生不等式，有 即 或 于是， （*） 若令，则 且 则（*）式为 若令，且与分别用与代替，则（*）式为 或 这就是常见的赫尔德不等式形式。 例69（122页） 证明：当时，有不等式。 证明 设 令 ，即， 解得驻点，且，有， 有，知函数在点取极小值，其极小值为 由于在上连续，且只有一个极小点，因此这个极小点就是最小点，则 ，有 。 令，于是， 即 例73（124页） 证明：，且有不等式 证明 设，且 ， ，有，故函数在（-1，0）内严格减少； ，有，故函数f（x）在内严格增加，显然f(x)在点x=0连续。 有或 即 例75 （125页）证明不等式 （杨格不等式，英国数学家） 其中。 证明 设，则 令 ，即 解得唯一一个驻点，且，有，有。 知，函