展开 函数凹凸性判定的证明