均值不等式的统一证明及基于半凸半凹函数的不等式证明.pdf

凸函数的性质及两个不等式 为了更好地体现函数凸性在不等式证明中的作用，下面对函数凸性的相关性 质按照一定的逻辑关系作出介绍，编排在前的性质为其后的性质作一定的铺垫， 层层递进地总结归纳． a , b x  y  , 性质1 设f (x) 为区间  上的严格凸函数，设 a b ，0 且 x , y  , f x  f y  f x   a b ，则       f y  ． 证明 为区间 a b 上的凸函数，由 f (x)  ,  y x    y x  x x   y  ; y x   y          y x 2 y x 2 y x 2 y x 2 y x   f x  f x   f y  ；       y x 2 y x 2  y x  f y  f x   f y  ；       y x 2 y x 2 上面两式相加得 f x  f y  f x   f y  ．         这个性质说明，x  y  s t 为定值，对于凸函数有f s  f t 之和变化与     s t 同步．特别地，当x  y 有 2 f x  f x   f x  ．       性质2 若f x 为开区间 上的可导凸函数，则f x 在 上单调递增．   I   I 证明 设x h y  ，x h  x  y  有 , h I y h f x  f x h f y  f x f y h  f y