用求根公式分解因式的推导过程？

先把a提出来a(x^2+b/a x+c/a)
又因为x_1+x_2=-b/a x_1×x_2=c/a
所以a×[x^2-(x_1+x_2 )x+(x_1×x_2)]
根据十字相乘可知ax^2+bx+c=a(x-x1)(x-x2)

如果一个方程有实数根,那么该方程的左侧就可以化成几个因式相乘的形式,而因式得零都可以得到一个相应的根