求证关于方程ax^2+bx+c=0有一个正根和一个负根的充要条件是ac