定理証明済み
解の公式を導く
内容
a=0 のとき、ax2+bx+c=0 のすべての実数解は x=2a−b±Δ(Δ=b2−4ac)を満たす。逆に Δ≥0 である限り、この公式は本物の解を与える。
なぜ正しいのか?
因数分解はきれいな数に恵まれたときしかうまくいかない。平方完成はどんな二次方程式も「完全平方=ある数」の形に変え、それを平方根で「元に戻す」ことができる——これにより、推測を一切必要とせずあらゆる二次方程式を解く1つの公式が得られる。
証明の概略
ステップ1(正規化): a=0 なので、ax2+bx+c=0 の各項を a で割ると x2+abx+ac=0 となり、最高次係数が 1 の同値な方程式が得られる。
ステップ2(平方完成): 最初の2項 x2+abx は完全平方 (x+2ab)2=x2+abx+4a2b2 の始まりである。x2+abx+ac=0 に 4a2b2 を足して引くことで (x+2ab)2−4a2b2+ac=0 と書き直せる。
ステップ3(平方の項を分離): 定数項を右辺に移し、共通分母 4a2 でまとめる:−4a2b2+ac=4a2−b2+4ac=−4a2b2−4ac=−4a2Δ。これより (x+2ab)2=4a2Δ が得られる。
ステップ4(両辺の平方根をとる): Δ≥0 のとき右辺は非負の実数なので、両辺に実数の平方根が存在する: x+2ab=±2aΔ(± は a 自身の符号に関わらず両方の符号をすでに含んでいる)。
ステップ5(xを分離): 両辺から 2ab を引くと x=−2ab±2aΔ=2a−b±Δ、これはまさに x=2a−b±Δ である。用いたすべての代数的操作(0でない a で割る、同じ量を加減する、等しい非負の数の平方根をとる)は可逆であるため、この公式は Δ≥0 である限り必要十分である。
ステップごとの証明
この定理のステップごとの証明はまだありません。