专题二 从高次代数方程和求根公式到伽罗华理论
数学分支

数学分支学科的历史发展摘要:数学发展到现在,已经成为科学世界中拥有100多个主要分支学科的庞大的“共和国”。
大体说来,数学中研究数的部分属于代数学的范畴;研究形的部分,属于几何学的范筹;沟通形与数且涉及极限运算的部分,属于分析学的范围。
这三大类数学构成了整个数学的本体与核心。
在这一核心的周围,由于数学通过数与形这两个概念,与其它科学互相渗透,而出现了许多边缘学科和交叉学科。
本文简要介绍数学三大核心领域中十几门主要分支学科的有关历史发展情况。
关键字:代数学几何学分析学代数学范畴一、算术算术有两种含义,一种是从中国传下来的,相当于一般所说的“数学”,如《九章算术》等。
另一种是从欧洲数学翻译过来的,源自希腊语,有“计算技术”之意。
现在一般所说的“算术”,往往指研究自然数(正整数)、分数、小数的简单性质,及其加、减、乘、除、乘方、开方运算法则的一门学科,是数学中最基础的部分,中国古代将数学和数学书也统称为算术。
如果是在高等数学中,则有“数论”的含义。
作为现代小学课程内容的算术,主要讲的是自然数、正分数以及它们的四则运算,并通过由计数和度量而引起的一些最简单的应用题加以巩固。
算术是数学中最古老的一个分支,它的一些结论是在长达数千年的时间里,缓慢而逐渐地建立起来的。
它们反映了在许多世纪中积累起来,并不断凝固在人们意识中的经验。
自然数是在对于对象的有限集合进行计算的过程中,产生的抽象概念。
日常生活中要求人们不仅要计算单个的对象,还要计算各种量,例如长度、重量和时间。
为了满足这些简单的量度需要,就要用到分数。
现代初等算术运算方法的发展,起源于印度,时间可能在10世纪或11世纪。
它后来被阿拉伯人采用,之后传到西欧。
15世纪,它被改造成现在的形式。
在印度算术的后面,明显地存在着我国古代的影响。
19世纪中叶,格拉斯曼第一次成功地挑选出一个基本公理体系,来定义加法与乘法运算;而算术的其它命题,可以作为逻辑的结果,从这一体系中被推导出来。
专题02从求根公式谈起

专题02从求根公式谈起求根公式是代数方程研究中的重要工具,它能够用一种通用的形式来表示代数方程的根。
求根公式的提出为我们解决代数方程的根提供了一种统一的方法,极大地简化了计算的复杂度。
本文将从求根公式的历史背景、定义与基本概念、应用范围等方面进行论述。
求根公式最早可以追溯到古希腊时期。
柏拉图学派的代表人物尤西庇德斯研究了一元二次方程,并发现了一种求根公式。
他的求根公式是基于几何方法的,将二次方程的根与长度相关联。
然而,这种方法并不具有普遍性,只适用于特定的情况。
随着代数学的发展,学者们继续研究求根公式,希望能够找到更加一般的解法。
在16世纪,意大利数学家卡尔达诺首次提出了一元三次方程的求根公式。
他发现了一种与立方根相关的关系,可以用来求解三次方程。
这一发现极大地推动了代数方程的研究,成为了代数学中的里程碑之一、然而,卡尔达诺的求根公式仍然是特定的,只适用于特定的情况。
到了16世纪末,法国数学家维埃中将卡尔达诺的研究推广到了一元四次方程。
他发现了与四次方根相关的公式,并证明了一元四次方程的根可以用这个公式求得。
这一发现引起了广泛的关注,对代数方程的求根问题提出了新的理论框架。
然而,尽管求根公式在特定情况下有很高的实用性,但是随着研究的深入,人们发现了一些限制。
19世纪数论领域的研究引发了对求根公式的普适性的质疑。
德国数学家罗瓦斯基斯基证明了一元五次方程不存在通解,也就是说,不能用一个通用的求根公式来表示其根。
这一发现颠覆了人们对求根公式的传统认识,改变了代数方程研究的方向。
尽管无法用通用的求根公式来解决一元五次方程,但是数学家们发展了许多方法来处理代数方程的根。
例如,拉格朗日引入了群论的概念,用一个n维空间来表示一个n次代数方程的根,奠定了代数方程理论的基础。
另外,高斯提出了复数的概念,将方程的根从实数域扩展到复数域,从而解决了无理根的问题。
虽然一元高次方程没有一般的求根公式,但二次方程、三次方程和四次方程都存在通用的求根公式。
galois定理

