4次方程式の解の公式は実在する!高校で習わない理由と導出の全貌

4次方程式の解の公式は実在する!高校で習わない理由と導出の全貌

4次方程式の解の公式は実在する!高校で習わない理由と導出の全貌に関する最新のニュースをまとめてご紹介します。関心のある方は必見です。

この巨大な公式の扉を最初に開いたのは、16世紀のイタリア人数学者ルドヴィコ・フェラーリ(1522–1565)でした。フェラーリは、3次方程式の解法を世に知らしめたジェロラモ・カルダノの愛弟子であり、カルダノが1545年に著した歴史的数学書『大いなる術(アルス・マグナ)』の中で、その解法が世界で初めて公表されました。 カルダノ自身の手記には「我が弟子フェラーリが、私の依頼を受けて挑み、見事にこの最も困難な課題を克服した」と賞賛の言葉が残されています。当時のヨーロッパ数学界は、解法を秘密にして互いに数学の勝負(計算勝負)を挑み合い、職や名誉を賭ける殺伐とした環境でした。フェラーリの導出手法は、まさにその激動の時代に研ぎ澄まされた知性の結晶です。

巧妙を極める「フェラーリの解法」の導出ステップ

フェラーリの解法における最大の急所は、「4次方程式を巧妙な式変形によって、すでに解法が知られていた3次方程式に帰着させる」という鮮烈なアイデアにあります。その導出方法は大きく4つの段階に分かれます。

  1. 3次の項の消去(立方完成):
    まず、最高次の係数で全体を割り、$x^4 + ax^3 + bx^2 + cx + d = 0$ とします。ここで $x = y - \frac{a}{4}$ という変数変換(チルンハウス変換)を行うと、驚くべきことに3次の項が相殺されて消滅し、よりシンプルな形である「$y^4 + py^2 + qy + r = 0$」へと変形されます。
  2. 平方完成と新たな未知数 $u$ の導入:
    左辺を完全平方式に近づけるため、$y^4 + 2uy^2 + u^2$ という形を人工的に作ります。元の式と辻褄を合わせるために移項・整理を行うと、次の構造が生まれます。
    $(y^2 + u)^2 = (2u - p)y^2 - qy + (u^2 - r)$
  3. 右辺を完全平方式にするための「3次方程式」の創出:
    もしこの式の右辺($y$ に関する2次式)が、ある1次式の2乗 $(ky + l)^2$ の形にまとまれば、両辺のルートを取って2次方程式に落とし込むことができます。右辺が完全平方式になる条件とは、右辺の2次式の判別式がゼロになることです。
    すなわち、$D = (-q)^2 - 4(2u - p)(u^2 - r) = 0$。
    これを展開すると、なんと導入した未知数 $u$ に関する3次方程式(分解方程式)が現れます。
  4. カルダノの公式を経由して2次方程式へ:
    現れた3次方程式は、すでに確立されていたカルダノの公式を用いることで、代数的に解を求めることができます。得られた $u$ の値を代入すれば、元の4次方程式は「$(y^2 + u)^2 = (ky + l)^2$」となり、$y^2 + u = \pm (ky + l)$ という2つの2次方程式に分解されます。あとは中学で習う2次方程式の解の公式を適用するだけで、4つの解がすべて手に入るのです。

フェラーリの天才性は、一見すると不可能な4次の壁を、未知数 $u$ を介在させることで3次の問題へと「階数を引き下げる」発想の転換にありました。

橋本 菜々子
著者

橋本 菜々子

グルメと旅を愛するフリーライター。全国各地の隠れた魅力を独自の視点から紹介します。