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