已知f(x)=ax^2+bx+c(a,b,c属于R,且a不等于0),证明方程f(x)=0有两个不相等的实数解的充要条件是