MathLabs
定理証明済み

判別式の符号が解の個数を決める

内容

a≠0a\neq0 のとき、方程式 ax2+bx+c=0ax^2+bx+c=0 は Δ>0\Delta>0 ならちょうど2つの異なる実数解を、Δ=0\Delta=0 ならちょうど1つの実数解 x=−b2ax=-\dfrac{b}{2a} を、Δ<0\Delta<0 なら実数解を持たない。

なぜ正しいのか?

これにより「放物線がx軸を何回横切るか」という図に関する問いが、「1つの数の符号を調べる」という何も描かずに答えられる問いに変わる。

証明の概略

この証明のすべての手順は、前の定理で確立した恒等式 (x+b2a)2=Δ4a2\left(x+\dfrac{b}{2a}\right)^2=\dfrac{\Delta}{4a^2} を再利用する。これは Δ\Delta の符号に関係なく a≠0a\neq0 を満たす任意の実数 a,b,ca,b,c に対して成り立つ——Δ≥0\Delta\ge0 に依存するのは最後の平方根の手順だけである。

**Δ>0\Delta>0 の場合。** 右辺 Δ4a2\dfrac{\Delta}{4a^2} は正の数(正の分子を正の分母 4a24a^2 で割ったもの)なので、2つの異なる平方根 +Δ2a+\dfrac{\sqrt{\Delta}}{2a} と −Δ2a-\dfrac{\sqrt{\Delta}}{2a} を持ち、Δ≠0\sqrt{\Delta}\neq0 なのでこれらは異なる。それぞれが x+b2ax+\dfrac{b}{2a} の異なる値を与え、したがって xx の異なる値を与える:ちょうど2つの異なる実数解。

**Δ=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 と因数分解すること、すなわちちょうど1回だけ0に触れる完全平方と一致する。

**Δ<0\Delta<0 の場合。** 右辺 Δ4a2\dfrac{\Delta}{4a^2} は今度は負である。しかし左辺 (x+b2a)2\left(x+\dfrac{b}{2a}\right)^2 は実数の平方であり、実数の平方は常に ≥0\ge0 である——負の数に等しくなることは決してない。したがってこの場合、(x+b2a)2=Δ4a2\left(x+\dfrac{b}{2a}\right)^2=\dfrac{\Delta}{4a^2} を満たす実数 xx は存在せず、元の方程式は実数解を全く持たない。

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。