怎么证明函数是凸的呢?