方程(m-mn/2)x^2-(m-n)x+(mn/2-n)=0有解,即x=1,x=n(m-2)/m(2-n);
所以∴△=b^2-4ac≥0,(m-n)^2-4(m-mn/2)(mn/2-n)≥0.得证