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

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

阿贝尔-鲁菲尼定理

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

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

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

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

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

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

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

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

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

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

相关文章
|
6月前
【数值分析】迭代法求方程的根(附matlab代码)
【数值分析】迭代法求方程的根(附matlab代码)
|
6月前
【数值分析】二分法求方程的根(附matlab代码)
【数值分析】二分法求方程的根(附matlab代码)
|
6月前
|
人工智能 C++
c++实现 离散数学 “自反 对称 ” 详解
c++实现 离散数学 “自反 对称 ” 详解
|
5月前
数学基础从高一开始7、等式性质与不等式性质(重点作差法)
数学基础从高一开始7、等式性质与不等式性质(重点作差法)
36 0
|
算法 C语言
06【C语言 & 趣味算法】牛顿迭代法求方程根(可回看)
06【C语言 & 趣味算法】牛顿迭代法求方程根(可回看)
06【C语言 & 趣味算法】牛顿迭代法求方程根(可回看)
编写程序,用牛顿法求方程x^3-x-1在1.5附近的根
编写程序,用牛顿法求方程x^3-x-1在1.5附近的根
208 0
编写程序,用牛顿法求方程x^3-x-1在1.5附近的根
|
人工智能 开发者
定积分性质 | 学习笔记
快速学习定积分性质
定积分性质 | 学习笔记
|
程序员
程序员数学(9)--不等式与不等式组
本文目录 1. 基本概念 2. 不等式的性质 3. 一元一次不等式 4. 一元一次不等式组
167 0
程序员数学(9)--不等式与不等式组
|
机器学习/深度学习
【组合数学】递推方程 ( 非齐次部分是 指数函数 且 底是特征根 | 求特解示例 )
【组合数学】递推方程 ( 非齐次部分是 指数函数 且 底是特征根 | 求特解示例 )
156 0
Rolle中值定理的两个数学推论证明
Rolle中值定理的两个数学推论证明 中值定理的两个数学推论的证明过程,体现的数学思想比较有趣,我把它备忘记录下来。Rolle中值定理的数学推论1:简单的说吧,就是,假设I区间可微、连续,如果f’(x)=0,那么f(x)=C,C为常数。
949 0