X1+X2=-b/a,X1xX2=c/a是什么定理?