（追記有り）対称式の連立による２次方程式の解の公式の導出

　竹村の家庭教師が始まった。
「前回まで『２次と３次方程式の解の公式』、『解と係数の関係』、そして”対称式は基本対称式の加減乗除、つまり足し算・引き算・掛け算・割り算で表せる”という『対称式の基本定理』をやったね。今日の授業は２次方程式の解の公式について、”対称式”という観点でその成り立ちを見てみよう。

（追記始め）
　そして、対称式である $${\alpha+\beta}$$ と $${\alpha-\beta}$$ の連立で、２次方程式の解の公式を求めることが今日の目標だよ」
（追記終わり）

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

＜２次方程式の解の公式の導出（復習）＞
「まずは、２次方程式 $${ax^2+bx+c=0}$$ について、$${x^2}$$ の係数を $${1}$$ にするために両辺を $${a(\ne 0)}$$ で割って

$$
\begin{gather*}
ax^2+bx+c=0\\
x^2+\dfrac{b}{a}x+\dfrac{c}{a}=0
\end{gather*}
$$

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

$$
\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*}
$$

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

$$
\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*}
$$

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

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

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

$$
\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*}
$$

より

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

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

$$
\begin{gather*}
x+\dfrac{b}{2a}=\pm\sqrt{\dfrac{1}{4}\left(\dfrac{b}{a}\right)^2-\dfrac{c}{a}}
\end{gather*}
$$

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

$$
\begin{gather*}
x=-\dfrac{b}{2a}\pm\sqrt{\dfrac{1}{4}\left(\dfrac{b}{a}\right)^2-\dfrac{c}{a}}
\end{gather*}
$$

あとはこの式を整理して

$$
\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*}
$$

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

＜２次方程式の解と係数の関係（復習）＞　
　２次方程式 $${ax^2+bx+c=0}$$ の２つの解を $${\alpha,\beta}$$ とすると
$${\\[-10pt]}$$
$${\hspace{40pt}\alpha+\beta=-\dfrac{b}{a}}$$　
$${\hspace{52pt}\alpha\beta=\dfrac{c}{a}}$$

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

＜対称式（復習）＞
　対称式とは、「文字を入れ替えても同じになる式」のこと。

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

$$
\begin{align*}
\underbrace{\alpha+\beta}_{基本対称式}&=-\dfrac{b}{a}\\　
\underbrace{\alpha\beta}_{基本対称式}&=\dfrac{c}{a}
\end{align*}
$$

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

＜対称式の基本定理（復習）＞
　全ての対称式は『基本対称式』の加減乗除で表すことができる。

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

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

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

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

$${2\alpha\beta}$$ を移項して

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

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

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

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

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

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

となり、 $${\alpha}$$ を $${\alpha+\beta}$$ と $${\alpha-\beta}$$ で表すことができた。それでは $${\beta}$$ はどうかな？」

「$${\alpha+\beta}$$ から $${\alpha-\beta}$$ を引いて２で割ります」
「そうそう今度は引いて２で割ればいいんだね」

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

よって $${\beta}$$ は

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

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

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

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

$$
\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}$$ 倍となるので対称式ではない。

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

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

＜対称式の基本定理（別表現）＞
　対称式である $${\longleftrightarrow}$$ 基本対称式の加減乗除で表すことができる。
　対称式でない $${\longleftrightarrow}$$ 基本対称式の加減乗除で表すことができない。

基本対称式の加減乗除で表せなければ、『解と係数の関係』を用いて２次方程式の係数  $${a,  b,  c}$$ の加減乗除で表すことはできない。さっきもやったけど『解と係数の関係』の左辺は基本対称式だったので

$$
\begin{align*}
\underbrace{\alpha+\beta}_{基本対称式}&=-\dfrac{b}{a}\\　
\underbrace{\alpha\beta}_{基本対称式}&=\dfrac{c}{a}
\end{align*}
$$

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

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

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

$$
\begin{align*}
(\alpha-\beta)^2 \longrightarrow\,\,&(\beta-\alpha)^2\\
=\,\,&(-\alpha+\beta)^2\\
=\,\,&\{-(\alpha-\beta)\}^2\\
=\,\,&(\alpha-\beta)^2  \Leftarrow 対称式
\end{align*}
$$

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

$$
\begin{align*}
(\alpha-\beta)^2&=\alpha^2-2\alpha\beta+\beta^2\\
&=\underline{\alpha^2+\beta^2}-2\alpha\beta
\end{align*}
$$

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

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

より両辺を入れ替えて

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

