怎么证明函数是否有极值点