查看“阿贝尔-鲁菲尼定理”的源代码

'''阿贝尔-鲁菲尼定理'''是[[代数学]]中的重要[[定理]]。它指出，五次及更高次的[[代数方程|多项式方程]]没有一般的求根公式，即不是所有这样的方程都能由方程的系数经有限次[[四则运算]]和[[开方]]运算求根。这个定理以[[保罗·鲁菲尼]]和[[尼尔斯·阿贝尔]]命名。前者在1799年给出了一个不完整的证明，后者则在1824年给出了完整的证明。[[埃瓦里斯特·伽罗瓦]]创造了[[群论]]，独立地给出了更广泛地判定多项式方程是否拥有根式解的方法，并给出了定理的证明，但直到他死後的1846年才得以发表<ref>{{cite journal
 | last = Galois
 | first = Évariste
 | year = 1846
 | title = OEuvres mathématiques d'Évariste Galois.
 | journal = Journal des mathématiques pures et appliquées
 | volume = XI
 | pages = 381–444
 | language = fr
 | url = http://visualiseur.bnf.fr/ark:/12148/cb343487840/date1846
 | accessdate = 2009-02-04}}</ref>。

== 简介 ==
阿贝尔-鲁菲尼定理并不是说明五次或更高次的多项式方程没有解。事实上[[代数基本定理]]说明任意非常数的[[多项式]]在[[复数]][[域]]中都有根{{r|bb|page=50}}。然而代数基本定理并没有说明根的具体形式。通过数值方法可以计算多项式的根的近似值，但数学家也关心根的精确值，以及它们能否通过简单的方式用多项式的系数来表示。例如，任意给定二次方程<math>ax^2 + bx + c = 0 \; ( a \neq 0)</math>，它的两个解可以用方程的系数来表示：
:<math>r_{1,2} = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}</math>
这是一个仅用有理数和方程的系数，通过有限次四则运算和开平方得到的解的表达式，称为其代数解。三次方程、四次方程的根也可以使用类似的方式来表示。阿贝尔-鲁菲尼定理的结论是：任意给定一个五次或以上的多项式方程：<math>a_n x^n + a_{n-1}x^{n-1} + \cdots + a_1 x + a_0 = 0 \; ( n \geqslant 5, \; a_n \neq 0)</math>，那么不存在一个通用的公式（求根公式），使用<math>a_0, a_1, \cdots , a_n</math>和有理数通过有限次四则运算和开根号得到它的解。或者说，当{{mvar|n}}大于等于5时，存在{{mvar|n}}次多项式，它的根无法用自己的系数和有理数通过有限次四则运算和开根号得到{{r|bb|page=50}}。换一个角度说，存在这样的实数或复数，它满足某个五次或更高次的多项式方程，但不能写成任何由方程系数和有理数构成的代数式。这并不是说每一个五次或以上的多项式方程，都无法求得代数解。比如<math>X^5 -2 = 0</math>的解就是<math>\sqrt[5]{2}</math>。{{r|pesic|page=2-3}}

具体区分哪些多项式方程可以有代数解而哪些不能的方法由伽罗瓦给出，因此相关理论也被称为[[伽罗瓦理论]]。简单来说，某多项式方程有代数解，等价于说它对应的[[域扩张]]上的[[伽罗瓦群]]是一个[[可解群]]。对于一般的二次、三次和四次方程，它们对应的伽罗瓦群是二次、三次和四次对称群：<math>\mathfrak{S}_2,\mathfrak{S}_3,\mathfrak{S}_4</math>，它们都是可解群。但一般的五次方程对应的是五次对称群<math>\mathfrak{S}_5</math>，这是一个不可解群。当次数{{mvar|n}}大于等于5时，情况也是如此{{r|wkn|cox|page1=439|page2=213}}。

== 历史 ==
[[File:Ruffini - Teoria generale delle equazioni, 1799 - 1366896.jpg|thumb|[[Paolo Ruffini]], ''Teoria generale delle equazioni'', 1799]]

多项式方程求解是古典代数学的基本问题之一。使用[[配方法]]解二次方程有悠久的历史。16世纪，[[意大利]]的[[尼科洛·塔尔塔利亚|塔塔利亚]]发现了三次方程的求根公式，但由学自塔塔利亚的[[吉罗拉莫·卡尔达诺|卡尔达诺]]首先在《大术》中发表。卡尔达诺的学生费拉里则推演出了四次方程的求根公式{{r|pesic|page=32-39}}。1770年，[[约瑟夫·拉格朗日]]开始将各种求根技巧进行整理，希望能够发展出更普遍的求根理论。拉格朗日首先研究了根之间的置换，提出了拉格朗日预解式（{{lang|en|Lagrange resolvent}}）的概念。但他寻找五次或更高次多项式方程的求根公式的尝试终告失败{{r|pesic|page=73-77}}。

