充分条件和必要条件求证:一元二次方程ax^2+bx+c=0有一正根和一负根的充要条件是ac