『差積』と平方根を結ぶ等式の証明

　竹村先生が部屋に入ると、小学５年生の森田君はホワイトボードの前に立っていた。
「先生、今回は僕がわかったことを説明します」
　竹村は机に座った。生徒と先生が逆になった違和感をなんとなく覚え、竹村の家庭教師が始まった。森田君はさっそくホワイトボードに書き始める。
「まずは前回までの授業を簡単に眺めてみます。３次方程式の解の公式は、次のように与えられました。

$$
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}{3 a}+\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}
$$

ただし

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

なお、$${a,  b,  c,  d}$$ は３次方程式 $${ax^3+bx^2+cx+d=0}$$ の係数、$${p,  q}$$ はチルンハウス変換をした３次方程式 $${y^3+py+q=0}$$ の係数、$${\alpha,  \beta,  \gamma}$$ は３次方程式 $${y^3+py+q=0}$$ の解となります。その解 $${\alpha,  \beta,  \gamma}$$ で表したラグランジュ・リゾルベント

$$
\begin{align*}
&\alpha+\beta+\gamma\\
&\alpha+\omega\beta+\omega^2\gamma\\
&\alpha+\omega^2\beta+\omega\gamma\\
\end{align*}
$$

を用いて３次方程式の解の公式を導くにあたり、次の恒等式からスタートしました。恒等式とは恒つねに成り立つ式のことです。

$$
\begin{align*}
\alpha&=\dfrac{(\overbrace{\alpha+\beta+\gamma}^{ラグランジュ \atop ・リゾルベント})
+(\overbrace{\alpha+\omega\beta+\omega^2\gamma}^{ラグランジュ \atop ・リゾルベント})
+(\overbrace{\alpha+\omega^2\beta+\omega\gamma}^{ラグランジュ \atop ・リゾルベント})}{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}$$ は、解と係数の関係より直ちに $${0}$$ でした。

３次方程式の解と係数の関係（復習）

　３次方程式 $${ax^3+bx^2+cx+d=0}$$ の３つの解を $${\alpha,  \beta,  \gamma}$$ とすると

$$
\begin{alignat*}{2}
\alpha+\beta+\gamma&= & - &\dfrac{b}{a}\\　
\alpha\beta+\beta\gamma+\gamma\alpha&= & &\dfrac{c}{a}\\
\alpha\beta\gamma&= & -&\dfrac{d}{a}
\end{alignat*}
$$

これを３次方程式 $${y^{3}+py+q=0}$$ に適用すると、
　$${a=1,  b=0,  c=p,  d=q}$$
となるので

$$
\begin{alignat*}{2}
\alpha+\beta+\gamma&= & - &\dfrac{0}{1}\\　
\alpha\beta+\beta\gamma+\gamma\alpha&= & &\dfrac{p}{1}\\
\alpha\beta\gamma&= & -&\dfrac{q}{1}
\end{alignat*}
$$

より

$$
\begin{alignat*}{2}
\alpha+\beta+\gamma&= & &0\\　
\alpha\beta+\beta\gamma+\gamma\alpha&= & &p\\
\alpha\beta\gamma&= & -&q
\end{alignat*}
$$

特に $${y^2}$$の係数が $${0}$$ なので  $${\alpha+\beta+\gamma=0}$$ となります。よって次の課題は

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

と置いて、この $${A,  B}$$ を３次方程式 $${y^3+py+q=0}$$ の係数 $${p,  q}$$ を用いて表すことです。 $${A,  B}$$ が求まれば、それを先ほどの恒等式に代入すれば $${\alpha,  \beta,  \gamma}$$ が $${p,  q}$$ を用いて求まり、それが解の公式へとつながっていきます。

$$
\begin{align*}
\alpha&=\dfrac{(\overbrace{\alpha+\beta+\gamma}^{0})
+(\overbrace{\alpha+\omega\beta+\omega^2\gamma}^{A})
+(\overbrace{\alpha+\omega^2\beta+\omega\gamma}^{B})}{3}\\[5pt]
\beta&=\dfrac{(\overbrace{\alpha+\beta+\gamma}^{0})
+\omega^2(\overbrace{\alpha+\omega\beta+\omega^2\gamma}^{A})
+\omega(\overbrace{\alpha+\omega^2\beta+\omega\gamma}^{B})}{3}\\[5pt]
\gamma&=\dfrac{(\overbrace{\alpha+\beta+\gamma}^{0})
+\omega(\overbrace{\alpha+\omega\beta+\omega^2\gamma}^{A})
+\omega^2(\overbrace{\alpha+\omega^2\beta+\omega\gamma}^{B})}{3}
\end{align*}
$$

そこで、ラグランジュ・リゾルベント $${A,  B}$$ は以下のように求めました。

ラグランジュ・リゾルベントをどう求めたか？（本シリーズ (7) の復習）

　まずは $${A,  B}$$ の $${3}$$ 乗 $${A^3,  B^3}$$ を求めます。それには $${A^3,  B^3}$$ を解にもつ $${X}$$ についての２次方程式

$$
(X-A^3)(X-B^3)=0
$$

を考えました。これを解くと $${X-A^3=0,  X-B^3=0}$$ より $${X=A^3,  B^3}$$ となるので、確かにこの方程式は $${A^3,  B^3}$$ を解にもちます。そこでこの
　$${(X-A^3)(X-B^3)=0}$$
を、以下のように分配法則で展開すれば

$$
\begin{align*}
(\underline{X-A^3})(X-B^3)&=0\\
(\underline{X-A^3})X-(\underline{X-A^3})B^3&=0\\
(X-A^3)X-(B^3X-A^3B^3)&=0\\
X^2-A^3X-B^3X+A^3B^3&=0\\
X^2-(A^3+B^3)X+A^3B^3&=0
\end{align*}
$$

となります。ただしこの展開式は、$${(x-a)(x-b)}$$ を展開して得られる展開公式

$$
\begin{align*}
(x-a)(x-b)&=(x-a)x-(x-a)b\\
&=(x^2-ax)-(bx-ab)\\
&=x^2-ax-bx+ab\\
&=x^2-(ax+bx)+ab\\
&=x^2-(a+b)x+ab\\
\end{align*}
$$

より

$$
\begin{align*}
(x-a)(x-b)=x^2-\underset{a,  b  の和}{(\underline{a+b}})x
+\hspace{-9pt}\underset{a,  b  の積}{\underline{ab}}
\end{align*}
$$

となることを利用して

$$
\begin{align*}
(X-A^3)(X-B^3)&=0\\
X^2-(\hspace{-4pt}\underset{A^3  と  B^3  の和}{\underline{A^3+B^3}}\hspace{-4pt})X
+\hspace{-10pt}\underset{A^3  と  B^3  の積}{\underline{A^3B^3}}\hspace{-10pt}&=0
\end{align*}
$$

と展開すると簡単です。ここで、$${A^3+B^3,  AB}$$ が対称式であることを利用して求めた

$$
\begin{align*}
A^3+B^3&=-27q\\
AB&=-3p
\end{align*}
$$

さらに下の式の両辺を $${3}$$ 乗した

$$
\begin{align*}
A^3+B^3&=-27q\\
A^3B^3&=-27p^3
\end{align*}
$$