galois定理伽罗瓦理论(Galois Theory)是数学的一个重要分支,主要研究域扩张和自同构群的关系。
以下是关于伽罗瓦定理的详细介绍。
首先,伽罗瓦定理描述了一个多项式的根与该多项式在某个域上的分裂关系。
具体来说,如果一个多项式在某个域上可因式分解为若干个线性因子,那么这些线性因子对应的根就是这个多项式的根。
也就是说,一个多项式在某个域上的因式分解与其根之间存在一一对应关系。
其次,伽罗瓦定理还指出了域扩张和自同构群之间的关系。
对于一个给定的域扩张,存在一个与其相关的自同构群,这个自同构群就是这个域扩张的自同构群。
也就是说,任何给定的域扩张都与一个自同构群相关联。
这个定理在代数中具有广泛的应用,可以用来研究各种代数结构和性质。
此外,伽罗瓦定理还可以用来解决一些著名的数学问题。
例如,费马大定理就是通过伽罗瓦定理得以解决的。
费马大定理是指一个整数幂不可能被分解为两个大于1的整数幂的和。
尽管费马声称自己已经证明了这一定理,但他的证明一直未被找到。
直到1994年,英国数学家安德鲁·怀尔斯(Andrew Wiles)利用伽罗瓦定理证明了费马大定理,这一证明被广泛接受并被认为是最终的证明。
除了在数论中的应用,伽罗瓦定理还在其他数学领域中有着广泛的应用。
例如,在几何学中,伽罗瓦定理可以用来研究曲线和曲面在某个域上的性质和结构;在代数学中,它可以用来研究各种代数结构和性质;在组合数学中,它可以用来研究组合问题和图论问题等。
总之,伽罗瓦理论是一个非常重要的数学分支,它不仅在数论和代数中有广泛的应用,还对整个数学的发展产生了深远的影响。
通过深入研究和探索伽罗瓦理论的各种应用和性质,我们可以更好地理解和掌握数学的内在规律和本质,推动数学科学的发展和进步。
galois定理

galois定理
摘要:
1.介绍伽罗华定理的背景和概念
2.阐述伽罗华定理的证明方法
3.分析伽罗华定理在数学领域的重要性
4.总结伽罗华定理的影响和应用
正文:
伽罗华定理是数学领域的一个重要定理,它由法国数学家埃瓦里斯特·伽罗华于1832 年提出。
伽罗华定理主要研究的是关于代数方程的解的性质,它指出了如何通过代数方法来判断一个n 次代数方程是否有解,以及解的个数。
伽罗华定理的证明方法比较复杂,需要引入一些抽象的数学概念,例如群和域。
简单来说,伽罗华定理的证明基于一个重要的数学原理,即拉格朗日定理。
拉格朗日定理指出,如果一个代数方程有解,那么它的解的个数等于某个特定的子空间的维数。
伽罗华定理则进一步说明了如何计算这个子空间的维数。
伽罗华定理在数学领域具有重要的地位。
它不仅为代数学的发展奠定了基础,而且也对其他数学领域产生了深远的影响。
例如,伽罗华定理在数论、几何学、拓扑学等领域都有重要的应用。
中学生看得懂的伽罗瓦理论

