对号函数最小值证明不要用导数和均值不等式,以前看见过用二函的判别式证明的