[论文解读] 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

一句话总结

本文提出了一种新颖的代数方法，用于求解二至五次多项式方程及某些高阶约化方程，采用非根式、基于超几何函数的方法，其灵感源自高斯对伽马函数的乘法公式。该方法在精神上可归因于拉格朗日，其结果为不含根式的显式根公式，挑战了传统观点中认为五次及以上方程的一般解法不可能存在的信念。

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.

研究动机与目标

• 挑战长久以来认为五次或更高次方程的一般代数解法不可能存在的信念。
• 开发一种系统化方法，用于求解二至五次多项式方程及某些高阶约化方程。
• 提供一种替代根式二次公式的方法，提供更简洁且更具普适性的解法框架。
• 证明可通过特殊函数与变换技术，为高阶方程构造显式根公式。
• 复兴并形式化一种拉格朗日隐含知晓但后来通过超几何函数渐近性研究重新发现的方法。

提出的方法

• 该方法利用高斯对伽马函数的乘法公式，将与超几何函数相关的无穷级数进行变换与约化。
• 通过特殊函数恒等式对方程实施变换，将其转化为可解形式。
• 求解过程避免使用根式，转而以超几何函数和伽马函数乘积表达根。
• 该方法利用经典分析中的对称性与函数方程，推导出闭式解。
• 聚焦于约化方程（如缺项形式），以简化代数结构并实现推广。
• 推导基于超几何函数渐近分析，导出一种新颖的代数求解技术。

实验结果

研究问题

• RQ1 能否为二至五次方程及某些高阶方程构造出一般性的非根式公式？
• RQ2 特殊函数（如伽马函数与超几何级数）在根式之外的代数方程求解中起到何种作用？
• RQ3 尽管有赫尔梅特等人的进展，为何五次及以上方程存在一般代数解的可能性长期被忽视？
• RQ4 如何将拉格朗日对对称函数变换的隐含洞见显式化于高阶方程？
• RQ5 是否存在一种系统方法，通过函数恒等式而非根式，约化并求解任意多项式方程？

主要发现

• 本文提出了一般性公式，可为任意二至五次代数方程及某些高阶约化方程求得根。
• 解以非根式形式表达，依赖于超几何函数与伽马函数恒等式。
• 该方法源自高斯对伽马函数的乘法公式，应用于超几何级数的渐近展开。
• 该方法揭示，当使用特殊函数时，高阶方程的一般解是可能的，从而反驳了根植于阿贝尔与伽罗瓦理论的传统观点。
• 作者指出，尽管该方法在精神上并非全新，但被长期忽视，拉格朗日或可通过其对对称函数的研究知晓此法。
• 该技术表明，在特定约化形式下，五次及以上方程存在无根式解法，从而挑战了传统上认为其不可能的叙事。