中学生看得懂的伽罗瓦理论
解决五次方程的求根问题,不知是多少数学家梦寐以求的愿望,然而群论一出手就一劳永逸地解决了N次方程的求解问题。
解决高次方程求根问题的群论已足够强大,但是群论的魅力还远不止如此。
在此之后群论又使困扰人类几千年的古希腊三大作图难题直接变成了群论的一个普通推论。
三大古典作图难题是:三等分任意角;倍立方;化圆为方。
虽然在群论1846年公开前的1837年旺尔策(Wantzel,1814~1848)曾用代数法证明过前面的两个,但是这三大难题,其本质上都属于群的问题,用群论来解答才清晰又本质。
不可作的原因,是因为这些作图中的某些点线,超出了尺规作图所能作出的点线的群,所以习惯上最终的定论都归入到了群论的范畴。
群论还具有广泛的结合性,很多物理、化学、晶体、电子、通信……等领域中都可以看到群论的身影,很多难题运用群论的思想都可以迎刃而解。
群论,可以说是站在更高的思维层次来看问题,这相当于用高维去研究低维,于是在低维里无法看清的东西在高维里就变得纤毫毕现了。
拿现在流行的一句话来说,就是降维打击。
群论,跳出了具体的计算而考察整体的结构,开创了从研究个体到研究群体的转变,进而敲开了近世代数的大门,将数学推上了一个全新的境界----抽象代数。
群论,一朵璀璨的思想之花,应该早点认识它!
本文试着用中学知识的语言来解释一下群论,希望能为群论的推广发挥点作用。
伽罗瓦理论

伽罗瓦理论用群论的方法来研究代数方程的解的理论。
在19世纪末以前,解方程一直是代数学的中心问题。
早在古巴比伦时代,人们就会解二次方程。
在许多情况下,求解的方法就相当于给出解的公式。
但是自觉地、系统地研究二次方程的一般解法并得到解的公式,是在公元9世纪的事。
三次、四次方程的解法直到16世纪上半叶才得到。
从此以后、数学家们转向求解五次以上的方程。
经过两个多世纪,一些著名的数学家,如欧拉、旺德蒙德、拉格朗日、鲁菲尼等,都做了很多工作,但都未取得重大的进展。
19世纪上半叶,阿贝尔受高斯处理二项方程(p为素数)的方法的启示,研究五次以上代数方程的求解问题,终于证明了五次以上的方程不能用根式求解。
他还发现一类能用根式求解的特殊方程。
这类方程现在称为阿贝尔方程。
阿贝尔还试图研究出能用根式求解的方程的特性,由于他的早逝而未能完成这项工作。
伽罗瓦从1828年开始研究代数方程理论(当时他并不了解阿贝尔的工作),他试图找出为了使一个方程存在根式解,其系数所应满足的充分和必要条件。
到1832年他完全解决了这个问题。
在他临死的前夜,他将结果写在一封信中,留给他的一位朋友。
1846年他的手稿才公开发表。
伽罗瓦完全解决了高次方程的求解问题,他建立于用根式构造代数方程的根的一般原理,这个原理是用方程的根的某种置换群的结构来描述的,后人称之为“伽罗瓦理论”。
伽罗瓦理论的建立,不仅完成了由拉格朗日、鲁菲尼、阿贝尔等人开始的研究,而且为开辟抽象代数学的道路建立了不朽的业绩。
在几乎整整一个世纪中,伽罗瓦的思想对代数学的发展起了决定性的影响。
伽罗瓦理论被扩充并推广到很多方向。
戴德金曾把伽罗瓦的结果解释为关于域的自同构群的对偶定理。
随着20世纪20年代拓扑代数系概念的形成,德国数学家克鲁尔推广了戴德金的思想,建立了无限代数扩张的伽罗瓦理论。
伽罗瓦理论发展的另一条路线,也是由戴德金开创的,即建立非交换环的伽罗瓦理论。
1940年前后,美国数学家雅各布森开始研究非交换环的伽罗瓦理论,并成功地建立了交换域的一般伽罗瓦理论。
伽罗瓦群与高次方程的代数解

