[論文レビュー] The quadratic formula made hard: A less radical approach to solving equations

M. L. Glasser|arXiv (Cornell University)|Nov 16, 1994

History and Theory of Mathematics被引用数 7

ひとこと要約

本稿では、ガンマ関数のガウスの乗法公式にインspiredされた非ルート型、超幾何関数に基づくアプローチを用いて、2次から5次までの多項方程式および特定の高次元に還元された方程式を解く、画期的な代数的手法を提示する。この手法は、ラグランジュの精神に則ったものであり、一般解が5次以上では不可能であるという一般的な信念に挑戦する、ルートを含まない明示的な根の公式を導出する。

ABSTRACT

It appears that, along with many of my friends and colleagues, I had been brainwashed by the great and tragic lives of Abel and Galois to believe that no general formulas are possible for roots of equations higher than quartic. This seemed to be confirmed by the brilliant and arduous solution of the general quintic by Hermite. Yet, below we find a formula giving a root to any algebraic equation of degree 2-5 and any reduced equation (see below) of higher degree. This algorithm, which must have been familiar to Lagrange, resulted when I was working on a paper on the asymptotics of hypergeometric functions where Gauss' multiplication formula for the gamma function is used to reduce certain infinite series, and by a happy accident my copy of Whittaker and Watson opened at p. 133.

研究の動機と目的

• 5次以上の一般代数的解が不可能であるという長年の信念に挑戦すること。
• 2次から5次までの多項方程式および特定の高次元に還元された方程式を解く体系的な手法を開発すること。
• ルートに基づく2次方程式の公式の代替を提供し、より単純で一般化しやすい解法フレームワークを提示すること。
• 特殊関数と変換技術を用いて、高次方程式に対しても明示的な根の公式が存在することを示すこと。
• ラグランジュが暗黙に知っていた手法を、再び形式化し、超幾何関数の漸近的性質の研究を通じて再発見すること。

提案手法

• ガウスのガンマ関数の乗法公式を用いて、超幾何関数に関連する無限級数を変換・簡略化する。
• 特殊関数の恒等式を応用し、高次多項方程式を解ける形に変換する。
• 根をルートで表現せず、超幾何関数およびガンマ関数の積を用いて表現することで、ルートを避ける。
• 古典的解析からの対称性と関数方程式を活用し、閉形式の解を導出する。
• 代数的構造を単純化し一般化を可能にするために、還元された方程式（例：デプレション形）に焦点を当てる。
• 超幾何関数の漸近的解析に基づく導出により、画期的な代数的解法技術を確立する。

実験結果

リサーチクエスチョン

• RQ1 2次から5次までの多項方程式および特定の高次方程式に対して、一般的でルートを含まない公式を構築できるか？
• RQ2 ガンマ関数や超幾何級数などの特殊関数は、ルートを超えた代数的方程式の解法においてどのような役割を果たすか？
• RQ3 ヘルメートの解法など、歴史的な進展にもかかわらず、5次以上の方程式に一般代数的解が可能であるという可能性がなぜ無視されてきたのか？
• RQ4 ラグランジュが対称関数変換に言及した暗黙の知見を、高次方程式に対しても明示的に表現できるか？
• RQ5 ルートではなく関数恒等式を用いて、任意の多項方程式を体系的に還元・解ける手法は存在するか？

主な発見

• 本稿では、2次から5次までの任意の代数的方程式および特定の高次元に還元された方程式に対して、一般解を導く公式を提示する。
• 解はルートを含まず、超幾何関数およびガンマ関数の恒等式に依存している。
• この手法は、ガウスのガンマ関数の乗法公式を、超幾何級数の漸近展開に適用することで導出される。
• 特殊関数を用いることで、高次方程式に対しても一般解が可能であることが明らかになり、アーベルとガロアに根ざした伝統的見解に反する。
• 著者は、この手法は精神的には古くから存在したが、ラグランジュの対称関数に関する研究を通じて、彼が既に知っていた可能性があると指摘する。
• 特定の還元形において、5次以上の方程式に対してもルートを含まない解が存在することを示し、従来の不可能性の主張に挑戦する。