を $${X^2-(A^3+B^3)X+A^3B^3=0}$$ に代入して

$$
X^2-(-27q)X-27p^3=0
$$

より

$$
X^2+27qX-27p^3=0
$$

となり、これで $${X}$$ についての２次方程式が得られます。これを２次方程式の解の公式

を用いて解くことによって、$${X}$$ は

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

と求まります。もともと $${X}$$ は $${(X-A^3)(X-B^3)=0}$$ の解であったので、この $${X}$$ が $${A^3}$$ または $${B^3}$$ となります。ここで、$${\pm}$$ のプラスの方を $${A^3}$$、マイナスの方を $${B^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*}
$$

同じ議論になるので、$${A^3}$$ と $${B^3}$$ は逆に置いても問題ありません。ここで $${A,  B}$$ は、積が $${AB=-3p}$$ と同じ値  $${-3p}$$ となる組み合わせとなるので

$$
\begin{align*}
&\begin{cases}
A=3\sqrt[3]{-\dfrac{q}{2}+\sqrt{\left(\dfrac{q}{2}\right)^2-\left(\dfrac{p}{3}\right)^3}}\\
B=3\sqrt[3]{-\dfrac{q}{2}-\sqrt{\left(\dfrac{q}{2}\right)^2-\left(\dfrac{p}{3}\right)^3}}
\end{cases}\\
\\
&\begin{cases}
A=3\omega\sqrt[3]{-\dfrac{q}{2}+\sqrt{\left(\dfrac{q}{2}\right)^2-\left(\dfrac{p}{3}\right)^3}}\\
B=3\omega^2\sqrt[3]{-\dfrac{q}{2}-\sqrt{\left(\dfrac{q}{2}\right)^2-\left(\dfrac{p}{3}\right)^3}}
\end{cases}\\
\\
&\begin{cases}
A=3\omega^2\sqrt[3]{-\dfrac{q}{2}+\sqrt{\left(\dfrac{q}{2}\right)^2-\left(\dfrac{p}{3}\right)^3}}\\
B=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}$$ の組み合わせを決定することができました。どの組み合わせでも、$${A,  B}$$ を掛けると $${AB=-3p}$$ となることが確認できます。そしてどの組み合わせでも、最初に述べた３次方程式の解の公式を正しく導くことができます。ここで、５字以上の方程式に解の公式が存在しないことを証明するため、より一般的な視点で３次方程式の解の公式を掘り下げてみます。それには ２次方程式では $${\alpha-\beta}$$、３次方程式ではその拡張としての
　$${(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)}$$
が鍵となってきます」
　その $${(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)}$$ は前回の授業の最後で森田君がちらっと指摘した式。いきなり核心をついてきたので竹村は驚いた。
「あれ森田君、もう証明まで目途がたったの？」
「たってません。とりあえず分かったところまで話してみます」
　竹村は少しほっとした。
「まず、先ほどの式

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

を以下のように変形していきます。これは解の公式の導出では表立っては現れなかった変形ですが、式の構造を知る上で分かりやすいかと思います」
　自分の予習とはまったく違う展開に、竹村は思わず身を乗り出した。そんな竹村をよそ目に森田君は続ける。
「まず両辺を $${27}$$ で割って

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

$${\dfrac{q}{2}}$$ を左辺に移項して

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

ここで両辺を $${2}$$ 乗すると

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

この式を $${(*1)}$$ とします。すると、どちらの右辺にも現れる

$$
\begin{align*}
\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3
\end{align*}
$$

は、３次方程式の解の公式の平方根 $${\sqrt{  　}}$$ の中にあった式、次の $${\underbrace{　　}}$$ に当たる部分です。

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

この $${\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}$$ を、３次方程式 $${x^3+px+q=0}$$ の３つの解 $${\alpha,  \beta,  \gamma}$$ で表すことを考えてみます。
　そこで、そのためのヒントとして２次方程式を考えます。２次方程式の解の公式の平方根の中身は、２次方程式の解 $${\alpha,  \beta}$$ を用いてどのように表せるでしょうか。

２次方程式の場合は

　まず２次方程式 $${ax^2+bx+c=0}$$ の解の公式

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

を少し変形して

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

と変形したときの平方根の中身

$$
\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}
$$

が、２次方程式 $${ax^2+bx+c=0}$$ の解と係数の関係

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

を用いて

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

と対称式 $${(\alpha-\beta)^2}$$ で表せることは既に習いました。$${\alpha-\beta}$$ は対称式ではありませんが、その $${2}$$ 乗 $${(\alpha-\beta)^2}$$ は対称式です。対称式なので

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

２次方程式 $${ax^2+bx+c=0}$$ の係数で表すことができ、その平方根 $${\sqrt{\left(\dfrac{b}{a}\right)^2-4\cdot\dfrac{c}{a}}}$$ を用いることによって、２次方程式の解の公式を

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

と実現させたのです。そこで３次方程式の場合、２次方程式の拡張として
　$${(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)}$$
を考えてみました。後で証明しますが、この式自体は対称式ではないですが、その $${2}$$ 乗
　$${\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2}$$
は対称式です。これは、ちょうど２次方程式の拡張として捉えることができます。$${\alpha-\beta}$$ は対称式ではありませんが、その 2 乗 $${(\alpha-\beta)^2}$$ は対称式であり、$${(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)}$$ は対称式ではありませんが、その $${2}$$ 乗 $${\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2}$$ は対称式です。上記の２次方程式の解の公式

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

の平方根の中身が対称式 $${(\alpha-\beta)^2}$$ で表せたように、３次方程式の解の公式の平方根の中身 $${\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}$$ も対称式
　$${\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2}$$
で表せると予想し、計算したら次のように表すことができました。

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

この式を $${(*2)}$$ とし、以下これを証明していきます」
「森田君、それどこかで習った？」
「自分で考えました」
　森田君ははっきりと答えた。竹村は補足を入れた。

平方根の中身を差積で表せることの証明

「少し補足しておくけど、この
　$${(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)}$$
を『差積』というよ。異なる文字のペアを引いて、それらをすべて掛け合わせたもの。つまり”差の積”となるので『差積』というんだね。今考えている
　$${(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)}$$
は、３次方程式 $${y^3+py+q=0}$$ の３つの解の差積。２次方程式でもやった
　$${\alpha-\beta}$$
は２つの解の差積と考えることもできる。森田君の言う通り
　$${(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)}$$
は、『差積』という意味で $${\alpha-\beta}$$ の拡張になっているんだね。差積という言葉は知っていた？」
「なるほど”差の積”で『差積』、初めて聞きました」
　本当に自分で考えたのか半信半疑だった竹村は、森田君が自分で考えたことを確信した。森田君は続ける。
「では $${\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}$$ が３つの解の差積で表されること、具体的には

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

と表されること証明していきます。まず右辺の $${\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2}$$ から変形していきます。右辺を計算して左辺を導くねらいです。まずは次のように、一重線部、二重線部、波線部のカッコを入れ替えて、展開する組み合わせを変えていきます。