伽罗瓦群与高次方程的代数解 李阳年轻的数学家伽罗瓦倒在一场决斗之中生前遭遇了种种的不平和不公在伽罗瓦理论中高于四次本文即将以一种简约的方式向大家介绍这个重要结论的求证过程伽罗瓦理论高次方程不可解我们接触到了一次和二次方程当方程的次数超过二次的时候直到15世纪末但是不久和四次方程的解决方案指寻找到代数解然而欣喜过望的人们 其后的三百年间拉格朗日等人的努力相继以失败告终在1824年一般的五次方程或更高次代数方程的根而最终的明确论断其人随后死于决斗数学史上的一大悲剧数学的发展史上真是多灾多难伽罗瓦解决这个问题的基础理论是他发现的关于群和域的概念高次方程是否有代数解高次方程的一般方程不可能用根号求解让我们一起来探讨整个求证的过程可解群如果存在某个正规群列G1Gr=1它的每个因子群i=0,1,r-1 例 如S3A31中故S3是可解群A4K41中K4/1都是交换群 然而进一步的证明却让人张口结舌nSn和An都不是可解群证明略这将是导致高次方程不可解的根本原因详情参阅1998年 详情参阅[美]H1990年 参考任何一本关于群和域的专著都可以扩域如果F和E是两个域EF是E的子域是任一域的子域一个方程的求根总是在某个域中进行的但可能在某个扩域中有根设EFK是三个域 分裂域F的包含f(x)所有根的最小扩域E称为f(x)在F上的分裂域分裂又称设K是F的有限扩域F[x]中的任一n次不可约多项式或者n个根都在K中域F的任一有限正规扩域K称为F的伽罗瓦扩域域E到E自身的同构满射称为E的自同构所以域的自同构必把+的单位元1变为1保持一切有理数不变即6|Q=1Q域E的自同构全体关于变换的乘法成群记为Aut E对于特殊的自同构集合Gal E/F={б|бaб=a, 任取a其中每一个б都不变F中的任意数称为扩域E/F的伽罗瓦群f(x) f(x)在F上的分裂域是E记为Gf 任一6III. 伽罗华基本定理我们把Inv G={a|a=a,任取F}称为G的不变子域S2={K|K是E的包含F的子域}G=Gal E/F H → σInv H是S1到S2的双射S1和S2之间存在如下伽罗瓦对应 H1H2 <=> Inv H1Inv H2 H是G的正规子群 <=> Inv H 是F的正规扩域且有 Gal(Inv H/F)同构于G/HFInv G为两个伽罗瓦映射伽罗瓦对应图记号说明把E是F的扩域简记为E/F把多项式f(x)的次数记为deg f(x)把G的不变子域记为Inv G看了那么多的概念那么 第一步显然可以用根号来求解,X1= + 普遍来讲a,b,ca不为0则扩域F()包含了方程的所有根根塔由依次对前一域中的某数添加根号组建的塔QQ()对于三次方程了四次方程将f(x)的根全部包含在内根塔有部分方程根塔由于相邻的两层相等f(x)= x3-2=0的解为:x1=QQ()Q(,)如f(x)= x5-2=0由此建立的对应根塔为Q()Q()Q()一个方程是否可以用根号求解可以利用其根塔的存在与否来判定 ¹ÅµäÊýѧÄÑÌâÓëÙ¤ÂÞÍßÀíÂÛ1986年根号求解让我们重新定义1的多项式称f(x)=0在F上可用根号求解设f(x)是某一首项系数为满足以下条件1即FEK2F2FrFr+1 = K(di)ni=aii=1,2,对应的自然数集{n1,n2,,nr}称为此根塔的根次数集(如根塔23}5})添加到Fi上而得的单代数扩域中每个数都可由Fi中的数经过有限系数属于Fi,即Fi+1次的加减乘除和开ni次方得出因而也在K中经过有限次的加减乘除和开根号运算表示随后它所依据的标准 第三步两个十分重要的已证明的结论我们引入设n是某个确定的自然数1F,a不为0则Gal E/F必是m阶循环群 如果E是域F的这样一个伽罗瓦扩域则必存在d使dr=a这个定理说明了这样一个事实只要基域F含有n次本原根即f(x)=xn-a的伽罗瓦群必是m阶循环群反之定理2f(x)= xn-1在F上的分裂域为E 以上两个定理在判定规则证明中起了重要的作用 设F为域则f(x)=0可用根号求解 <=> Gf是可解群 一根据我们的定义知存在F的某个扩域K我们可以假定根塔4中的K是伽罗瓦扩域但K的正规闭包(记为Ka)必是F的伽罗瓦扩域且仍有FEKKa证明略 设根塔4中所有根次数n1,n2,,nr 的最小公倍数是n把z添加到根塔4中的每个域上取i=1 那么根塔4又可以得到K(z)/F的一个根塔 F=K0K1KrK(z)=Kr+1 K1=F(z)=K0(z)(di)niKi,I=1,2,,r所以K必是某个g(x) 因为z是n次本原根n-1) 因而K必是F的伽罗瓦扩域zi=0,1,,r则Ki=Inv Hi,I=0,1,,r这里1是H0的单位元群由定理二知对于任一i(i=1,由于Ki中已包含了ni次本原根zn/niKi[x]在Ki上的分裂域Gal Ki+1/Ki也是交换群由Ki+1/Ki是正规扩域知Hi+1是Hi的正规子群所以H0=Gal K(z)/F是可解群其中E是f(x)在F上的分裂域=Gal K(z)/E所以是H0的正规子群所以商群G也是可解群综上可知则Gf是可解群充分性 设f(x)在F上的分裂域为E设|G|=n任取n次本原根zE上 F=F1F2=F(z)K=E(z)所以f(x)在F2上的分裂域为E(z)=K而F2=F(z)已经是F的根号扩域故只须要构造一个从F2到K的根塔就行了H=Gal K/F2同构于G=Gal E/F的某个子群故H也是有限可解群H2HrHr+1=1 其中每个合成因子群Hi/Hi+1都是素数pi阶循环群i因为K是F2的伽罗瓦扩域H=H1HiHrHr+1=1 F2FiFrFr+1=K 必有Hi=Gal K/Fi+1, Gal Fi+2/Fi+1同构与Hi/Hi+1 因为F2=F(z)中已经包含了所有的pi次本原根zn/pi根据定理一Fi+2,使得 =Fi+1(di+1),(di+1)pi Fi+2故而得到根塔F2Fr+1Fr+2=K 根次数依次为n,p1,p2,且K=E(z)包含了f(x)在 综合以上可知判定定理得证由前面的引导概念我们可以有以下结论 一个n次多项式f(x)的伽罗瓦群Gf在n=3或n=4的时候是可解群而当n>4的时候故而不能用根号求解高于四次的一般代数方程不可能用根号求解V. 结语伽罗瓦的证明成为数学史上重要的里程碑他研究数学的时间仅有短短的五年却成为了跨时代的超越伽罗华将他的一篇论文提交给法国科学院审查当时负责审查的数学家泊阿松最后结论居然是其朋友舍瓦利叶按照他的遗愿将其发表在中也就是1846年1882)领悟到这些演算中迸发出的天才思想刘维尔最后他将这些论文编辑发表在他的极有影响的上 1931年卷入了一场所谓的决斗伽罗瓦腹部中弹年仅21岁成为人类科学史上的一大悲剧因此而停滞良久数学珍宝历史文献精选卡尔达诺大术李文林 主编科学出版社 [2] 徐诚浩 著复旦大学出版社 [3] [美]H1990年域论1997年抽象代数学: 域论及伽罗瓦理论1987年伽罗华理论基础1989年伽罗瓦传商务印书馆 。
使得hxfxgx如果存在记为gx...

