＜アーベルの証明前夜③＞３次方程式に解の公式が存在する理由（後編）

　森田君がホワイトボードの前に立ち、先ほどのゼミの続きが始まった。

1. 前回の復習

「それでは続きを始めます。先ほど３次方程式 $${y^3+py+q=0}$$ の係数 $${p,  q}$$ の加減乗除で表される式の集合に、その３次方程式の解の差積 $${X_3}$$ の２乗の平方根
　$${\sqrt{(X_3)^2}=\sqrt{\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2}}$$
を添加することによって
　$${\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}}$$
という平方根が新たに計算対象に加わり、ラグランジュ・リゾルベント
　$${A=\alpha+\omega\beta+\omega^2\gamma}$$
　$${B=\alpha+\omega^2\beta+\omega\gamma}$$
の３乗を、次のように $${p,  q}$$ と $${\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}}$$ の加減乗除で表すことができました。

$$
\begin{align*}
A^3&=27\left\{-\dfrac{q}{2}+\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}\right\}\\
B^3&=27\left\{-\dfrac{q}{2}-\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}\right\}
\end{align*}
$$

もちろん $${2}$$ や $${3}$$ のような、我々が普通に使っている数は加減乗除に用いても構いません。そして平方根を取ることによって生じるプラスとマイナスの不定性を利用して、プラスとマイナスの変換を $${A^3}$$ と $${B^3}$$ の変換へと１対１に対応させることができました（$${\Rightarrow}$$ 詳しくは本シリーズ (12)）。

（図解）

$$
\begin{align*}
A^3&=27\left\{-\dfrac{q}{2}+\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}\right\}\\
\boldsymbol{\small A^3  と  B^3  の入れ替え}\hspace{1pt}\updownarrow\hspace{5pt}&\hspace{50pt}\updownarrow\boldsymbol{\small \pm  の入れ替え}\\
B^3&=27\left\{-\dfrac{q}{2}-\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}\right\}
\end{align*}
$$

2. 集合の記号 Q の導入

　ここで上図について、係数 $${p,  q}$$ の加減乗除で表される式の集合を $${Q}$$ とします。またその $${Q}$$ に
　$${\sqrt{(X_3)^2}=\sqrt{\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2}}$$
を添加し、拡大された式の集合を $${Q\left(\sqrt{(X_3)^2}\right)}$$ とします。集合 $${Q\left(\sqrt{(X_2)^3}\right)}$$ は、$${p,  q}$$ と添加した $${\sqrt{(X_2)^3}}$$ の加減乗除で表される式を含みます。すると集合 $${Q}$$ 内ではラグランジュ・リゾルベントの３乗 $${A^3,  B^3}$$ を構成することはできませんが、拡大された集合 $${Q\left(\sqrt{(X_2)^3}\right)}$$ 内では、$${p,  q}$$ と添加した $${\sqrt{(X_2)^3}}$$ の加減乗除で $${A^3,  B^3}$$ を構成することができます。

　ここで、対称性という観点でこのことを眺めてみます。

3. 差積の２乗の平方根の添加を、対称性という観点でを眺める

　集合 $${Q}$$ は、基本対称式 $${p,  q}$$ の加減乗除で表される式の集合なので対称式の集合でした。またそれに
　$${\sqrt{(X_3)^2}=\sqrt{\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2}}$$
を添加した式の集合 $${Q\left(\sqrt{(X_3)^2}\right)}$$ 内では、

$$
\begin{align*}
\sqrt{(X_3)^2}=\sqrt{\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2}\\
=\pm(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)
\end{align*}
$$

つまり

$$
\begin{align*}
\sqrt{(X_3)^2}&=\sqrt{\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2}\\
&=\underline{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)},  -(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)
\end{align*}
$$

という式変形からわかるように（注１）、$${\sqrt{(X_3)^2}}$$ の添加によって差積
　$${X_3=(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)}$$（下線部）
も自動的に添加されます。その差積 $${X_3}$$ は対称式ではなく、遇置換でのみ対称性を保ちます。これについて復習してみます。

差積が遇置換でのみ対称性を保つこと（復習）

　以下の ①～➅ の３次置換について、差積 $${X_3=(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)}$$ は ①～③ の遇置換では変化しない、つまり遇置換で対称性を保つ。

