设函数fx在xa的某个邻域内连续且fa为极大值