命题与条件:一元二次方程ax平方+bx+c=0,(a不等于0)求证ac<0是方程有两个不相等实根的充分非必要条件