$$
\begin{rcases}
➀\hspace{5pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\alpha & \beta & \gamma
\end{pmatrix}\\
\\
②\hspace{5pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\gamma & \alpha & \beta
\end{pmatrix}\\
\\
③\hspace{5pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\beta & \gamma & \alpha
\end{pmatrix}
\end{rcases}
\hspace{8pt}では\hspace{8pt}
\begin{align*}
&(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
&\longrightarrow (\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
&\hspace{7pt}\Rightarrow \boldsymbol{変化しない}
\end{align*}
$$

一方 ④～➅ の奇置換では $${-1}$$ 倍と変化する、つまり奇置換で対称性が壊れている。

$$
\begin{rcases}
④\hspace{5pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\alpha & \gamma & \beta
\end{pmatrix}\\
\\
➄\hspace{5pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\gamma & \beta & \alpha
\end{pmatrix}\\
\\
➅\hspace{5pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\beta & \alpha & \gamma
\end{pmatrix}
\end{rcases}
\hspace{8pt}では\hspace{8pt}
\begin{align*}
&(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
&\longrightarrow -(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
&\hspace{7pt}\Rightarrow \boldsymbol{-1  倍と変化する}
\end{align*}
$$

差積 $${X_3}$$ が添加された集合 $${Q\left(\sqrt{(X_3)^2}\right)}$$ は、係数 $${p,  q}$$ と差積 $${X_3}$$ の加減乗除で表せる式を含みます。 その差積 $${X_3}$$ は遇置換でのみ対称性を保つので、$${p,  q}$$ と $${X_3}$$ の加減乗除で得られる式は遇置換でのみ対称性を保ちます。よって $${X_3}$$ の添加された $${Q\left(\sqrt{(X_3)^2}\right)}$$ 内では、$${X_3}$$ を用いることによって遇置換でのみ対称性を保つ $${A^3,  B^3}$$ を構成することが可能となるわけです（$${\Rightarrow}$$ 詳しくは本シリーズ (9)、(12)）。
　すると、$${Q}$$ から $${Q\left(\sqrt{(X_3)^2}\right)}$$ と使える式が拡大するにつれて、集合全体で対称性を保つ置換が、３次置換から遇置換にまで絞り込まれていることがわかります。

（図解）
　３次置換（①～③は遇置換、④～➅は奇置換）

$$
\begin{align*}
①\hspace{7pt}
\dbinom{\alpha       \beta       \gamma}{\alpha       \beta       \gamma}
\hspace{10pt}
②\hspace{7pt}
&\dbinom{\alpha       \beta       \gamma}{\gamma       \alpha       \beta}
\hspace{10pt}
➂\hspace{7pt}
\dbinom{\alpha       \beta       \gamma}{\gamma       \alpha       \beta}\\[10pt]
④\hspace{7pt}
\dbinom{\alpha       \beta       \gamma}{\alpha       \gamma       \beta}
\hspace{10pt}
⑤\hspace{7pt}
&\dbinom{\alpha       \beta       \gamma}{\gamma       \beta       \alpha}
\hspace{10pt}
➅\hspace{7pt}
\dbinom{\alpha       \beta       \gamma}{\beta       \alpha       \gamma}\\[20pt]
&\Downarrow  \sqrt{(X_3)^2}  の添加\\[15pt]
①\hspace{7pt}
\dbinom{\alpha       \beta       \gamma}{\alpha       \beta       \gamma}
\hspace{10pt}
②\hspace{7pt}
&\dbinom{\alpha       \beta       \gamma}{\gamma       \alpha       \beta}
\hspace{10pt}
➂\hspace{7pt}
\dbinom{\alpha       \beta       \gamma}{\gamma       \alpha       \beta}
\end{align*}
$$

と遇置換まで絞り込んだ。

　なお２次方程式は、２次置換のうち遇置換が恒等置換であったので、このステップだけで解の公式を導くことが可能でした。

（図解）
　２次置換（①は遇置換、②は奇置換。①は恒等置換でもある）

$$
\begin{gather*}
①\hspace{7pt}
\dbinom{\alpha       \beta}{\alpha       \beta}\hspace{15pt}
②\hspace{7pt}
\dbinom{\alpha       \beta}{\gamma       \alpha}\\[20pt]
\hspace{100pt}\Downarrow  \sqrt{(a_1)^2-4a_2}  の 添加\\[15pt]
①\hspace{7pt}\dbinom{\alpha       \beta}{\alpha       \beta}
\end{gather*}
$$

　ここで対称性を保つ置換を恒等置換にまで絞り込む、いわば対称性を恒等置換にまで崩せたことが、２次方程式の解の公式の存在する理由となります。ではなぜ、そのことが解の公式が存在理由となるのか、確認のため復習したいと思います（$${\Rightarrow}$$ 詳しくは本シリーズ (11)）。

4. ２次置換の対称性を恒等置換にまで崩せたことが、２次方程式の解の公式の存在理由となること（復習）

　解の式 $${\alpha}$$ と $${\beta}$$ は恒等置換 $${\dbinom{\alpha       \beta}{\alpha       \beta}}$$ では変化しませんが、$${\dbinom{\alpha       \beta}{\beta       \alpha}}$$ では $${\alpha}$$ が $${\beta}$$ に、$${\beta}$$ が $${\alpha}$$ に変化します。

$$
\begin{align*}
&\begin{pmatrix}
\alpha & \beta\\
\alpha & \beta
\end{pmatrix}
\hspace{8pt}
では
\hspace{12pt}
\begin{cases}
\alpha \longrightarrow \alpha\\
\beta \longrightarrow \beta
\end{cases}
\hspace{4pt}\Rightarrow \boldsymbol{変化しない}\\
&\begin{pmatrix}
\alpha & \beta\\
\beta & \alpha
\end{pmatrix}
\hspace{8pt}
では
\hspace{12pt}
\begin{cases}
\alpha \longrightarrow \beta\\
\beta \longrightarrow\alpha
\end{cases}
\hspace{4pt}\Rightarrow \boldsymbol{変化する（入れ替わる）}
\end{align*}
$$

式 $${\alpha}$$ と $${\beta}$$ を変化させないのは恒等置換のみです。すると解の公式とは、解をその方程式の係数で表すこと。つまり  $${x^2+a_1x+a_2=0}$$ の解を $${\alpha,  \beta}$$ としたとき

$$
\begin{align*}
\alpha=（係数  a_1  と  a_2  で表す）\\
\beta=（係数  a_1  と  a_2  で表す）
\end{align*}
$$

とすることですが、$${a_1}$$ と $${a_2}$$ は基本対称式で表されます（$${\Rightarrow}$$ 詳しくは本シリーズ (11)）。

$$
\begin{align*}
a_1&=-(\hspace{-5pt}\underbrace{\alpha+\beta}_{基本対称式}\hspace{-5pt})\\
a_2&=\underbrace{\alpha\beta}_{基本対称式}
\end{align*}
$$

すると、$${a_1}$$ と $${a_2}$$ の加減乗除で表された式は対称式なので、先ほどの

$$
\begin{align*}
\alpha=（係数  a_1  と  a_2  で表す）\\
\beta=（係数  a_1  と  a_2  で表す）
\end{align*}
$$

について、加減乗除だけの計算では左辺は対称式です。しかし右辺 $${\alpha,  \beta}$$ は対称式ではありません。

$$
\begin{align*}
\underbrace{\alpha}_{対称式でない}\hspace{-14pt}
=\underbrace{（係数  a_1  と  a_2  で表す）}_{加減乗除では対称式}\\
\underbrace{\beta}_{対称式でない}\hspace{-14pt}
=\underbrace{（係数  a_1  と  a_2  で表す）}_{加減乗除では対称式}
\end{align*}
$$

解の公式を導くには、基本対称式である $${a_1,  a_2}$$ を用いて表しつつも、最後に対称性を保つ置換を２次置換から恒等置換にまで崩し、$${\alpha,  \beta}$$ と同等の対称性、つまり恒等置換でしか変化しない式を作り上げる必要があります。一見矛盾したようにも思える課題。それを克服するアイデアが「累乗根の添加」というアイデアでした。２次方程式の場合、$${a_1,  a_2}$$ の加減乗除で得られる従来の式 $${(a_1)^2-4a_2}$$ の、平方根 $${\sqrt{(a_1)^2-4a_2}}$$ の添加でした（$${\Rightarrow}$$ 詳しくは本シリーズ (11)）。

平方根 $${\sqrt{(a_1)^2-4a_2}}$$ の添加により、係数とその平方根との加減乗除によって、２次方程式の解の公式の導出が可能になります。

差積そのもの α－β を添加してもよいこと

　さらには

$$
\begin{align*}
\alpha-\beta=\pm\sqrt{(a_1)^2-4a_2}
\end{align*}
$$

という関係式がありました（$${\Rightarrow}$$ 証明は本シリーズ (11)）。この関係式により、$${\sqrt{(a_1)^2-4a_2}}$$ を添加することと $${\alpha-\beta}$$ を添加することとは同じ意味を持ちます（注２）。$${\sqrt{(a_1)^2-4a_2}}$$ の代わりに $${\alpha-\beta}$$ を添加してもよく、$${\sqrt{(a_1)^2-4a_2}}$$ の添加された集合と、差積 $${\alpha-\beta}$$ の添加された集合は同じ範囲となります。

すると、添加された $${\alpha-\beta}$$ は恒等置換でしか対称性を保つことができないので、$${\sqrt{(a_1)^2-4a_2}}$$ の添加、ひいては $${\alpha-\beta}$$ の添加された集合においては、恒等置換でしか対称性を保つことができない式を加減乗除で構成することができます。そしてその集合内では恒等置換でしか対称性を保つことができない解の式 $${\alpha,  \beta}$$ を構成することができ、２次方程式の解の公式を構成することができるというわけです。対称性を保つ置換を恒等置換にまで絞り込む、いわば対称性を恒等置換にまで崩す必要がある理由はそういう理由です。

5. ３次方程式に解の公式が存在する２つのポイント

　さて３次方程式において、先ほど対称性を保つ置換を遇置換まで絞り込むことができました。しかしこのステップだけでは不十分です。３次方程式においても、解の公式の導出には恒等置換でのみ対称性を保つ $${\alpha,  \beta,  \gamma}$$ という解の式を導出する必要があるので、恒等置換でのみ対称性を保つ何か都合のよい式を添加することによって、さらに遇置換を恒等置換にまで絞り込んでいく必要があります。

（図解）
　対称性を保つ置換を、遇置換からさらに

$$
\begin{align*}
①\hspace{7pt}
\dbinom{\alpha       \beta       \gamma}{\alpha       \beta       \gamma}
\hspace{10pt}
②\hspace{7pt}
&\dbinom{\alpha       \beta       \gamma}{\gamma       \alpha       \beta}
\hspace{10pt}
➂\hspace{7pt}
\dbinom{\alpha       \beta       \gamma}{\beta       \gamma       \alpha}\\[20pt]
&\Downarrow 恒等置換でのみ対称性を保つ式を添加\\[10pt]
①\hspace{7pt}
&\dbinom{\alpha       \beta       \gamma}{\alpha       \beta       \gamma}　
\end{align*}
$$

と、恒等置換にまで絞り込む必要がある。

以上のことを踏まえ、『なぜ３次方程式の解の公式が存在するのか』ですが、それにはポイントが２つあります」
　と言った後、森田君はホワイトボードにそのポイントを書き始めた。「結論から述べていきます。１つ目のポイントは $${\cdots}$$

（ポイント１）
　ラグランジュ・リゾルベント
　$${A=\alpha+\omega\beta+\omega^2\gamma}$$
　$${B=\alpha+\omega^2\beta+\omega\gamma}$$
は恒等置換でのみ対称性を保つ。よって、そのラグランジュ・リゾルベントを $${Q\left(\sqrt{(X_3)^2}\right)}$$ に添加してさらに集合を拡大することで、その集合全体で対称性を保つ置換を恒等置換にまで絞り込むことができる。

２つ目のポイントは

（ポイント２）
　３次方程式の解の公式の導出方法を、そのラグランジュ・リゾルベントの連立方程式を解いて $${\alpha,  \beta,  \gamma}$$ を求めることに帰着できる。その連立は、恒等置換でのみ対称性を保つラグランジュリゾルベント同士の加減乗除なので、その結果得られた $${\alpha,  \beta,  \gamma}$$ も当然恒等置換でのみ対称性を保つ式となり、それが３次方程式の解の公式に他ならない。

それでは順次みていきます」
　いきなりの森田君の指摘に竹村は身を乗り出した。森田君は続ける。

（ポイント１）ラグランジュ・リゾルベントの添加によって対称性を遇置換から恒等置換にまで崩す

「ここで、次の条件Ⅱを満たす『解の式 $${Y}$$』を考えます。

条件Ⅱ
『$${Y}$$ はある遇置換で変化するが、$${Y^3}$$ はすべての遇置換で変化しない（ただし対称式ではない）』
　言い換えると
『$${Y}$$ は遇置換で対称性が壊れているが、$${Y^3}$$ は遇置換で対称性が保たれている（ただし対称式ではない）』

　結論から言うと、この「条件Ⅱ」を満たす解の式 $${Y}$$ は、これまで何度も出てきたラグランジュ・リゾルベント

$$
\begin{align*}
A=\alpha+\omega\beta+\omega^2\gamma\\
B=\alpha+\omega^2\beta+\omega\gamma
\end{align*}
$$

となります。ここで、ラグランジュ・リゾルベント $${A,  B}$$ が「条件Ⅱ」を満たすことを証明していきます。復習として３次置換➀～➅において、$${A}$$ と $${B}$$、及び $${A^3}$$ と $${B^3}$$ がどのように変化するのかをみていきます。また $${\omega}$$ について、下記の性質を公式として利用します。 $${\omega}$$ とは３乗して $${1}$$ になる数のうち、虚数であるものを表します。

$$
\begin{align*}
\omega^3&=1
\end{align*}
$$

具体的に $${\omega}$$ は
　$${\dfrac{-1+\sqrt{3}i}{2}}$$　または　$${\dfrac{-1-\sqrt{3}i}{2}}$$
のどちらかを表す定数です。どちらも３乗すれば $${1}$$ になります（$${\Rightarrow}$$ 詳しくは本シリーズ (2)）。

３次置換によるラグランジュ・リゾルベントの変化（復習）

➀  $${\dbinom{\alpha       \beta       \gamma}{\alpha       \beta       \gamma}}$$ のとき
　$${\alpha}$$ を $${\alpha}$$ に、$${\beta}$$ を $${\beta}$$ に、$${\gamma}$$ を $${\gamma}$$ に変換すると

$$
\begin{align*}
A=\,&\alpha+\omega\beta+\omega^2\gamma\\
&\hspace{-2pt}\downarrow\hspace{20pt}\downarrow\hspace{24pt}\downarrow\\
&\alpha+\omega\beta+\omega^2\gamma=A\\
\end{align*}
$$

$$
\begin{align*}
B=\,&\alpha+\omega^2\beta+\omega\gamma\\
&\hspace{-2pt}\downarrow\hspace{24pt}\downarrow\hspace{20pt}\downarrow\\
&\alpha+\omega^2\beta+\omega\gamma=B\\
\end{align*}
$$

➀は恒等置換なので $${A}$$ は $${A}$$ のまま、$${B}$$ は $${B}$$ のままで変わりません。

②  $${\dbinom{\alpha       \beta       \gamma}{\gamma       \alpha       \beta}}$$ のとき
　$${\alpha}$$ を $${\gamma}$$ に、$${\gamma}$$ を $${\beta}$$ に、$${\beta}$$ を $${\alpha}$$ に置き換えると

$$
\begin{align*}
A=\,&\alpha+\omega\beta+\omega^2\gamma\\
&\hspace{-2pt}\downarrow\hspace{20pt}\downarrow\hspace{24pt}\downarrow\\
&\gamma+\omega\alpha+\omega^2\beta\\
=\,&\underset{1}{\underline{\omega^3}}\,\gamma+\omega\alpha+\omega^2\beta\\
=\,&\omega(\omega^2\gamma+\alpha+\omega\beta)\\
=\,&\omega(\alpha+\omega\beta+\omega^2\gamma)=\omega A\\
\end{align*}
$$

$$
\begin{align*}
B=\,&\alpha+\omega^2\beta+\omega\gamma\\
&\hspace{-2pt}\downarrow\hspace{24pt}\downarrow\hspace{20pt}\downarrow\\
&\gamma+\omega^2\alpha+\omega\beta\\
=\,&\underset{1}{\underline{\omega^3}}\,\gamma+\omega^2\alpha+\underset{1}{\underline{\omega^3}}\cdot\omega\beta\\
=\,&\omega^3\gamma+\omega^2\alpha+\omega^4\beta\\
=\,&\omega^2(\omega\gamma+\alpha+\omega^2\beta)\\
=\,&\omega^2(\alpha+\omega^2\beta+\omega\gamma)=\omega^2B\\
\end{align*}
$$

②の置換では $${A}$$ は $${\omega A}$$ に、$${B}$$ は $${\omega^2B}$$ に変化します。
　所々で $${\omega^3=1}$$ をうまく使います。$${A}$$では $${\gamma}$$ に $${\omega^3}$$ をかけ、 $${B}$$では $${\gamma}$$ と $${\omega\beta}$$ の２か所に $${\omega^3}$$ をかけています。$${\omega^3}$$ は $${1}$$ なので掛けても式の値は変わりません。また $${A}$$ では最後に $${\omega}$$ でくくって $${\omega A}$$ を導き、$${B}$$ では最後に $${\omega^2}$$ でくくって$${\omega^2B}$$ を導いています。くくったときに、$${\alpha}$$ の係数が $${1}$$ なるようにしているのがポイントです。これは以前、先生から習いました。

③  $${\dbinom{\alpha       \beta       \gamma}{\beta       \gamma       \alpha}}$$ のとき
　$${\alpha}$$ を $${\beta}$$ に、$${\beta}$$ を $${\gamma}$$ に、$${\gamma}$$ を $${\alpha}$$ に置き換えると

$$
\begin{align*}
A=\,&\alpha+\omega\beta+\omega^2\gamma\\
&\hspace{-2pt}\downarrow\hspace{20pt}\downarrow\hspace{24pt}\downarrow\\
&\beta+\omega\gamma+\omega^2\alpha\\
=\,&\underset{1}{\underline{\omega^3}}\,\beta+\underset{1}{\underline{\omega^3}}\cdot\omega\gamma+\omega^2\alpha\\
=\,&\omega^3\beta+\omega^4\gamma+\omega^2\alpha\\
=\,&\omega^2(\omega\beta+\omega^2\gamma+\alpha)\\
=\,&\omega^2(\alpha+\omega\beta+\omega^2\gamma)=\omega^2A\\
\end{align*}
$$

$$
\begin{align*}
B=\,&\alpha+\omega^2\beta+\omega\gamma\\
&\hspace{-2pt}\downarrow\hspace{24pt}\downarrow\hspace{20pt}\downarrow\\
&\beta+\omega^2\gamma+\omega\alpha\\
=\,&\underset{1}{\underline{\omega^3}}\,\beta+\omega^2\gamma+\omega\alpha\\
=\,&\omega(\omega^2\beta+\omega\gamma+\alpha)\\
=\,&\omega(\alpha+\omega^2\beta+\omega\gamma)=\omega B\\
\end{align*}
$$

③の置換では $${A}$$ は $${\omega^2 A}$$ に、$${B}$$ は $${\omega B}$$ に変化します。
　ここでも所々で $${\omega^3=1}$$ を使います。また $${A}$$ では最後に $${\omega^2}$$ でくくって $${\omega^2A}$$ を導き、$${B}$$ では最後に $${\omega}$$ でくくって$${\omega B}$$ を導いています。ここでもくくったときに、$${\alpha}$$ の係数が $${1}$$ なるようにしています。

④  $${\dbinom{\alpha       \beta       \gamma}{\alpha       \gamma       \beta}}$$ のとき
　$${\alpha}$$ はそのままで、$${\beta}$$ を $${\gamma}$$ に、$${\gamma}$$ を $${\beta}$$ に置き換えると

$$
\begin{align*}
A=\,&\alpha+\omega\beta+\omega^2\gamma\\
&\hspace{-2pt}\downarrow\hspace{20pt}\downarrow\hspace{24pt}\downarrow\\
&\alpha+\omega\gamma+\omega^2\beta\\
=\,&\alpha+\omega^2\beta+\omega\gamma=B\\
\end{align*}
$$

$$
\begin{align*}
B=\,&\alpha+\omega^2\beta+\omega\gamma\\
&\hspace{-2pt}\downarrow\hspace{24pt}\downarrow\hspace{20pt}\downarrow\\
&\alpha+\omega^2\gamma+\omega\beta\\
=\,&\alpha+\omega\beta+\omega^2\gamma=A\\
\end{align*}
$$

④の置換では $${A}$$ は $${B}$$ に、$${B}$$ は $${A}$$ に変化し、$${A}$$ と $${B}$$ が入れ替わります。

➄  $${\dbinom{\alpha       \beta       \gamma}{\gamma       \beta       \alpha}}$$ のとき
　$${\alpha}$$ を $${\gamma}$$ に、$${\beta}$$ はそのままで、$${\gamma}$$ を $${\alpha}$$ に置き換えると

$$
\begin{align*}
A=\,&\alpha+\omega\beta+\omega^2\gamma\\
&\hspace{-2pt}\downarrow\hspace{20pt}\downarrow\hspace{24pt}\downarrow\\
&\gamma+\omega\beta+\omega^2\alpha\\
=\,&\underset{1}{\underline{\omega^3}}\,\gamma+\underset{1}{\underline{\omega^3}}\cdot\omega\beta+\omega^2\alpha\\
=\,&\omega^3\gamma+\omega^4\beta+\omega^2\alpha\\
=\,&\omega^2(\omega\gamma+\omega^2\beta+\alpha)\\
=\,&\omega^2(\alpha+\omega^2\beta+\omega\gamma)=\omega^2B\\
\end{align*}
$$

$$
\begin{align*}
B=\,&\alpha+\omega^2\beta+\omega\gamma\\
&\hspace{-2pt}\downarrow\hspace{24pt}\downarrow\hspace{20pt}\downarrow\\
&\gamma+\omega^2\beta+\omega\alpha\\
=\,&\underset{1}{\underline{\omega^3}}\,\gamma+\omega^2\beta+\omega\alpha\\
=\,&\omega(\omega^2\gamma+\omega\beta+\alpha)\\
=\,&\omega(\alpha+\omega\beta+\omega^2\gamma)=\omega A\\
\end{align*}
$$

➄の置換では $${A}$$ は $${\omega^2B}$$ に、$${B}$$ は $${\omega A}$$ に変化します。
　やはり所々で $${\omega^3=1}$$ を使います。また $${A}$$ では最後に $${\omega^2}$$ でくくって $${\omega^2B}$$ を導き、$${B}$$ では最後に $${\omega}$$ でくくって$${\omega A}$$ を導いています。くくったときに $${\alpha}$$ の係数が $${1}$$ になるようにするのは今までと同じです。また $${A}$$ と $${B}$$ の入れ替えも入ります。

➅  $${\dbinom{\alpha       \beta       \gamma}{\beta       \alpha       \gamma}}$$ のとき
　$${\alpha}$$ を $${\beta}$$ に、$${\beta}$$ を $${\alpha}$$ に、$${\gamma}$$ は変化させないと

$$
\begin{align*}
A=\,&\alpha+\omega\beta+\omega^2\gamma\\
&\hspace{-2pt}\downarrow\hspace{20pt}\downarrow\hspace{24pt}\downarrow\\
&\beta+\omega\alpha+\omega^2\gamma\\
=\,&\underset{1}{\underline{\omega^3}}\,\beta+\omega\alpha+\omega^2\gamma\\
=\,&\omega(\omega^2\beta+\alpha+\omega\gamma)\\
=\,&\omega(\alpha+\omega^2\beta+\omega\gamma)=\omega B\\
\end{align*}
$$

$$
\begin{align*}
B=\,&\alpha+\omega^2\beta+\omega\gamma\\
&\hspace{-2pt}\downarrow\hspace{24pt}\downarrow\hspace{20pt}\downarrow\\
&\beta+\omega^2\alpha+\omega\gamma\\
=\,&\underset{1}{\underline{\omega^3}}\,\beta+\omega^2\alpha+\underset{1}{\underline{\omega^3}}\cdot\omega\gamma\\
=\,&\omega^3\beta+\omega^2\alpha+\omega^4\gamma\\
=\,&\omega^2(\omega\beta+\alpha+\omega^2\gamma)\\
=\,&\omega^2(\alpha+\omega\beta+\omega^2\gamma)=\omega^2A\\
\end{align*}
$$

⑥の置換では $${A}$$ は $${\omega B}$$ に、$${B}$$ は $${\omega^2A}$$ に変化します。
　$${\omega^3=1}$$ を使い、$${A}$$ では最後に $${\omega}$$ でくくって $${\omega B}$$ を、$${B}$$ では最後に $${\omega^2}$$ でくくって$${\omega^2 A}$$ を導いています。先ほどと同様に $${\alpha}$$ の係数を $${1}$$ にします。またここでも $${A}$$ と $${B}$$ の入れ替えが入ります。

以上をまとめると

$$
\hspace{-10pt}
\begin{align*}
&➀
\hspace{6pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\alpha & \beta & \gamma
\end{pmatrix}
\hspace{7pt}
では
\hspace{12pt}
\begin{align*}
A &\longrightarrow A\\
B &\longrightarrow B
\end{align*}\\
&②
\hspace{6pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\gamma & \alpha & \beta
\end{pmatrix}
\hspace{7pt}
では
\hspace{12pt}
\begin{align*}
A &\longrightarrow \omega A\\
B &\longrightarrow \omega^2 B
\end{align*}\\
&③
\hspace{6pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\beta & \gamma & \alpha
\end{pmatrix}
\hspace{7pt}
では
\hspace{12pt}
\begin{align*}
A &\longrightarrow \omega^2 A\\
B &\longrightarrow \omega B
\end{align*}\\
&④
\hspace{6pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\alpha & \gamma & \beta
\end{pmatrix}
\hspace{7pt}
では
\hspace{12pt}
\begin{align*}
A &\longrightarrow B\\
B &\longrightarrow A
\end{align*}\\
&➄
\hspace{6pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\gamma & \beta & \alpha
\end{pmatrix}
\hspace{7pt}
では
\hspace{12pt}
\begin{align*}
A &\longrightarrow \omega^2 B\\
B &\longrightarrow \omega A
\end{align*}\\
&➅
\hspace{6pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\beta & \alpha & \gamma
\end{pmatrix}
\hspace{7pt}
では
\hspace{12pt}
\begin{align*}
A &\longrightarrow \omega B\\
B &\longrightarrow \omega^2 A
\end{align*}
\end{align*}
$$

すると、ラグランジュ・リゾルベントを変化させない、対称性を保つ置換は恒等置換➀のみです。恒等置換以外の②～➅ではラグランジュ・リゾルベントは変化し、対称性が壊れています。
　次にラグランジュ・リゾルベントの３乗 $${A^3,  B^3}$$ について、３次置換➀～➅による変化をみていきます。それには先ほどやった $${A,  B}$$ の置換結果をそのまま利用すればいいでしょう。なお $${\omega}$$ について、下記の性質を再び公式として利用します。 $${\omega}$$ とは３乗して $${1}$$ になる数のうち、虚数であるものでした。

$$
\begin{align*}
\omega^3&=1\\
\omega^6&=(\omega^3)^2=1^2=1
\end{align*}
$$

さて、$${A^3}$$ と$${B^3}$$ の遇置換による行き先は

$$
\begin{align*}
&\begin{align*}
➀\hspace{5pt}\dbinom{\alpha       \beta       \gamma}{\alpha       \beta       \gamma}\hspace{5pt}では　&A^3\rightarrow A^3\\
&B^3\rightarrow B^3
\end{align*}\\
\\
&\begin{alignat*}{2}
&②\hspace{5pt}\dbinom{\alpha       \beta       \gamma}{\gamma       \alpha       \beta}\hspace{5pt}では　& A^3 \rightarrow&(\omega A)^3\\[-4pt]
& & =&\,\omega^3A^3\\
& & =&\,1\cdot A^3=A^3\\[5pt]
& & B^3\rightarrow&(\omega^2 B)^3\\
& & =&\,(\omega^2)^3 B^3\\
& & =&\,\omega^6 B^3\\
& & =&\,1\cdot B^3=B^3
\end{alignat*}\\
\\
&\begin{alignat*}{2}
&③\hspace{5pt}\dbinom{\alpha       \beta       \gamma}{\beta       \gamma       \alpha}\hspace{5pt}では　 & A^3\rightarrow&(\omega^2 A)^3\\[-4pt]
& & =&\,(\omega^2)^3 A^3\\
& & =&\,\omega^6A^3\\
& & =&\,1\cdot A^3=A^3\\[5pt]
& & B^3\rightarrow&(\omega B)^3\\
& & =&\,\omega^3B^3\\
& & =&\,1\cdot B^3=B^3
\end{alignat*}\\
\\
&\begin{align*}
④\hspace{5pt}\dbinom{\alpha       \beta       \gamma}{\alpha       \gamma       \beta}\hspace{5pt}では　&A^3\rightarrow B^3\\
&B^3\rightarrow A^3
\end{align*}\\
\\
&\begin{alignat*}{2}
&➄\hspace{5pt}\dbinom{\alpha       \beta       \gamma}{\gamma       \beta       \alpha}\hspace{5pt}では　& A^3\rightarrow&(\omega^2 B)^3\\[-4pt]
& & =&\,(\omega^2)^3 B^3\\
& & =&\,\omega^6B^3\\
& & =&\,1\cdot B^3=B^3\\[5pt]
& & B^3\rightarrow&(\omega A)^3\\
& & =&\,\omega^3A^3\\
& & =&\,1\cdot A^3=A^3
\end{alignat*}\\
\\
&\begin{alignat*}{2}
&⑥\hspace{5pt}\dbinom{\alpha       \beta       \gamma}{\beta       \alpha       \gamma}\hspace{5pt}では　& A^3\rightarrow&(\omega B)^3\\[-4pt]
& & =&\,\omega^3B^3\\
& & =&\,1\cdot B^3=B^3\\[5pt]
& & B^3\rightarrow&(\omega^2 A)^3\\
& & =&\,(\omega^2)^3 A^3\\
& & =&\,\omega^6A^3\\
& & =&\,1\cdot A^3=A^3
\end{alignat*}
\end{align*}
$$

まとめると、$${A^3,  B^3}$$ の行き先は、①～③の遇置換では式は変化せず、対称性を保っています。しかし④～➅の奇置換では式が変化し、対称性が壊れています。

　遇置換では

$$
\begin{rcases}
➀\hspace{5pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\alpha & \beta & \gamma
\end{pmatrix}\hspace{5pt}\\
\\
②\hspace{5pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\gamma & \alpha & \beta
\end{pmatrix}\hspace{5pt}\\
\\
③\hspace{5pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\beta & \gamma & \alpha
\end{pmatrix}\hspace{5pt}
\end{rcases}
\hspace{8pt}では\hspace{8pt}
\begin{align*}
&A^3 \longrightarrow A^3\\
&B^3 \longrightarrow B^3\\
&\boldsymbol{変化しない}
\end{align*}
$$

　奇置換では

$$
\begin{rcases}
④\hspace{5pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\alpha & \gamma & \beta
\end{pmatrix}\hspace{5pt}\\
\\
➄\hspace{5pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\gamma & \beta & \alpha
\end{pmatrix}\hspace{5pt}\\
\\
➅\hspace{5pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\beta & \alpha & \gamma
\end{pmatrix}\hspace{5pt}
\end{rcases}
\hspace{8pt}では\hspace{8pt}
\begin{align*}
&A^3 \longrightarrow B^3\\
&B^3 \longrightarrow A^3\\
&\boldsymbol{変化する}
\end{align*}
$$

以上より、$${A,  B}$$ は遇置換で対称性が壊れています。対称性を保つのは恒等置換のみだからです。一方、$${A^3,  B^3}$$ は遇置換でのみ対称性を保ちます。奇置換では変化するので対称式ではありません。ここで先ほどの「条件Ⅱ」を確認してみます。

条件Ⅱ
『$${Y}$$ はある遇置換で変化するが、$${Y^3}$$ はすべての遇置換で変化しない（ただし対称式ではない）』
　言い換えると
『$${Y}$$ は遇置換で対称性が壊れているが、$${Y^3}$$ は遇置換で対称性が保たれている（ただし対称式ではない）』

この $${Y}$$ に $${A,  B}$$ を当てはめてみますと

『$${A,  B}$$ はある遇置換で変化するが（恒等置換では変化しないが、それ以外では変化する）、$${A^3,  B^3}$$ はすべての遇置換で変化しない（ただし対称式ではない）』
　言い換えると
『$${A,  B}$$ は遇置換で対称性が壊れているが（恒等置換では対称性を保つが、それ以外では壊れている）、$${A^3,  B^3}$$ は遇置換で対称性が保たれている（ただし対称式ではない）』

となり、まさに $${A,  B}$$ は「条件Ⅱ」を満たすことがわかります。
　そこで『添加』を考えます。集合 $${Q}$$ に $${\sqrt{(X_3)^2}}$$ を添加した集合 $${Q\left(\sqrt{(X_3)^2}\right)}$$ に、ラグランジュ・リゾルベント $${A=\alpha+\omega\beta+\omega^2\gamma}$$ の３乗の３乗根

$$
\begin{align*}
\sqrt[3]{A^3}&=\sqrt[3]{27\left\{-\dfrac{q}{2}+\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}\right\}}
\end{align*}
$$

を、加減乗除のできる式として新たに添加します。この添加で３乗根を使えるようになることがポイントです。

３乗根 $${\sqrt[3]{A^3}}$$ は、これまでの使える数 $${p,  q}$$ と平方根 $${\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}}$$ の加減乗除では表せない式です。ちなみに「３乗」は３回掛ければ掛け算で表すことはできますが、「３乗根」は累乗 $${\sqrt[3]{\hspace{12pt}}}$$ を取る操作なので、$${p,  q}$$ と $${\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}}$$ の加減乗除で表すことはできません。よって、新たに $${\sqrt[3]{A^3}}$$ を $${Q\left(\sqrt{(X_3)^2}\right)}$$ に添加して使える式の集合を拡大し、この拡大された式の集合を $${Q\left(\sqrt{(X_3)^2},  \sqrt[3]{{A}^3}\right)}$$ とおきます。すると

$$
\begin{align*}
\sqrt[3]{{A}^3}=\underline{A},  \omega A,  \omega^2A
\end{align*}
$$

より（注３）、$${\sqrt[3]{{A}^3}}$$ の添加によって $${A}$$（下線部）も添加されるので、$${\sqrt[3]{A^3}}$$ の添加された式の集合 $${Q\left(\sqrt{(X_3)^2},  \sqrt[3]{{A}^3}\right)}$$ では
　$${A=\alpha+\omega\beta+\omega^2\gamma}$$
と同じ対称性をもつ、すなわち恒等置換でのみ対称性を保つラグランジュ・リゾルベント $${A,  B}$$ を構成できるようになり、さらにそのラグランジュ・リゾルベント同士の連立方程式を解くことによって解の式 $${\alpha,  \beta,  \gamma}$$ も構成できるようになります。後で述べますが、先ほどの（ポイント２）です（$${\Rightarrow}$$ 具体的な計算は本シリーズ (7)）。

あらかじめ ω を添加しておくこと

　なお正確には、$${1}$$ の３乗根のうち素数である $${\omega}$$ は $${p,  q}$$ の加減乗除では表せないので、あらかじめ集合 $${Q}$$ の中に $${\omega}$$ を加えておくことにします。$${\omega}$$ は
　$${\omega=\dfrac{-1+\sqrt{3}i}{2}}$$ または $${\dfrac{-1-\sqrt{3}i}{2}}$$
という定数、つまり決まった数なので、常に $${p,  q}$$ で表せないということです。そこで $${Q}$$ に$${\omega}$$ を加えた式の集合を新たに $${Q(\omega)}$$ と定義します。そして $${Q(\omega)}$$ に $${\sqrt{(X_3)^2}}$$ を添加した式の集合を $${Q(\omega,   \sqrt{(X_3)^2})}$$、さらにその集合に $${\sqrt[3]{A^3}}$$ を添加した式の集合を $${Q(\omega,  \sqrt{(X_3)^2},  \sqrt[3]{{A}^3})}$$ と定義し直します。そうすることによって、加減乗除で使える式が拡大されていく中で素数 $${\omega}$$ を自由に使えます。それを踏まえて正確な包含関係は以下のようになります。

単に A を添加してもよいこと

「ところで森田君、$${\sqrt[3]{{A}^3}}$$ を添加すると言ったけど、単に $${A}$$ を添加するのと違いはあるかな」
「同じになります。その理由は、先ほどやった
　$${\sqrt[3]{{A}^3}=\underline{A},  \omega A,  \omega^2A}$$
より、$${\sqrt[3]{{A}^3}}$$ は $${A}$$ そのものか、それに $${\omega}$$ を掛けた $${\omega A}$$ または $${\omega^2A}$$ です。 $${\omega}$$ を１回掛ければ $${\omega A}$$、２回掛ければ $${\omega^2A}$$ です。先ほど $${\omega}$$ を集合 $${Q}$$ にあらかじめ加えておいたので、$${\omega}$$ は加減乗除の計算に自由に使えます。つまり、$${\sqrt[3]{{A}^3}}$$ の添加によって自動的に $${A}$$（下線部）も添加され、逆に $${A}$$ の添加によって $${\omega A}$$ と $${\omega^2A}$$ は構成できるので、 $${A}$$ を添加すれば $${\sqrt[3]{{A}^3}}$$ を添加したことと同じになります。
　$${\sqrt[3]{{A}^3}}$$ の添加 $${\longrightarrow}$$ $${A}$$ の添加
　$${A}$$ の添加 $${\longrightarrow}$$ $${\omega A}$$ と $${\omega^2A}$$ は構成可能
$${\hspace{53pt}\longrightarrow}$$ $${\sqrt[3]{{A}^3}}$$ の添加
すなわち
　『$${\sqrt[3]{{A}^3}}$$ を添加するのと $${A}$$ を添加するのは同じ』
こととなり、$${Q(\omega,  \sqrt{(X_3)^2},  \sqrt[3]{{A}^3})}$$ と、$${\sqrt[3]{{A}^3}}$$ の代わりに $${A}$$ を添加した $${Q(\omega,  \sqrt{(X_3)^2},  A)}$$ は、集合として同じ範囲となります。

$$
\begin{align*}
Q(\omega,  \sqrt{(X_3)^2},  \sqrt[3]{{A}^3})=Q(\omega,  \sqrt{(X_3)^2},  A)
\end{align*}
$$

図示すると次のような包含関係になります。

よって、$${\sqrt[3]{{A}^3}}$$ ではなく $${A}$$ を添加しても問題ありません。実は先ほど「条件Ⅱ」で提示したのは $${A}$$ の添加でした。ここでは３乗根という操作を強調したいため $${\sqrt[3]{{A}^3}}$$ を採用しました。

単に差積を添加してもよいこと

　補足として、さらに
　『$${\sqrt{(X_3)^2}}$$ を添加するのと $${X_3}$$ を添加するのは同じ』
ことも既にやったので（$${\Rightarrow}$$ 詳しくは本シリーズ (12)）、集合として

$$
\begin{align*}
Q(\omega,  \sqrt{(X_3)^2},  \sqrt[3]{A^3})=Q(\omega,  X_3,  A)
\end{align*}
$$

が成り立つことにより、次のように図示することもできます。

上図のように差積 $${X_3}$$ さらにラグランジュ・リゾルベント $${A}$$ と次々と添加することによって、最終的に対称性を保つ置換を恒等置換のみへと絞り込む、いわば対称性を恒等置換にまで崩していくことができました。

$$
\begin{align*}
①\hspace{7pt}
\dbinom{\alpha       \beta       \gamma}{\alpha       \beta       \gamma}
\hspace{10pt}
②\hspace{7pt}
&\dbinom{\alpha       \beta       \gamma}{\gamma       \alpha       \beta}
\hspace{10pt}
➂\hspace{7pt}
\dbinom{\alpha       \beta       \gamma}{\gamma       \alpha       \beta}\\[10pt]
④\hspace{7pt}
\dbinom{\alpha       \beta       \gamma}{\alpha       \gamma       \beta}
\hspace{10pt}
⑤\hspace{7pt}
&\dbinom{\alpha       \beta       \gamma}{\gamma       \beta       \alpha}
\hspace{10pt}
➅\hspace{7pt}
\dbinom{\alpha       \beta       \gamma}{\beta       \alpha       \gamma}\\[20pt]
&\hspace{21pt}\downarrow  \Leftarrow X_3 の添加\\[15pt]
①\hspace{7pt}
\dbinom{\alpha       \beta       \gamma}{\alpha       \beta       \gamma}
\hspace{10pt}
②\hspace{7pt}
&\dbinom{\alpha       \beta       \gamma}{\gamma       \alpha       \beta}
\hspace{10pt}
➂\hspace{7pt}
\dbinom{\alpha       \beta       \gamma}{\beta       \gamma       \alpha}\\[20pt]
&\hspace{21pt}\downarrow  \Leftarrow A の添加\\[15pt]
①\hspace{7pt}
&\dbinom{\alpha       \beta       \gamma}{\alpha       \beta       \gamma}　
\end{align*}
$$

この対称性が崩れていく過程は、下図のように使える式の拡大に対応しています。対称性を保つ置換が絞られていくにつれて、使える式の集合は大きくなります。

$$
\begin{gather*}
Q(\omega)\\
\hspace{66pt}\downarrow  \Leftarrow  X_3 の添加\\
Q(\omega,  X_3)\\
\hspace{63pt}\downarrow  \Leftarrow  A の添加\\
Q(\omega,  X_3,  A)
\end{gather*}
$$

そして最後の集合 $${Q(\omega,  X_3,  A)}$$ 内で、恒等置換でしか対称性を保つことのできない解の式 $${\alpha,  \beta,  \gamma}$$ を、$${p,  q,  X_3,  A}$$ の加減乗除だけで構成できるようになるわけです」
「なるほど」と竹村。それではともう一つ確認してみることにした。
「では森田君。$${\sqrt[3]{{A}^3}}$$ を添加すると言ったけど、$${\sqrt[3]{{B}^3}}$$ の方も合わせて添加する必要は無いのかな？」
「ありません。以前の授業で $${A,  B}$$ は次の式を満たすことを勉強しました。（$${\Rightarrow}$$ 証明は本シリーズ (7)）
　$${AB=-3p（定数）}$$
この両辺を $${A}$$ で割ると
　$${B=\dfrac{-3p}{A}}$$
となり、$${B}$$ を $${p}$$ が求まります。つまり $${\sqrt[3]{{A}^3}}$$ の添加、ひいては $${A}$$ の添加されている集合内では、 $${B}$$ は $${p}$$ と $${A}$$ の加減乗除で表せるということです。
　$${AB=-3p}$$
の関係式により、$${A}$$ があれば $${B\left(=\dfrac{-3p}{A}\right)}$$ も加減乗除で構成でき、逆に $${B}$$ があれば $${A\left(=\dfrac{-3p}{B}\right)}$$ も加減乗除で構成できます。つまり、$${A}$$ と $${B}$$ はどちらか一方を添加すればよく、さらに $${A}$$ のときと同じように $${B}$$ の添加は $${\sqrt[3]{{B}^3}}$$ の添加と同じ。よって $${\sqrt[3]{{A}^3}}$$ と $${\sqrt[3]{{B}^3}}$$ は両方を添加する必要はなく、どちらか一方を添加すればいいわけです。
　$${A}$$ と $${B}$$ はどちらか一方を添加すればよい
　$${\longleftrightarrow}$$ $${\sqrt[3]{{A}^3}}$$ と $${\sqrt[3]{{B}^3}}$$ はどちらか一方を添加すればよい。
ここではアルファベットの若い $${\sqrt[3]{{A}^3}}$$ の方を添加しました」
　ここも森田君はクリアーに答えた。
「さて、これで準備は整いました。解の公式を導くための土壌が整備されたことになります。後はラグランジュ・リゾルベント $${A,  B}$$ そのものを導く必要がありますが、計算は簡単です。ラグランジュ・リゾルベントの３乗

$$
\begin{align*}
A^3&=27\left\{-\dfrac{q}{2}+\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}\right\}\\
B^3&=27\left\{-\dfrac{q}{2}-\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}\right\}
\end{align*}
$$

の３乗根をとればいいわけです。ただし、さきほど出てきた
　$${AB=-3p（定数）}$$
が成り立つように、つまり $${A}$$ と $${B}$$ の積がどの組み合わせでも同じ値となるように $${A,  B}$$ を決定する必要があります。具体的にラグランジュリゾルベント
　$${A=\alpha+\omega\beta+\omega^2\gamma}$$
　$${B=\alpha+\omega^2\beta+\omega\gamma}$$
は、次のように３組の値で決定しました。

(case1)

$$
\begin{align*}
\begin{cases}
\alpha+\omega\beta+\omega^2\gamma=3\sqrt[3]{-\dfrac{q}{2}+\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}}\\[8pt]
\alpha+\omega^2\beta+\omega\gamma=3\sqrt[3]{-\dfrac{q}{2}-\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}}
\end{cases}
\end{align*}
$$

(case2)

$$
\begin{align*}
\begin{cases}
\alpha+\omega\beta+\omega^2\gamma=3\omega\sqrt[3]{-\dfrac{q}{2}+\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}}\\[8pt]
\alpha+\omega^2\beta+\omega\gamma=3\omega^2\sqrt[3]{-\dfrac{q}{2}-\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}}
\end{cases}
\end{align*}
$$

(case3)

$$
\begin{align*}
\begin{cases}
\alpha+\omega\beta+\omega^2\gamma=3\omega^2\sqrt[3]{-\dfrac{q}{2}+\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}}\\[8pt]
\alpha+\omega^2\beta+\omega\gamma=3\omega\sqrt[3]{-\dfrac{q}{2}-\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}}
\end{cases}
\end{align*}
$$

ただし

$$
\begin{align*}
p&=-\dfrac{1}{3}\left(\dfrac{b}{a}\right)^{2}+\dfrac{c}{a}\\
q&=\dfrac{2}{27}\left(\dfrac{b}{a}\right)^{3}-\dfrac{1}{3}\left(\dfrac{b}{a}\right)\left(\dfrac{c}{a}\right)+\dfrac{d}{a}
\end{align*}
$$

(case1) は３乗根に $${\omega}$$ が掛けられていない組み合わせ、(case2) と (case3) は３乗根に $${\omega}$$ と $${\omega^2}$$ が掛けられ、その掛けている組み合わせが互いに逆になっています。$${\omega}$$ と $${\omega^2}$$ の積は
　$${\omega\times\omega^2=1}$$
より $${1}$$ となるので、どの組み合わせでも $${A}$$ と $${B}$$ の積は同じ値になることがわかります（$${\Rightarrow}$$ 詳しくは本シリーズ (7)）。
　ここからが先に述べた（ポイント２）です。

（ポイント２）解の公式の導出をラグランジュ・リゾルベントの連立に帰着できる

　上記のようにラグランジュ・リゾルベント $${A,  B}$$ が求まれば、後は以下の連立方程式を解きます。

$$
\begin{cases}
\alpha+\beta+\gamma=0 &①\\
\alpha+\omega\beta+\omega^2\gamma=\cdots\hspace{0.5pt}\cdots &②\\
\alpha+\omega^2\beta+\omega\gamma=\cdots\hspace{0.5pt}\cdots &③
\end{cases}
$$

①は、３次方程式 $${y^3+pv+q=0}$$ に対する解と係数の関係から得られる既知の値で $${0}$$ になります（$${\Rightarrow}$$ 詳しくは本シリーズ (12)）。
　②、③ の $${\cdots\hspace{0.5pt}\cdots}$$ のところは、上で得られた (case1) ～ (case3) のそれぞれの値が入ります。具体的に書いてみますと、次のように３組の連立方程式が得られます。

(case1) のとき

$$
\begin{cases}
\alpha+\beta+\gamma=0 &①\\[8pt]
\alpha+\omega\beta+\omega^2\gamma=3\sqrt[3]{-\dfrac{q}{2}+\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}} &②\\[8pt]
\alpha+\omega^2\beta+\omega\gamma=3\sqrt[3]{-\dfrac{q}{2}-\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}} &③
\end{cases}
$$

(case2) のとき

$$
\begin{cases}
\alpha+\beta+\gamma=0 &①\\[8pt]
\alpha+\omega\beta+\omega^2\gamma=3\omega\sqrt[3]{-\dfrac{q}{2}+\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}} &②\\[8pt]
\alpha+\omega^2\beta+\omega\gamma=3\omega^2\sqrt[3]{-\dfrac{q}{2}-\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}} &③
\end{cases}
$$

(case3) のとき

$$
\begin{cases}
\alpha+\beta+\gamma=0 &①\\[8pt]
\alpha+\omega\beta+\omega^2\gamma=3\omega^2\sqrt[3]{-\dfrac{q}{2}+\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}} &②\\[8pt]
\alpha+\omega^2\beta+\omega\gamma=3\omega\sqrt[3]{-\dfrac{q}{2}-\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}} &③
\end{cases}
$$

$${\alpha+\beta+\gamma(=0)}$$ を含め、ラグランジュ・リゾルベント $${A,  B}$$ は恒等式でのみ対称性を保つ式でした。後はこの連立方程式を加減乗除だけで解いて、解の式 $${\alpha,  \beta,  \gamma}$$ を求めます。すると恒等式でのみ対称性を保つ式の加減乗除だけで導かれる式は、必ず恒等式でのみ対称性を保つ式となります。よってこの連立方程式を解くことによって、恒等置換でのみ対称性を保つ解の式 $${\alpha,  \beta,  \gamma}$$ を構成することができ、それそのものが３次方程式の解の公式となります。具体的には次のよう①～③を連立して $${\alpha,  \beta,  \gamma}$$ を求めます。すべて加減乗除だけの計算で構成されています。

$$
\begin{align*}
\\
\alpha&=\dfrac{①+②+③}{3}\\
\beta&=\dfrac{①+\omega^2\cdot②+\omega\cdot③}{3}\\
\beta&=\dfrac{①+\omega\cdot②+\omega^2\cdot③}{3}
\end{align*}
$$

具体的には次のようになります。

$$
\begin{align*}
\alpha&=\dfrac{(\overbrace{\alpha+\beta+\gamma}^{{\scriptsize ラグランジュ \atop ・リゾルベント} \atop 0})
+(\overbrace{\alpha+\omega\beta+\omega^2\gamma}^{{\scriptsize ラグランジュ \atop ・リゾルベント} \atop A})
+(\overbrace{\alpha+\omega^2\beta+\omega\gamma}^{{\scriptsize ラグランジュ \atop ・リゾルベント} \atop B})}{3}\\
\beta&=\dfrac{(\alpha+\beta+\gamma)+\omega^2(\alpha+\omega\beta+\omega^2\gamma)+\omega(\alpha+\omega^2\beta+\omega\gamma)}{3}\\
\gamma&=\dfrac{(\alpha+\beta+\gamma)+\omega(\alpha+\omega\beta+\omega^2\gamma)+\omega^2(\alpha+\omega^2\beta+\omega\gamma)}{3}
\end{align*}
$$

これは $${\alpha,  \beta,  \gamma}$$ についての恒等式です。後はこれに (case1) ～ (case3) を代入して $${\alpha,  \beta,  \gamma}$$ が決定します。既に勉強したように、(case1) ～ (case3) のどの組み合わせにおいても同じ結論、次の３次方程式の解の公式が導き出されます。以上が３次方程式の解の公式の導出の流れです（$${\Rightarrow}$$ 証明は本シリーズ (7)）。

＜３次方程式の解の公式＞
　３次方程式 $${ax^3+bx^2+cx+d=0}$$ の解は

$$
{\begin{align*}
x= \begin{cases}
-\dfrac{b}{3a}+\sqrt[3]{
-\dfrac{q}{2}+\sqrt{
\left(\dfrac{q}{2}\right)^{2}+\left(\dfrac{p}{3}\right)^{3}
}}
+\sqrt[3]{
-\dfrac{q}{2}-\sqrt{
\left(\dfrac{q}{2}\right)^{2}+\left(\dfrac{p}{3}\right)^{3}
}}\\
-\dfrac{b}{3 a}+\omega \sqrt[3]{
-\dfrac{q}{2}+\sqrt{
\left(\dfrac{q}{2}\right)^{2}+\left(\dfrac{p}{3}\right)^{3}
}}
+\omega^{2} \sqrt[3]{
-\dfrac{q}{2}-\sqrt{
\left(\dfrac{q}{2}\right)^{2}+\left(\dfrac{p}{3}\right)^{3}
}}\\
-\dfrac{b}{3a}+\omega^{2} \sqrt[3]{
-\dfrac{q}{2}+\sqrt{
 \left(\dfrac{q}{2}\right)^{2}+\left(\dfrac{p}{3}\right)^{3}
}}
+\omega \sqrt[3]{
-\dfrac{q}{2}-\sqrt{
\left(\dfrac{q}{2}\right)^{2}+\left(\dfrac{p}{3}\right)^{3}
}}
\end{cases}
\end{align*}}
$$

ただし

$$
{\begin{align*}
p&=-\frac{1}{3}\left(\frac{b}{a}\right)^{2}+\frac{c}{a}\\
q&=\frac{2}{27}\left(\frac{b}{a}\right)^{3}-\frac{1}{3}\left(\frac{b}{a}\right)\left(\frac{c}{a}\right)+\frac{d}{a}
\end{align*}}
$$

6. ３乗根を取ることによって生じる不定性の利用

　ここで改めて解の公式をみてみます。３乗根 $${\sqrt[3]{\hspace{12pt}}}$$ の前の係数に着目します。すると、ラグランジュ・リゾルベントの３乗 $${A^3,  B^3}$$ の３乗根を取ると、次のように $${1}$$ の３乗根 $${1,  \omega,  \omega^2}$$ が必然的に現れます。
　$${\sqrt[3]{{A}^3}=A,  \omega A,  \omega^2A}$$
　$${\sqrt[3]{{B}^3}=B,  \omega B,  \omega^2B}$$
すると、その $${1,  \omega,  \omega^2}$$ の入れ替えと、３次方程式の解の入れ替えが１対１で対応していることがわかります。
　具体的には、１番上の式は $${1}$$ と $${1}$$ の組み合わせです。 $${1}$$ は表立っては現れていません。２番目は $${\omega}$$ と $${\omega^2}$$ の組み合わせ、３番目は２番目とは逆の $${\omega^2}$$ と $${\omega}$$ の組み合わせになっています（下線部）。

$$
{\begin{align*}
x= \begin{cases}
-\dfrac{b}{3a}+\sqrt[3]{
-\dfrac{q}{2}+\sqrt{
\left(\dfrac{q}{2}\right)^{2}+\left(\dfrac{p}{3}\right)^{3}
}}
+\sqrt[3]{
-\dfrac{q}{2}-\sqrt{
\left(\dfrac{q}{2}\right)^{2}+\left(\dfrac{p}{3}\right)^{3}
}}\\
-\dfrac{b}{3 a}+\underline{\omega} \sqrt[3]{
-\dfrac{q}{2}+\sqrt{
\left(\dfrac{q}{2}\right)^{2}+\left(\dfrac{p}{3}\right)^{3}
}}
+\underline{\omega^{2}} \sqrt[3]{
-\dfrac{q}{2}-\sqrt{
\left(\dfrac{q}{2}\right)^{2}+\left(\dfrac{p}{3}\right)^{3}
}}\\
-\dfrac{b}{3a}+\underline{\omega^{2}} \sqrt[3]{
-\dfrac{q}{2}+\sqrt{
 \left(\dfrac{q}{2}\right)^{2}+\left(\dfrac{p}{3}\right)^{3}
}}
+\underline{\omega} \sqrt[3]{
-\dfrac{q}{2}-\sqrt{
\left(\dfrac{q}{2}\right)^{2}+\left(\dfrac{p}{3}\right)^{3}
}}
\end{cases}
\end{align*}}
$$

２次方程式では、平方根をとることによって生じる不定性を利用する（復習）

　２次方程式の解の公式では、平方根をとることによって必然的に生じる  $${1}$$ の平方恨 $${+1,  -1}$$ の不定性、つまりプラスとマイナスの不定性を利用して $${\alpha,  \beta}$$ の２つの解をプラスマイナスの入れ替えで導き出しました（$${\Rightarrow}$$ 詳しくは本シリーズ (11)）。

$$
\begin{align*}
&\alpha=\dfrac{-b+\sqrt{b^2-4bc}}{2a}\\
\boldsymbol{解の入れ替え}\hspace{2pt}&\hspace{-1pt}\updownarrow\hspace{30pt}\updownarrow\boldsymbol{\pm  の入れ替え}\\
&\beta=\dfrac{-b-\sqrt{b^2-4bc}}{2a}
\end{align*}
$$

それと同じように、３次方程式の解の公式では、３乗根を取ることによって必然的に生じる $${1}$$ の３乗根 $${1,  \omega,  \omega^2}$$ の不定性を利用して、$${\alpha,  \beta.  \gamma}$$ の３つの解を $${1,  \omega,  \omega^2}$$ の入れ替えで導き出したのです。

7. まとめ

　以上まとめとして、３次方程式に解の公式が存在する理由として、２乗恨、３乗根と累乗根の添加によって、最終的にラグランジュ・リゾルベント
　$${A=\alpha+\omega\beta+\omega^2\gamma}$$
　$${B=\alpha+\omega^2\beta+\omega\gamma}$$
が、３次方程式の係数 $${p,  q}$$ とその累乗根を用いて表せたことにあります。
　まずは差積の２乗の平方根
　$${\sqrt{(X_3)^2}=\sqrt{\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2}}$$
の添加、または差積そのもの
　$${X_3=(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)}$$
の添加によって、ラグランジュ・リゾルベントの３乗
　$${A^3=(\alpha+\omega\beta+\omega^2\gamma)^3}$$
　$${B^3=(\alpha+\omega^2\beta+\omega\gamma)^3}$$
を、平方根を用いて次のように表すことができました。

$$
\begin{align*}
(\alpha+\omega\beta+\omega^2\gamma)^3&=27\left\{-\dfrac{q}{2}+\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}\right\}\\
(\alpha+\omega^2\beta+\omega\gamma)^3&=27\left\{-\dfrac{q}{2}-\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}\right\}
\end{align*}
$$

次に３乗根 $${\sqrt[3]{A^3}}$$ の添加、または $${A}$$ の添加によって、ラグランジュ・リゾルベント
　$${A=\alpha+\omega\beta+\omega^2\gamma}$$
　$${B=\alpha+\omega^2\beta+\omega\gamma}$$
を、３乗根を用いて次のように３通りの組み合わせで決定できました。

(case1)

$$
\begin{align*}
\begin{cases}
\alpha+\omega\beta+\omega^2\gamma=3\sqrt[3]{-\dfrac{q}{2}+\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}}\\[8pt]
\alpha+\omega^2\beta+\omega\gamma=3\sqrt[3]{-\dfrac{q}{2}-\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}}
\end{cases}
\end{align*}
$$

(case2)

$$
\begin{align*}
\begin{cases}
\alpha+\omega\beta+\omega^2\gamma=3\omega\sqrt[3]{-\dfrac{q}{2}+\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}}\\[8pt]
\alpha+\omega^2\beta+\omega\gamma=3\omega^2\sqrt[3]{-\dfrac{q}{2}-\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}}
\end{cases}
\end{align*}
$$

