利用函数凹凸性质证明不等式

利用函数的凹凸性质证明不等式内蒙古包头市第一中学张巧霞摘要：本文主要利用函数的凹凸性来推导和证明几个不等式.首先介绍了凹凸函数的定义，描述了判定一个函数具有凹凸性质的充要条件，并且给出了凸函数的一个重要性质——琴生不等式.通过巧妙构造常见的基本初等函数，利用这些函数的凹凸性推导几个重要不等式，如柯西不等式，均值不等式，柯西赫勒德尔不等式，然后再借助这些函数的凹凸性及其推导出来的重要不等式证明一些初等不等式和函数不等式.关键词：凸函数；凹函数；不等式.一．引言在数学分析和高等数学中，利用导数来讨论函数的性态时，经常会遇到一类特殊的函数——凹凸函数.凹凸函数具有一些特殊的性质，对于某些不等式的证明问题如果灵活地运用函数的凹凸性质就可以简洁巧妙地得到证明.二．凹凸函数的定义及判定定理(1)定义设)(xf是定义在区间I上的函数，若对于I上的任意两点21,xx及实数1,0总有21211)1(xfxfxxf则称)(xf为I上的凸函数（下凸函数）；反之，如果总有不等式21211)1(xfxfxxf则称)(xf为I上的凹函数（上凸函数）.特别地，取21，则有.2)2(2121xfxfxxf若上述中不等式改为严格不等式，则相应的函数称为严格凸函数或严格凹函数.（2）判定定理若函数)(xf在区间I上是二阶可微的，则函数)(xf是凸函数的充要条件是0)(xf，函数)(xf是凹函数的冲要条件是.0)(xf三．关于凸函数的一个重要不等式——琴生不等式设)(xf是定义在区间I上的一个凸函数，则对1,0,,,2,1,1niiiiniIx有.)(11iniiiniixfxf特别地，当,,,2,11nini有.2)2(2121nnxfxfxfxxxf琴生不等式是凸函数的一个重要性质，因为每个凸函数都有一个琴生不等式，因此它在一些不等式的证明中有着广泛的应用.四．应用凸函数和琴生不等式证明几个重要不等式.（1）（调和——几何——算术平均不等式）设,,,2,1,0niai则有naaanniinniinii11111当且仅当naaa21时，等号成立.证明设,ln)(xxf因为,,0,01)(2xxxf所以)(xf是,0上的凸函数，那么就有.)(11iniiiniixfxf现取,,,2,1,1,ninaxiii则有,lnln11ln1111niniininiiaanan得,ln1ln111nininiiaan由xln的递增性可得nniiiniaan1111（1）同理，我们取01iiax，就有,1ln1ln111ln1111niniininiiaanan即nniiniiaan1111（2）由（1），（2）两式可得naaanniinniinii11111（2）柯西——赫勒德尔不等式qniqipnipiiniibaba11111其中nibaii,,2,1,,是正数，又,1,0ppp与q共轭，即111qp.证明首先构造函数1,pxxfp时，0,0xxf所以pxxf是,0上的凸函数，则有piniipniiiiniixxxf111)(令,1niiiipp这里nipi,,2,1,0，则niinipiipniiniiipxppxp1111即1111pniinipiipniiipxpxp由题设知111qp，得1ppq，所以qniipnipiiniiipxpxp11111，现取qiiipiipbxpa11,，ni,,2,1则pipiiiiqiipiiiaxpxppxpba,11，代入上式得qniqipnipiiniibaba11111命题得证.在柯西赫勒德尔不等式中，若令2qp时，即得到著名的不等式——柯西不等式211221121niiniiiniibabaniiniiiniibaba121221)(这里nibaii,,2,1,,为两组正实数，当且仅当iiba时等号成立.五．凸函数及重要不等式在证明初等不等式和函数不等式中的应用.例1.求证在圆的内接n边形中，以正变形的面积最大.证明设圆的半径为r，内接n边形的面积为S，各边所对的圆心角分别为n,,,21，则,sinsinsin21212nrS因为0sinxxf，所以xxfsin是,0上的凹函数，由琴生不等式可得.1)(11ininiifnnf即nnniinii11sinsinnnnii2sinsin1上式只有在n21时等号才成立，也即正n边形的面积最大.特别地，若A,B,C为三角形的三个内角时，由上式可得323sinsinsinCBA.例2求证对任意的0,0yx，下面的不等式2ln)(lnlnyxyxyyxx成立.证明我们根据所要证明的不等式构造相应的函数，令0,lnttttf，因.01ttf故tttfln是,0上的凸函数，所以有,,0,,22yxyfxfyxf即,lnln212ln2yyxxyxyx,lnln2ln)(yyxxyxyx所以在利用凸函数证明不等式时，关键是如何巧妙地构造出能够解决问题的函数，然后列出琴生不等式就可以简洁，巧妙地得到证明.例3设iiiidcba,,,都是正实数，证明niiniiniiniiniiiiidcbadcba1414141441.分析本题所要证明的结论看上去接近于柯西不等式，但是这里是4次方的情形，所以想办法将其变成标准形式。证明4141iiniiiniiiiidcbadcba212221niiiniiidcba=21222122niiiniiidcbaniiniiniiniidcba14141414通过以上例子我们可得出结论，运用柯西不等式的关键是对照柯西不等式的标准形式，构造出两组适当的数列，然后列出式子.例4设dcba,,,都是正实数，且.32222badc证明133dbca.证明首先由均值不等式得433433bcbdadacbabdacdbca42242bbaa=222ba再由柯西不等式得21222122dcbabdac23222122dcba=222ba即22233badbcabdacdbca33222ba所以133dbca六．总结由上面的分析我们看到，虽然利用函数的凹凸性来证明不等式有它的局限性，但是往往是其它方法不可代替的，我们可以充分感受到利用函数的凹凸性解决问题的方便和快捷，丰富了不等式的常规证法，开阔了解题思路.参考文献【1】谢惠民.数学分析习题课讲义【M】.高等教育出版社，2003.【2】王仁发.高观点下的中学数学代数学【M】.高等教育出版社，1999.【3】席博彦.不等式的引论【M】.内蒙古教育出版社，2000.【4】华东师范大学数学系.数学分析【M】.高等教育出版社，1991.