展开 函数凹凸性充要条件