第二章多项式第二章多项式2.1 一元多项式的定义和运算2.2 多项式的整除性2.3 多项式的最大公因式2.4 多项式的分解2.5 重因式2.6 多项式函数多项式的根2.7 复数和实数域上多项式2.8 有理数域上多项式2.9 多元多项式2.10 对称多项式课外学习2:从高次代数方程和求根公式到伽罗华理论课外学习2:从高次代数方程和求根公式到伽罗华理论课外学习3:代数与代数基本定理的历史课外学习3:代数与代数基本定理的历史课外学习4:推广的余数定理及算法课外学习4:推广的余数定理及算法课外学习5:代数元的多项式的共轭因子课外学习5:代数元的多项式的共轭因子惠州学院数学系代数是搞清楚世界上数量关系的工具。
代数是搞清楚世界上数量关系的工具。
――怀特黑德(1961-1947)――怀特黑德(1961-1947)当数学家导出方程式和公式,如同看到雕像、美丽的当数学家导出方程式和公式,如同看到雕像、美丽的风景,听到优美的曲调等等一样而得到充分的快乐。
风景,听到优美的曲调等等一样而得到充分的快乐。
- -柯普宁前苏联哲学家- -柯普宁前苏联哲学家快乐地学习数学,优雅地欣赏数学。
快乐地学习数学,优雅地欣赏数学。
――匿名者――匿名者惠州学院数学系2.1 一元多项式的定义和运算2.1 一元多项式的定义和运算一、内容分布一、内容分布2.1.1 认识多项式 2.1.4 多项式的运算2.1.5 多项式加法和乘法的运算规则2.1.2 相等多项式2.1.6 多项式的运算性质2.1.3 多项式的次数二、教学目的掌握一元多项式的定义,有关概念和基本运算性质三、重点、难点一元多项式的定义,多项式的乘法,多项式的运算性质。
惠州学院数学系2.1.1 认识多项式2.1.1 认识多项式多项式令R是一个含有数1的数环.R上一个文字x的多项式或一元多项式指的是形式表达式2 naa xa x a x0 1 2 nai0, 1, ?, n这里n是非负整数而都是R中的数ifx ?, gx ?,一元多项式常用符号来表示i1:在多项式1中,a xa叫做零次项或常数项,i叫做 i 次项,a叫做 i 次项的系数i2:在一个多项式中,可以任意添上或去掉一些系注数为零的项;若是某一个i次项的系数是1 ,那么这个系数可以省略不写。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
2
x 3 + ax + bx + c = 0
中作变量代换 x = y −
a 后把方程化为 3
(1)
3
y 3 + py = q
它不再含有平方项了,设 y =
m − 3 n ,这里 m 和 n 是两个待定的数,则有
y 3 = m − n − 3 mny = q − py
如果取 m, n 满足
m − n = q,
a 0 x n + a1 x n−1 + L + a n−1 x + a n = 0
当 n≥5 时不可能用根号求根,而且还建立了具体数学系数的代数方程可用根号求解的 判别准则,并举出不能用根号求解的数字系数代数方程的实例。这样,他就透彻地解决了这 个长达二百多年来的时间使不少数学家伤脑筋的问题。不仅如此,伽罗华所发现的结果。他 的奇特思想和巧妙方法,现又成为全部代数的中心内容。在这一点上说,他作为抽象代数的 创造人之一是当之无愧的。他的贡献决不限于解决代数方程根号求解的问题。 随着时间的推移,伽罗华的卓越贡献越来越为数学家所认识。他的学术思想对近代数学 产生了深远的影响:他开创的群论逐渐渗透到数学其它分支,以及结晶学,理论物理学等领 域, 群论给这些领域提供了有力的数学工具比如用群论证明了结晶体的类型只有 230 种, 群 论为诸如方程的根,晶体的结构,空间变换,基本粒子的对称性等课题的研究提供统一的方 法。到 20 世纪,群论的概念在整个数学中占有重要的地位,成为现代数学的基础之一。
3
mn =
p 3 4 3 p 27
则对应的 y 值必满足(1)式。另一方面,由
( m + n) 2 = (m − n) 2 + 4mn = q 2 +
可得
m + n = q2 +
所以,当取
4 3 p 27
m=
1 1 2 1 3 q+ q + p 2 4 27
1 1 2 1 3 n=− q+ q + p 2 4 27
2
2
把右边移到左边并分解因式得到两个二次方程
1 1 2 1 1 2 x2 + ( a − a − b + t )x + t − t −a =0 2 4 2 4 1 1 2 1 x2 + ( a + a − b + t )x + t + 2 4 2 1 2 t −a = 0 4
这样,就把求四次方程的根化为求一个三次方程和两个二次方程的根,因此认为四次方 程的求解问题也解决了。 既然有了这个突破, 数学家们就以极大的兴趣和自信致力于寻找五 次方程的求解方法。他们发现,对次数不超过四的方程,都能得到根的计算公式,每个根都 可用原方程的系数经过加减乘除和开方运算表出。 我们把这件事简称为可用根号求解, 于是 人们断言:对于五次方程来说,也一定存在这种求根公式。关于这一点,当时的一些著名数 学家,如欧拉(Euler ,1707——1783) ,范得蒙(Vandermonde,1735——1796) ,拉格朗日 (Lagrange,1736——1813) ,鲁菲尼( Rullini,1765——1822)和高斯(Gauss,1777——
1855)等都曾深信不疑,因而都曾尽力寻找,但都以失败告终。 首先怀疑这种求根公式存在性的是拉格朗日。他透彻地分析了前人所得的次数低于五的 代数方程的求解方法, 发现都可以作适当的变量代换化为求解某些次数较低的辅助方程 (它 们被后人称为拉格朗日预解式) ,然而对于五次方程按这种方法得到的辅助方程的次数却升 到六次,于是此路不通!1771 年,拉格朗日发表长篇论文《关于方程的代数解法的思考》 提出了这个怀疑。到了 1813 年,他的弟子,意大利的内科医生鲁菲尼终于证明了拉格朗日 所采用的寻找预解式的方法对于五次方程的确是失效的。早在 1801 年,高斯也意识到这个 问题也许是不能解决的。可是,包括拉格朗日在内都没有给出“不存在性”的证明。 第一个证明“高于四次方程不能用根号求解”的是挪威青年数学家阿贝尔( Abdl,1802 ——1829)他中学时就读了拉格朗日和高斯关于方程论的著作,探讨高次方程的求解问题, 1824——1826 年,他写出了《五次方程代数解法不可能存在》一文,但高斯看后说: “太可 怕了,竟然写出这样的东西来”表示不理解力,阿贝尔在数学方面有很多独创性的成就,在 当时未被重视,由于贫病交迫,1829 年 4 月 6 日死于结核病,年仅 27 岁。在他逝世前不久, 曾把一些研究结果告诉勒让得(Legendre,1752——1833) ,就在他离开人间的第三于,柏 林厌给他寄来了教授聘书。 不过,鲁菲尼和阿贝尔的证明毕竟是不很清楚的,甚至还有一些漏洞。阿贝尔并没有给 出一个准则来判定一个具体数字系数的高次代数方程能否用根号求解。 作为历史, 他们的功 绩不容抹杀,但与不久以后出现的伽罗华的辉煌成就相比,就大为逊色了! 伽罗华(Galois ,1811 ——1832)是法国青年数学家,15 岁进入巴黎有名公立中学学习, 偏爱数学。后来想进工科大学,两次落榜只进一所代等的预备学校,此时,他专攻五次方程 代数解法。第一年写了四篇文章,1828 年,17 岁的伽罗华写了《关于五次方程的代数解法 问题》等两篇论文送交法国科学院,但被柯西(Cauchy, 1789——1875)遗失,后来,他又 把一篇文章送给傅利(Fourier ,1768——1830) 。不久,傅利就去世了,也就不了了之。1831 年, 伽罗华完成了 《关于用根式解方程的可解性条件》 一文, 院士普阿松 (Poisson, 1781-1840) 的审查意见却是“完全不能理解” ,予以退回。伽罗华不幸因决斗受重伤于 1832 年 5 月 31 日离世,时年不满 21 岁,在决斗前夜,他深知为女友决斗而死毫无意义,但又不甘示弱, 当晚他精神高度紧张和极度不安,连呼“我没有时间了! ”匆忙之中,把他关于方程论的发 现草草写成几页说明寄给他的朋友, 并附有如下一段话: “你可以公开地请求雅可比 (Jacobi) 或高斯, 不是对于这些定理的真实性而是对于其重要性表示意见, 将来我希望有人会发现这 堆东西注释出来对于他们是有益的。 ”到了 14 年后的 1864 年,刘维尔(Liouville ,1809—
这引塔尔塔里亚的极大愤怒,并向卡丹宣战。双方各出 31 题,限定 15 于交卷。卡丹派他的 学生费拉里(Ferrari,1522——1565)应战,结果,塔尔塔里亚在七天之内解出大部份题目, 而费拉里五个月才交卷, 仅解对了一题。 塔尔塔里亚本想完成一部包含他的新算法在内的巨 著,可惜壮志未酬就与世长辞了,在三次方程的求解问题解决后不久,卡丹的仆人和学生费 拉里又得到了四次方程的求解方法。其主要思路是:对于四次方程
—1882)在由他创办的《纯粹数学和应用数学杂志》上发表了伽罗华的部分文章。关于伽罗 华理论的头一个全面而清楚的介绍是若当(Jordan,1838——1892)于 1870 年出版的《置 换和代数方程专论》一书中给出的。这样。伽罗华超越时代的天才思想才逐渐被人们所理解 和承认, 至今已成为一门蓬勃发展的学科——抽象代数学。 伽罗华避开了拉格朗日的难以捉 摸的预解式而巧妙地应用了置换群这一工具,他不但证明了如下的一般代数方程:
x=
1 − b m b 2 之为正实根才是根,零,负数,无理数和复数的概念和理论迟 至十六世纪到十八世纪才得到承认并逐步完善。 根据巴比伦文书记载, 当时已解决了二次方 程:
x+
得出的解答是:
1 =b x
b b x = m −1 2 2
这就促使人们进一步思考,是否对于任意次数的方程都能找到这种求根公式?寻找三次 方程的求根公式,经历了二千多年的漫长岁月,直到十六世纪欧洲文艺复兴时期,才由几个 意大利数学家找到,这就是通常据说的卡丹(Cardan, 1501——1576)公式,其原始想法是: 在
1 1 1 ( at − c) 2 − 4( a 2 − b + t )( t 2 − d ) = 0 2 4 4
即选择 t 是三次方程
t 3 − bt 2 + ( ac − 4d )t − a 2 d + 4bd − c 2 = 0
的任一根。把这个根作为(3)中的 t 值就有
1 2 1 1 1 2 ( x + ax + t ) 2 = x a −b+t + t −a 2 2 4 4
时,并令 α =
3
m , β = 3 n ,就得原三次方程的一个根
x1 = α − β −
α 3
它的另两个根是
α 3 α x 3 = w2α − wβ − 3 1 1 这里 w = (−1 + 3i ), w 2 = ( −1 − 3i ) (其中 i = − 1 )是 x 3 − 1 = 0 的两个不是 2 2 x 2 = wα − w 2 β −
1 的根。 在三次方程求根公式发明过得中,有一个十分有趣的故事,四百多年前,意大利盛行数 学竞赛,竞赛的一方是菲俄(Fior,十六世纪前半叶) ,他是意大利波洛那( Bologna)数学 学会会长费罗(Ferro,1465——1526 )的学生。另一方面是威尼斯的数学教授塔尔塔里亚 (Taritalia,1500——1557) ,他小时候就受伤后“口吃” ,从小学拉丁文,希腊文,酷爱数 学,与费罗一样,对求解三次方程很有研究,在 1530 年,塔尔塔里亚曾解决了另一个挑战 者科拉(Colla) 提出的以下两个三次方程求解问题: x 3 + 3x 2 = 5, x 3 + 6 x 2 + 8 x = 1000 。 这引出了菲俄的不服, 定于 1535 年 2 月 22 日在米兰市大教堂公开竞赛, 双方各出三十个三 次方程。结果塔尔塔里亚在两个小时内解完,而菲俄却交了白卷。1541 后,塔尔塔里亚得 到了三次方程的一般解法, 准备在译完欧几里得和阿基米德的著作后, 自己写一本书公开他 的解法。此时,卡丹出场了。他再三乞求塔尔塔里亚给一首语句晦涩的诗。这首诗写得很蹩 脚,但的确把解法的每一步骤都写进去了,他本人说: “本诗无佳句,对此我不介意,为记 这一规则,此诗堪作工具” 。卡丹在得到这一切后,却背信弃义,于 1545 年把这一解法发表 在《大法》这本书中,并断定塔尔塔里亚的方法是费罗的方法,这是与菲俄竞赛时得知的。