如果XX0有( ),则f(x0)是极大值