用公式法解一元二次方程:x^2-2√3+3=0