从方程论到群论.docVIP

从方程论到群论 南京航空航天大学 象棋比赛中，每个选手都与其他选手恰好比赛一局，每局赢者记2分，输者记0分.如果平局，两个选手各记1分，领司有四个同学统计了中全部选手的得分总数，分别是1979，1980，1984，1985.经核实，.这次比赛共有多少个选手参加.②一元二次方程的解的研究 二次方程的一般形式是 aX2+bX+c=0 （a0，a，b，c∈Q） 用配方法解这个方程得X=，随便带入一个数，当b=0，a=1/2，c=-1时，得X=。又是个什么东西呢？它在不在有理数集Q中呢？应用反证法我们可以证明，不在有理数集Q中，即二次方程的解有些并不在系数域Q中，称这样的数为无理数。应用上次分析一次方程时的系数扩张方法，将系数域Q进行扩展，将所有满足b2-4ac0的方程的解X扩充到系数域Q中，得到一个更大的数系，实数系R。这时发现，对所有a、b、c∈R，且b2-4ac0的二次方程，其解也在R中，即实数系R中的任意两个元素进行+、-、X、的结果仍在实数系R中，所以实数系R是一个域。这个域包含了有理数域Q，记为QR。但是实数域R是不是仅仅包含有有理数域Q呢？当然不是，例如a+b，（a，b∈Q）也是一个域，它还有特别的记号，为Q（）。 上边对实数域R进行分析时有个限制，即如果没有呢？例如a=1/2，b=0，c=1/2时，得X=，那么，是个什么东西呢？跟之间有什么联系呢？我们知道，两个相同的数相乘不可能小于0，那么这个东西有没有实际意义呢？而且=1.414···，那=？ 我们姑且不管的实际意义，由之前的扩系数理论知道，若对系数之间的关系不加任何限制，那么解中不仅出现这种数，而且还会出现这种数。而且更加普遍。我们将实数域R进一步扩展，使其包含这种数，而且用反证法可以证明，不在R中，因此扩展后的集合将比实数集R更大，记为C。则二次方程在C中绝对有解，且RC。由前边分析可得C中的数可表为a+b，用i代替，即得a+ib，称这种数为复数。而且当a，b，c∈C时，二次方程的解也在C中，即取C中任意两个元素作+、-、X、的结果仍在C中，即C也是一个域，称为复数域。 对一次方程、二次方程的解进行分析后，我们得到三个重要的域，即有理数域Q、实数域R、复数域C，运用了一个重要的理论，系数扩展理论。由最基本的自然数集开始，通过方程解的研究，运用系数扩展理论，我们依次得到整数集Z、有理数集Q、实数集R、复数集C。人们最早知道自然数，然后是有理数、负数、整数、无理数、实数，最后才是复数。而且这些认识有的相隔几百年，有的甚至几千年才被人发现，最后有过了很多年才被人认可。但是由以上分析、推论，这些数的得到是我们进行分析后想当然的结果。为什么会有这种差别呢？留给看过这篇文章的人自己去分析品味吧。数系由自然数开始，一步步扩充到复数，这时不禁疑问，在分析更高次的方程如三次、四次方程的解后，会不会产生新的数系呢？对此问题，高斯曾证明过，运用扩展系数方法不会产生比复数系更大的数系了，即，代数王国已经完成了它的扩张。虽然英国数学家哈密尔顿运用他的天才方法发明了一种新数，a+ib+jc+kd，即四元数，后来又扩展有八元数、十六元数···但那不是解方程时引出的，只是人纯抽象的产物，这另当别论，也不违反高斯的定理。 三次方程、四次方程 ①在完全解决一次、二次方程的解，把数系由自然数扩展到复数后，在此基础上，我们再来分析三次、四次方程的一般解。解这两种方程需要极高的技巧。三次方程的一般解法的最先发现者是1535年意大利波洛那的塔尔塔利亚，他的解法是这样的： 对于一般形式的三次方程X3+aX2+bX+c=0 （a，b，c∈Q），令X=Y-a/3，则原方程可简化为 Y3+pY+q=0运用恒等式（u+v)3=u3+v3+3uv(u+v)。令u+v=Y，3uv=p，u3+v3=q，得u6+qu3-p3/27=0,同理有v6+qv3-p3/27=0,此时只要解出u、v，即可解出Y，解出Y，即可解出X。再经过一系列复杂计算后，塔尔塔利亚得 Y= 这个公式称为卡丹公式，至于为什么不叫塔尔塔利亚公式，那是数学史上的事了。但是这个公式也不是精确的，因为从表面来看，Y应该有3X3=9种结果，这是荒谬的，这是在无代数基本定理、无复数概念仅仅有实数概念下得到的结果，碰见复数时用根不存在以避之。但是有了复数概念，在复数下进行分析时，得对卡丹公式进行修正为： 其中=1，，2 ，是1的立方根。至于如何得到这个公式，请参考冯承天先生的《从一元一次方程到伽罗瓦理论》。这样，三次方程的问题就彻底解决了。 ②再考虑四次方程的根式求解，一般的四次方程为： X4+aX3+bX2+c=0 令Y=X-a/4，方程可化为： Y4+pY2+qY+r=0 用法国数学家笛卡尔在1637年提出的方法，令 Y4+pY2+qY+r=（Y2+