四次方程式の解の公式はなぜ超複雑？フェラーリの導出と歴史の真相

中学校で習う2次方程式の解の公式は誰もが一度は暗記しますが、4次方程式にも「すべての解を代数的に導き出す万能の公式」が存在することをご存じでしょうか。その全貌は、紙に書き出せばA4用紙がびっしり埋まるほど複雑怪奇であり、数学ファンの間では伝説的な数式として語り継がれています。

なぜ4次方程式の解の公式はこれほどまでに長大な形をしているのか、そして16世紀のイタリアで誰がどのようにしてこの難問を打ち破ったのか。本稿では、フェラーリによる華麗な導出ロジックから、5次方程式で公式が作れなくなる「数学の限界」まで、歴史のドラマと数理の美しさを徹底解説します。

📌 【この記事の重要ポイントまとめ】

• 要点1：四次方程式の解の公式は3次方程式（カルダノの解法）と2次方程式を多重に経由するため極めて長大になる。
• 要点2：16世紀の数学者ルドヴィコ・フェラーリが平方完成を2段階で応用する「補助方程式への帰着」によって初めて解法を確立した。
• 要点3：5次以上の方程式には代数的な解の公式が存在しないことがアーベル・ルフィニの定理およびガロア理論で証明されている。

【公式の全貌】なぜ四次方程式の解の公式はA4用紙を埋め尽くすほど巨大なのか？

一般的な4次方程式 $ax^4 + bx^3 + cx^2 + dx + e = 0$ に対する解の公式を、一般的な根号（平方根や立方根）と四則演算だけで展開して表記すると、画面スクロールが止まらなくなるほどの文字数になります。2次方程式の解の公式 $x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}$ がシンプルに完結しているのに対し、4次方程式は異次元の複雑さを見せます。

この凄まじい長さになる根本的な理由は、「4次方程式を解く過程で、まず3次方程式の解の公式（カルダノの公式）を解き、その解を使ってさらに2次方程式の平方根を取る」という三重構造になっているためです。カルダノの公式自体が立方根の中に平方根を含む入れ子構造をしているため、4次方程式の公式を展開すると、根号の中に根号が幾重にも重なる巨大な怪物数式が完成します。

そのため、受験数学や実務計算において4次方程式 根の公式 覚え方を探すアプローチは現実的ではありません。暗記するものではなく、「どのような手順で次数を下げて解くか」という解法のアルゴリズム（導出プロセス）を理解することが本質です。

【フェラーリの解法】平方完成と3次方程式へ帰着させる鮮やかな導出プロセス

4次方程式の解法を歴史上初めて発見したのは、16世紀イタリアの数学者ルドヴィコ・フェラーリです。難解に見えるフェラーリの解法 わかりやすく整理すると、核となるアイデアは「未知数を含む巧妙な平方完成」にあります。

フェラーリの公式 導出の流れは以下の4ステップで進行します。

ステップ1：3次の項を消去する（チルンハウス変換）
まず方程式全体を最高次の係数で割り、$x^4 + ax^3 + bx^2 + cx + d = 0$ とします。ここで $x = y - \frac{a}{4}$ と変数変換（平行移動）を行うと、3次の項が見事に消去され、次の「変形4次方程式」が得られます。
$y^4 + py^2 + qy + r = 0$

ステップ2：強引に左辺を平方完成する
左辺に $y^2$ の項を補い、無理やり完全平方式を作ります。
$(y^2 + \frac{p}{2})^2 = -qy + (\frac{p^2}{4} - r)$

ステップ3：新たなパラメータ $u$ を導入する（フェラーリの奇策）
両辺に補助変数 $u$ を絡めた式を足し合わせ、左辺を $(y^2 + \frac{p}{2} + u)^2$ に拡張します。
$(y^2 + \frac{p}{2} + u)^2 = 2u y^2 - qy + \left( u^2 + pu + \frac{p^2}{4} - r \right)$
ここで、右辺の $y$ に関する2次式が完全平方式（重解を持つ形）になれば、両辺の平方根を取って次数を2次に落とすことができます。

ステップ4：判別式を0にして3次方程式（分解方程式）を解く
右辺の判別式を $\Delta = (-q)^2 - 4(2u)\left( u^2 + pu + \frac{p^2}{4} - r \right) = 0$ と置くと、$u$ に関する3次方程式（三次分解方程式）が現れます。この3次方程式をカルダノの公式で解いて具体的な $u$ の値を1つ得れば、元の4次方程式は2本の2次方程式へと分解され、すべての解が求まります。

【デカルトの解法】未定係数法で2つの2次方程式に因数分解する別ルート

フェラーリの方法とは別に、哲学者・数学者として名高いルネ・デカルトが考案したデカルトの解法も有名です。高校数学の延長線上で理解しやすく、四次方程式 解き方 因数分解のアプローチとして親しまれています。

デカルトは、3次の項を消去した $y^4 + py^2 + qy + r = 0$ を、2つの2次式の積に因数分解することを試みました。
$(y^2 + ky + m)(y^2 - ky + n) = y^4 + (m + n - k^2)y^2 + k(n - m)y + mn$

各次数の係数を比較すると、以下の関係式が導かれます。

• $m + n - k^2 = p$
• $k(n - m) = q$
• $mn = r$

ここから $m, n$ を消去して $k$ について整理すると、$k^2$ を主元とする3次方程式（$k^6 + 2pk^4 + (p^2 - 4r)k^2 - q^2 = 0$）が導出されます。$k^2$ について解いたあと、得られた係数をもとに2つの2次方程式を解けば、4つの解に到達します。

