MathLabs
定理証明済み

解の公式を導く

内容

a≠0a\neq0 のとき、ax2+bx+c=0ax^2+bx+c=0 のすべての実数解は x=−b±Δ2ax=\dfrac{-b\pm\sqrt{\Delta}}{2a}(Δ=b2−4ac\Delta=b^2-4ac)を満たす。逆に Δ≥0\Delta\ge0 である限り、この公式は本物の解を与える。

なぜ正しいのか?

因数分解はきれいな数に恵まれたときしかうまくいかない。平方完成はどんな二次方程式も「完全平方=ある数」の形に変え、それを平方根で「元に戻す」ことができる——これにより、推測を一切必要とせずあらゆる二次方程式を解く1つの公式が得られる。

証明の概略

ステップ1(正規化): a≠0a\neq0 なので、ax2+bx+c=0ax^2+bx+c=0 の各項を aa で割ると x2+bax+ca=0x^2+\dfrac{b}{a}x+\dfrac{c}{a}=0 となり、最高次係数が 11 の同値な方程式が得られる。

ステップ2(平方完成): 最初の2項 x2+baxx^2+\dfrac{b}{a}x は完全平方 (x+b2a)2=x2+bax+b24a2\left(x+\dfrac{b}{2a}\right)^2=x^2+\dfrac{b}{a}x+\dfrac{b^2}{4a^2} の始まりである。x2+bax+ca=0x^2+\dfrac{b}{a}x+\dfrac{c}{a}=0 に b24a2\dfrac{b^2}{4a^2} を足して引くことで (x+b2a)2−b24a2+ca=0\left(x+\dfrac{b}{2a}\right)^2-\dfrac{b^2}{4a^2}+\dfrac{c}{a}=0 と書き直せる。

ステップ3(平方の項を分離): 定数項を右辺に移し、共通分母 4a24a^2 でまとめる:−b24a2+ca=−b2+4ac4a2=−b2−4ac4a2=−Δ4a2-\dfrac{b^2}{4a^2}+\dfrac{c}{a}=\dfrac{-b^2+4ac}{4a^2}=-\dfrac{b^2-4ac}{4a^2}=-\dfrac{\Delta}{4a^2}。これより (x+b2a)2=Δ4a2\left(x+\dfrac{b}{2a}\right)^2=\dfrac{\Delta}{4a^2} が得られる。

ステップ4(両辺の平方根をとる): Δ≥0\Delta\ge0 のとき右辺は非負の実数なので、両辺に実数の平方根が存在する: x+b2a=±Δ2ax+\dfrac{b}{2a}=\pm\dfrac{\sqrt{\Delta}}{2a}(±\pm は aa 自身の符号に関わらず両方の符号をすでに含んでいる)。

ステップ5(xを分離): 両辺から b2a\dfrac{b}{2a} を引くと x=−b2a±Δ2a=−b±Δ2ax=-\dfrac{b}{2a}\pm\dfrac{\sqrt{\Delta}}{2a}=\dfrac{-b\pm\sqrt{\Delta}}{2a}、これはまさに x=−b±Δ2ax=\dfrac{-b\pm\sqrt{\Delta}}{2a} である。用いたすべての代数的操作(0でない aa で割る、同じ量を加減する、等しい非負の数の平方根をとる)は可逆であるため、この公式は Δ≥0\Delta\ge0 である限り必要十分である。

この定理を使うトピック

ステップごとの証明

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