[论文解读] Roots of polynomials of degrees 3 and 4

Svante Janson|arXiv (Cornell University)|Sep 13, 2010

History and Theory of Mathematics参考文献 9被引用 11

一句话总结

本文利用伽罗瓦理论和有限阿贝尔群上的傅里叶分析，以代数方法求解三次和四次方程，为经典公式提供了现代的、群论驱动的动机。它展示了这些方程的可解性如何自然地源于其伽罗瓦群的结构，特别是三次方程的交错群A3和四次方程的克莱因四元群，通过初等对称函数和预解方程进行显式构造。

ABSTRACT

We present the solutions of equations of degrees 3 and 4 using Galois theory and some simple Fourier analysis for finite groups, together with historical comments on these and other solution methods.

研究动机与目标

• 利用伽罗瓦理论作为指导框架，重新推导三次和四次方程的经典解法。
• 展示群论结构（特别是伽罗瓦群及其子群）如何自然地提示解这些方程的关键代数构造。
• 表明有限阿贝尔群（如C3和C2×C2）上的傅里叶分析为解中使用的预解方程和对称函数运算提供了概念性动机。
• 阐明判别式及其平方根在区分伽罗瓦群中偶排列与奇排列中的作用。
• 提供一种统一的、概念上合理的三次和四次多项式方程可解性方法，与卡当和费拉里的历史方法形成对比。

提出的方法

• 通过代换x = y - b/3将一般三次方程转化为缺二次项的简化的三次方程，从而简化求根过程。
• 利用伽罗瓦群Gal(E/K(δ)) ≅ A3 ≅ C3来建模根上的对称作用，这促使在循环群C3上使用离散傅里叶变换。
• 通过根的初等对称函数引入三次预解方程，其中判别式Δ = -4p³ - 27q²作为关键不变量。
• 对于四次方程，应用费拉里的方法，通过配方化为双二次形式，从而导出一个预解三次方程。
• 利用预解三次方程R(u) = 0找到参数u，使得四次方程可分解为两个二次因式，根通过二次公式恢复。
• 将解几何地解释为在一组二次曲线的线性系中寻找一条奇异圆锥曲线，该圆锥曲线分解为两条直线，其与抛物线w = y²的交点即为根。

实验结果

研究问题

• RQ1 如何利用伽罗瓦理论系统地为求解三次和四次方程的经典公式提供动机？
• RQ2 伽罗瓦群在提示三次和四次多项式预解方程结构方面起什么作用？
• RQ3 有限阿贝尔群（如C3和C2×C2）上的傅里叶分析如何为解中使用的对称函数构造提供洞见？
• RQ4 为何判别式Δ及其平方根δ在区分伽罗瓦群中偶排列与奇排列时至关重要？
• RQ5 通过圆锥曲线线性系对费拉里方法的几何解释，如何澄清代数因式分解过程？

主要发现

• 三次方程若根互异，则其伽罗瓦群为S3或A3，而固定δ（判别式的平方根）的子群为A3 ≅ C3，该子群通过根的循环置换作用。
• 对于缺二次项的三次方程y³ + py + q = 0，根可通过涉及复表达式立方根的公式用根式表示，该公式源于C3的作用及傅里叶分析。
• 四次方程的预解三次方程的根是原四次方程根的对称函数，具体为u = (αiαj + αkαl)/2（对应不同下标对），其根决定了因式分解的参数。
• 当预解三次方程R(u) = 0有根u时，费拉里的方法导致四次方程分解为两个二次因式，根随后通过求解这两个二次方程获得。
• 几何解释表明，解对应于在一组圆锥曲线中寻找一条奇异圆锥曲线，该圆锥曲线分解为两条直线，其与w = y²的交点即为根。
• 当判别式Δ ≠ 0时，伽罗瓦群在根上忠实作用，且分裂域E是K(δ)的伽罗瓦扩张，三次方程的伽罗瓦群为A3，四次方程的伽罗瓦群为克莱因四元群。