一元二次方程中的定理有哪些