四次方程式の解の公式はなぜ長すぎる？フェラーリの解法と歴史の真相

四次方程式の解の公式はなぜ長すぎる？フェラーリの解法と歴史の真相に関する疑問を徹底的にまとめました。最新データをチェックしましょう。

「公式そのもの」を丸暗記するのは人間の脳の処理能力を超えていますが、フェラーリが用いた「導出のアイデア（フェラーリの解法）」は驚くほどエレガントで合理的です。四次方程式 $x^4 + ax^3 + bx^2 + cx + d = 0$ を解くプロセスは、大きく分けて4つのステップで構成されます。

ステップ1：チルンハウス変換で3次の項を消去する

まず、計算を劇的にシンプルにするため、$x = y - \frac{a}{4}$ という置き換え（変数変換）を行います。これによって展開後の3次の項（$y^3$ の項）が相殺されて綺麗に消滅し、方程式は次の「3次の項がない四次方程式（窪み四次方程式）」に変形されます。

$y^4 + py^2 + qy + r = 0$

ステップ2：補助変数 $u$ を導入し、両辺を完全平方式にする

ここがフェラーリの最大の閃きです。左辺を無理やり $(y^2 + \frac{p}{2})^2$ の形に平方完成しようとすると、余分な項が出てきます。そこで、新たな未定係数（補助変数）$u$ を導入し、次のように式を変形します。

$(y^2 + \frac{p}{2} + u)^2 = 2u y^2 - qy + \left(u^2 + pu + \frac{p^2}{4} - r\right)$

目標は、「左辺だけでなく、右辺も $y$ の完全平方式（何かの2乗）にする」ことです。

ステップ3：右辺の判別式をゼロにして「三次助変数方程式」を解く

右辺は $y$ に関する2次式です。これが完全平方式（$(Ay + B)^2$ の形）になるための条件は、「右辺の2次式の判別式 $D = 0$」となることです。すなわち、

$D = (-q)^2 - 4 \cdot (2u) \cdot \left(u^2 + pu + \frac{p^2}{4} - r\right) = 0$

この式を整理すると、$u$ に関する「三次方程式（分解方程式）」が現れます。この三次方程式をカルダノの公式を使って解くことで、$u$ の具体的な実数解を1つ手に入れることができます。

ステップ4：2乗引く2乗の形から2次方程式へ分解する

適切な $u$ を代入すると、元の方程式は $(\text{左辺})^2 = (\text{右辺})^2$ という「$(\text{2次式})^2 = (\text{1次式})^2$」の形になります。移項して因数分解の公式 $A^2 - B^2 = (A - B)(A + B) = 0$ を適用すれば、2つの2次方程式に分裂します。あとは中学校で習う2次方程式の解の公式をそれぞれ適用するだけで、4つの解すべてが求まります。