数学史を鳥瞰したとき、四次方程式の解の公式は単なる「複雑な数式」にとどまりません。それは「人類が代数方程式の一般的な解の公式を手にすることができた絶対的な上限境界」を意味しています。
フェラーリが四次方程式を制覇したあと、当時の数学者たちは当然のごとく「次は五次方程式だ」と色めき立ちました。オイラーやラグランジュといった超一流の頭脳たちが250年以上にわたって五次方程式の解の公式を探し求めましたが、誰一人として成功しませんでした。
その理由が判明したのは19世紀初頭のことです。イタリアのパオロ・ルフィニと、ノルウェーの若き天才ニールス・ヘンリック・アーベルによって、「五次以上の代数方程式には、加減乗除とべき根（ルート）だけで表せる一般的な解の公式が存在しない」という衝撃的な事実が証明されたのです。これが名高い「アーベル・ルフィニの定理」です。
さらにその後、フランスの夭折した天才エヴァリスト・ガロアが打ち立てた「ガロア理論」によって、この問題の背後にある完全な幾何学的・代数学的構造が解き明かされました。
- 対称群と可解群の境界線：方程式の解の対称性を表す「置換群」を調べると、四次方程式に対応する対称群 \( S_4 \) や交代群 \( A_4 \) までは「可解群」という分解可能な性質を保持しています。
- 五次で現れる非可換単純群：ところが五次方程式になると、その対称性の中に位数60の交代群 \( A_5 \) という「非可換単純群」が現れます。これはルートの開平操作に対応する群の縮小がこれ以上進まないことを意味し、構造的に代数的な解の公式が作れないことを示しています。
- 四次方程式の判別式（Discriminant）：四次方程式の解の判別式 \( D \) もまた、解の差の積の平方として定義されますが、計算すると2次・3次とは比較にならないほど長大な多項式になります。しかし、ガロア理論の視点を通すことで、重根判定や実数解・虚数解の個数の分類が数学的に美しく分類できるのです。
四次方程式は、解の公式がギリギリ作れる数学的シンメトリーの「最後の砦」だったわけです。フェラーリが三次方程式へ帰着させたという事実は、現代の群論の視点からも「\( S_4 \) の正規部分群の列が \( S_3 \) を経由して自明な群へと分解していくステップ」と完全に合致しています。