(case3)

$$
\begin{align*}
\begin{cases}
\alpha+\omega\beta+\omega^2\gamma=3\omega^2\sqrt[3]{-\dfrac{q}{2}+\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}}\\[8pt]
\alpha+\omega^2\beta+\omega\gamma=3\omega\sqrt[3]{-\dfrac{q}{2}-\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}}
\end{cases}
\end{align*}
$$

ラグランジュ・リゾルベント $${A,  B}$$ を平方根、３乗恨と、次々と累乗根を用いて決定できれば、後はそれらの加減乗除による連立で、解の公式を導き出すことができるのです」

「なるほど、しっかり勉強できてるね」と竹村は何度もうなずいた。もう外は暗くなっていた。暖かいご飯の香りが漂ってきた。
「今日の授業はこれで終わりにしよう。次がいよいよ５次以上の方程式に解の公式が存在しないことの証明だね」
「はい。いよいよ次のゼミではその証明にチャレンジしようと思います。ただ、これまでの２次方程式、３次方程式では解の公式が存在することの証明でした。存在することの証明なので、具体的に式変形で導き出せばいいのです。しかし５次以上の方程式では存在しないことの証明です。存在しないことの証明なので、これまでやってきた対称性や置換といった、構造的な面をもっと掘り下げる必要がありそうです」
「ところで森田君、証明はできているの？」
　森田君は首を傾げて黙り込んだ。
「うーん・・・、実はまだできてません」
　竹村はもう証明しているのかと思っていた。
「３次方程式では、３次置換で対称性を保つ解の差積の２乗を考え、その平方根を取って対称性を保つ置換を３次置換から遇置換まで絞り込み、最終的に恒等置換にまで絞り込んで解の公式を導き出しました。５次方程式に解の公式が存在するとすれば、３次方程式のときと同じように、まず５次置換で対称性を保つ解の差積の２乗を考え、その平方根を取って対称性を保つ置換を５次置換から遇置換まで絞り込み・・・、最終的に対称性を保つ置換を恒等置換にまで絞り込めれば解の公式は存在する、ということになるのですが、５次以上の方程式では解の公式が存在しないことはすでにわかっているので、どこかで必ず破綻するはずなのです。まだ証明できていないので次の授業まで考えてみます」
　竹村はほっとした。このまま一気に証明までいくかと思ったが、流石に難しいであろう。アーベルでさえ２２歳でこの証明を書き上げた。
　竹村は帰路についた。
「次は証明の本丸。いくらなんでも小学５年生には難しいので、次の授業ではうまく誘導してあげよう」
　つまずきそうなところをあらかじめ予習をし、わかりやすい「竹村ゼミ」にしようと、竹村は夜中までやっている図書館へと向かった。

