证明 有唯一临界点，且这是函数的全局最小值。