★置頂zzllrr小樂(lè)公眾號(hào)（主頁(yè)右上角）數(shù)學(xué)科普不迷路！

兩百年前，阿貝爾1826年著名的五次方程代數(shù)不可解性證明，阿貝爾原始論證采用的方法與現(xiàn)代方法截然不同，他是怎么做到的呢？

作者：Adrian Rice（阿德里安·賴斯教授）美國(guó)數(shù)學(xué)會(huì)通告 2026-01

譯者：zzllrr小樂(lè)（數(shù)學(xué)科普公眾號(hào)）2025-12-21

1. 引言

任何在學(xué)校學(xué)過(guò)數(shù)學(xué)的人，都會(huì)將“代數(shù)”一詞與方程研究，尤其是方程求解方法聯(lián)系起來(lái)。然而，那些在大學(xué)深造代數(shù)的人會(huì)發(fā)現(xiàn)，這門學(xué)科與中學(xué)階段截然不同——方程求解完全被群、環(huán)及其他更抽象的結(jié)構(gòu)研究所取代。大多數(shù)本科生都未曾了解，約1800年之前本質(zhì)上等同于代數(shù)的“方程理論”，是如何演變?yōu)槿缃竦默F(xiàn)代代數(shù)的。

兩百年前，這一變革尚處于起步階段，一位名不見經(jīng)傳的挪威數(shù)學(xué)家尼爾斯·亨里克·阿貝爾（Niels Henrik Abel，1802–1829）發(fā)表了一項(xiàng)證明，指出一般五次方程無(wú)法通過(guò)純代數(shù)方法求解。這一證明不僅解決了困擾數(shù)學(xué)界近三個(gè)世紀(jì)的難題，還為埃瓦里斯特·伽羅瓦（évariste Galois）的開創(chuàng)性工作奠定了基礎(chǔ)，催生了群論，并最終促成了現(xiàn)代抽象代數(shù)的誕生。

阿貝爾的名字在數(shù)學(xué)領(lǐng)域早已不朽：阿貝爾求和公式、冪級(jí)數(shù)的阿貝爾極限定理、阿貝爾積分、阿貝爾簇，以及近些年設(shè)立的阿貝爾獎(jiǎng)——該獎(jiǎng)項(xiàng)每年授予一位或多位杰出數(shù)學(xué)家。在本科生群體中，阿貝爾的名字最常見于群論領(lǐng)域：若群運(yùn)算滿足交換律，則該群被稱為“阿貝爾群”。

頗具諷刺意味的是，群的概念在阿貝爾1829年去世后才由伽羅瓦于1830年代初正式引入數(shù)學(xué)界；更具諷刺意味的是，阿貝爾1826年著名的五次方程代數(shù)不可解性證明，如今通常以群論語(yǔ)言呈現(xiàn)，而讀過(guò)阿貝爾原始論證的數(shù)學(xué)家卻相對(duì)寥寥——他采用的方法與現(xiàn)代方法截然不同。

本文將以阿貝爾的表述風(fēng)格概述其證明，展現(xiàn)這一成果既是數(shù)學(xué)史上一段漫長(zhǎng)探索的終點(diǎn)，也是一個(gè)全新時(shí)代的起點(diǎn)。

圖1 尼爾斯·亨里克·阿貝爾（Niels Henrik Abel，1802–1829）

2. 1545年之前的代數(shù)方程

一次方程和二次方程的求解方法可追溯至古代。事實(shí)上，公元前兩千年的楔形文字泥板顯示，美索不達(dá)米亞人使用的算法，在實(shí)踐中與二次方程求根公式的特殊情形等價(jià)?【參考資料6：20–31頁(yè)】

x=(-b± √{b2-4ac})/(2a)