（了）

（注１）
　２乗の平方根をとると、プラスマイナスが現れます。形式的には
　$${\sqrt{x^2}=\pm x}$$
という計算です。例えば中学数学だと
　$${x^2=2}$$ の解は $${x=\pm\sqrt{2}}$$
という場面で現れます。解 $${x}$$ は $${\sqrt{2}}$$ のみではなく、$${\sqrt{2},  -\sqrt{2}}$$ と必然的にプラスマイナス（$${+1}$$ 倍と $${-1}$$ 倍）の２つが現れます。
　この２乗の平方根を取ることによって必然的に生じるプラスマイナスの不定性（プラスかマイナスか決まらない性質）を利用して、プラスマイナスの変換を $${A^3,  B^3}$$ の変換へと１対１で対応させることができました（$${\Rightarrow}$$ 詳しくは本シリーズ (12)）。

$$
\begin{align*}
A^3&=27\left\{-\dfrac{q}{2}+\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}\right\}\\
\boldsymbol{A^3  と  B^3  の入れ替え}\hspace{1pt}\updownarrow\hspace{5pt}&\hspace{50pt}\updownarrow\boldsymbol{\pm  の入れ替え}\\
B^3&=27\left\{-\dfrac{q}{2}-\sqrt{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}\right\}
\end{align*}
$$

