用反证法证明:若方程ax^2+bx+c=0(a不为0) 有两个不相等的实数根,则b^2-4ac>0.