當(dāng)然，當(dāng)時(shí)并不存在這樣的符號(hào)表達(dá)式，問(wèn)題及其求解方法均完全通過(guò)文字描述。（可識(shí)別的代數(shù)符號(hào)直至17世紀(jì)才出現(xiàn)【參考資料6：249–252, 264頁(yè)】）盡管如此，通過(guò)希臘數(shù)學(xué)家丟番圖（Diophantus，約公元250年）、伊斯蘭博學(xué)家花拉子米（Al-Khwārizmī，約公元820年）等學(xué)者的努力，一次方程和二次方程的構(gòu)造、分類及求解技巧得以創(chuàng)立和完善。

盡管花拉子米在早期數(shù)學(xué)史著作中被譽(yù)為“代數(shù)之父”，但其關(guān)于方程的研究卻存在一些出人意料的特點(diǎn)——尤為突出的是，他完全未認(rèn)可負(fù)數(shù)（及復(fù)數(shù)）的存在。盡管奧馬爾·海亞姆（Omar Khayyam，1048–1131）等多位中世紀(jì)學(xué)者付出了努力，但三次方程等高階方程的一般代數(shù)求解公式仍遲遲未能問(wèn)世【參考資料6：165–172頁(yè)】。

1545年，意大利數(shù)學(xué)家吉羅拉莫·卡丹（Girolamo Cardano，1501–1576）發(fā)表了求解一般三次方程的首個(gè)通用方法，取得了突破性進(jìn)展：

ax3+bx2+cx+d=0

通過(guò)巧妙的代換x=y-b/(3a)，該方程可簡(jiǎn)化為如下形式：

y3+py+q=0

其解可通過(guò)新的三次方程求根公式得出：

y=?{-q/2+√(q2/4+p3/27)}+?{-q/2-√(q2/4+p3/27)}

盡管卡丹成功推廣并發(fā)展了這一發(fā)現(xiàn)，但該方法并非由他首創(chuàng)。這一方法的誕生及其最終發(fā)表過(guò)程中的權(quán)謀紛爭(zhēng)，是數(shù)學(xué)史上最引人入勝且頗具爭(zhēng)議的篇章之一（詳見【參考資料6：215–219頁(yè)】）。

盡管如此，卡丹在三次方程方面的工作仍帶來(lái)了諸多積極影響：其一，推動(dòng)了負(fù)數(shù)和復(fù)數(shù)逐漸被主流數(shù)學(xué)思想認(rèn)可和接受；其二，直接促使其學(xué)生洛多維科·費(fèi)拉里（Lodovico Ferrari，1522–1565）發(fā)現(xiàn)了四次方程的求解方法。

至此顯而易見的是，對(duì)于所有次數(shù)n≤4的代數(shù)方程，都能找到日益精密的一般公式，將解表示為僅包含原方程系數(shù)通過(guò)加、減、乘、除及開方運(yùn)算組合而成的表達(dá)式。這類方法被稱為“根式求解”。接下來(lái)的明確目標(biāo)，便是尋找一般五次方程的根式求解公式。

3. 對(duì)五次方程的探索

在隨后的250年里，代數(shù)學(xué)取得了巨大發(fā)展。1629年，阿爾伯特·吉拉德（Albert Girard）提出了后來(lái)被稱為“代數(shù)基本定理”的命題，該定理最終由高斯（Gauss）于1799年證明；1637年，笛卡爾（Descartes）引入了至今仍在使用的x,y,z式符號(hào)表示法。盡管韋達(dá)（Viète）、奇恩豪斯（Tschirnhaus）、貝祖（Bézout）、歐拉（Euler）等學(xué)者在方程理論方面做出了重要貢獻(xiàn)，但截至18世紀(jì)中葉，一般五次方程的代數(shù)求解公式仍毫無(wú)頭緒。

