求证:对于任意实数m,点M(m,-m^2)都不在二次函数y+-1/2(x+1)^2+2上