[论文解读] On the Complete Solution to the Most General Fifth Degree Polynomial

Richard J. Drociuk|ArXiv.org|May 3, 2000

Advanced Numerical Analysis Techniques参考文献 7被引用 8

一句话总结

本文提出了一种五次方程通解的闭式解法，采用三步法：(1) 通过广义Tschirnhaus变换将五次方程约化为Bring标准型，(2) 求解广义超几何微分方程以解析求解Bring方程，(3) 利用Ferrari方法对所得四次方程进行逆变换。该解法在Maple V和VI中可直接计算，提供了一种类似于二次公式、无需迭代的直接解析表达式。

ABSTRACT

The motivation behind this note, is due to the non success in finding the complete solution to the General Quintic Equation. The hope was to have a solution with all the parameters precisely calculated in a straight forward manner. This paper gives the closed form solution for the five roots of the General Quintic Equation. They can be generated on Maple V, or on the new version Maple VI. On the new version of maple, Maple VI, it may be possible to insert all the substitutions calculated in this paper, into one another, and construct one large equation for the Tschirnhausian Transformation. The solution also uses the Generalized Hypergeometric Function which Maple V can calculate, robustly.

研究动机与目标

• 提供一个完整的五次方程通解，避免使用数值或迭代方法。
• 解决长期存在的挑战：以单一显式公式表达五次方程的全部五个根。
• 将Tschirnhaus变换与广义超几何函数及模函数技术统一为一个计算上可行的三步过程。
• 提供一种数学上严谨且在符号计算系统（如Maple V和VI）中可实际实现的解法。

提出的方法

• 采用四次代换 $ x^4 + d x^3 + c x^2 + b x + a + y $ 的广义Tschirnhaus变换，消除一般五次方程中的 $ x^4 $、$ x^3 $、$ x^2 $ 和 $ x $ 项。
• 该变换导出一个5×5矩阵，其行列式给出一个可解的方程组，将原五次方程的系数与变换后方程的参数关联起来。
• 通过广义超几何微分方程求解Bring标准型 $ x^5 - x - s = 0 $ 的解，从而直接计算出根的特殊函数表达式。
• 利用Ferrari方法实施逆变换，求解所得四次方程，从而恢复原五次方程的五个根。
• 所有代换均编码于与Maple V和VI兼容的符号框架中，可直接计算根的值。
• 该方法避免了模函数求逆或迭代根求解的需要，为根的解析求解提供了直接路径。

实验结果

研究问题

• RQ1 能否在不依赖数值或迭代方法的前提下，推导出五次方程通解的完整闭式解？
• RQ2 如何系统性地应用Tschirnhaus变换，将一般五次方程约化为Bring标准型，并显式建立参数关系？
• RQ3 广义超几何函数在多大程度上可用于求解Bring方程，从而避免模函数求逆的需要？
• RQ4 是否可以构建一个三步符号过程，使五次方程的全部五个根以单一可计算公式形式呈现？
• RQ5 该解法是否可在现代符号计算系统（如Maple V和VI）中完全实现，而无需额外的数值或函数求逆步骤？

主要发现

• 本文推导出一般五次方程 $ x^5 + m x^4 + n x^3 + p x^2 + q x + r = 0 $ 的全部五个根的闭式表达式，适用于任意复系数。
• 该解法通过三步符号过程实现：变换为Bring形式、求解广义超几何方程、利用Ferrari方法进行逆变换。
• 根在Maple V和VI中显式计算，数值验证显示残差误差达到 $ 10^{-164} $ 量级，证实了极高的数值精度。
• 该方法避免了模函数求逆，而这是Hermite和Klein等先前方法中的已知瓶颈。
• 解法为完全符号化且确定性，所有参数——系数、变换变量和超几何项——均在一个统一框架中显式计算。
• 最终根的表达式以根式、超几何函数及代数组合形式给出，并为一个测试五次方程提供了具体数值，验证了其高精度下的正确性。