b²-4ac来自于一元二次函数配方法求根公式的推导。方程有实数根必须b²-4ac大于等于0，也就是x=[-b±√(b²-4ac)]/(2a)，被开方数非负。
二元一次方程的一般式是：ax²+bx+c=0，其中：a≠0。
有：
ax²+bx+c=0
x²+(b/a)x+c/a=0
x²+2×[b/(2a)]x+c/a=0
x²+2×[b/(2a)]x+[b/(2a)]²-[b/(2a)]²+c/a=0
x²+2×[b/(2a)]x+[b/(2a)]²=[b/(2a)]²-c/a
[x+b/(2a)]²=b²/(2a)²-4ac/(2a)²
[x+b/(2a)]²=(b²-4ac)/(2a)²
x=[-b±√(b²-4ac)]/(2a)
扩展资料：
消元思想
“消元”是解二元一次方程组的基本思路。所谓“消元”就是减少未知数的个数，使多元方程最终转化为一元多次方程再解出未知数。这种将方程组中的未知数个数由多化少，逐一解决的解法，叫做消元解法。
消元方法一般分为：代入消元法，简称：代入法 ；加减消元法，简称：加减法 ；顺序消元法 ；整体代入法。
代入消元法
将方程组中一个方程的某个未知数用含有另一个未知数的代数式表示出来，代入另一个方程中，消去一个未知数，得到一个一元一次方程，最后求得方程组的解，这种解方程组的方法叫做代入消元法。
用代入消元法解二元一次方程组的一般步骤：
（1）等量代换：从方程组中选一个系数比较简单的方程，将这个方程中的一个未知数（例如y），用另一个未知数（如x）的代数式表示出来，即将方程写成y=ax+b的形式；
（2）代入消元：将y=ax+b代入另一个方程中，消去y，得到一个关于x的一元一次方程；
（3）解这个一元一次方程，求出x的值；
（4）回代：把求得的x的值代入y=ax+b中求出y的值，从而得出方程组的解。