凸函数在一些证明题中的应用