1770年，約瑟夫-路易·拉格朗日（Joseph-Louis Lagrange，1736–1813）在一篇極具里程碑意義的論文中，對(duì)過(guò)去兩個(gè)世紀(jì)以來(lái)用于求解三次和四次方程的所有方法進(jìn)行了精湛綜述。這篇論文標(biāo)志著數(shù)學(xué)界對(duì)五次方程的態(tài)度發(fā)生了根本性轉(zhuǎn)變——盡管拉格朗日成功梳理并系統(tǒng)化了求解次數(shù)不超過(guò)4的方程的關(guān)鍵技巧，但他同時(shí)證明，這些技巧無(wú)一能應(yīng)用于五次方程【參考資料6：295–298頁(yè)】。由此，“一般五次方程可能不存在代數(shù)求解公式”的想法首次浮出水面。

圖2 約瑟夫-路易·拉格朗日（Joseph-Louis Lagrange，1736–1813）

1799年，意大利數(shù)學(xué)家保羅·魯菲尼（Paolo Ruffini，1765–1822）發(fā)表了《方程的一般理論》，首次嘗試證明一般五次方程無(wú)法通過(guò)根式求解。該書全稱意為“方程的一般理論——證明次數(shù)高于四次的一般方程不存在代數(shù)解”。

魯菲尼的證明異常復(fù)雜冗長(zhǎng)，盡管他隨后兩次修訂并重版了該著作，卻未能說(shuō)服廣大數(shù)學(xué)界。尤為重要的是，該證明遭到了當(dāng)時(shí)被公認(rèn)為數(shù)學(xué)界中心的巴黎科學(xué)院的拒絕。如今人們普遍認(rèn)為，盡管魯菲尼的論證略顯晦澀，但本質(zhì)上是正確的，只是存在一些漏洞【參考資料4】。

圖3 保羅·魯菲尼（Paolo Ruffiin，1765–1822）

然而，他的證明成功說(shuō)服了一位法國(guó)頂尖數(shù)學(xué)家。著名分析學(xué)家奧古斯丁-路易·柯西（Augustin-Louis Cauchy，1789–1857）認(rèn)可了魯菲尼的工作，并受其啟發(fā)，對(duì)其中一個(gè)方面進(jìn)行了更深入的研究。魯菲尼在證明中運(yùn)用了拉格朗日1770年論文中的一個(gè)關(guān)鍵思想，即方程的代數(shù)可解性與根的置換密切相關(guān)。當(dāng)時(shí)人們已知道，一般首一（monic，首項(xiàng)系數(shù)為1）方程：

x? +an?? x??1 +? + a? x2 + a?x + a?=0

的系數(shù)可表示為其根x?,x?,...,xn的函數(shù)。例如：

x??x??? +xn=-an??

以及 x? x?? xn=(-1)? a?

此外，由于實(shí)數(shù)域上的加法和乘法滿足交換律，這些函數(shù)具有對(duì)稱性——換句話說(shuō)，交換或置換根的位置，函數(shù)值保持不變。柯西隨后深入研究了置換理論，并于1815年發(fā)表了一篇重要論文。在該論文中，他證明了：若n個(gè)對(duì)象的有理函數(shù)在這n個(gè)量被置換時(shí)，取值個(gè)數(shù)少于小于n的最大素?cái)?shù)，則其最多只能取兩個(gè)不同的值?【參考資料5：第9頁(yè)】。

置換理論被證明是群論早期發(fā)展的關(guān)鍵——在伽羅瓦的工作中，所考慮的群正是代數(shù)方程根的置換群。當(dāng)然，如今證明五次方程不可根式求解，通常采用群論和伽羅瓦理論的語(yǔ)言。對(duì)于任意方程，可定義其對(duì)應(yīng)的伽羅瓦群G。若存在如下子群序列：

{e}=G? ? G? ? G? ? ? ? Gn??? Gn= G

其中每個(gè)G?是G???的正規(guī)子群，且每個(gè)商群G???/G?均為阿貝爾群，則稱該（有限）群為“可解群”。若一個(gè)方程的伽羅瓦群是可解群，則該方程可通過(guò)根式求解。

