python求一元三次方程的根_五次方程为什么没有求根公式(2)

上一篇文章可以看出，数学家在高次方程的求解上下了很大功夫。这件事从一个人开始发生了思想的转变，他认为我们不应该一味地通过系数来找求根公式，这个人就是拉格朗日。

我们知道一元二次方程根与系数的关系是

那么为什么根与系数的关系就一定要是这样的呢，它为什么不能是

呢，我们留个疑问，先来看看一元三次方程根与系数的关系。

设方程

的三个根为

，则

左边展开

就得到了一元三次方程根与系数的关系

结合一元二次方程的求根公式一起来看，这些根的组合似乎存在着某些规律。

把多项式中的任何两个元互换，所得的结果都与原式相同，这类多项式就叫做对称多项式。

而这些（关于根的）多项式又能够通过方程的系数表示出来，说明一个方程的系数也是具有关于根的某种对称性的，这种对称性简单理解就是在根的置换过程中其值保持不变。这也就是拉格朗日的发现。在这个思路下，阿贝尔和伽罗瓦深入研究了这种对称性，于是，伽罗瓦提出了群的概念。

二、群论初步（上）

考虑

这三个数字，置换它们的位置，使其结束时每个数字都不在最开始的位置，这种置换称之为轮换。显然轮换后只有以下两种状态，

和

。

现在我们用这样的一种表示方法，将初始状态写在上面一行，结束状态写在下面一行。

这样，无论这三个数字如何轮换，我们都可以用上面三个状态中的其中一种表示出来。于是这三种状态合起来就构成了一个群，这个群就叫做循环群（cyclic group）。这三种状态就是这个群的三个元素，有几个元素就叫做几阶，因此，这个群就是一个三阶循环群，记作

。

那么，从其中随便拿出两个元素是否也能构成一个群呢。答案是不可以，要构成一个群，必须要满足四个群公理。

首先，我们把轮换的操作抽象成一种运算叫做乘法，这里的乘法不是数的乘法，在群里乘法就表示先后进行了两种置换操作。例如，

注意，这不是矩阵乘法，而是群乘法。群乘法要从右向左计算。这个乘法表示先后进行了两种轮换，最后的结果就是回到了初始状态。

所以，要想构成一个群，首先要有一个集合，并且对集合中的元素定义一种二元运算，比如，我们定义的群乘法。然后还要满足下面四个群公理：

1. 封闭性：集合中的元素经过运算后结果仍在这个集合中
2. 结合律：
3. 单位元：集合中要有单位元
   ，任何元素和
   相乘，积都是其自身
4. 逆元：任何元素在集合中都有逆元，任何元素和其逆元相乘，积都是单位元

以上考虑的只是三个数字进行轮换之后可能得到的结果，那么这三个数字的所有置换总共有集中情况呢？显然，结果是这3个数字的全排列，

，把剩下的三种状态写出来，

可以发现，这三种置换都是其中一个数字位置不变，仅交换另外两个数字的位置，我们称这种置换为对换。这三种状态加上上面通过轮换得到的三种状态，就可以表示这三个数字的全部置换方式，显然这6个元素也构成一个群，称为对称群（symmetric group）或全置换群。由n个数字进行全置换所构成的群就叫n次对称群。所以，这是一个三次对称群，记作

。这是一个六阶群。

对于一元三次方程的三个根来说，所有可能的置换方式有

种，也就是

。四次方程就是

。五次方程就是

。伽罗瓦在此基础上，发现了

的某种特殊性质，因此得出了一般的一元五次方程没有求根公式的结论。