就是证明b平方－4ac>0
化简以下可以得到
2m^2+(m-n)^2>0 这是恒等式
所以m>n>0都不需要就可以得到
2乘以x的平方+（3m+n）x+mn=0有两个不相等的实数根