對(duì)于一般三次方程，其伽羅瓦群為S?（三個(gè)對(duì)象的所有置換構(gòu)成的群），其正規(guī)子群為A?（偶置換構(gòu)成的交錯(cuò)群），而A?唯一的正規(guī)子群是僅含單位元的平凡群{e}。由于：

{e}? A? ? S?

且S?/A?與A?/{e}=A?均為阿貝爾群，因此S?是可解群，進(jìn)而一般三次方程可通過(guò)根式求解。

對(duì)于一般四次方程，可構(gòu)造如下正規(guī)子群鏈：

{e}? ?g? ? K?? A?? S?

其中K?={e,g,h,gh}為克萊因四元群。同樣，S?/A?、A?/K?、K?/?g?及?g?/{e}均為阿貝爾群，因此一般四次方程可通過(guò)根式求解。

然而，當(dāng)研究一般五次方程時(shí)，這一過(guò)程便會(huì)中斷。S?（五個(gè)對(duì)象的所有置換構(gòu)成的群）唯一的真正規(guī)子群是交錯(cuò)群A?，而A?唯一的正規(guī)子群是平凡群{e}，由此僅能得到如下唯一的子群鏈：

{e}? A?? S?

但在此情形下，A?/{e}=A?是非阿貝爾群，這意味著S?不是可解群，因此一般五次方程無(wú)法通過(guò)根式求解。

盡管這正是阿貝爾1826年證明的結(jié)果，但他采用的方法卻截然不同——很大程度上是因?yàn)楫?dāng)時(shí)群的概念尚未出現(xiàn)。那么，他是如何證明五次方程的代數(shù)不可解性的呢？

4. 阿貝爾的證明

頗具諷刺意味的是，阿貝爾最初是從相反方向著手研究這一問(wèn)題的。他起初認(rèn)為自己找到了一般五次方程的求解公式，但在被要求提供更多細(xì)節(jié)時(shí)，他意識(shí)到了自己的錯(cuò)誤，于是轉(zhuǎn)而嘗試證明其不可解性。1824年，阿貝爾發(fā)表了首個(gè)證明版本，指出一般五次方程無(wú)法通過(guò)根式求解【參考資料1】。

該證明以小冊(cè)子形式自費(fèi)出版，他希望將其作為“名片”，吸引歐洲頂尖數(shù)學(xué)家的關(guān)注，從而躋身其中。然而，印刷成本高昂，為節(jié)省開支，阿貝爾僅提煉了核心論點(diǎn)，部分內(nèi)容未能在有限篇幅內(nèi)完整證明。

幸運(yùn)的是，他很快獲得了德國(guó)數(shù)學(xué)家奧古斯特·利奧波德·克雷勒（August Leopold Crelle，1780–1855）的友誼與支持。1826年，克雷勒在其創(chuàng)辦的《純粹與應(yīng)用數(shù)學(xué)雜志》（即廣為人知的《克雷勒雜志》）第一卷中，發(fā)表了阿貝爾論文的大幅擴(kuò)展版本，其中包含了完整的證明，詳細(xì)闡釋了所有細(xì)節(jié)【參考資料2】。

盡管仍存在一些微小漏洞（后來(lái)均被補(bǔ)齊），但這一證明最終獲得了數(shù)學(xué)界的廣泛認(rèn)可。以下是阿貝爾核心論證的概述（關(guān)于阿貝爾證明的更詳盡分析，參見【參考資料7】；【參考資料8】則以域論語(yǔ)言對(duì)其核心思想進(jìn)行了更現(xiàn)代的呈現(xiàn)）：

阿貝爾首先假設(shè)一般五次方程可通過(guò)根式求解，這意味著在最一般的情形下，所有根互不相同。對(duì)于次數(shù)為素?cái)?shù)n（因此無(wú)法因式分解）的一般n次方程：

（1） an x? + an?? x??1 +? + a?x2 + a?x + a? = 0

他證明了其所有代數(shù)解均可表示為如下形式：

x=p+p?R^{1/n}+p?R^{2/n}+? +pn??R^{(n-1)/n}

