必要不充分可是有最大值不是用极大值推出来的有最大值不一定有极大值，所以不充分，在定义域有极大值一定有最大值，所以必要