【判別式と解の判別】複素数解と実数解の個数を完全に見分けるアルゴリズム

2次方程式において実数解の個数を一瞬で判別できるのと同様に、四次方程式 判別式も定義されています。4次方程式 $ax^4 + bx^3 + cx^2 + dx + e = 0$ の4つの解を $\alpha, \beta, \gamma, \delta$ としたとき、判別式 $D$ は各解の差の平方積として定義されます。

$D = a^6 (\alpha - \beta)^2(\alpha - \gamma)^2(\alpha - \delta)^2(\beta - \gamma)^2(\beta - \delta)^2(\gamma - \delta)^2$

この判別式 $D$ に加え、途中の変形係数などの符号を組み合わせることで、複素数解と実数解の個数を以下のように厳密に分類できます。

判別条件	解の内訳
$D > 0$ かつ補助条件を満たす	異なる4つの実数解（すべて実数）
$D > 0$ かつ別条件を満たす	互いに共役な2組の複素数解（実数解なし）
$D < 0$	異なる2つの実数解と、1組の共役複素数解
$D = 0$	重解を持つ（2重解、3重解、4重解のいずれか）

4次方程式では、グラフが「W字型」を描くため、極小値・極大値の符号配置と判別式が密接に連動しています。

【数学史のドラマ】カルダノとフェラーリの師弟関係と秘術を巡る決闘の真相

代数方程式の歴史を語るうえで欠かせないのが、四次方程式の解の公式 歴史と経緯を取り巻くドロドロとした人間ドラマです。

16世紀のヨーロッパでは、数学者は自らの発見した公式を秘密にし、公開討論（数学決闘）で相手を打ち負かして名声と地位を得ていました。3次方程式の解法を秘密裏に自力発見していたニコロ・タルタリアに対し、名医であり数学者でもあったジロラモ・カルダノは「決して口外しない」と誓いを立ててその解法を聞き出します。

カルダノの助手であり弟子であったルドヴィコ・フェラーリは、師から伝授された3次方程式の解法を土台にして、わずか10代の若さで4次方程式の解法を発見しました。カルダノは、タルタリアより前に別の数学者デル・フェッロが3次方程式を解いていた証拠を見つけたことを口実に誓いを破り、1545年の著書『アルス・マグナ（大いなる術）』で3次方程式とともにフェラーリの4次方程式解法を世界に公表しました。激怒したタルタリアとフェラーリの間で繰り広げられた壮絶な公開討論は、数学史に残る有名なエピソードです。

【5次方程式の壁】なぜ5次以上は解の公式が存在しないのか？アーベルとガロアの革命

4次方程式まで解法が見つかったことで、当時の数学界は「5次、6次の方程式も同じように解の公式が作れるはずだ」と熱狂しました。しかし、その挑戦は約250年もの間、誰一人として成功しませんでした。

この長い停滞に終止符を打ったのが、五次方程式 解の公式 存在しない理由を証明した若き天才たちです。

ノルウェーのニールス・アーベルは、パオロ・ルフィニの不完全な証明を完成させ、「一般的な5次以上の方程式には、加減乗除と冪根（ルート）だけで表せる解の公式が存在しない」ことを証明しました（アーベル・ルフィニの定理）。

さらにフランスのエヴァリスト・ガロアは、解の対称性を群という概念で捉えるガロア理論を創始しました。方程式の解が持つ対称性（置換群）の構造を調べたとき、4次方程式の対称群 $S_4$ までは「可解群」という四則演算と根号で段階的に分解できる構造を持っています。しかし、5次方程式の対称群 $S_5$ に含まれる交代群 $A_5$ はこれ以上分解できない単純群（非可換単純群）となり、根号を付加して方程式を解きほぐすことが数学的に不可能な構造をしています。これが、4次と5次の間に横たわる絶対的な壁の正体です。

【四次方程式の解の公式】に関するよくある質問（FAQ）

Q1：高校数学で4次方程式が出題された場合、フェラーリの公式を使う必要がありますか？
A1：使う必要はありません。日本の高校入試や大学入試で出題される4次方程式は、因数定理による因数分解、$x^2 = X$ とおく複二次式、あるいは相反方程式など、初等的な工夫で解けるように作られています。

Q2：フェラーリの公式とデカルトの公式はどちらが優れていますか？
A2：本質的な難易度は同じです。フェラーリの方法は幾何学的な平方完成の発想から自然に3次分解方程式を導き、デカルトの方法は係数比較法（代数的な分解）を用いて3次方程式に帰着させます。理解のしやすさではデカルトの解法が好まれる傾向にあります。

Q3：5次方程式はコンピュータでも解けないということですか？
A3：いいえ、解けます。「代数的な解の公式（四則演算とルートの組み合わせ）が存在しない」という意味であり、ニュートン法などの数値計算手法を用いれば、現代のコンピュータで瞬時に任意の精度で近似解を求められます。また、楕円関数などの特殊関数を用いれば代数外の公式として解を厳密に表現することも可能です。

【まとめ】400年の時を超えて息づく代数学の金字塔と現代への示唆

四次方程式の解の公式は、単なる複雑な計算式にとどまらず、2次から3次、そして4次へと次数を落としていく代数学の極限の技巧が凝縮された傑作です。

そして「なぜ4次までは公式が作れて、5次からは作れないのか」という疑問の追究こそが、現代数学の根幹である「群論」や「抽象代数学」を誕生させる原動力となりました。数式が織りなす構造の美しさと、先人たちが命を削って築き上げた数学史のロマンは、今なお色あせることなく私たちを魅了し続けています。 （出典: 四 次 方程式 解 の 公式（Yahoo!ニュース））