展开 如何证明凹凸性的定义