用反证法证明一元二次方程至多有两个不同实根