已知ab=2(m+n),求证方程x^2+ax+m=0和x^2+bx+n=0中至少有一个方程有实数根