1799年，[[意大利]]人保罗·鲁菲尼尝试证明五次或以上的多项式方程没有一般的求根公式，并给出了一个不完整的证明，这个证明冗长晦涩，超过五百页纸。在他的朋友皮耶罗·阿巴迪和另一位数学家马尔法迪的质疑和批评下，从1799年到1813年的14年间，鲁菲尼曾经发表过六个不同的版本。鲁菲尼的证明很大程度上受到了拉格朗日关于多项式方程的根之间的置换关系的启发，然而他证明的“高于四次的多项式方程没有一般的求根公式”这一结论让当时的数学家难以接受。鲁菲尼将自己的证明寄给拉格朗日，希望同为意大利人的後者能够认识到其重要性，但没有回音。这让鲁菲尼十分沮丧。拉格朗日对这个证明表现冷淡，但并非过眼即忘。他在很久後仍与人谈起这份证明并给予好评，但认为其中并未对某些假设给出证明{{r|pesic|page=82-83}}。

另一方面，[[英国]]和[[法国]]的数学家对鲁菲尼的证明反映较好。英国[[皇家学会]]的数位会员在阅读了该证明後表示“颇为满意”。[[法国]]数学家[[奧古斯丁·路易·柯西|奥古斯丁·柯西]]认识到了鲁菲尼文章的重要性，在1813年与1815年之间曾经给出过鲁菲尼文中结果的一些推广。鲁菲尼去世前六个月收到了柯西的回信，後者在信中表示：“您写的关于方程的一般解的论文，在我看来，是值得数学界关注的作品。以我判断，您已经完整证明了高于四次之方程不可解”，并告诉鲁菲尼他已经将这个结论应用在教学中{{r|pesic|page=83}}。

不过，由于鲁菲尼的证明使用了新颖的根置换概念进行讨论，而且结论大胆，因此并没有在当时引起广泛的重视。另外，鲁菲尼的证明中确实缺漏了关键的一步的证明{{r|pesic|page=83}}。

1824年，在鲁菲尼死后的第三年，19岁的[[挪威]]人尼尔斯·阿贝尔自费首次发表了自己关于五次及以上的多项式方程不可解的证明{{r|pesic|bb|page1=88|page2=50}}。由于匮乏资金，阿贝尔将证明压缩为六页。阿贝尔作出证明时并不知道鲁菲尼的工作。他的证明过程与鲁菲尼大体相似，但包括了鲁菲尼没有注意到的关键一步的证明{{r|pesic|page=91}}。阿贝尔将此证明寄给[[德国]]大数学家[[高斯]]，然而後者以为是恶作剧，甚至没有拆封，也没有回应{{r|pesic|page=95}}。1826年，阿贝尔得到挪威政府资助，带着更为完整的证明版本到[[柏林]]和[[巴黎]]游学，然而仍然没有受到重视{{r|pesic|page=95-97}}。1828年，阿贝尔的工作开始被数学界认知，但已经回到挪威的阿贝尔对此几无所知。由于染上[[肺结核]]，阿贝尔在1829年4月6日去世{{r|pesic|page=100-102}}。

鲁菲尼和阿贝尔的证明思路大致相同，以下只介绍阿贝尔的证明。其思路是使用[[反证法]]来证明五次或以上方程求根公式的不存在性，即反设存在这样的公式。假设有五次多项式方程，其根为五个不同的数。阿贝尔首先证明了，求根公式裡，各个根的表达式必然是如同：
:<math>r = p + p_1 R^{\frac15} + p_2 R^{\frac25}+ p_3 R^{\frac35}+ p_4 R^{\frac45}</math>
的形式<ref>对不同的根，{{mvar|p}}、{{mvar|p<sub>1</sub>}}、{{mvar|p<sub>2</sub>}}等不同，{{mvar|R}}相同。</ref>。其中的{{mvar|p}}、{{mvar|p<sub>1</sub>}}、{{mvar|p<sub>2</sub>}}等是由方程系数和有理数构成的有理式，{{mvar|R}}则是可以写成和{{mvar|r}}一样形式的代数式，依此循环，直到某个根式中只有由方程系数和有理数构成的有理式为止。接下来，阿贝尔证明了，所有类似{{mvar|r}}这样的表达式，都可以表达成方程的根构成的有理式。特别的，{{math|''R''<sup>{{frac|1|5}}</sup>}}也可以表达为根的有理式。这一步结果也是鲁菲尼假设而未证明的{{r|pesic|page=90-92}}。

