一元二次方程的求根公式是怎样被证明的?