计算机中的数学【阿贝尔-鲁菲尼定理】五次方程的根

简介: 阿贝尔-鲁菲尼定理五次及更高次的多项式方程没有一般的求根公式,即不是所有这样的方程都能由方程的系数经有限次四则运算和开方运算求根。这个定理以保罗·鲁菲尼和尼尔斯·阿贝尔命名。

阿贝尔-鲁菲尼定理

五次及更高次的多项式方程没有一般的求根公式,即不是所有这样的方程都能由方程的系数经有限次四则运算和开方运算求根。

这个定理以保罗·鲁菲尼和尼尔斯·阿贝尔命名。前者在1799年给出了一个不完整的证明,后者则在1824年给出了完整的证明。埃瓦里斯特·伽罗瓦创造了群论,独立地给出了更广泛地判定多项式方程是否拥有根式解的方法,并给出了定理的证明,但直到他死后的1846年才得以发表。

并不是说明五次或更高次的多项式方程没有解。事实上代数基本定理说明任意非常数的多项式在复数域中都有根.

然而代数基本定理并没有说明根的具体形式。通过数值方法可以计算多项式的根的近似值,但数学家也关心根的精确值,以及它们能否通过简单的方式用多项式的系数来表示。例如,任意给定二次方程

它的两个解可以用方程的系数来表示:

这是一个仅用有理数和方程的系数,通过有限次四则运算和开平方得到的解的表达式,称为其代数解。三次方程、四次方程的根也可以使用类似的方式来表示。阿贝尔-鲁菲尼定理的结论是:任意给定一个五次或以上的多项式方程:

那么不存在一个通用的公式(求根公式),使用 a0,a1,... ,an 和有理数通过有限次四则运算和开根号得到它的解。或者说,当n大于等于5时,存在n次多项式,它的根无法用自己的系数和有理数通过有限次四则运算和开根号得到.

换一个角度说,存在这样的实数或复数,它满足某个五次或更高次的多项式方程,但不能写成任何由方程系数和有理数构成的代数式。这并不是说每一个五次或以上的多项式方程,都无法求得代数解。具体区分哪些多项式方程可以有代数解而哪些不能的方法由伽罗瓦给出,因此相关理论也被称为伽罗瓦理论。简单来说,某多项式方程有代数解,等价于说它对应的域扩张上的伽罗瓦群是一个可解群。对于一般的二次、三次和四次方程,它们对应的伽罗瓦群是二次、三次和四次对称群.

伽罗瓦基本定理的最初应用是在使用伽罗瓦理论证明五次或以上的多项式方程没有代数解求根公式的问题上。其证明的主要思路是将“开n次方”的过程转化为“在基域中添加n次方根”生成的域扩张。将多项式有代数解的问题转化为某个分裂域是否可以通过有限次特定的域扩张得到的问题。而这些域扩张是否满足条件,则可以由伽罗瓦基本定理将其转化为判定“特定的伽罗瓦群是否有某种特殊的子群和商群(称为可解群)”的问题。

代数基本定理:任何一个非零的一元n次复系数多项式,都正好有n个复数根。

相关文章
|
7月前
【数值分析】迭代法求方程的根(附matlab代码)
【数值分析】迭代法求方程的根(附matlab代码)
|
7月前
【数值分析】二分法求方程的根(附matlab代码)
【数值分析】二分法求方程的根(附matlab代码)
|
6月前
数学基础从高一开始7、等式性质与不等式性质(重点作差法)
数学基础从高一开始7、等式性质与不等式性质(重点作差法)
41 0
|
机器学习/深度学习 算法 决策智能
方程就是二叉树森林?遗传算法从数据中直接发现未知控制方程和物理机理
方程就是二叉树森林?遗传算法从数据中直接发现未知控制方程和物理机理
110 0
|
算法 C语言
06【C语言 & 趣味算法】牛顿迭代法求方程根(可回看)
06【C语言 & 趣味算法】牛顿迭代法求方程根(可回看)
06【C语言 & 趣味算法】牛顿迭代法求方程根(可回看)
编写程序,用牛顿法求方程x^3-x-1在1.5附近的根
编写程序,用牛顿法求方程x^3-x-1在1.5附近的根
223 0
编写程序,用牛顿法求方程x^3-x-1在1.5附近的根
|
机器学习/深度学习
【组合数学】组合存在性定理 ( 三个组合存在性定理 | 有限偏序集分解定理 | Ramsey 定理 | 相异代表系存在定理 | Ramsey 定理内容概要 )
【组合数学】组合存在性定理 ( 三个组合存在性定理 | 有限偏序集分解定理 | Ramsey 定理 | 相异代表系存在定理 | Ramsey 定理内容概要 )
181 0
|
机器学习/深度学习 移动开发
【计算理论】可判定性 ( 对角线方法 | 证明自然数集 N 与实数集 R 不存在一一对应关系 )
【计算理论】可判定性 ( 对角线方法 | 证明自然数集 N 与实数集 R 不存在一一对应关系 )
347 0
|
机器学习/深度学习
【组合数学】递推方程 ( 非齐次部分是 指数函数 且 底是特征根 | 求特解示例 )
【组合数学】递推方程 ( 非齐次部分是 指数函数 且 底是特征根 | 求特解示例 )
160 0
线性化微分数学解释Einstein狭义相对论质能方程E=MC^2
线性化微分数学解释Einstein狭义相对论质能方程E=MC^2 要理解爱因斯坦在狭义相对论中的质能方程是如何推导出来的,需要先了解数学中的微分方程及其线性化方程的知识。
1201 0