$$
\begin{align*}
&\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2\\
=\,&(\alpha-\beta)^{2}\cdot(\beta-\gamma)^2\cdot(\gamma-\alpha)^2\\
=\,&(\alpha-\beta)(\underline{\alpha-\beta})
\cdot(\beta-\gamma)(\underline{\underline{\beta-\gamma}})
\cdot(\gamma-\alpha)(\utilde{\gamma-\alpha})\\
=\,&(\alpha-\beta)(\utilde{\gamma-\alpha})
\cdot(\beta-\gamma)(\underline{\alpha-\beta})
\cdot(\gamma-\alpha)(\underline{\underline{\beta-\gamma}})\\
=\,&(\alpha-\beta)(-\alpha+\gamma)\cdot(\beta-\gamma)(-\beta+\alpha)\cdot(\gamma-\alpha)(-\gamma+\beta)\\
=\,&(\alpha-\beta)\{-(\alpha-\gamma)\}\cdot(\beta-\gamma)\{-(\beta-\alpha)\}\cdot(\gamma-\alpha)\{-(\gamma-\beta)\}\\
=\,&\{-(\alpha-\beta)(\alpha-\gamma)\}\cdot\{-(\beta-\gamma)(\beta-\alpha)\}\cdot\{-(\gamma-\alpha)(\gamma-\beta)\}\\
=\,&(-1)^3(\alpha-\beta)(\alpha-\gamma)\cdot(\beta-\gamma)(\beta-\alpha)\cdot(\gamma-\alpha)(\gamma-\beta)\\
=\,&-(\alpha-\beta)(\alpha-\gamma)\cdot(\beta-\gamma)(\beta-\alpha)\cdot(\gamma-\alpha)(\gamma-\beta)
\end{align*}
$$

より

$$
\begin{align*}
&\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2\\
=&-\underline{(\alpha-\beta)(\alpha-\gamma)}\cdot\underline{(\beta-\gamma)(\beta-\alpha)}\cdot\underline{(\gamma-\alpha)(\gamma-\beta)}   \cdots(*3)
\end{align*}
$$

これを $${(*3)}$$ とし、これからこの式を計算していきます。最初の下線部 (　　)(　　) は $${\alpha}$$ が先頭、２つ目は $${\beta}$$ が先頭、３つ目は $${\gamma}$$ が先頭と整理したので、先に証明した展開公式

$$
\begin{align*}
(x-a)(x-b)=x^2-\underset{a,  b  の和}{(\underline{a+b}})x
+\hspace{-9pt}\underset{a,  b  の積}{\underline{ab}}
\end{align*}
$$

を利用して、以下のように展開できます。

$$
\begin{align*}
&\,\,(x-a)(x-b)\,=\,x^2-(a\,+\,b)x+ab\\
&\hspace{4pt}\downarrow\hspace{14pt}\downarrow\hspace{8pt}\downarrow
\hspace{13pt}\downarrow\hspace{20pt}\downarrow\hspace{21pt}\downarrow\hspace{14pt}\downarrow\hspace{23pt}\downarrow\hspace{0pt}\downarrow\\
&\begin{rcases}
(\alpha-\beta)(\alpha-\gamma)=\alpha^{2}-(\beta+\gamma)\alpha+\beta \gamma\\
(\beta-\gamma)(\beta-\alpha)=\alpha^{2}-(\gamma+\alpha)\beta+\gamma \alpha\\
(\gamma-\alpha)(\gamma-\beta)=\gamma^{2}-(\alpha+\beta)\gamma+\alpha\beta
\end{rcases}  \cdots(*4)
\end{align*}
$$

これらすべてを $${(*4)}$$ とします。 ここで、$${y^3+py+q=0}$$ の解を $${\alpha,  \beta,  \gamma}$$ としたときの３次方程式の解と係数の関係

$$
\begin{align*}
\alpha+\beta+\gamma&=0\\
\alpha\beta+\beta\gamma+\gamma\alpha&=p\\
\alpha\beta\gamma&=q
\end{align*}
$$

の２つ目の式 $${\alpha\beta+\beta\gamma+\gamma\alpha=p}$$ について、$${\beta\gamma,  \gamma\alpha,  \alpha\beta}$$ について解くと

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

これらを先ほどの $${(*4)}$$ 式

$$
\begin{rcases}
(\alpha-\beta)(\alpha-\gamma)=\alpha^{2}-(\beta+\gamma)\alpha+\underline{\beta\gamma}\\
(\beta-\gamma)(\beta-\alpha)=\alpha^{2}-(\gamma+\alpha)\beta+\underline{\gamma\alpha}\\
(\gamma-\alpha)(\gamma-\beta)=\gamma^{2}-(\alpha+\beta)\gamma+\underline{\alpha\beta}
\end{rcases}  \cdots(*4)
$$

の下線部に代入して

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

より

$$
\begin{rcases}
(\alpha-\beta)(\alpha-\gamma)=\alpha^2-2(\beta+\gamma)\alpha+p\\
(\beta-\gamma)(\beta-\alpha)=\beta^2-2(\gamma+\alpha)\beta+p\\
(\gamma-\alpha)(\gamma-\beta)=\gamma^2-2(\alpha+\beta)\gamma+p\\
\end{rcases}  \cdots(*5)
$$

これらすべてを $${(*5)}$$ とします。ここで、再び３次方程式の解と係数の関係

$$
\begin{align*}
\alpha+\beta+\gamma&=0\\
\alpha\beta+\beta\gamma+\gamma\alpha&=p\\
\alpha\beta\gamma&=q
\end{align*}
$$

について、今度は１つ目の式 $${\alpha+\beta+\gamma=0}$$ より

$$
\begin{align*}
\beta+\gamma&=-\alpha\\
\gamma+\alpha&=-\beta\\
\alpha+\beta&=-\gamma
\end{align*}
$$

これらを $${(*5)}$$ 式

$$
\begin{rcases}
(\alpha-\beta)(\alpha-\gamma)=\alpha^{2}-2(\underline{\beta+\gamma})\alpha+p\\
(\beta-\gamma)(\beta-\alpha)=\beta^{2}-2(\underline{\gamma+\alpha})\beta+p\\
(\gamma-\alpha)(\gamma-\beta)
=\gamma^{2}-2(\underline{\alpha+\beta})\gamma+p\\
\end{rcases}  \cdots(*5)
$$

の下線部に代入して

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

より

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

これらを $${(*3)}$$ 式

$$
\begin{align*}
&\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2\\
=&-\underline{(\alpha-\beta)(\alpha-\gamma)}\cdot\underline{(\beta-\gamma)(\beta-\alpha)}
\cdot\underline{(\gamma-\alpha)(\gamma-\beta)}  \cdots(*3)
\end{align*}
$$

の下線部にそれぞれ代入して

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

より

$$
\begin{align*}
&\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^{2}\\
=&-(p+3\alpha^{2})(p+3\beta^{2})(p+3\gamma^{2})  \cdots(*6)
\end{align*}
$$

ここで、この式の右辺部分の

$$
\begin{align*}
(p+3\alpha^{2})(p+3\beta^{2})(p+3\gamma^{2})
\end{align*}
$$

を展開するにあたっては、$${(x+a)(x+b)(x+c)}$$ の展開

