MathLabs
定理已证明

判别式符号决定根的个数

命题陈述

当 a≠0a\neq0 时,方程 ax2+bx+c=0ax^2+bx+c=0 在 Δ>0\Delta>0 时恰有两个不同的实数根,在 Δ=0\Delta=0 时恰有一个实数根 x=−b2ax=-\dfrac{b}{2a},在 Δ<0\Delta<0 时没有实数根。

为什么成立?

这把“抛物线与x轴相交几次”这个关于图像的问题,变成了“检查一个数的符号”这个不用画图就能回答的问题。

证明思路

这个证明的每一步都重复使用前一个定理中建立的恒等式 (x+b2a)2=Δ4a2\left(x+\dfrac{b}{2a}\right)^2=\dfrac{\Delta}{4a^2},该恒等式对满足 a≠0a\neq0 的任意实数 a,b,ca,b,c 都成立,与 Δ\Delta 的符号无关——只有最后开平方那一步才依赖于 Δ≥0\Delta\ge0。

**情形 Δ>0\Delta>0。** 右边 Δ4a2\dfrac{\Delta}{4a^2} 是正数(正的分子除以正的分母 4a24a^2),因此有两个不同的平方根 +Δ2a+\dfrac{\sqrt{\Delta}}{2a} 和 −Δ2a-\dfrac{\sqrt{\Delta}}{2a},由于 Δ≠0\sqrt{\Delta}\neq0 它们互不相同。每个都给出 x+b2ax+\dfrac{b}{2a} 的一个不同取值,从而给出 xx 的一个不同取值:恰好两个不同的实数根。

**情形 Δ=0\Delta=0。** 右边变为 00,而平方等于 00 的实数只有 00 本身——不再有“±\pm”的歧义。于是 x+b2a=0x+\dfrac{b}{2a}=0,给出唯一的根 x=−b2ax=-\dfrac{b}{2a}。这与直接把左边因式分解为 a(x+b2a)2=0a\left(x+\dfrac{b}{2a}\right)^2=0(恰好在零点相切的完全平方)相吻合。

**情形 Δ<0\Delta<0。** 右边 Δ4a2\dfrac{\Delta}{4a^2} 此时为负。但左边 (x+b2a)2\left(x+\dfrac{b}{2a}\right)^2 是一个实数的平方,而任意实数的平方总是 ≥0\ge0——它永远不可能等于一个负数。所以在这种情形下,没有任何实数 xx 能满足 (x+b2a)2=Δ4a2\left(x+\dfrac{b}{2a}\right)^2=\dfrac{\Delta}{4a^2},即原方程完全没有实数解。

用到此定理的主题

分步证明

该定理暂无分步证明。