3次方程式の解の公式

本稿では3次方程式の解の公式、いわゆる「カルダノの公式」を導出していきます！チルンハウス変換についても少し触れています。（※4次方程式の解の公式はこちら）

3次式に関する以下の公式はよく知られています。$$\begin{array}{rl}{a}^3+& b^3+c^3-3abc\\ =& (a+b+c)(a^2+b^2+c^2-ab-bc-ca)\end{array}$$しかし、ここから3次方程式の解の公式が導かれるということはあまり知られていないように思います。

そこで今回は、次の補題を用いて3次方程式の解の公式を導いてみます。但し、方程式の係数は実数とします。

まず、$$\begin{array}{rl}(a+b\omega +& c{\omega }^2)(a+b{\omega }^2+c\omega )\\ =& a^2+b^2+c^2-ab-bc-ca\end{array}$$が成り立つことを示します。これは、左辺を展開して ${\omega }^3=1$、${\omega }^2+\omega +1=0$ を用いれば良いでしょう。または、次のように右辺を因数分解することによっても証明できます。$$a^2+b^2+c^2-ab-bc-ca=0$$を$a$について解くと$$a={\displaystyle \frac{b+c}{2}}\pm {\displaystyle \frac{\sqrt{3}}{2}}(b-c)i$$となります。ここで $\omega ={\displaystyle \frac{-1+\sqrt{3}i}{2}}$ と置くと、${\omega }^2={\displaystyle \frac{-1-\sqrt{3}i}{2}}$ と表されるので、これより $a=-b\omega -c{\omega }^2,-b{\omega }^2-c\omega$ となり、$$\begin{array}{rl}(a+b\omega +& c{\omega }^2)(a+b{\omega }^2+c\omega )\\ =& a^2+b^2+c^2-ab-bc-ca\end{array}$$が成り立つことが示されます。

これで補題が示されました。

●　　　●　　　●

補題において$a$を$x$、$b$を$-u$、$c$を$-v$と置き換えると、$$\begin{array}{rl}& x^3-3uvx-u^3-v^3\\ =& x^3+(-u{)}^3+(-v{)}^3-3x(-u)(-v)\\ =& (x-u-v)(x-u\omega -v{\omega }^2)(x-u{\omega }^2-v\omega )\end{array}$$が成り立ちます。よって、3次方程式 $x^3+px+q=0$ の解は$$\{\begin{array}{l}3uv=-p\\ u^3+v^3=-q\end{array}\cdots (\ast )$$と置けば、$$x=u+v,u\omega +v{\omega }^2,u{\omega }^2+v\omega$$と表すことができます。

さらに具体的な解を求めてみましょう。$(\ast )$より$$\{\begin{array}{l}{u}^3+v^3=-q\\ u^3{v}^3=-{\displaystyle \frac{p^3}{27}}\end{array}$$を得るので、$u^3$と$v^3$は$t$の2次方程式$$t^2+qt-{\displaystyle \frac{p^3}{27}}=0$$の２解であることが分かります。これを解いて$$\{\begin{array}{l}{u}^3=-{\displaystyle \frac{q}{2}}+\sqrt{{\displaystyle \frac{q^2}{4}}+{\displaystyle \frac{p^3}{27}}}\\ v^3=-{\displaystyle \frac{q}{2}}-\sqrt{{\displaystyle \frac{q^2}{4}}+{\displaystyle \frac{p^3}{27}}}\end{array}$$を得るので、$$\{\begin{array}{l}u=\sqrt[3]{-{\displaystyle \frac{q}{2}}+\sqrt{{\displaystyle \frac{q^2}{4}}+{\displaystyle \frac{p^3}{27}}}}\\ v=\sqrt[3]{-{\displaystyle \frac{q}{2}}-\sqrt{{\displaystyle \frac{q^2}{4}}+{\displaystyle \frac{p^3}{27}}}}\end{array}$$と求められます。

以上より、$r={\displaystyle \frac{q^2}{4}}+{\displaystyle \frac{p^3}{27}}$ と置くと、3次方程式$$x^3+px+q=0$$の解は
$$x=\{\begin{array}{l}\sqrt[3]{-{\displaystyle \frac{q}{2}}+\sqrt{r}}+\sqrt[3]{-{\displaystyle \frac{q}{2}}-\sqrt{r}}\\ \omega \sqrt[3]{-{\displaystyle \frac{q}{2}}+\sqrt{r}}+{\omega }^2\sqrt[3]{-{\displaystyle \frac{q}{2}}-\sqrt{r}}\\ {\omega }^2\sqrt[3]{-{\displaystyle \frac{q}{2}}+\sqrt{r}}+\omega \sqrt[3]{-{\displaystyle \frac{q}{2}}-\sqrt{r}}\end{array}$$と求めることができます。

これは「カルダノの公式」と呼ばれ、一般の3次方程式は次のような置換（チルンハウス変換）によって $x^3+px+q=0$ という形に式変形できるので、これが3次方程式の解の公式となります。

$n$次方程式$$a_0{x}^n+a_1{x}^{n-1}+a_2{x}^{n-2}+\dots +a_{n-1}x+a_n=0$$に対して $x=t-{\displaystyle \frac{a_1}{{}_n{\mathrm{C}}_{n-1}{a}_0}}$ と置換すると $n-1$ 次の項を消去することができます。これをチルンハウス変換と呼びます。

カルダノの公式を背景に持つ入試問題は時々出題されるので、知っておいて損は無い話題だと思います。「3次方程式の解析解（厳密解）を求めてみる」の記事も参考にして下さい。