m,M 是 f 在几何形体上的最小和最大值