其中p, p?, p?, ..., pn??是根式與多項(xiàng)式的有限和，且R的n次方根是原方程系數(shù)的無(wú)理函數(shù)。不過(guò)，阿貝爾將其改寫為如下形式：

（2） x=p+R^{1/n}+p?R^{2/n}+? +pn??R^{(n-1)/n}

即通過(guò)改寫定義用新的R代替原來(lái)的p?? R形式，從而使得p?被融合到新的函數(shù)R中。

隨后，他將上述形式的x代入原方程（1）等式左邊，并將結(jié)果化簡(jiǎn)為（2）中的形式，得到形式：

（3） P=q+q?R^{1/n}+q?R^{2/n}+? +qn??R^{(n-1)/n}

由于方程（1）等于0，因此這個(gè)形式P也等于0。阿貝爾通過(guò)一個(gè)巧妙的論證證明，要使該等式成立，所有q?必須均為0。由此他得出結(jié)論：任何形式為（2）的解x，均可只用根的有理函數(shù)表示。這一需要證明的事實(shí)，在魯菲尼的早期證明中被直接假設(shè)，成為其主要缺陷之一。

此時(shí)，讀者可能需要一個(gè)簡(jiǎn)單示例，不妨考慮二次方程：

（4） x2 + bx+c=0

阿貝爾聲稱其解可表示為x=p+√R ，我們來(lái)驗(yàn)證這一點(diǎn)。將x=p+√R 代入（4），得到：

(p2+R+bp+c)+(2p+b)√R=0

要使該等式成立，兩項(xiàng)系數(shù)必須均為0，因此首先有：

p=-b/2

其次有：

R=b2/4 -c

由二次方程求根公式可知，方程（4）的所有解為：

x=(-b± √{b2 - 4c})/2

若將其改寫為：

x=-b/2± √{(b2 - 4c)/4}

則確實(shí)驗(yàn)證了二次方程的解可表示為x=p+√R的形式。

那么，這如何能說(shuō)明此類形式的解可只用根的有理函數(shù)表示呢？尤其是√R 項(xiàng)（畢竟它是原方程系數(shù)的無(wú)理函數(shù)），為何能成為根的有理函數(shù)？

考慮我們剛剛得到的兩個(gè)根：

x? =-b/2+ √{(b2 - 4c)/4}

x? =-b/2- √{(b2 - 4c)/4}

它們顯然是x=p+ √R形式的函數(shù)。逐一分析x的各個(gè)組成部分：

首先，p=-b/2=(x? + x?)/2，這顯然是根的有理函數(shù)；

其次，x? - x?=√{b2 - 4c}，因此：

(x? - x?)2=b2-4c=4(b2/4-c)=4R

進(jìn)而有：

√R=(x? - x?)/2

由此可見，任何形式為x=p+√R 的解，均可表示為原二次方程根x?和x?的有理函數(shù)。

對(duì)于五次方程，根據(jù)形式（2），其解應(yīng)表示為：

（5） x=p+R^{1/5}+p?R^{2/5}+p?R^{3/5}+p?R^{4/5}

根據(jù)阿貝爾已證明的結(jié)論，這意味著其所有組成部分——p, p?, p?, p?以及R^{1/5}的各整數(shù)次冪——都必須是五次方程根的有理函數(shù)。

接下來(lái)是阿貝爾的神來(lái)之筆。他借鑒了柯西1815年關(guān)于置換的定理，考慮了n=5的特殊情形，得出如下結(jié)果【參考資料2：第77頁(yè)】：

若五個(gè)量的有理函數(shù)在這五個(gè)量被置換時(shí)取值個(gè)數(shù)少于五個(gè)，則其要么取兩個(gè)不同值，要么取一個(gè)值。