（注２）

$$
\begin{align*}
\alpha-\beta=\pm\sqrt{(a_1)^2-4a_2}
\end{align*}
$$

の等式より、$${\alpha-\beta}$$ の添加によって $${\sqrt{(a_1)^2-4a_2}}$$ も自動的に添加され、逆に $${\sqrt{(a_1)^2-4a_2}}$$ の添加によって、それに $${-1}$$ を掛けると $${-\sqrt{(a_1)^2-4a_2}}$$ も構成できるので、$${\sqrt{(a_1)^2-4a_2}}$$ を添加することと $${\alpha-\beta}$$ を添加することは同じになります。

$$
\begin{align*}
&\hspace{22pt}\alpha-\beta  の添加\\
&\longrightarrow \sqrt{(a_1)^2-4a_2}  の添加\\
\\
&\hspace{22pt}\sqrt{(a_1)^2-4a_2}  の添加\\
&\longrightarrow -\sqrt{(a_1)^2-4a_2}  が構成可能\\
&\longrightarrow \alpha-\beta  の添加
\end{align*}
$$

　なお３次方程式の解の公式の証明では、差積の２乗の平方根
　$${\sqrt{(X_3)^2}=\sqrt{\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2}}$$
を添加しましたが、２次方程式の解の公式の証明でも、差積の２乗の平方根
　$${\sqrt{(X_2)^2}=\sqrt{(\alpha-\beta)^2}}$$
を添加することも可能です。
　$${\sqrt{(X_2)^2}=\sqrt{(\alpha-\beta)^2}=\pm(\alpha-\beta)}$$
より