其后的一步是证明的核心。阿贝尔使用柯西的思想，揭露了{{mvar|r}}作为根的有理式和系数的无理式之间的根本矛盾：如果{{mvar|r}}，作为由方程的五个根的有理式，在方程的根取遍120个可能[[置换]]时只有少于5个的取值，那么它的取值个数是1或者2，而不可能是3或4。这个结果在群论中可以用<math>\mathfrak{S}_5</math>的特性来解释。证明了这一点后，阿贝尔开始推出矛盾之处。首先，{{math|''R''<sup>{{frac|1|5}}</sup>}}在所有置换下不可能只有一个值，否则方程只会有一个根，矛盾。其次，{{math|''R''<sup>{{frac|1|5}}</sup>}}在所有置换下也不可能有5个或以上的取值，否则迭代之下，取值个数会升至120个，即方程有120个根，矛盾。而最后，对{{math|''R''<sup>{{frac|1|5}}</sup>}}在所有置换下恰有两个取值的情况，阿贝尔构造了一个等式，其左侧在所有置换下取值有120个而右侧只有10个，同样导致矛盾。而如前已经证明取值不可能是3个或4个。这说明在任意情况下，求根公式都会导致矛盾，从而说明求根公式并不存在{{r|pesic|page=92-94}}。

阿贝尔在给出了五次或以上多项式方程求根公式不存在的证明後，开始研究可以通过开方求解的某些特殊类型高次多项式方程。但阿贝尔的研究随着他病逝而中断{{r|pesic|page=98-102}}。不过，在同一时期，法国的伽罗瓦运用深刻的洞察力，用更为抽象的方式，给出了“哪些多项式方程可以通过开方求解”的完整判别方法。伽罗瓦使用的是现今称为[[群论]]的代数工具，将根的置换集合作为群来考虑，将多项式方程可解转化为群的特性{{r|wjw|page=144}}。伽罗瓦的结果在其生前并没有得到重视，在他去世後，才逐渐被数学界发现。

==现代证明==
伽罗瓦创造了群论来解决代数方程可解判定性的问题。此後[[阿廷]]等人建立了[[环]]和[[域扩张]]的理论。现代伽罗瓦理论中，使用域扩张的[[伽罗瓦群]]理论来证明阿贝尔-鲁菲尼定理。

