凸函数的几个性质