第四章琴生不等式一、函数的凹凸性:定义:设连续函数()fx的定义域为(a,b),如果对于(a,b)内任意两数x1,x2,都有1212()()()22xxfxfxf①则称()fx为(a,b)上的下凸函数.注:1.若把①式的不等号反向,则称这样的()fx为区间(a,b)上的上凸函数.(或凹函数)2.下凸函数的几何意义:过()yfx曲线上的任意两作弦,则弦的中点必在该曲线的上方(或曲线上).二、琴生不等式:若()fx是区间(a,b)上的凸函数,则对任意的点x1,x2,⋯,xn(a,b),有12121()[()()()]nnxxxffxfxfxnn取“=”条件:x1=x2=⋯=xn证明:注:更一般的情形:设()fx是定义在区间(a,b)上的函数,如果对于(a,b)上任意两点x1,x2,有1212()()()pfxpfxfpxqx(其中1pqRpq,,),则称()fx是(a,b)上的下凸函数.其推广形式,即加权的琴生不等式:设12121nnqqqRqqq,,,,且,若()fx是区间(a,b)上的下凸函数,则对任意的x1,x2,⋯,xn(a,b)有11221122()()()()nnnnfqxqxqxqfxqfxqfx.取“=”条件:12nxxx说明:以上各不等式反向,即得凹函数的琴生不等式.例1证明:(1)()sinfxx在[0),上是上凸函数(2)()lggxx在(0),上是上凸函数(3)()tan)2hxx在[0,上是下凸函数证明:(1)对12[0)xx,,121212121212()()1(sinsin)sincossin()222222fxfxxxxxxxxxxxf(2)对12[0)xx,,+121212lglglglg22xxxxxx即:1212()()()22gxgxxxg.(3)当1202xx,时1212121212121212sinsinsin()2sin()tant