苏州马小云 -
其实是一元二次方程求根公式的应用
推导过程（网上copy）
ax^2+bx+c=0.(a≠0,^2表示平方)等式两边都除以a,得,
x^2+bx/a+c/a=0,
移项,得：
x^2+bx/a=－c/a,
方程两边都加上一次项系数b/a的一半的平方,即方程两边都加上b^2/4a^2,（配方）得
x^2+bx/a+b^2/4a^2=b^2/4a^2－c/a,
即 （x+b/2a）^2=(b^2-4ac)/4a.
说明：物理应用中a>0,所以b^2-4ac>0 才有实数解
x+b/2a=±[√(b^2-4ac)]/2a.(√表示根号)得：
x=[-b±√(b^2-4ac)]/2a.
阿啵呲嘚 -
1.证明：b^2-4ac<0的充要条件是方程无解
必要性：对于方程a（x^2）+bx+c=0(a≠0)，两边同乘以4a得：
4（a^2）（x^2）+4abx+4ac=0
4（a^2）（x^2）+4abx+b^2=b^2-4ac
(2ax+b)^2=b^2-4ac 若b^2-4ac<0，则(2ax+b)^2<0，可知无解。
充分性：x=(（（b^2-4ac）^(1/2)）-b)/(2a),若方程无解,则x不是实数，又因a不等于0，故b^2-4ac<0
2.证明：b^2-4ac=0的充要条件是方程有且只有一个解。
必要性：对于方程a（x^2）+bx+c=0(a≠0)，两边同乘以4a得：
4（a^2）（x^2）+4abx+4ac=0
4（a^2）（x^2）+4abx+b^2=b^2-4ac
(2ax+b)^2=b^2-4ac
若b^2-4ac=0，则2ax+b=0，故x惟一确定。
充分性：方程ax^2+bx+c=0一定可以化为a（x^2+Бx+д）=0，进而化为a*(x-m1)*(x-m2)=0 （这是显然的）
展开得ax^2-a*(m1+m2)*x+a*m1*m2=0;
与ax^2+bx+c=0比较，显然有：m1+m2=-a/b; m1*m2=c/a;
若两个解相同，则(m1-m2)^2=0;
可化为(m1+m2)^2-4*m1*m2=0,
带入m1+m2=-a/b; m1*m2=c/a; 得（b^2-4ac）/(a^2)=0;由于a不等于0,
故b^2-4ac=0
3.证明：b^2-4ac>0的充要条件是方程有两个不相等的解
@首先证明一元二次方程最多有两个解：假设一元二次方程有三个以上的实根a,b,c,...，
那么此方程可以表示为Б(x-a)(x-b)(x-c)...=0,那么该方程的最高次项的幂一定大于2，与一元二次方程矛盾。所以最多有两个不相等的解。
必要性：若b^2-4ac>0，由1、2两点，方程并非只有一个解，但又非无解，再由@标记的定理，所以有二解
充分性：若有两个解，由1、2两点，b^2-4ac既不小于0也不等于0，故b^2-4ac大于0.证毕。
余辉 -
公式 b^2 - 4ac 是从二次方程的一般形式推导得出的，而二次方程的一般形式是 ax^2 + bx + c = 0，其中 a、b 和 c 是常数。
二次方程是一个以 x 的二次多项式的形式写出的方程。b^2 - 4ac 这部分被称为判别式，它描述了二次方程的根的性质。
推导过程如下：
1. 假设有一个一般形式的二次方程 ax^2 + bx + c = 0。
2. 使用求根公式，根据二次方程的性质，我们可以得到两个根 x1 和 x2：
x1 = (-b + √(b^2 - 4ac)) / (2a)
x2 = (-b - √(b^2 - 4ac)) / (2a)
3. 计算 x1 和 x2 的差值：
x1 - x2 = [-b + √(b^2 - 4ac)] / (2a) - [-b - √(b^2 - 4ac)] / (2a)
= (√(b^2 - 4ac) - (-√(b^2 - 4ac))) / (2a)
= (2√(b^2 - 4ac)) / (2a)
= √(b^2 - 4ac) / a
4. 如果我们定义判别式为 D = b^2 - 4ac，根据上面的计算，我们可以得出：
x1 - x2 = √D / a
从这个推导过程中，我们可以看到判别式 b^2 - 4ac 在方程的两个根之间起到关键的作用。它的值可以决定二次方程的根的性质：
1. 如果判别式 D > 0，则方程有两个不等实数根，即方程交叉 x 轴两次。
2. 如果判别式 D = 0，则方程有两个相等的实数根，即方程与 x 轴相切。
3. 如果判别式 D < 0，则方程没有实数解，即方程没有与 x 轴的交点。
因此，判别式 b^2 - 4ac 可以帮助我们判断二次方程的根的性质，并且在解题时起到重要的作用。
gitcloud -
首先，二次方程要求a不等于0，故可设方程ax^2+bx+c=0为a*(x-m1)*(x-m2)=0,(即m1 m2分别为方程的两个解)
展开得ax^2-a*(m1+m2)*x+a*m1*m2=0;
与ax^2+bx+c=0比较，得：m1+m2=-a/b; m1*m2=c/a;
若两个解相同，则m1-m2=0,即(m1-m2)^2=0;
可化为(m1+m2)^2-4*m1*m2=0,
带入m1+m2=-a/b; m1*m2=c/a; 得（b^2-4ac）/(a^2)=0;（a不等于0）
故b^2-4ac=0；
反之，当b^2-4ac>0时，说明m1 m2不相同，即有两个解；
当b^2-4ac<0时，该方程无实数解。
用途：可用于判断方程是否有解，从而在代数、解析几何等领域发挥作用
你这是干啥嘛 -
b^2 - 4ac这个公式是一元二次方程ax^2 + bx + c = 0的判别式,它通过判别式的符号来判断一元二次方程的根的性质。这个公式的推导过程如下:设一元二次方程为:
ax^2 + bx + c = 0将x表示为两个根:x1和x2那么该方程可以表示为:
a(x - x1)(x - x2) = 0展开可得:
ax^2 - a(x1 + x2)x + ax1x2 = 0因为x1和x2是两个根,根据性质可知:x1 + x2 = -b/a, x1x2 = c/a代入方程中得:
ax^2 + bx + c = 0即满足该一元二次方程的两个根x1和x2满足:
x1 + x2 = -b/a
x1x2 = c/a根据判别式:
Δ = b^2 - 4ac1 如果Δ > 0,则方程有两个不同的实数根2 如果Δ = 0,则方程有两个相同的实数根3 如果Δ < 0,则方程有两个不同的虚数根所以,b^2 - 4ac判别式的符号可以判断一元二次方程的根的性质,这就是这个公式的意义所在。