$$
\begin{align*}
&\hspace{22pt}\sqrt{(X_2)^2}  の添加\\
&\longrightarrow \alpha-\beta  の添加\\
\\
&\hspace{22pt}\alpha-\beta  の添加\\
&\longrightarrow -(\alpha-\beta)  が構成可能\\
&\longrightarrow \sqrt{(X_2)^2}  の添加
\end{align*}
$$

がいえるので、$${\sqrt{(X_2)^2}}$$ の添加は $${\alpha-\beta}$$ の添加と同じになるからです。最終的に解の公式が得られさえすれば、添加する式には自由度があります。

（注３）
　３乗の３乗根をとると、$${1,  \omega,  \omega^2}$$ が現れます。形式的には
　$${\sqrt[3]{x^3}=1x,  \omega x,  \omega^2x}$$
という計算です（$${1}$$ は表立っては現れません）。例えば高校数学の範囲ですが
　$${x^3=2}$$ の解は $${x=\sqrt[3]{2},  \omega\sqrt[3]{2},  \omega^2\sqrt[3]{2}}$$
という場面で現れます。解 $${x}$$ は $${\sqrt[3]{2}}$$ のみではなく、$${\sqrt[3]{2},  \omega\sqrt[3]{2},  \omega^2\sqrt[3]{2}}$$ と必然的に $${1}$$ 倍、$${\omega}$$ 倍、$${\omega^2}$$ 倍の３つの解が現れます。なお $${\omega}$$ は $${1}$$ の３乗根、つまり３乗して $${1}$$ になる数のうち $${1}$$ 以外の数、すなわち虚数
　$${\omega=\dfrac{-1+\sqrt{3}i}{2}}$$ または $${\dfrac{-1-\sqrt{3}i}{2}}$$
を表します。
　この３乗の平方根を取ることによって必然的に生じる $${1,  \omega,  \omega^2}$$ の不定性（$${1,  \omega,  \omega^2}$$ の決まらない性質）を利用して、$${1,  \omega,  \omega^2}$$ の組み合わせの変換を、３次方程式の解 $${\alpha,  \beta,  \gamma}$$ の変換へと１対１で対応させることができ、それが３次方程式の解の公式となります。