より $${2\alpha\beta}$$ を移項して

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

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

$$
\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*}
$$

より

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

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

$$
\begin{align*}
\alpha+\beta&=-\dfrac{b}{a}\\　
\alpha\beta&=\dfrac{c}{a}
\end{align*}
$$

を代入すると

$$
\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*}
$$

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

$$
\begin{align*}
\alpha-\beta&=\pm\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}
\end{align*}
$$

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

$$
\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}$$” とプラスとマイナス２つあるので、場合分けをしましょう。まずは $${\alpha-\beta}$$ の符号がプラスのとき、つまり

(case 1)

$$
\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}$$ の式

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

に代入すると、$${\alpha}$$ は

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

$${\beta}$$ は

$$
\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)

$$
\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}$$ の式

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

に代入すると、$${\alpha}$$ は

$$
\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}$$ は

$$
\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*}
$$

以上をまとめると

$$
\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*}
$$

または

$$
\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}$$ にはこのように、プラスとマイナスの組み合わせで２組の解が存在するんだけど、$${\alpha}$$ と $${\beta}$$ には区別が無いので、上の２組は全くの対等なんだ。それでこれを ”$${x=}$$” として、プラスマイナス ”$${\pm}$$” の記号を使って１つにまとめたのが『２次方程式の解の公式』になるんだね。

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

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

$$
\begin{align*}
x=\dfrac{-b\pm\sqrt{b^2-4ac}}{2a}
\end{align*}
$$

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

$$
\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}$$ 倍となってしまいます。しかし $${2}$$ 乗すると $${-1}$$ 倍は $${1}$$ 倍になるので、 $${2}$$ 乗した $${(\alpha-\beta)^2}$$ は対称式になります。すると $${(\alpha-\beta)^2}$$  は

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

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

$$
\begin{align*}
(\alpha-\beta)^2=\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}
\end{align*}
$$

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

$$
\begin{align*}
\alpha-\beta=\pm\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}
\end{align*}
$$

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

$$
\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*}
$$

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

$$
\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}$$

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

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

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

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

$$
\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*}
$$

元をたどれば、最初の式

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

について、 $${\alpha}$$ と $${\beta}$$ を一斉に入れ替えると

$$
\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}$$ の解の入れ替えは、プラスとマイナスの入れ替えに相当します。

$$
\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}$$ は平方完成のときににも現れます。

$$
\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*}
$$

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

$$
\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}$$ の解の入れ替えはプラスとマイナスの入れ替えに相当します。

$$
\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*}
$$

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

$$
\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*}
$$

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

$$
\begin{align*}
x=\dfrac{-b\pm\sqrt{b^2-4ac}}{2a}
\end{align*}
$$

が生まれます。つまり、そもそも対称式ではない $${\alpha}$$ と $${\beta}$$ を対称式で表すには、$${(\alpha-\beta)^2}$$ の平方根を取ることによって生じる $${\pm}$$ を利用することによって、対称式で表しつつもその対称性を $${\alpha,  \beta}$$ と同じレベルまで、すなわち $${\alpha}$$ と $${\beta}$$ の交換がプラスとマイナスの交換と一対一に対応するレベルにまで対称性を崩します。それによって、本来基本対称式の加減乗除だけで表すことは不可能な  $${\alpha,  \beta}$$ という対称性の無い式を、対称式で表すことが可能となったわけです」
「なるほど・・・」竹村は大きくうなづいた。
「先生、するとこの考えは３次方程式に解の公式にも応用できそうです」
「というのは？」
「対称式ではない $${\alpha-\beta}$$ を、$${2}$$ 乗してから平方根をとることによって、２次方程式の解の公式を得ることができました。すると３次方程式だと・・・」 
「３次方程式だと？」
「$${\alpha-\beta}$$ は、$${\alpha}$$ と $${\beta}$$ を入れ替えても  $${2}$$ 乗すれば対称式になる。すると３次方程式には $${\alpha,\beta,\gamma}$$ と３つの解があるので・・・、そうか３つの文字の入れ替えか！先生、今日習った内容を３次方程式の解の公式にも応用できそうです！次の授業までに考えてみます！」
「そうだね、今日はもう時間なので次の授業にしようか。森田君も考えてみて、かなり難しいよ」
「分かりました！」
　今日の授業は終わった。
「３つの文字の入れ替え・・・。もしや”置換”の概念に辿り着いてる？」
　森田君の赤マーカのチェックを反芻しながら、「もう一度準備しないと」と夜中までやっている図書館に竹村は向かった。

（了）

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