四次方程式の解の公式はなぜ超巨大なのか？フェラーリ解法の深層

四次方程式の解の公式はなぜ超巨大なのか？フェラーリ解法の深層について専門的な視点から解説いたします。専門家の見解をお届けします。

この迷宮に終止符を打ったのが、カルダノの弟子であったイタリアの数学者ルドヴィコ・フェラーリ（1522–1565）です。彼が考案したフェラーリの公式およびその解法は、四次の難問を鮮やかに三次の問題へと脱落させるものでした。現代の数学教育でも感嘆を呼ぶ四次方程式の導出方法の核心を、体系的なステップで紐解いていきます。

まず最初に行うのが「3次の項の消去」です。これはチルンハウス変換（あるいは平行移動）と呼ばれ、一般形の両辺を $a$ で割った $x^4 + Ax^3 + Bx^2 + Cx + D = 0$ に対し、$x = y - \frac{A}{4}$ という置換を施します。すると、驚くべきことに3次の項が完全に相殺され、次の「低減四次方程式（Depressed Quartic）」へと姿を変えます。

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

ここからがフェラーリの解法詳細まとめの真骨頂です。フェラーリは、左辺の2次までの項を強引に完全平方式へと仕立て上げようと試みました。式を変形して $(y^2 + \frac{p}{2})^2 = -qy - r + \frac{p^2}{4}$ とした上で、両辺に未知の補助変数 $u$ を導入し、$(y^2 + \frac{p}{2} + u)^2$ という完全平方式を左辺に構築します。これに伴い、右辺も展開・整理されて $y$ の2次式が現れます。

「右辺の2次式もまた、何らかの1次式の完全平方式（$(\alpha y + \beta)^2$）になれば、両辺の平方根を取って解ける」――この着想こそが突破口でした。右辺の2次式が完全平方式になる条件とは、すなわち右辺の判別式がゼロになることです。この判別式を立式すると、驚くべきことに未知数 $u$ に関する「三次方程式」が立ち現れます。これこそが「分解方程式（Resolvent Cubic）」です。

この三次方程式を先行して発見されていたカルダノの解法で解き、得られた $u$ の値を代入すれば、元の四次方程式は2つの二次方程式へと完全に分解されます。16世紀当時の数学者たちが「幾何学の限界を超えた」と絶望していた高次方程式の壁を、フェラーリは驚異的な代数操作の連鎖によって粉砕したのです。