（コメント）
　本シリーズは、３次方程式の場合と同じアイデアを５次方程式でやろうとすると矛盾が起き、よって５次以上の方程式に解の公式が存在しない、という流れになります。これは「アーベルの証明」（アーベル・ルフィニの定理）で、それを解説してから「群」という新しい概念を用いてより核心に迫った「ガロアの証明」へと続きます。
　ただ今後は図やグラフを多用したいので、図形やグラフが描けるようnote運営部にリクエストしてみようかと思います（図やグラフを描けないと他で作って画像として貼り付けることになるので、かなり面倒です）。座標に任意の数式のグラフが描けるようになればと思います。
　なるべく当時の素朴な知識だけで、現代数学の専門的なことは使わないで書いていきます。とはいえアーベルやガロアの原論文そのものだと、（当時の数学的な道具立てが未整理だったか？）日本語訳をみても非常に分かりにくいので、その急所のアイデアを忠実に守りながらも、高校数学だけで分かるように柔らかく書いていきます。

（参考）
　各テーマの内容
（１）「２次方程式の解の公式」を式変形で導出
　　　・平方完成
（２）「３次方程式の解の公式」を導出するための準備
　　　・$${1}$$ の３乗根 $${\omega}$$
（３）「３次方程式の解の公式」を式変形で導出
　　　・チルンハウス変換
（４）「解と係数の関係」と「対称式」の解説
（５）「対称式」を用いた「２次方程式の解の公式」の導出
（６）「解の置換」と「ラグランジュ・リゾルベント」の解説
（７）「ラグランジュ・リゾルベント」による「３次方程式の解の公式」の導出
（８）「遇置換」と「奇置換」の解説（ここから「アーベルの証明」の準備）
（９）「差積の２乗」が対称式となることを解説
（10）「平方根」「３乗根」と次々と累乗根を加えていくアイデア
（11）「アーベルの証明」のアイデアを用いて、なぜ「２次方程式の解の公式が存在するのか」を解説（添加する式について加筆予定）
（12）「アーベルの証明」のアイデアを用いて、なぜ「３次方程式の解の公式が存在するのか」を解説（前編）。「差積の２乗の平方根」を用いて対称性を保つ置換を「遇置換」にまで絞り込む。
（13）「アーベルの証明」のアイデアを用いて、なぜ「３次方程式の解の公式が存在するのか」を解説（後編）。「ラグランジュ・リゾルベント」を用いて対称性を保つ置換を「恒等置換」にまで絞り込む。$${\longrightarrow}$$ ３次方程式の解の公式の完成