$$
\begin{align*}
&(x+a)(x+b)(x+c)\\
=\,&\{\underline{x^2+(a+b)x+ab}\}(x+c)\\
=\,&\{\underline{x^2+(a+b)x+ab}\}x+\{\underline{x^2+(a+b)x+ab}\}c\\
=\,&x^3+(a+b)x^2+abx+cx^2+(a+b)cx+abc\\
=\,&x^3+(a+b)x^2+abx+cx^2+(ca+bc)x+abc\\
=\,&x^3+(a+b)x^2+cx^2+abx+(bc+ca)x+abc\\
=\,&x^3+(a+b+c)x^2+(ab+bc+ca)x+abc
\end{align*}
$$

によって証明される次の展開公式

$$
\begin{align*}
&(x+a)(x+b)(x+c)\\
=\,&x^3+(a+b+c)x^2+(ab+bc+ca)x+abc
\end{align*}
$$

を利用するのが便利です。係数と定数項部分が「３変数の基本対称式」になっています。この公式を
　$${x=p,   a=3\alpha^2,   b=3\beta^2,  c=3\gamma^2}$$
として適用すると

$$
\begin{align*}
&(\underset{\downarrow \atop p}{x}\hspace{0pt}
+\hspace{-1pt}\underset{\downarrow \atop 3\alpha^2}{a}\hspace{-2pt})
(\underset{\downarrow \atop p}{x}\hspace{0pt}
+\hspace{-1pt}\underset{\downarrow \atop 3\beta^2}{b}\hspace{-2pt})
(\underset{\downarrow \atop p}{x}\hspace{0pt}
+\hspace{-1pt}\underset{\downarrow \atop 3\gamma^2}{c}\hspace{-2pt})\\
=\,&\underset{\downarrow \atop p^3}{x^3}
+(\hspace{-2pt}\underset{\downarrow \atop 3\alpha^2}{a}\hspace{-2pt}
+\hspace{-2pt}\underset{\downarrow \atop 3\beta^2}{b}\hspace{-2pt}
+\hspace{-2pt}\underset{\downarrow \atop 3\gamma^2}{c}\hspace{-2pt})\underset{\downarrow \atop p^2}{x^2}
+(\hspace{-2pt}\underset{\downarrow \atop 3\alpha^2}{a}\hspace{-2pt}\underset{\downarrow \atop 3\beta^2}{b}\hspace{-2pt}
+\hspace{-2pt}\underset{\downarrow \atop 3\beta^2}{b}\hspace{-2pt}\underset{\downarrow \atop 3\gamma^2}{c}\hspace{-2pt}
+\hspace{-2pt}\underset{\downarrow \atop 3\gamma^2}{c}\hspace{-2pt}\underset{\downarrow \atop 3\alpha^2}{a}\hspace{-2pt})\underset{\downarrow \atop p}{x}
+\hspace{-2pt}\underset{\downarrow \atop 3\alpha^2}{a}\hspace{-2pt}\underset{\downarrow \atop 3\beta^2}{b}\hspace{-2pt}\underset{\downarrow \atop 3\gamma^2}{c}
\end{align*}
$$

より

$$
\begin{align*}
&(p+3\alpha^2)(p+3\beta^2)(p+3\gamma^2)\\
=\,&p^3+(3\alpha^2+3\beta^2+3\gamma^2)p^2\\
&\hspace{9pt}+\left(3\alpha^2\cdot3\beta^2+3\beta^2\cdot3\gamma^2+3\gamma^2 \cdot3\alpha^2\right)p+3\alpha^3\cdot3\beta^2\cdot3\gamma^2\\
=\,&p^3+(3\alpha^2+3\beta^2+3\gamma^2)p^2\\
&\hspace{9pt}+\left(9\alpha^2\beta^2+9\beta^2\gamma^2+9\gamma^2 \alpha^2\right) p+27\alpha^2\beta^2\gamma^2\\
=\,&p^3+3(\alpha^2+\beta^2+\gamma^2)p^2\\
&\hspace{9pt}+9\left(\alpha^2\beta^2+\beta^2\gamma^2+\gamma^2 \alpha^2\right) p+27\alpha^2\beta^2\gamma^2
\end{align*}
$$

より

$$
\begin{align*}
&(p+3\alpha^2)(p+3\beta^2)(p+3\gamma^2)\\
=\,&p^3+3(\alpha^2+\beta^2+\gamma^2)p^2\\
&\hspace{9pt}+9\left(\alpha^2\beta^2+\beta^2\gamma^2+\gamma^2 \alpha^2\right) p+27\alpha^2\beta^2\gamma^2  \cdots(*7)
\end{align*}
$$

この式を $${(*7)}$$ とします。これを $${p}$$ についての方程式と見たときの係数と定数項部分

$$
\begin{align*}
&\alpha^2+\beta^2+\gamma^2\\
&\alpha^2\beta^2+\beta^2\gamma^2+\gamma^2\alpha^2\\
&\alpha^2\beta^2\gamma^2
\end{align*}
$$

はすべて、$${\alpha,  \beta,  \gamma}$$ をどのように入れ替えても変化しないので対称式。対称式なので、３変数の基本対称式

$$
\begin{align*}
&\alpha+\beta+\gamma\\
&\alpha\beta+\beta\gamma+\gamma\alpha\\
&\alpha\beta\gamma
\end{align*}
$$

の加減乗除で表せます。
　まず $${x^2}$$ の係数 $${\alpha^2+\beta^2+\gamma^2}$$ については、つぎの展開公式を用います。

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

この公式の両辺を入れ替えて

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

$${2\alpha\beta+2\beta\alpha+2\beta\gamma}$$ を左辺に移項すれば

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

となり、基本対称式の加減乗除で表せます。続いて $${x}$$ の係数 $${\alpha^2\beta^2+\beta^2\gamma^2+\gamma^2\alpha^2}$$ ですが、これは先ほど求めた

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

について、$${\alpha}$$ を $${\alpha\beta}$$ に、$${\beta}$$ を $${\beta\gamma}$$ に、$${\gamma}$$ を $${\gamma\alpha}$$ に書き換えればいいでしょう。代入ではなくただの”書き換え”です。具体的には

$$
\begin{align*}
{\underset{\large \downarrow \atop \alpha\beta}{\alpha^2}}
\hspace{-1pt}+\hspace{-2pt}{\underset{\large \downarrow \atop \beta\gamma}{\beta^2}}
\hspace{-1pt}+\hspace{-2pt}{\underset{\large \downarrow \atop \gamma\alpha}{\gamma^2}}
=(\hspace{-3pt}\underset{\large \downarrow \atop \alpha\beta}{\alpha}
\hspace{-2pt}\hspace{-1pt}+\hspace{-1pt}\hspace{-2pt}\underset{\large \downarrow \atop \beta\gamma}{\beta}
\hspace{-3pt}+\hspace{-3pt}\underset{\large \downarrow \atop \gamma\alpha}{\gamma}\hspace{-3pt})^2
-2(\hspace{-3pt}\underset{\large \downarrow \atop \alpha\beta}{\alpha}
\hspace{-3pt}\underset{\large \downarrow \atop \beta\gamma}{\beta}
\hspace{-3pt}+\hspace{-3pt}\underset{\large \downarrow \atop \beta\gamma}{\beta}
\hspace{-3pt}\underset{\large \downarrow \atop \gamma\alpha}{\gamma}
\hspace{-3pt}+\hspace{-3pt}\underset{\large \downarrow \atop \gamma\alpha}{\gamma}
\hspace{-3pt}\underset{\large \downarrow \atop \alpha\beta}{\alpha}\hspace{-3pt})
\end{align*}
$$

