定理証明済み
判別式の符号が解の個数を決める
内容
a=0 のとき、方程式 ax2+bx+c=0 は Δ>0 ならちょうど2つの異なる実数解を、Δ=0 ならちょうど1つの実数解 x=−2ab を、Δ<0 なら実数解を持たない。
なぜ正しいのか?
これにより「放物線がx軸を何回横切るか」という図に関する問いが、「1つの数の符号を調べる」という何も描かずに答えられる問いに変わる。
証明の概略
この証明のすべての手順は、前の定理で確立した恒等式 (x+2ab)2=4a2Δ を再利用する。これは Δ の符号に関係なく a=0 を満たす任意の実数 a,b,c に対して成り立つ——Δ≥0 に依存するのは最後の平方根の手順だけである。
**Δ>0 の場合。** 右辺 4a2Δ は正の数(正の分子を正の分母 4a2 で割ったもの)なので、2つの異なる平方根 +2aΔ と −2aΔ を持ち、Δ=0 なのでこれらは異なる。それぞれが x+2ab の異なる値を与え、したがって x の異なる値を与える:ちょうど2つの異なる実数解。
**Δ=0 の場合。** 右辺は 0 になり、平方が 0 になる唯一の実数は 0 自身である——もはや「±」のあいまいさは残らない。よって x+2ab=0 となり、唯一の解 x=−2ab が得られる。これは左辺を直接 a(x+2ab)2=0 と因数分解すること、すなわちちょうど1回だけ0に触れる完全平方と一致する。
**Δ<0 の場合。** 右辺 4a2Δ は今度は負である。しかし左辺 (x+2ab)2 は実数の平方であり、実数の平方は常に ≥0 である——負の数に等しくなることは決してない。したがってこの場合、(x+2ab)2=4a2Δ を満たす実数 x は存在せず、元の方程式は実数解を全く持たない。
ステップごとの証明
この定理のステップごとの証明はまだありません。