怎么求证函数的凹凸性啊?