と書き換えて

$$
\begin{align*}
&\alpha^2\beta^2+\beta^2\gamma^2+\gamma^2\alpha^2\\
=\,&(\alpha\beta+\beta\gamma+\gamma\alpha)^2-2(\alpha\beta\cdot\beta\gamma+\beta\gamma\cdot\gamma\alpha+\gamma\alpha\cdot\alpha\beta)\\
=\,&(\alpha\beta+\beta\gamma+\gamma\alpha)^2-2(\alpha\beta^2\gamma+\beta\gamma^2\alpha+\gamma\alpha^2\beta)\\
=\,&(\alpha\beta+\beta\gamma+\gamma\alpha)^2-2\alpha\beta\gamma(\beta+\gamma+\alpha)\\
=\,&(\underbrace{\alpha\beta+\beta\gamma+\gamma\alpha}_{基本対称式})^2
-2\hspace{-5pt}\underbrace{\alpha\beta\gamma}_{基本対称式}\hspace{-5pt}(\underbrace{\alpha+\beta+\gamma}_{基本対称式})
\end{align*}
$$

最後、定数項 $${\alpha^2\beta^2\gamma^2}$$ は簡単で

$$
\begin{align*}
\alpha^2\beta^2\gamma^2
=(\hspace{-8pt}\underbrace{\alpha\beta\gamma}_{基本対称式}\hspace{-8pt})^2
\end{align*}
$$

以上をまとめると

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

これに、$${y^3+py+q=0}$$ の解を $${\alpha,  \beta,  \gamma}$$ としたときの解と係数の関係

$$
\begin{alignat*}{2}
\alpha+\beta+\gamma&= & &0\\　
\alpha\beta+\beta\gamma+\gamma\alpha&= & &p\\
\alpha\beta\gamma&= & -&q
\end{alignat*}
$$

を代入すると

$$
\begin{align*}
\alpha^2+\beta^2+\gamma^2
&=(\alpha+\beta+\gamma)^2-2(\alpha\beta+\beta\alpha+\beta\gamma)\\
&=0^2-2\cdot p\\
&=-2p\\
\alpha^2\beta^2+\beta^2\gamma^2+\gamma^2\alpha^2
&=(\alpha\beta+\beta\gamma+\gamma\alpha)^2-\alpha\beta\gamma(\alpha+\beta+\gamma)\\
&=p^2-(-p)\cdot0\\
&=p^2\\
\alpha^2\beta^2\gamma^2&=(\alpha\beta\gamma)^2\\
&=(-q)^2\\
&=q^2
\end{align*}
$$

これらを $${(*7)}$$ 式

$$
\begin{align*}
&(p+3\alpha^2)(p+3\beta^2)(p+3\gamma^2)\\
=\,&p^3+3(\underline{\alpha^2+\beta^2+\gamma^2})p^2\\
&\hspace{9pt}+9(\underline{\alpha^2\beta^2+\beta^2\gamma^2+\gamma^2 \alpha^2}) p+27\underline{\alpha^2\beta^2\gamma^2}  \cdots (*7)
\end{align*}
$$

の下線部に代入して

$$
\begin{align*}
&(p+3\alpha^2)(p+3\beta^2)(p+3\gamma^2)\\
=\,&p^3+3(\underline{\alpha^2+\beta^2+\gamma^2})p^2\\
&\hspace{9pt}+9(\underline{\alpha^2\beta^2+\beta^2\gamma^2+\gamma^2\alpha^2}) p+27\underline{\alpha^2\beta^2\gamma^2}\\
=\,&p^3+3(-2p)p^2+9\left(p^2\right) p+27\cdot q^2\\
=\,&p^3-6p^3+9p^3+27q^2\\
=\,&-5p^3+9p^3+27q^2\\
=\,&4p^3+27q^2
\end{align*}
$$

より

$$
\begin{align*}
(p+3\alpha^2)(p+3\beta^2)(p+3\gamma^2)=\,&4p^3+27q^2  \cdots(*8)
\end{align*}
$$

すると $${(*6)}$$ 式

$$
\begin{align*}
&\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^{2}\\
=&-(p+3\alpha^{2})(p+3\beta^{2})(p+3\gamma^{2})  \cdots(*6)
\end{align*}
$$

の $${(p+3\alpha^2)(p+3\beta^2)(p+3\gamma^2)}$$ 部分に $${(*8)}$$ を代入して

$$
\begin{align*}
&\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2\\
=&-(p+3\alpha^2)(p+3\beta^2)(p+3\gamma^2)\\
=\,&-(4p^3+27q^2)\\
=&-\left(4\cdot27\cdot\dfrac{p^3}{27}+27\cdot4\cdot\dfrac{q^2}{4}\right)\\
=&-4\cdot27\left(\dfrac{p^3}{27}+\dfrac{q^2}{4}\right)\\
=&-4\cdot27\left(\dfrac{p^3}{3^3}+\dfrac{q^2}{2^2}\right)\\
=&-4\cdot27\left\{\left(\dfrac{p}{3}\right)^3+\left(\dfrac{q}{2}\right)^2\right\}\\
=&-4\cdot27\left\{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3\right\}
\end{align*}
$$

よって

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

ここで両辺を入れ替えて

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

両辺を $${-4\cdot27}$$ で割ると

$$
\begin{align*}
\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3
=-\dfrac{1}{4\cdot27}\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2  \cdots(*2)
\end{align*}
$$

これで $${\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}$$ を、差積の $${2}$$ 乗 $${\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2}$$ で表すことができ、先に述べた $${(*2)}$$ 式を証明することができました。これを最初に導いた $${(*1)}$$ 式

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

に代入すると

$$
\begin{align*}
\left(\dfrac{A^3}{27}+\dfrac{q}{2}\right)^2&=-\dfrac{1}{4\cdot27}\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2\\
\left(\dfrac{B^3}{27}+\dfrac{q}{2}\right)^2&=-\dfrac{1}{4\cdot27}\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2
\end{align*}
$$

となります。すると
　$${\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2}$$
は対称式なので、それに $${-\dfrac{1}{4\cdot27}}$$ をかけた
　$${-\dfrac{1}{4\cdot27}\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2}$$
も対称式となります。対称式に $${-\dfrac{1}{4\cdot27}}$$ を掛けても、$${\alpha,  \beta,  \gamma}$$ の関係は変わらないからです。
　$${-\dfrac{1}{4\cdot27}\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2}$$
は対称式なので、３次方程式の $${y^3+py+q=0}$$ の係数 $${p,  q}$$ の加減乗除を用いて表せます。そうして得られたのが、最初に導いた $${(*1)}$$ 式

$$
\begin{rcases}
\begin{align*}
\left(\dfrac{A^3}{27}+\dfrac{q}{2}\right)^2&
=\underset{p,  q  の加減乗除}{\underline{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}}\\
\left(\dfrac{B^3}{27}+\dfrac{q}{2}\right)^2&
=\underset{p,  q  の加減乗除}{\underline{\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}}
\end{align*}
\end{rcases}
  \cdots(*1)
$$