域扩张理论将代数方程的求解过程转化为特定的域扩张来描述。给定[[特征 (代数)|特征]]为0的系数[[域]]{{mvar|K}}。设有以{{mvar|K}}中元素为系数的多项式{{mvar|P}}。将{{mvar|P}}的根添加到系数域{{mvar|K}}中，包含它们的“最小”的域称为{{mvar|P}}的[[分裂域]]，记为{{mvar|L}}{{r|sw|page=1}}。方程求解的过程，可以看作是“已知量”的集合从系数域{{mvar|K}}扩张到分裂域{{mvar|L}}的过程。另一方面，考察四则运算和开方所能生成的“新数量”。由于域对四则运算封闭，所以能够使得“已知量”增多的本质操作是开方运算。给定{{mvar|K}}中元素{{mvar|a}}，对{{mvar|a}}开{{mvar|m}}次方等价于将{{mvar|a}}的{{mvar|m}}个{{mvar|m}}次方根作为“已知量”添加到原来的域中，扩张为“更大”的域{{mvar|K'}}的过程。而多项式{{mvar|P}}可以用求根公式求解（以下简称可解），等价于说可以通过有限次地添加方根，将系数域{{mvar|K}}扩张为某个包含分裂域{{mvar|L}}的扩域。即{{r|wjw|wkn|cox|page1=145-146|page2=435|page3=215}}：
:<math>\exists F = F_0 \subset F_1 \subset \cdots \subset K_n</math>，{{mvar|P}}在{{mvar|K<sub>n</sub>}}中分裂，且使得<math>\forall i = 0,1,\cdots , n-1, \; \, F_{i+1} = F_i(\zeta_i)</math>.
而其中{{mvar|ζ<sub>i</sub>}}是{{mvar|F<sub>i</sub>}}中某个元素的方根：
:<math>\forall i = 0,1,\cdots , n-1, \; \, \exists k_i \in \mathbb{N}, \; k_i \geqslant 2</math>，使得<math>\zeta_i^{k_i} \in F_i. </math>

另一方面，考虑{{mvar|L}}中所有在{{mvar|K}}上平凡<ref group="N">即限制在{{mvar|K}}上的部分为恒等映射</ref>的自同构（称为{{mvar|K-}}自同构）{{r|sw|page=1}}。这些自同构不改变系数，只将{{mvar|P}}的根映射到另外一个根上，并且完全由它们在{{mvar|P}}的根上的变换情况决定<ref group="N">即，如果知道了某个{{mvar|K-}}自同构对{{mvar|P}}的所有根的映射结果，那么就知道了这个{{mvar|K-}}自同构对{{mvar|L}}中所有元素的映射结果。</ref>，可以看作是仅仅针对根的置换。这些{{mvar|K-}}自同构构成一个[[群]]，称为域扩张{{mvar|L/K}}的[[伽罗瓦群]]或{{mvar|P}}在{{mvar|K}}上的伽罗瓦群{{r|wkn|page=413}}。

通过一些技术处理，可以将可解多项式对应的域扩张“塔”<math>F_0 \subset F_1 \subset \cdots \subset K_n</math>加强为：<math>F_0 \subset F_1</math>是添加[[单位根]]的[[伽罗瓦扩张]]，其后的每个扩张都是伽罗瓦扩张，且对应的伽罗瓦群是[[循环群]]。通过[[伽罗瓦理论基本定理]]，可以推出：{{mvar|P}}在{{mvar|K}}上可解，等价于说它在{{mvar|K}}上的伽罗瓦群包含一个一直递减到平凡子群的[[正规子群]]列，而且相邻的两个子群的[[商群]]是[[交换群]]。这样的群称为[[可解群]]{{r|wjw|page=146-148}}。可以证明，如果某个群可解，那么其任一正规子群以及其对应的商群都可解{{r|wkn|page=436}}。

给定{{mvar|K}}上一个一般的五次多项式，它在{{mvar|K}}上的伽罗瓦群是<math>\mathfrak{S}_5</math>{{r|wjw|page=150}}，而<math>\mathfrak{S}_5</math>不是交换群，它唯一的非平凡正规子群只有{{mvar|n}}次交替群<math>\mathfrak{A}_5</math>。而<math>\mathfrak{A}_5</math>是[[单群]]，它的正规子群只有平凡子群。而这时候<math>\mathfrak{A}_5</math>对平凡子群的商群（即它自身）不是交换群。所以<math>\mathfrak{S}_5</math>不是可解群{{r|twh}}。因此一般的五次多项式代数方程不可解{{r|wkn|page=436}}。

对于一般的更高次的多项式，使用类似的论证，可以从<math>\mathfrak{A}_n</math>（{{mvar|n}}大于5）是不交换[[单群]]的事实推出，一般的{{mvar|n}}次（{{mvar|n}}大于5）多项式代数方程不可解{{r|wkn|cox|twh|page1=439|page2=213}}。

== 参见 ==
*[[伽罗瓦理论]]
*[[可解群]]
*[[伽罗瓦理论基本定理]]

== 注释 ==
{{reflist|group="N"}}

== 参考来源 ==
{{reflist|refs=
<ref name="pesic">{{cite book|author=Peter Pesic|title=Abel's Proof: An essay on the sources and meaning of mathematical unsolvability|year=2003|publisher=The MIT Press|location=英国伦敦|language=en|isbn=9780262661829}}</ref>
<ref name="bb">{{cite book|author=Béla Bajnok|title=An Invitation to Abstract Mathematics|year=2013|publisher=Springer|language=en|isbn=9781461466369}}</ref>
<ref name="cox">{{cite book|author=David A. Cox|title=Galois Theory|year=2004|url = http://books.google.fr/books?id=3u4RF8SrRooC|publisher=John Wiley & Sons, 1st Edition|language = en|isbn=9780471434191}}</ref>
<ref name="sw">{{cite book|author=Steven Weintraub|title=Galois Theory|year=2008|publisher=Springer|language=en|isbn=9780387875750}}</ref>
<ref name="wjw">{{cite book|author=W.J. Wickless|title=A First Graduate Course in Abstract Algebra|year=2004|publisher=CRC Press|language=en|isbn=9780203913666}}</ref>
<ref name="wkn">{{cite book|author=W. Keith Nicholson|title=Introduction to Abstract Algebra|year=2012|publisher=John Wiley & Sons（插图版）|language=en|isbn=9781118135358}}</ref>
<ref name="twh">{{cite book|author=Thomas W. Hungerford|title=Algebra|year=1974|publisher=Springer|isbn=9780387905181|language=en|page=103}}</ref>
}}

[[Category:可解群]]
[[Category:数学定理|A]]
[[Category:伽罗瓦理论]]
[[Category:多項式]]
[[Category:尼尔斯·阿贝尔]]