メインコンテンツへスキップ
見出し画像

「解の和と差の連立」による2次方程式の解の公式の導出

    (コメント)
     このテーマについて、本シリーズ (22) でより分かりやすく解説しています。

    (本文スタート)
     竹村の家庭教師が始まった。
    「前回まで『2次と3次方程式の解の公式』、『解と係数の関係』、そして”対称式は基本対称式の加減乗除、つまり足し算・引き算・掛け算・割り算で表せる”という『対称式の基本定理』をやったね。今日の授業は2次方程式の解の公式について、”対称式”という観点でその成り立ちを見てみよう。
     解の和と差である α+β\alpha+\beta と α−β\alpha-\beta の連立で、2次方程式の解の公式を求めることが今日の目標だよ」

    「お願いします!」
    「元気いいね、ではいくよ。まずは2次方程式の解の公式を復習しよう。森田君、復習として導出してみようか」
    「はい」というとすぐに小学5年生の森田君はノートに向かった。

    <2次方程式の解の公式の導出(復習)>
    「まずは、2次方程式 ax2+bx+c=0ax^2+bx+c=0 について、x2x^2 の係数を 11 にするために両辺を a(≠0)a(\ne 0) で割って

    ax2+bx+c=0x2+bax+ca=0\begin{gather*} ax^2+bx+c=0\\ x^2+\dfrac{b}{a}x+\dfrac{c}{a}=0 \end{gather*}

    ここで平方完成をします。xx の係数 ba\dfrac{b}{a} の半分、つまり  22 で割った b2a\dfrac{b}{2a} の 22 乗 (b2a)2\left(\dfrac{b}{2a}\right)^2 を左辺に足して引きます。同じものを足して引いたので、式の等号は成り立ちます。

    x2+bax+(b2a)2−(b2a)2⏟足して引いた+ca=0x2+2⋅b2ax+(b2a)2‾−(b2a)2+ca=0\begin{align*} x^2+\frac{b}{a}x\underbrace{+\left(\frac{b}{2a}\right)^2-\left(\frac{b}{2a}\right)^2}_{足して引いた}+\dfrac{c}{a}&=0\\ \underline{x^2+2\cdot\frac{b}{2a}x+\left(\frac{b}{2a}\right)^2}-\left(\frac{b}{2a}\right)^2+\dfrac{c}{a}&=0 \end{align*}

    すると x2+2Ax+A2=(x+A)2x^2+2Ax+A^2=(x+A)^2 の因数分解公式を利用すれば、AA を b2a\dfrac{b}{2a} と見立てることによって下線部は

    x2+2Ax+A2=(x+A)2x2+2⋅b2ax+(b2a)2=(x+b2a)2\begin{align*} &x^2+2\hspace{10pt}A\hspace{3pt}x+\hspace{8pt}A^2\hspace{11pt}=\hspace{3pt}(\hspace{1pt}x+\hspace{2pt}A\hspace{1pt})^2\\ &x^2+2\cdot\dfrac{b}{2a}x+\left(\dfrac{b}{2a}\right)^2=\left(x+\dfrac{b}{2a}\right)^2 \end{align*}

    と因数分解できるので、下線部を (x+b2a)2\left(x+\dfrac{b}{2a}\right)^2 に書き換えて

    (x+b2a)2−(b2a)2+ca=0\begin{gather*} \left(x+\dfrac{b}{2a}\right)^2-\left(\dfrac{b}{2a}\right)^2+\dfrac{c}{a}=0 \end{gather*}

    −(b2a)2+ca-\left(\dfrac{b}{2a}\right)^2+\dfrac{c}{a} を右辺に移項して

    (x+b2a)2=(b2a)2−ca=(12⋅ba)2−ca=(12)2(ba)2−ca=14(ba)2−ca\begin{align*} \left(x+\dfrac{b}{2a}\right)^2&=\left(\dfrac{b}{2a}\right)^2-\dfrac{c}{a}\\ &=\left(\dfrac{1}{2}\cdot\dfrac{b}{a}\right)^2-\dfrac{c}{a}\\ &=\left(\dfrac{1}{2}\right)^2\left(\dfrac{b}{a}\right)^2-\dfrac{c}{a}\\ &=\dfrac{1}{4}\left(\dfrac{b}{a}\right)^2-\dfrac{c}{a} \end{align*}

    より

    (x+b2a)2=14(ba)2−ca\begin{align*} \left(x+\dfrac{b}{2a}\right)^2&=\dfrac{1}{4}\left(\dfrac{b}{a}\right)^2-\dfrac{c}{a} \end{align*}

    ここで、両辺の平方恨をとって

    x+b2a=±14(ba)2−ca\begin{gather*} x+\dfrac{b}{2a}=\pm\sqrt{\dfrac{1}{4}\left(\dfrac{b}{a}\right)^2-\dfrac{c}{a}} \end{gather*}

    となります」
    「そうだね。確認だけど平方根をとると ±\pm と、プラスマイナスの符号が現れることに注意しよう。
    x2=4x^2=4 の解は x=±4=±2x=\pm\sqrt{4}=\pm2、x2=5x^2=5 の解は  x=±5x=\pm\sqrt{5} と、プラスマイナスがつくのと同じ考えだね」
    「そうです。(□)2=A(\Box)^2=A は □=±A\Box=\pm\sqrt{A} となる形式です。ここで b2a\dfrac{b}{2a} を移項して

    x=−b2a±14(ba)2−ca\begin{gather*} x=-\dfrac{b}{2a}\pm\sqrt{\dfrac{1}{4}\left(\dfrac{b}{a}\right)^2-\dfrac{c}{a}} \end{gather*}

    あとはこの式を整理して

    x=−b2a±14{(ba)2−4⋅ca}=−b2a±12(ba)2−4⋅ca=−b2a±12b2a2−4ca=−b2a±12b2a2−4aca2=−b2a±12b2−4aca2=−b2a±12⋅b2−4aca2=−b2a±12⋅b2−4aca=−b2a±b2−4ac2a=−b±b2−4ac2a\begin{align*} x&=-\dfrac{b}{2a}\pm\sqrt{\dfrac{1}{4}\left\{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}\right\}}\\ &=-\dfrac{b}{2a}\pm\dfrac{1}{2}\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}\\ &=-\dfrac{b}{2a}\pm\dfrac{1}{2}\sqrt{\dfrac{b^2}{a^2}-\dfrac{4c}{a}}\\ &=-\dfrac{b}{2a}\pm\dfrac{1}{2}\sqrt{\dfrac{b^2}{a^2}-\dfrac{4ac}{a^2}}\\ &=-\dfrac{b}{2a}\pm\dfrac{1}{2}\sqrt{\dfrac{b^2-4ac}{a^2}}\\ &=-\dfrac{b}{2a}\pm\dfrac{1}{2}\cdot\dfrac{\sqrt{b^2-4ac}}{\sqrt{a^2}}\\ &=-\dfrac{b}{2a}\pm\dfrac{1}{2}\cdot\dfrac{\sqrt{b^2-4ac}}{a}\\ &=-\dfrac{b}{2a}\pm\dfrac{\sqrt{b^2-4ac}}{2a}\\ &=\dfrac{-b\pm\sqrt{b^2-4ac}}{2a} \end{align*}

    「これで解の公式が得られました」
    「よくできました。続いて『2次方程式の解と係数の関係』と『対称式』も復習しておこう。

    <2次方程式の解と係数の関係(復習)> 
     2次方程式 ax2+bx+c=0ax^2+bx+c=0 の2つの解を α,β\alpha,\beta とすると
    \\[-10pt]
    α+β=−ba\hspace{40pt}\alpha+\beta=-\dfrac{b}{a} 
    αβ=ca\hspace{52pt}\alpha\beta=\dfrac{c}{a}

    これは2つの解が具体的に分からなくても、その解の和と積は係数を使って求めることができる、ということだね。

    <対称式(復習)>
     対称式とは、「文字を入れ替えても同じになる式」のこと。

    例えば、α+β\alpha+\beta、αβ\alpha\beta、α2+β2\alpha^2+\beta^2 は対称式になるね。α\alpha と β\beta を入れ替えても同じ式になるから。しかし、α−β\alpha-\beta や α2β\alpha^2\beta は対称式ではない。α\alpha と β\beta を入れ替えたら違う式になるよ。特に α+β\alpha+\beta、αβ\alpha\beta を『基本対称式』という。『解と係数の関係』は、解の『基本対称式』を、その方程式の係数で表せるということなんだ。

    α+β⏟基本対称式=−ba αβ⏟基本対称式=ca\begin{align*} \underbrace{\alpha+\beta}_{基本対称式}&=-\dfrac{b}{a}\\  \underbrace{\alpha\beta}_{基本対称式}&=\dfrac{c}{a} \end{align*}

     さて、対称式について次の重要な定理があったね。

    <対称式の基本定理(復習)>
     全ての対称式は『基本対称式』の加減乗除で表すことができる。

    例えば対称式 α2+β2\alpha^2+\beta^2 は、(α+β)2(\alpha+\beta)^2 の展開公式

    (α+β)2=α2+2αβ+β2\begin{align*} (\alpha+\beta)^2=\alpha^2+2\alpha\beta+\beta^2 \end{align*}

    について、左右入れ替えて

    α2+2αβ+β2=(α+β)2\begin{align*} \alpha^2+2\alpha\beta+\beta^2=(\alpha+\beta)^2 \end{align*}

    2αβ2\alpha\beta を移項して

    α2+β2=(α+β⏟基本対称式)2−2αβ⏟基本対称式\begin{align*} \alpha^2+\beta^2=(\hspace{-1.5mm}\underbrace{\alpha+\beta}_{基本対称式}\hspace{-1.5mm})^2-2\hspace{-3mm}\underbrace{\alpha\beta}_{基本対称式} \end{align*}

    とすることによって、基本対称式で表すことができるね。そこで今日は、2次方程式の解の公式を先ほどやった平方完成ではなく、この『基本対称式を利用した方法』で導いてみようと思う。これは2次方程式 ax2+bx+c=0ax^2+bx+c=0 を直接変形しないで解の公式を求める方法なんだ。

    <ax2+bx+c=0\boldsymbol{ax^2+bx+c=0} を直接変形しないで解の公式を求める>
     2次方程式 ax2+bx+c=0ax^2+bx+c=0 の2つの解を α,β\alpha, \beta とおく。そこで、その和 α+β\alpha+\beta とその差 α−β\alpha-\beta を考えよう。
     では、この α+β\alpha+\beta と α−β\alpha-\beta を足して2で割るとどうなる?」
    「α\alpha になります」
    「そうだね。実際計算してみると

    (α+β)+(α−β)2=α+β+α−β2=2α2=α\begin{align*} \dfrac{(\alpha+\beta)+(\alpha-\beta)}{2}&=\dfrac{\alpha+\beta+\alpha-\beta}{2}\\ &=\dfrac{\bcancel{2}\alpha}{\bcancel{2}}\\ &=\alpha \end{align*}

    と確かに α\alpha になるね。そこで、左右入れ替えれば

    α=(α+β)+(α−β)2\begin{align*} \alpha=\dfrac{(\alpha+\beta)+(\alpha-\beta)}{2} \end{align*}

    となり、 α\alpha を α+β\alpha+\beta と α−β\alpha-\beta で表すことができた。それでは β\beta はどうかな?」
    「α+β\alpha+\beta から α−β\alpha-\beta を引いて2で割ります」
    「そうそう今度は引いて2で割ればいいんだね」

    (α+β)−(α−β)2=α+β−α+β2=2β2=β\begin{align*} \dfrac{(\alpha+\beta)-(\alpha-\beta)}{2}&=\dfrac{\alpha+\beta-\alpha+\beta}{2}\\ &=\dfrac{\bcancel{2}\beta}{\bcancel{2}}\\ &=\beta \end{align*}

    よって β\beta は

    β=(α+β)−(α−β)2\begin{align*} \beta=\dfrac{(\alpha+\beta)-(\alpha-\beta)}{2} \end{align*}

    と表せる。まとめておこう。

    α=(α+β)+(α−β)2β=(α+β)−(α−β)2\begin{align*} \alpha&=\dfrac{(\alpha+\beta)+(\alpha-\beta)}{2}\\ \beta&=\dfrac{(\alpha+\beta)-(\alpha-\beta)}{2} \end{align*}

    これらの式は、”恒つねに成り立つ等式”ということで『恒等式』というよ。すると α+β\alpha+\beta は基本対称式なので、解と係数の関係から −ba-\dfrac{b}{a} と表せる。しかし問題は α−β\alpha-\beta の方だね。

    α=(α+β⏞−ba)+(α−β⏞?)2β=(α+β⏞−ba)−(α−β⏞?)2\begin{align*} \alpha&=\dfrac{(\overbrace{\alpha+\beta}^{-\frac{b}{a}})+(\overbrace{\alpha-\beta}^{?})}{2}\\ \beta&=\dfrac{(\overbrace{\alpha+\beta}^{-\frac{b}{a}})-(\overbrace{\alpha-\beta}^{?})}{2} \end{align*}

    そもそも解の公式というのは「解 α, β\alpha,  \beta をその方程式の係数で表すこと」。よって、この式の「?」部分。α−β\alpha-\beta をどうするかが問題となる。α−β\alpha-\beta は、α, β\alpha,  \beta を入れ替えると −1-1 倍となるので対称式ではない。

    α−β⟶  β−α=−α+β=−(α−β) ⇐対称式ではない\begin{align*} \alpha-\beta \longrightarrow\,\,&\beta-\alpha\\ =&-\alpha+\beta\\ =&-(\alpha-\beta)  \Leftarrow 対称式ではない \end{align*}

    すると『対称式の基本定理』より、対称式でなければ基本対称式 α+β, αβ\alpha+\beta,  \alpha\beta の加減乗除で表すことはできない。

    <対称式の基本定理(別表現)>
     対称式である ⟷\longleftrightarrow 基本対称式の加減乗除で表すことができる。
     対称式でない ⟷\longleftrightarrow 基本対称式の加減乗除で表すことができない。

    つまり、『解と係数の関係』の左辺は基本対称式だったので

    α+β⏟基本対称式=−ba αβ⏟基本対称式=ca\begin{align*} \underbrace{\alpha+\beta}_{基本対称式}&=-\dfrac{b}{a}\\  \underbrace{\alpha\beta}_{基本対称式}&=\dfrac{c}{a} \end{align*}

    基本対称式の加減乗除で表すことができなければ、解と係数の関係の右辺に置き換えることができず、2次方程式の係数 a, b, ca,  b,  c の加減乗除で表現できない、というわけだね。

    α−β⟶対称式ではない⟶基本対称式 α+β, αβ の加減乗除で表せない⟶解と係数の関係を用いて係数の加減乗除で表せない\begin{align*} \alpha-\beta &\longrightarrow 対称式ではない\\ &\longrightarrow 基本対称式  \alpha+\beta,  \alpha\beta  の加減乗除で表せない\\ &\longrightarrow 解と係数の関係を用いて係数の加減乗除で表せない \end{align*}

     では、対称式ではない α−β\alpha-\beta をどうするか?そこでアイデアが必要になる。そのアイデアというのが、α−β\alpha-\beta を 22 乗した (α−β)2(\alpha-\beta)^2 を求めることによって、その「平方根を取る」、ということなんだ。α−β\alpha-\beta は対称式ではないけど 、22 乗した (α−β)2(\alpha-\beta)^2 は対称式となる。

    (α−β)2⟶  (β−α)2=  (−α+β)2=  {−(α−β)}2=  (α−β)2 ⇐対称式\begin{align*} (\alpha-\beta)^2 \longrightarrow\,\,&(\beta-\alpha)^2\\ =\,\,&(-\alpha+\beta)^2\\ =\,\,&\{-(\alpha-\beta)\}^2\\ =\,\,&(\alpha-\beta)^2  \Leftarrow 対称式 \end{align*}

    −1-1 倍は 22 乗すると 11 倍になるからね。すると対称式 (α−β)2(\alpha-\beta)^2 は基本対称式の加減乗除で表すことができ、基本対称式で表すことができれば『解と係数の関係』を使って2次方程式の係数 a,b,ca,b,c を使って表すことができる。そして最後に (α−β)2(\alpha-\beta)^2 のルート、つまり”平方根を取る”ことによって α−β\alpha-\beta も2次方程式の係数 a,b,ca,b,c を用いて表すことができる、という発想なんだね。では森田君、具体的に計算してみようか」
    「わかりました」と言うとすぐに森田君はノートに数式を書き始めた。
    「初めに (α−β)2(\alpha-\beta)^2 を展開します」

    (α−β)2=α2−2αβ+β2=α2+β2‾−2αβ\begin{align*} (\alpha-\beta)^2&=\alpha^2-2\alpha\beta+\beta^2\\ &=\underline{\alpha^2+\beta^2}-2\alpha\beta \end{align*}

    すると下線部は、先ほど習った (α+β)2(\alpha+\beta)^2 の展開公式

    (α+β)2=α2+2αβ+β2\begin{align*} (\alpha+\beta)^2=\alpha^2+2\alpha\beta+\beta^2 \end{align*}

    より両辺を入れ替えて

    α2+2αβ+β2=(α+β)2\begin{align*} \alpha^2+2\alpha\beta+\beta^2=(\alpha+\beta)^2 \end{align*}

    より 2αβ2\alpha\beta を移項して

    α2+β2=(α+β)2−2αβ\begin{align*} \alpha^2+\beta^2=(\alpha+\beta)^2-2\alpha\beta \end{align*}

    これを下線部に代入すればいいので

    (α−β)2=α2+β2‾−2αβ=(α+β)2−2αβ−2αβ=(α+β)2−4αβ\begin{align*} (\alpha-\beta)^2&=\underline{\alpha^2+\beta^2}-2\alpha\beta\\ &=(\alpha+\beta)^2-2\alpha\beta-2\alpha\beta\\ &=(\alpha+\beta)^2-4\alpha\beta \end{align*}

    より

    (α−β)2=(α+β)2−4αβ\begin{align*} (\alpha-\beta)^2=(\alpha+\beta)^2-4\alpha\beta \end{align*}

    となり (α−β)2(\alpha-\beta)^2 を基本対称式で表すことができます。これに2次方程式の解と係数の関係

    α+β=−ba αβ=ca\begin{align*} \alpha+\beta&=-\dfrac{b}{a}\\  \alpha\beta&=\dfrac{c}{a} \end{align*}

    を代入すると

    (α−β)2=(−ba)2−4⋅ca=(ba)2−4⋅ca\begin{align*} (\alpha-\beta)^2&=\left(-\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}\\ &=\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a} \end{align*}

    ここで両辺の平方根をとると

    α−β=±(ba)2−4⋅ca\begin{align*} \alpha-\beta&=\pm\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}} \end{align*}

    となり、これで α+β\alpha+\beta と α−β\alpha-\beta を、2次方程式  ax2+bx+c=0ax^2+bx+c=0 の係数 a, b, ca,  b,  c を用いて次のよう定めることができます。

    {α+β=−baα−β=±(ba)2−4⋅ca\begin{align*} \begin{cases} \alpha+\beta=-\dfrac{b}{a}\\ \\ \alpha-\beta=\pm\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}} \end{cases} \end{align*}

    α−β\alpha-\beta を求めるにあたって、四則演算の他に「平方根」という演算を利用したわけです。

     次に α, β\alpha,  \beta を具体的に求めていきます。そのためには上の連立方程式を解きます。この式は「α, β\alpha,  \beta の連立方程式」になっているので、これを解けば原理的に α, β\alpha,  \beta を求めることができます。α−β\alpha-\beta を求めたのは、この連立方程式を解くためだということもできます。
     さて、α−β\alpha-\beta の平方根の前の符号は ”±\pm” とプラスとマイナス2つあるので、場合分けをしましょう。まずは α−β\alpha-\beta の符号がプラスのとき、つまり

    (case 1)

    {α+β=−baα−β=(ba)2−4⋅ca\begin{align*} \begin{cases} \alpha+\beta=-\dfrac{b}{a}\\ \\ \alpha-\beta=\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}} \end{cases} \end{align*}

    のとき。これを最初にやった α\alpha と β\beta の式

    α=(α+β)+(α−β)2β=(α+β)−(α−β)2\begin{align*} \alpha&=\dfrac{(\alpha+\beta)+(\alpha-\beta)}{2}\\ \beta&=\dfrac{(\alpha+\beta)-(\alpha-\beta)}{2} \end{align*}

    に代入すると、α\alpha は

    α=−ba+(ba)2−4⋅ca2\begin{align*} \alpha=\dfrac{-\dfrac{b}{a}+\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}}{2} \end{align*}

    β\beta は

    β=−ba−(ba)2−4⋅ca2\begin{align*} \beta=\dfrac{-\dfrac{b}{a}-\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}}{2} \end{align*}

    次に α−β\alpha-\beta の符号がマイナスのとき、つまり

    (case 2)

    {α+β=−baα−β=−(ba)2−4⋅ca\begin{align*} \begin{cases} \alpha+\beta=-\dfrac{b}{a}\\ \\ \alpha-\beta=-\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}} \end{cases} \end{align*}

    のとき。これを α\alpha と β\beta の式

    α=(α+β)+(α−β)2β=(α+β)−(α−β)2\begin{align*} \alpha&=\dfrac{(\alpha+\beta)+(\alpha-\beta)}{2}\\ \beta&=\dfrac{(\alpha+\beta)-(\alpha-\beta)}{2} \end{align*}

    に代入すると、α\alpha は

    α=−ba+{−(ba)2−4⋅ca}2=−ba−(ba)2−4⋅ca2\begin{align*} \alpha&=\dfrac{-\dfrac{b}{a}+\left\{-\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}\right\}}{2}\\ \\ &=\dfrac{-\dfrac{b}{a}-\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}}{2} \end{align*}

    β\beta は

    β=−ba−{−(ba)2−4⋅ca}2=−ba+(ba)2−4⋅ca2\begin{align*} \beta&=\dfrac{-\dfrac{b}{a}-\left\{-\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}\right\}}{2}\\ \\ &=\dfrac{-\dfrac{b}{a}+\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}}{2} \end{align*}

    以上をまとめると

    α=−ba+(ba)2−4⋅ca2β=−ba−(ba)2−4⋅ca2\begin{align*} \alpha&=\dfrac{-\dfrac{b}{a}+\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}}{2}\\ \\ \beta&=\dfrac{-\dfrac{b}{a}-\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}}{2} \end{align*}

    または

    α=−ba−(ba)2−4⋅ca2β=−ba+(ba)2−4⋅ca2\begin{align*} \alpha&=\dfrac{-\dfrac{b}{a}-\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}}{2}\\ \\ \beta&=\dfrac{-\dfrac{b}{a}+\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}}{2} \end{align*}

    となります」
    「素晴らしい!大変よくできました。α\alpha と β\beta にはこのように、プラスとマイナスの組み合わせで2組の解が存在するんだけど、α\alpha と β\beta には区別が無いので、上の2組は全くの対等なんだ。それでこれを ”x=x=” として、プラスマイナス ”±\pm” の記号を使って1つにまとめたのが『2次方程式の解の公式』になるんだね。

    x=−ba±(ba)2−4⋅ca2\begin{align*} x&=\dfrac{-\dfrac{b}{a}\pm\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}}{2} \end{align*}

    ただこの式は、さっき森田君が導出した教科書に出てくる解の公式

    x=−b±b2−4ac2a\begin{align*} x=\dfrac{-b\pm\sqrt{b^2-4ac}}{2a} \end{align*}

    とは違っているけど、さらに計算していくと同じ形になるよ。森田君計算してみようか」
    「わかりました」すぐさま森田君はペンを走らせた。

    x=−ba±(ba)2−4⋅ca2=−ba±b2a2−4ca2=−ba±b2a2−4aca22=−ba±b2−4aca22=−ba±b2−4aca22=−ba±b2−4aca2=1a⋅(−b±b2−4ac)2=−b±b2−4ac2a\begin{align*} x&=\dfrac{-\dfrac{b}{a}\pm\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}}{2}\\ &=\dfrac{-\dfrac{b}{a}\pm\sqrt{\dfrac{b^2}{a^2}-\dfrac{4c}{a}}}{2}\\ &=\dfrac{-\dfrac{b}{a}\pm\sqrt{\dfrac{b^2}{a^2}-\dfrac{4ac}{a^2}}}{2}\\ &=\dfrac{-\dfrac{b}{a}\pm\sqrt{\dfrac{b^2-4ac}{a^2}}}{2}\\ &=\dfrac{-\dfrac{b}{a}\pm\dfrac{\sqrt{b^2-4ac}}{\sqrt{a^2}}}{2}\\ &=\dfrac{-\dfrac{b}{a}\pm\dfrac{\sqrt{b^2-4ac}}{a}}{2}\\ &=\dfrac{\dfrac{1}{a}\cdot(-b\pm\sqrt{b^2-4ac})}{2}\\ &=\dfrac{-b\pm\sqrt{b^2-4ac}}{2a} \end{align*}

    「これで教科書に載っている形になりました」
    「そうだね。形は違うけど同じ式なんだね」
    「では最後に今日の授業をまとめると」
    「先生質問があります!」
    「何かな?」
    「α\alpha そのものは対称式でしょうか」
     なにやら鋭い質問が飛んできた。
    「α\alpha は、α\alpha と β\beta の入れ替えで β\beta に変化するの対称式ではないね。同じ理由で β\beta も α\alpha に変化するので対称式ではないよ」

    α⟶β  ⇐対称式ではないβ⟶α  ⇐対称式ではない\begin{align*} \alpha &\longrightarrow \beta   \Leftarrow対称式ではない\\ \beta &\longrightarrow \alpha   \Leftarrow対称式ではない \end{align*}

    「やはりそうか・・・」
     森田君は探偵のような表情で鉛筆を口元にあてた。そしてゆっくりとホワイトボードの前に立ち、赤いマーカーを手に取った。
    「すると解の公式の導出は、対称式でない α\alpha と β\beta を基本対称式で表すことによって実現できたんですが、基本対称式の”加減乗除”だけでは無理があります。なぜなら

    αβ+α+βαβ(α+β)α+βαβ \begin{align*} &\alpha\beta+\alpha+\beta\\[4pt] &\alpha\beta(\alpha+\beta)\\[4pt] &\dfrac{\alpha+\beta}{\alpha\beta}  \end{align*}

    のように、基本対称式の加減乗除だけだと、必ずそれは対称式となるからです。つまり解の公式を得るためには、基本対称式を用いながら、その対称性をうまく崩して α\alpha と β\beta のように対称ではない式をつくる必要があります。

    α=(基本対称式で表しながらその対称性を崩す)β=(基本対称式で表しながらその対称性を崩す)\begin{align*} \alpha=(基本対称式で表しながらその対称性を崩す)\\ \beta=(基本対称式で表しながらその対称性を崩す) \end{align*}

    求められる解の公式は、対称ではない式なのです」
     思いもよらぬ鋭角的な指摘に、竹村は少しぞわっとした。
    「確かにそうだね。解の公式は、対称式でない α\alpha と β\beta を対称式を使って表すという不思議な式なんだ」
     と歩調を合わせると、赤いマーカーで板書にチェックを入れながら、森田君はさらに続ける。
    「そうなんです。その対称性を崩す鍵となるのがルート、つまり平方根なのです。そこで α−β\alpha-\beta を考えます。この式の  α\alpha と β\beta を入れ替えると

    α−β⟶  β−α=−α+β=−(α−β) ⇐対称式ではない\begin{align*} \alpha-\beta \longrightarrow\,\,&\beta-\alpha\\ =&-\alpha+\beta\\ =&-(\alpha-\beta)  \Leftarrow 対称式ではない \end{align*}

    となり、α−β\alpha-\beta は対称式ではありません。−1-1 倍となってしまいます。しかし 22 乗すると −1-1 倍は 11 倍になるので、 22 乗した (α−β)2(\alpha-\beta)^2 は対称式になります。すると (α−β)2(\alpha-\beta)^2  は

    (α−β)2=(α+β)2−4αβ\begin{align*} (\alpha-\beta)^2=(\alpha+\beta)^2-4\alpha\beta \end{align*}

    と基本対称式で表すことができるので、解と係数の関係を用いて

    (α−β)2=(ba)2−4⋅ca\begin{align*} (\alpha-\beta)^2=\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a} \end{align*}

    と2次方程式の係数 a, b, ca,  b,  c で表すことができました。後はこの平方根を取ることによって

    α−β=±(ba)2−4⋅ca\begin{align*} \alpha-\beta=\pm\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}} \end{align*}

    と対称式でない α−β\alpha-\beta を、2次方程式の係数 a, b, ca,  b,  c で表すことができたのです。「平方根を用いる」というのが鍵となります。α−β\alpha-\beta は対称式ではないので加減乗除だけでは不可能でしたが、「平方根」という新しい演算を用いることによって係数表示が可能となったのです。これで α+β\alpha+\beta と α−β\alpha-\beta を

    {α+β=−baα−β=±(ba)2−4⋅ca\begin{align*} \begin{cases} \alpha+\beta=-\dfrac{b}{a}\\[10pt] \alpha-\beta=\pm\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}} \end{cases} \end{align*}

    と決定したので、これを用いることによって

    x=−ba±(ba)2−4⋅ca2\begin{align*} x&=\dfrac{-\dfrac{b}{a}\pm\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}}{2} \end{align*}

    と解の公式を導くことができました。繰り返しになりますが、大事なことは「平方根を取る」ということ。平方根を取ることによって必然的に ”±\pm” という不定性、つまり「プラスかマイナスか」の定まらない性質が入ります。その定まらない性質を利用して、解を基本対称式で表しながらも、その対称性を崩すことができます。もう少し詳しく言うと、先ほどの式についてプラスの方を α\alpha

    α=−ba+(ba)2−4⋅ca2\begin{align*} \alpha&=\dfrac{-\dfrac{b}{a}+\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}}{2} \end{align*}

    とすると、もう一つの解 β\beta はマイナスの方

    β=−ba−(ba)2−4⋅ca2\begin{align*} \beta&=\dfrac{-\dfrac{b}{a}-\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}}{2} \end{align*}

    となります。 つまり α\alpha と β\beta の解の入れ替えは、プラスとマイナスの入れ替えに相当します。

    α=−ba+(ba)2−4⋅ca2解の入れ替え↕↕±の入れ替えβ=−ba−(ba)2−4⋅ca2\begin{align*} &\alpha=\dfrac{-\dfrac{b}{a}+\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}}{2}\\ 解の入れ替え\hspace{2pt}&\hspace{-2pt}\updownarrow\hspace{35pt}\updownarrow\pm の入れ替え\\ &\beta=\dfrac{-\dfrac{b}{a}-\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}}{2} \end{align*}

    元をたどれば、最初の式

    α=(α+β)+(α−β)2\begin{align*} \alpha=\dfrac{(\alpha+\beta)+(\alpha-\beta)}{2} \end{align*}

    について、 α\alpha と β\beta を一斉に入れ替えると

    α=(α+β)+(α−β)2↕↕↕↕↕β=(β+α)+(β−α)2=(α+β)+(−α+β)2=(α+β)−(α−β)2\begin{align*} \alpha&=\dfrac{(\alpha+\beta)+(\alpha-\beta)}{2}\\ &\hspace{-8pt}\updownarrow\hspace{20pt}\updownarrow\hspace{13pt}\updownarrow\hspace{22pt}\updownarrow\hspace{13pt}\updownarrow\\ \beta&=\dfrac{(\beta+\alpha)+(\beta-\alpha)}{2}\\ &=\dfrac{(\alpha+\beta)+(-\alpha+\beta)}{2}\\ &=\dfrac{(\alpha+\beta)-(\alpha-\beta)}{2}\\ \end{align*}

    より、やはり α\alpha と β\beta の解の入れ替えは、プラスとマイナスの入れ替えに相当します。

    α=(α+β)+(α−β)2解の入れ替え ↕↕±の入れ替えβ=(α+β)−(α−β)2\begin{align*} &\alpha=\dfrac{(\alpha+\beta)+(\alpha-\beta)}{2}\\ 解の入れ替え\,&\hspace{-2pt}\updownarrow\hspace{52pt}\updownarrow\pm の入れ替え\\ &\beta=\dfrac{(\alpha+\beta)-(\alpha-\beta)}{2} \end{align*}

    つまり、α\alpha と β\beta の解の入れ替えを、平方根を取ることによって生じるプラスとマイナスの入れ替えによって実現できたのです。なお、この ±\pm は平方完成のときににも現れます。

    (x+b2a)2=(b2a)2−ca(x+b2a)2=14(ba)2−ca\begin{align*} \left(x+\dfrac{b}{2a}\right)^2&=\left(\dfrac{b}{2a}\right)^2-\dfrac{c}{a}\\ \left(x+\dfrac{b}{2a}\right)^2&=\dfrac{1}{4}\left(\dfrac{b}{a}\right)^2-\dfrac{c}{a} \end{align*}

    から両辺の平方恨をとって

    x+b2a=±14(ba)2−ca\begin{gather*} x+\dfrac{b}{2a}=\pm\sqrt{\dfrac{1}{4}\left(\dfrac{b}{a}\right)^2-\dfrac{c}{a}} \end{gather*}

    と計算するところがその場面です。プラスの方を α\alpha、マイナスの方を β\beta とすれば、やはり α\alpha と β\beta の解の入れ替えはプラスとマイナスの入れ替えに相当します。

    α+b2a=±14(ba)2−ca解の入れ替え↕↕±の入れ替えβ+b2a=±14(ba)2−ca\begin{gather*} &\hspace{68pt}\alpha+\dfrac{b}{2a}=\pm\sqrt{\dfrac{1}{4}\left(\dfrac{b}{a}\right)^2-\dfrac{c}{a}}\\ &解の入れ替え\updownarrow\hspace{40pt}\updownarrow\pm の入れ替え\\ &\hspace{68pt}\beta+\dfrac{b}{2a}=\pm\sqrt{\dfrac{1}{4}\left(\dfrac{b}{a}\right)^2-\dfrac{c}{a}} \end{gather*}

    そしてこれを計算していけば

    α=−b+b2−4bc2a解の入れ替え↕↕±の入れ替えβ=−b−b2−4bc2a\begin{align*} &\alpha=\dfrac{-b+\sqrt{b^2-4bc}}{2a}\\ 解の入れ替え\hspace{2pt}&\hspace{-1pt}\updownarrow\hspace{30pt}\updownarrow\pm の入れ替え\\ &\beta=\dfrac{-b-\sqrt{b^2-4bc}}{2a} \end{align*}

    となり、これから解の公式

    x=−b±b2−4ac2a\begin{align*} x=\dfrac{-b\pm\sqrt{b^2-4ac}}{2a} \end{align*}

    が生まれます。つまり、そもそも対称式ではない α\alpha と β\beta を対称式で表すには、(α−β)2(\alpha-\beta)^2 の平方根を取ることによって生じる ±\pm を利用することによって、対称式で表しつつもその対称性を α, β\alpha,  \beta と同じレベルまで、すなわち α\alpha と β\beta の交換がプラスとマイナスの交換と一対一に対応するレベルにまで対称性を崩します。それによって、本来基本対称式の加減乗除だけで表すことは不可能な  α, β\alpha,  \beta という対称性の無い式を、対称式で表すことが可能となったわけです」
    「なるほど・・・」竹村は大きくうなづいた。
    「先生、するとこの考えは3次方程式に解の公式にも応用できそうです」
    「というのは?」
    「対称式ではない α−β\alpha-\beta を、22 乗してから平方根をとることによって、2次方程式の解の公式を得ることができました。すると3次方程式だと・・・」 
    「3次方程式だと?」
    「α−β\alpha-\beta は、α\alpha と β\beta を入れ替えても  22 乗すれば対称式になる。すると3次方程式には α,β,γ\alpha,\beta,\gamma と3つの解があるので・・・、そうか3つの文字の入れ替えか!先生、今日習った内容を3次方程式の解の公式にも応用できそうです!次の授業までに考えてみます!」
    「そうだね、今日はもう時間なので次の授業にしようか。森田君も考えてみて、かなり難しいよ」
    「分かりました!」

     今日の授業は終わった。
    「3つの文字の入れ替え・・・、もしや”置換”の概念に辿り着いてる?」
     森田君の赤マーカのチェックを反芻しながら、「もう一度準備しないと」と、夜中までやっている図書館に竹村は向かった。

    (了)

    (コメント)応募期間に最後まで完成させることは出来ませんでしたが、応募期間終了後も可能な限り続けていきます。というか、どう解説したらいいのか竹村同様勉強中です。
     一人でやっていて読んでくれる人がいないので、客観的にどこが分からないのか分からないというのが弱みです。小説の形態をとりながらも、数学的には市販されているどの書籍より分かりやすくしたいので、分からないところがあればコメント下さい。作品の方に反映させたいと思います。

    この記事が参加している募集

    あなたへのおすすめ