展开 证明函数凹凸性的定义如何推出