ということです。これを解いていけば、$${A^3,  B^3}$$ が $${p,  q}$$ を用いて求まり、やがて $${A,  B}$$ も $${p,  q}$$ を用いて求まり、３次方程式の解の公式が導かれます。では次に、先ほど証明抜きで述べた「３つの解の差積
　$${(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)}$$
は対称式ではないが、それを２乗した
　$${\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2}$$
は対称式になる」ことを証明したいと思います。これは２次方程式の解の公式を導くときにやった「２変数の差積
　$${\alpha-\beta}$$
は対称式ではないが、それを２乗した
　$${(\alpha-\beta)^2}$$
は対称式となる」というアイデアとつながっています。３次方程式の解の公式を導くときにも、最初に２次方程式の解の公式を利用するからです。では前置きが長くなりましたが、３つの解の差積 $${(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)}$$ が対称式ではないことを証明します。

差積が対称式ではないことの証明

　次の①～➅の３次置換

$$
\begin{align*}
&\begin{rcases}
➀\hspace{6pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\alpha & \beta & \gamma
\end{pmatrix}
=\begin{pmatrix}
\alpha & \beta
\end{pmatrix}
\begin{pmatrix}
\alpha & \beta
\end{pmatrix}\\
\hspace{74pt}
=\begin{pmatrix}
\beta & \gamma
\end{pmatrix}
\begin{pmatrix}
\beta & \gamma
\end{pmatrix}\\[4pt]
\hspace{74pt}=\begin{pmatrix}
\gamma & \alpha
\end{pmatrix}
\begin{pmatrix}
\gamma & \alpha
\end{pmatrix}\\
\\
②\hspace{6pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\gamma & \alpha & \beta
\end{pmatrix}
=\begin{pmatrix}
\beta & \gamma
\end{pmatrix}
\begin{pmatrix}
\gamma & \alpha
\end{pmatrix}\\
\hspace{74pt}
=\begin{pmatrix}
\gamma & \alpha
\end{pmatrix}
\begin{pmatrix}
\alpha & \gamma
\end{pmatrix}\\[4pt]
\hspace{74pt}
=\begin{pmatrix}
\alpha & \beta
\end{pmatrix}
\begin{pmatrix}
\beta & \gamma
\end{pmatrix}\\
\\
③\hspace{6pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\beta & \gamma & \alpha
\end{pmatrix}
=\begin{pmatrix}
\beta & \gamma
\end{pmatrix}
\begin{pmatrix}
\alpha & \beta
\end{pmatrix}\\
\hspace{74pt}=\begin{pmatrix}
\gamma & \alpha
\end{pmatrix}
\begin{pmatrix}
\beta & \gamma
\end{pmatrix}\\[4pt]
\hspace{74pt}=\begin{pmatrix}
\alpha & \beta
\end{pmatrix}
\begin{pmatrix}
\gamma & \alpha
\end{pmatrix}\\
\end{rcases}偶置換\\
\\
&\begin{rcases}
④\hspace{6pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\alpha & \gamma & \beta
\end{pmatrix}
=\begin{pmatrix}
\beta & \gamma
\end{pmatrix}\\
\\
⑤\hspace{6pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\gamma & \beta & \alpha
\end{pmatrix}
=\begin{pmatrix}
\alpha & \gamma
\end{pmatrix}\\
\\
⑥\hspace{6pt}
\begin{pmatrix}
\alpha & \beta & \gamma\\
\beta & \alpha & \gamma
\end{pmatrix}
=\begin{pmatrix}
\alpha & \beta
\end{pmatrix}
\end{rcases}奇置換
\end{align*}
$$

を３つの解の差積 $${(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)}$$ に作用させていきます。復習ですが、３次置換はこの①～➅の６通りですべてであり、①～③は偶数個の互換の積なので『偶置換』、今回は２個の互換の積で表され、④～➅は奇数個の互換の積なので『奇置換』、今回は１個の互換で表されます。偶置換と奇置換は、かならず半分ずつ同じ数ずつ分かれます。今回は３個ずつに分かれました。また①～③それぞれの偶置換は、各々３通りの互換の積で表せます。
　なお、互換 $${(\alpha       \beta)}$$ は $${\alpha}$$ と $${\beta}$$ を入れ替える、つまり $${\alpha}$$ を $${\beta}$$ に、$${\beta}$$ を $${\alpha}$$ に置き換える置換。互換 $${(\beta       \gamma)}$$ は $${\beta}$$ と $${\gamma}$$ を入れ替える、つまり $${\beta}$$ を $${\gamma}$$ に、$${\gamma}$$ を $${\beta}$$ に置き換える置換。互換 $${(\gamma       \alpha)}$$ は $${\gamma}$$ と $${\alpha}$$ を入れ替える、つまり $${\gamma}$$ を $${\alpha}$$ に、$${\alpha}$$ を $${\gamma}$$ に置き換える置換です。
　それでは①～➅のそれぞれの置換によって、３つの解の差積
　$${(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)}$$
がどう変化するのか調べていきます。

①　$${\dbinom{\alpha       \beta       \gamma}{\alpha       \beta       \gamma}}$$ について。①は恒等置換、同じ文字同士を置き換える置換なので変化しません。

$$
\begin{align*}
&(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
&\hspace{2pt}\downarrow\hspace{13pt}\downarrow\hspace{9pt}\downarrow\hspace{14pt}\downarrow \hspace{8pt}\downarrow\hspace{13pt}\downarrow\\
\longrightarrow\,&(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)  \Leftarrow 変化しない
\end{align*}
$$

②　$${\dbinom{\alpha       \beta       \gamma}{\gamma       \alpha       \beta}}$$ について。$${\alpha}$$ を $${\gamma}$$ に、$${\beta}$$ を $${\alpha}$$ に、$${\gamma}$$ を $${\beta}$$ に置き換える置換なので

$$
\begin{align*}
&(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
&\hspace{2pt}\downarrow\hspace{13pt}\downarrow\hspace{9pt}\downarrow\hspace{14pt}\downarrow \hspace{9pt}\downarrow\hspace{13pt}\downarrow\\
\longrightarrow\,&(\gamma-\alpha)(\alpha-\beta)(\beta-\gamma)\\
=\,&(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)  \Leftarrow 変化しない
\end{align*}
$$

カッコ (　　) の順番が入れ替わるだけなので、もとの式と変わらないことがわかります。ちなみに３通りで表された互換の積で置換しても、もとの式と変わらないことがわかります。具体的にやってみます。

②-1　$${\underrightarrow{(\beta       \gamma)(\gamma       \alpha)}}$$ は、互換を前から作用させると定義します。右の矢印の順番です。つまり、先に互換 $${(\beta       \gamma)}$$ によって $${\alpha}$$ はそのままで、$${\beta}$$ を $${\gamma}$$ に、$${\gamma}$$ を $${\beta}$$ に置き換えてから、次に互換 $${(\gamma       \alpha)}$$ によって $${\beta}$$ はそのままで、$${\gamma}$$ を $${\alpha}$$ に、$${\alpha}$$ を $${\gamma}$$ に置き換えます。

$$
\begin{align*}
&(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
&\hspace{20pt}\downarrow\hspace{9pt}\downarrow\hspace{14pt}\downarrow\hspace{9pt}\downarrow\hspace{38pt}\Leftarrow 互換  (\beta       \gamma)  を作用\\
\longrightarrow\,&(\underline{\alpha-\gamma})(\gamma-\beta)(\underline{\underline{\beta-\alpha}})\\
=\,&(\underline{\underline{\beta-\alpha}})(\gamma-\beta)(\underline{\alpha-\gamma})\hspace{14pt}\Leftarrow (　　)  を入れ替えた\\
=\,&(-\alpha+\beta)(-\beta+\gamma)(-\gamma+\alpha)\\
=\,&\{-(\alpha-\beta)\}\{-(\beta-\gamma)\}\{-(\gamma-\alpha)\}\\
=\,&(-1)^3(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
=\,&-(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
&\hspace{14pt}\downarrow\hspace{46pt}\downarrow\hspace{8pt}\downarrow\hspace{14pt}\downarrow\hspace{10pt}\Leftarrow 互換  (\gamma       \alpha)  を作用\\
\longrightarrow\,&-(\underline{\gamma-\beta})(\underline{\underline{\beta-\alpha}})(\alpha-\gamma)\\
=\,&-(\underline{\underline{\beta-\alpha}})(\underline{\gamma-\beta})(\alpha-\gamma)\hspace{3pt}\Leftarrow (　　)  を入れ替えた\\
=\,&-(-\alpha+\beta)(-\beta+\gamma)(-\gamma+\alpha)\\
=\,&-\{-(\alpha-\beta)\}\{-(\beta-\gamma)\}\{-(\gamma-\alpha)\}\\
=\,&(-1)^4(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}\\
=\,&(\alpha-\beta)(\gamma-\beta)(\gamma-\alpha)\}  \Leftarrow 変化しない
\end{align*}
$$

②-2　$${(\gamma       \alpha) (\alpha       \beta)}$$ は、先に互換 $${(\gamma       \alpha)}$$ によって $${\beta}$$ はそのままで、$${\gamma}$$ を $${\alpha}$$ に、$${\alpha}$$ を $${\gamma}$$ に置き換えてから、次に互換 $${(\alpha       \beta)}$$ によって $${\gamma}$$ はそのままで、$${\alpha}$$ を $${\beta}$$ に、$${\beta}$$ を $${\alpha}$$ に置き換えます。

$$
\begin{align*}
&(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
&\hspace{2pt}\downarrow\hspace{46pt}\downarrow\hspace{8pt}\downarrow\hspace{14pt}\downarrow\hspace{20pt}\Leftarrow 互換  (\gamma       \alpha)  を作用\\
\longrightarrow\,&(\underline{\gamma-\beta})(\underline{\underline{\beta-\alpha}})(\alpha-\gamma)\\
=\,&(\underline{\underline{\beta-\alpha}})(\underline{\gamma-\beta})(\alpha-\gamma)\hspace{14pt}\Leftarrow (　　)  を入れ替えた\\
=\,&(-\alpha+\beta)(-\beta+\gamma)(-\gamma+\alpha)\\
=\,&\{-(\alpha-\beta)\}\{-(\beta-\gamma)\}\{-(\gamma-\alpha)\}\\
=\,&(-1)^3(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
=\,&-(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
&\hspace{14pt}\downarrow\hspace{14pt}\downarrow\hspace{8pt}\downarrow\hspace{46pt}\downarrow\hspace{10pt}\Leftarrow 互換  (\alpha       \beta)  を作用\\
\longrightarrow\,&-(\beta-\alpha)(\underline{\alpha-\gamma})(\underline{\underline{\gamma-\beta}})\\
=\,&-(\beta-\alpha)(\underline{\underline{\gamma-\beta}})(\underline{\alpha-\gamma})\hspace{3pt}\Leftarrow (　　)  を入れ替えた\\
=\,&-(-\alpha+\beta)(-\beta+\gamma)(-\gamma+\alpha)\\
=\,&-\{-(\alpha-\beta)\}\{-(\beta-\gamma)\}\{-(\gamma-\alpha)\}\\
=\,&(-1)^4(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}\\
=\,&(\alpha-\beta)(\gamma-\beta)(\gamma-\alpha)\}  \Leftarrow 変化しない
\end{align*}
$$

②-3　$${(\alpha      \beta) (\beta       \gamma)}$$ は、先に互換 $${(\alpha      \beta)}$$ によって $${\gamma}$$ はそのままで、$${\alpha}$$ を $${\beta}$$ に、$${\beta}$$ を $${\alpha}$$ に置き換えてから、次に互換 $${(\beta       \gamma)}$$ によって $${\alpha}$$ はそのままで、$${\beta}$$ を $${\gamma}$$ に、$${\gamma}$$ を $${\beta}$$ に置き換えます。

$$
\begin{align*}
&(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
&\hspace{2pt}\downarrow\hspace{14pt}\downarrow\hspace{8pt}\downarrow\hspace{46pt}\downarrow\hspace{20pt}\Leftarrow 互換  (\alpha       \beta)  を作用\\
\longrightarrow\,&(\beta-\alpha)(\underline{\alpha-\gamma})(\underline{\underline{\gamma-\beta}})\\
=\,&(\beta-\alpha)(\underline{\underline{\gamma-\beta}})(\underline{\alpha-\gamma})\hspace{14pt}\Leftarrow (　　)  を入れ替えた\\
=\,&(-\alpha+\beta)(-\beta+\gamma)(-\gamma+\alpha)\\
=\,&\{-(\alpha-\beta)\}\{-(\beta-\gamma)\}\{-(\gamma-\alpha)\}\\
=\,&(-1)^3(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
=\,&-(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
&\hspace{32pt}\downarrow\hspace{9pt}\downarrow\hspace{14pt}\downarrow\hspace{9pt}\downarrow\hspace{28pt}\Leftarrow 互換  (\beta       \gamma)  を作用\\
\longrightarrow\,&-(\underline{\alpha-\gamma})(\gamma-\beta)(\underline{\underline{\beta-\alpha}})\\
=\,&-(\underline{\underline{\beta-\alpha}})(\gamma-\beta)(\underline{\alpha-\gamma})\hspace{3pt}\Leftarrow (　　)  を入れ替えた\\
=\,&-(-\alpha+\beta)(-\beta+\gamma)(-\gamma+\alpha)\\
=\,&-\{-(\alpha-\beta)\}\{-(\beta-\gamma)\}\{-(\gamma-\alpha)\}\\
=\,&(-1)^4(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}\\
=\,&(\alpha-\beta)(\gamma-\beta)(\gamma-\alpha)\}  \Leftarrow 変化しない
\end{align*}
$$

つまり偶置換では、１回目の互換で $${-1}$$ 倍、2回目の互換で  $${(-1)\times(-1)=1}$$ 倍となり、偶数回の互換だと常時 $${1}$$ 倍。互換を作用させるという観点においても元の式と変わらないことがわかります。

③　$${\dbinom{\alpha       \beta       \gamma}{\beta       \gamma       \alpha}}$$ について。$${\alpha}$$ は $${\beta}$$ に、$${\beta}$$ を $${\gamma}$$ に、$${\gamma}$$ を $${\alpha}$$ に置き換える置換なので

$$
\begin{align*}
&(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
&\hspace{2pt}\downarrow\hspace{13pt}\downarrow\hspace{9pt}\downarrow\hspace{14pt}\downarrow \hspace{9pt}\downarrow\hspace{13pt}\downarrow\\
\longrightarrow\,&(\beta-\gamma)(\gamma-\alpha)(\alpha-\beta)\\
=\,&(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)  \Leftarrow 変化しない
\end{align*}
$$

③も②と同様、カッコ (　　) の順番が入れ替わるだけなので、もとの式と変わりません。また計算は省略しますが、③も偶置換なので、②と同じように２回の互換で $${(-1)\times(-1)=1}$$ 倍となり、互換を作用させるという観点においても元の式と変わりません。

④　$${\dbinom{\alpha       \beta       \gamma}{\alpha       \gamma       \beta}}$$ について。$${\alpha}$$ はそのままで、$${\beta}$$ を $${\gamma}$$ に、$${\gamma}$$ を $${\beta}$$ に置き換える置換なので

$$
\begin{align*}
&(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
&\hspace{20pt}\downarrow\hspace{9pt}\downarrow\hspace{14pt}\downarrow\hspace{9pt}\downarrow\\
\longrightarrow\,&(\underline{\alpha-\gamma})(\gamma-\beta)(\underline{\underline{\beta-\alpha}})\\
=\,&(\underline{\underline{\beta-\alpha}})(\gamma-\beta)(\underline{\alpha-\gamma})  \Leftarrow (　　)  を入れ替えた\\
=\,&(-\alpha+\beta)(-\beta+\gamma)(-\gamma+\alpha)\\
=\,&\{-(\alpha-\beta)\}\{-(\beta-\gamma)\}\{-(\gamma-\alpha)\}\\
=\,&(-1)^3(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
=\,&-(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)  \Leftarrow -1  倍と変化する
\end{align*}
$$

⑤　$${\dbinom{\alpha       \beta       \gamma}{\gamma       \beta       \alpha}}$$ について。$${\beta}$$ はそのままで、$${\alpha}$$ を $${\gamma}$$ に、$${\gamma}$$ を $${\alpha}$$ に置き換える置換なので

$$
\begin{align*}
&(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
&\hspace{2pt}\downarrow\hspace{46pt}\downarrow\hspace{8pt}\downarrow\hspace{14pt}\downarrow\\
\longrightarrow\,&(\underline{\gamma-\beta})(\underline{\underline{\beta-\alpha}})(\alpha-\gamma)\\
=\,&(\underline{\underline{\beta-\alpha}})(\underline{\gamma-\beta})(\alpha-\gamma)  \Leftarrow (　　)  を入れ替えた\\
=\,&(-\alpha+\beta)(-\beta+\gamma)(-\gamma+\alpha)\\
=\,&\{-(\alpha-\beta)\}\{-(\beta-\gamma)\}\{-(\gamma-\alpha)\}\\
=\,&(-1)^3(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
=\,&-(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)  \Leftarrow -1  倍と変化する
\end{align*}
$$

⑥　$${\dbinom{\alpha       \beta       \gamma}{\beta       \alpha       \gamma}}$$ について。$${\gamma}$$ はそのままで、$${\alpha}$$ を $${\beta}$$ に、$${\beta}$$ を $${\alpha}$$ に置き換える置換なので

$$
\begin{align*}
&(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
&\hspace{2pt}\downarrow\hspace{14pt}\downarrow\hspace{8pt}\downarrow\hspace{46pt}\downarrow\\
\longrightarrow\,&(\beta-\alpha)(\underline{\alpha-\gamma})(\underline{\underline{\gamma-\beta}})\\
=\,&(\beta-\alpha)(\underline{\underline{\gamma-\beta}})(\underline{\alpha-\gamma})  \Leftarrow (　　)  を入れ替えた\\
=\,&(-\alpha+\beta)(-\beta+\gamma)(-\gamma+\alpha)\\
=\,&\{-(\alpha-\beta)\}\{-(\beta-\gamma)\}\{-(\gamma-\alpha)\}\\
=\,&(-1)^3(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\\
=\,&-(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)  \Leftarrow -1  倍と変化する
\end{align*}
$$

④～➅は奇置換、特に一つの互換だけで表される置換なので、$${-1}$$ 倍と変化します。
　以上をまとめますと、①～③の偶置換では $${(\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)
\end{align*}
$$

一方④～➅の奇置換では、$${(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)}$$ は $${-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)
\end{align*}
$$

では次に、$${(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)}$$ を $${2}$$ 乗した
　$${\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2}$$
に①～➅の３次置換を作用してみます。

差積の２乗が対称式であることの証明

　これは簡単です。 ①～③ の偶置換で差積は変化しないので、$${2}$$ 乗しても変化しません。

$$
\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)\}^2\\
&\longrightarrow\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2\\
\end{align*}
$$

④～➅ の奇置換でも、$${-1}$$ 倍の $${2}$$ 乗は $${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)\}^2\\
&\longrightarrow \{-(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2\\
&\hspace{10pt}=(-1)^2\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2\\
&\hspace{10pt}=\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2
\end{align*}
$$

以上より、３次置換 ①～➅ のすべての置換で変化しないので
　$${\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2}$$
は対称式となります。

$$
\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}\\
\\
④\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)\}}^2\\
&\longrightarrow {\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}}^2\\
&\longrightarrow 対称式
\end{align*}
$$

今日の授業はここまでにしたいと思います。今日は３次方程式の解の公式の平方根の中身 $${\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3}$$ が、３つの解の差積の２乗
　$${\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2}$$
を用いて 

$$
\begin{align*}
\left(\dfrac{q}{2}\right)^2+\left(\dfrac{p}{3}\right)^3
=-\dfrac{1}{4\cdot27}\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}^2  \cdots(*2)
\end{align*}
$$

と表せることを証明しました。このことは「５次以上の方程式に解の公式が存在しないこと」の核心部分になるので、続きは次の授業にしたいと思います。
　展望としては、解の公式はその方程式の係数の加減乗除、つまり係数の足し算・引き算・掛け算・割り算だけでは表現できませんが、差積を足場にすることによって、平方根 $${\sqrt{　}}$$ を用いて２次方程式の解の公式が実現でき、さらにラグランジュ・リゾルベントを足場にすることによって、３乗根 $${\sqrt[3]{　}}$$ を用いて３次方程式の解の公式が実現できる。しかしその方法は４次方程式までで、５次以上になると、平方根、３乗根・・・と加えていくその方法は使えなくなる、という方針になります。まだ整理できていないところもあるので、次の授業まで考えてみます」
「そうだね、ここからが一番難しいので、もう一度考えてみてね」
　なんだか当たり障りのない言葉を最後に、竹村の家庭教師が終わった。
「『差積』という言葉しか言ってないな・・・」
　帰路の途中ぽつりと呟いた竹村は、夜中までやっている図書館へと向かった。

（了）

（コメント）

　流れとしてはもっと先に進めても良かったんですが、自分も勉強しながらでまだ構想を練っていないので、次の記事に回すことにしました。全体としてわかりやすい流れになっているのか不明ですが、過去を振り返らず先に進めていきます。後から全体を見まわして、もっと分かりやすくなるよう修正する予定です。