凸函数定义证明