この巨大な公式の扉を最初に開いたのは、16世紀のイタリア人数学者ルドヴィコ・フェラーリ(1522–1565)でした。フェラーリは、3次方程式の解法を世に知らしめたジェロラモ・カルダノの愛弟子であり、カルダノが1545年に著した歴史的数学書『大いなる術(アルス・マグナ)』の中で、その解法が世界で初めて公表されました。 カルダノ自身の手記には「我が弟子フェラーリが、私の依頼を受けて挑み、見事にこの最も困難な課題を克服した」と賞賛の言葉が残されています。当時のヨーロッパ数学界は、解法を秘密にして互いに数学の勝負(計算勝負)を挑み合い、職や名誉を賭ける殺伐とした環境でした。フェラーリの導出手法は、まさにその激動の時代に研ぎ澄まされた知性の結晶です。
巧妙を極める「フェラーリの解法」の導出ステップ
フェラーリの解法における最大の急所は、「4次方程式を巧妙な式変形によって、すでに解法が知られていた3次方程式に帰着させる」という鮮烈なアイデアにあります。その導出方法は大きく4つの段階に分かれます。
- 3次の項の消去(立方完成):
まず、最高次の係数で全体を割り、$x^4 + ax^3 + bx^2 + cx + d = 0$ とします。ここで $x = y - \frac{a}{4}$ という変数変換(チルンハウス変換)を行うと、驚くべきことに3次の項が相殺されて消滅し、よりシンプルな形である「$y^4 + py^2 + qy + r = 0$」へと変形されます。 - 平方完成と新たな未知数 $u$ の導入:
左辺を完全平方式に近づけるため、$y^4 + 2uy^2 + u^2$ という形を人工的に作ります。元の式と辻褄を合わせるために移項・整理を行うと、次の構造が生まれます。
$(y^2 + u)^2 = (2u - p)y^2 - qy + (u^2 - r)$ - 右辺を完全平方式にするための「3次方程式」の創出:
もしこの式の右辺($y$ に関する2次式)が、ある1次式の2乗 $(ky + l)^2$ の形にまとまれば、両辺のルートを取って2次方程式に落とし込むことができます。右辺が完全平方式になる条件とは、右辺の2次式の判別式がゼロになることです。
すなわち、$D = (-q)^2 - 4(2u - p)(u^2 - r) = 0$。
これを展開すると、なんと導入した未知数 $u$ に関する3次方程式(分解方程式)が現れます。 - カルダノの公式を経由して2次方程式へ:
現れた3次方程式は、すでに確立されていたカルダノの公式を用いることで、代数的に解を求めることができます。得られた $u$ の値を代入すれば、元の4次方程式は「$(y^2 + u)^2 = (ky + l)^2$」となり、$y^2 + u = \pm (ky + l)$ という2つの2次方程式に分解されます。あとは中学で習う2次方程式の解の公式を適用するだけで、4つの解がすべて手に入るのです。
フェラーリの天才性は、一見すると不可能な4次の壁を、未知数 $u$ を介在させることで3次の問題へと「階数を引き下げる」発想の転換にありました。