在1824年的著作中，他僅引用了柯西1815年的論文，但在1826年的擴(kuò)展論文中，他給出了完整證明，并恰當(dāng)致謝柯西。隨后，他將注意力轉(zhuǎn)向一般五次方程的假設(shè)解（5），其每個(gè)部分都是根的有理函數(shù)。根據(jù)代數(shù)基本定理，該解最多有五個(gè)值。他選取其中一個(gè)組成部分R^{1/5}，分析了五個(gè)根被置換時(shí)的情況。

圖4 奧古斯丁-路易·柯西（Augustin-Louis Cauchy，1789–1857）

一般而言，R^{1/5}不可能僅取一個(gè)值——否則將導(dǎo)致方程只有一個(gè)解，而非他所假設(shè)的五個(gè)不同解。根據(jù)柯西定理，R^{1/5}只能取兩個(gè)或五個(gè)值。若取五個(gè)值，阿貝爾證明這將導(dǎo)致一個(gè)矛盾：等式一側(cè)有五個(gè)可能值，而另一側(cè)有120個(gè)不同值，這顯然不可能。僅剩R^{1/5}取兩個(gè)值的情形，但阿貝爾證明，此時(shí)根被置換后，會(huì)出現(xiàn)另一個(gè)矛盾：等式一側(cè)有120個(gè)可能值，而另一側(cè)僅有10個(gè)。

因此，無(wú)論哪種情況，矛盾都不可避免。阿貝爾由此得出結(jié)論：“一般五次方程無(wú)法通過(guò)根式求解。”?【參考資料2：第84頁(yè)】他在文末補(bǔ)充道：“由該定理可直接推出，次數(shù)高于五次的一般方程同樣無(wú)法通過(guò)根式求解?！?/p>

這一推論的證明留給讀者作為簡(jiǎn)單練習(xí)。

5. 后續(xù)發(fā)展

與數(shù)學(xué)史上許多著名問(wèn)題一樣，一個(gè)問(wèn)題的成功解決往往會(huì)開啟新的研究方向，阿貝爾的證明也不例外。如今人們已知，對(duì)于次數(shù)為n≥5的一般方程無(wú)法通過(guò)根式求解。這引發(fā)了兩個(gè)進(jìn)一步的問(wèn)題：如何找到給定次數(shù)的所有代數(shù)可解方程；以及對(duì)于任意n次方程，如何判斷其是否可通過(guò)根式求解。這些正是阿貝爾著手解決的問(wèn)題。

他早已知道，若一個(gè)方程可通過(guò)根式求解，則其任意兩個(gè)根之間存在有理函數(shù)關(guān)系，因此所有根均可表示為彼此的有理函數(shù)。在1829年的一篇論文中【參考資料3】，他研究了復(fù)合次數(shù)的方程，發(fā)現(xiàn)若x?是某方程的一個(gè)根，且另外兩個(gè)根可表示為θ?(x?)和θ?(x?)（其中θ?和θ?是x?的兩個(gè)可能不同的有理函數(shù)），則該方程可解當(dāng)且僅當(dāng)：

θ?(θ?(x?))=θ?(θ?(x?))

換句話說(shuō)，阿貝爾發(fā)現(xiàn)了方程的代數(shù)可解性與函數(shù)復(fù)合的交換律之間的明確聯(lián)系。這也正是運(yùn)算滿足交換律的群被稱為“阿貝爾群”的原因。

令人遺憾的是，阿貝爾未能親眼見證這一認(rèn)可。他解決了當(dāng)時(shí)最重大的數(shù)學(xué)難題之一，卻未能獲得他所追求的數(shù)學(xué)聲譽(yù)或?qū)W術(shù)職位。1829年4月，他因肺結(jié)核去世，年僅26歲【參考資料10】。

直到他去世后，其開創(chuàng)性工作——以及另一位同樣英年早逝的天才數(shù)學(xué)家的工作——才最終得到認(rèn)可。14年后的1843年7月4日，在巴黎科學(xué)院的一次會(huì)議上，數(shù)學(xué)家約瑟夫·劉維爾（Joseph Liouville）宣布：“在埃瓦里斯特·伽羅瓦的論文中，我發(fā)現(xiàn)了對(duì)這一優(yōu)美問(wèn)題——即[多項(xiàng)式方程]是否可通過(guò)根式求解——的精準(zhǔn)而深刻的解答……”?【參考資料9：xxiii】

這標(biāo)志著伽羅瓦關(guān)于方程理論的開創(chuàng)性著作開始被世人知曉，群的概念被引入數(shù)學(xué)界，并最終將代數(shù)從一系列分析和求解方程的方法，轉(zhuǎn)變?yōu)槿缃駥?duì)抽象結(jié)構(gòu)的現(xiàn)代研究。

而這，便是另一段故事了……

原文參考文獻(xiàn)

[1] N. H. Abel, Mémoire sur les équations algébriques où on démontre l’impossibilité de la résolution de l’équation générale du cinquième dégré (French), Facsimile edition, University of Oslo, Faculty of Science, The Librarian, Oslo, 1957. MR81258

[2] N. H. Abel, Beweis der Unm?glichkeit, algebraische Gleichungen von h?heren Graden als dem vierten allgemein aufzul?sen (German), J. Reine Angew. Math. 1 (1826), 65–84, DOI 10.1515/crll.1826.1.65. MR1577598

[3] N. H. Abel, Mémoire sur une classe particulière d’équations résolubles algébriquement (French), J. Reine Angew. Math. 4 (1829), 131–156, DOI 10.1515/crll.1829.4.131. MR1577723

[4] Raymond G. Ayoub, Paolo Ruffini’s contributions to the quintic, Arch. Hist. Exact Sci. 23 (1980/81), no. 3, 253–277, DOI 10.1007/BF00357046. MR606270

[5] Augustin-Louis Cauchy, Mémoire sur le nombre des valeurs qu’une fonction peut acquérir, lorsqu’on y permute de toutes les manières possibles les quantités qu’elles renferme, Journal de l’école Polytechnique 10 (1815), no. 17, 1–28.

[6] Victor J. Katz and Karen Hunger Parshall, Taming the unknown: A history of algebra from antiquity to the early twentieth century, Princeton University Press, Princeton, NJ, 2014, DOI 10.1515/9781400850525. MR3237138

[7] Peter Pesic, Abel’s proof: An essay on the sources and meaning of mathematical unsolvability, MIT Press, Cambridge, MA, 2003. MR1980425

[8] Michael I. Rosen, Niels Hendrik Abel and equations of the fifth degree, Amer. Math. Monthly 102 (1995), no. 6, 495–505, DOI 10.2307/2974763. MR1336636

[9] Ian Stewart, Galois Theory, 3rd ed., Chapman & Hall/CRC Mathematics, Chapman & Hall/CRC, Boca Raton, FL, 2004. MR2008456

[10] Arild Stubhaug, Niels Henrik Abel and his times: Called too soon by flames afar, Springer-Verlag, Berlin, 2000. Translated from the second Norwegian (1996) edition by Richard H. Daly, DOI 10.1007/978-3-662-04076-8. MR1762652

本文作者：阿德里安·賴斯（Adrian Rice）

倫道夫-麥肯學(xué)院多蘿西與馬斯庫(kù)·加內(nèi)特?cái)?shù)學(xué)教授

文章DOI：10.1090/noti3264

參考資料

https://www.ams.org/journals/notices/202601/noti3264/noti3264.html

小樂(lè)數(shù)學(xué)科普近期文章

·開放 · 友好 · 多元 · 普適 · 守拙·

讓數(shù)學(xué)

更加

易學(xué)易練

易教易研

易賞易玩

易見易得

易傳易及

歡迎評(píng)論、點(diǎn)贊、在看、在聽

收藏、分享、轉(zhuǎn)載、投稿

查看原始文章出處

點(diǎn)擊zzllrr小樂(lè)

公眾號(hào)主頁(yè)

右上角

置頂加星★

數(shù)學(xué)科普不迷路！