伽羅瓦理論是現代數學的主要發端之一。當天才少年用自創理論解決(jue) 了代數方程的懸案，人們(men) 才逐漸意識到數學結構本身所隱含的對稱性和抽象關(guan) 係竟然具有如此強大的威力。通過後繼者對高階抽象和邏輯結構關(guan) 係的不斷探索，如今數學大廈不僅(jin) 縱向高聳入雲(yun) 而且橫向相互支撐順暢貫通。本文將帶讀者領略那發生在190年前的靈光閃現……

撰文 | 張和持

偶爾，當我被袁隆平院士喂得太飽的時候，會(hui) 無聊地去想：若現代的星空体育官网入口网站穿越回古代，那將造成多麽(me) 可怕的影響。那有可能是助諸葛亮北伐成功的100名火箭飛行兵，也可能是令趙國取勝長平之戰的空降方便麵。但要是真能穿越的話，希望不會(hui) 把數學家送過去——等著他們(men) 的，可能是尼爾斯·阿貝爾和埃瓦裏斯特·伽羅瓦的命運——他們(men) 二人的工作過於(yu) 超前，以至於(yu) 他們(men) 英年早逝十多年，後人才從(cong) 塵封的論文中發現那驚人的價(jia) 值。

Évariste Galois

在那個(ge) 年代，數學家的工作主要還是圍繞數字的。即使使用變量的代數，也是為(wei) 了得到具體(ti) 的數值結果。可想而知，即便是高斯那樣的數學泰鬥，麵對伽羅瓦的滿篇抽象符號，也打回了他的論文。據說伽羅瓦死前遭人暗算，不得不參加一場必死的決(jue) 鬥。生命和學術生涯即將在含苞中零落，絕望中的他奮筆疾書(shu) ，在最後的時刻整理了自己的手稿，像海賊王一樣把寶物留給了新的時代。

Niels Henrik Abel

今天的我們(men) ，處處享受著他們(men) 的成果。計算機離不開代數，物理化學也離不開群論。或許在肅然起敬之餘(yu) ，你會(hui) 望而卻步。其實大可不必，今番我們(men) 便來還原一個(ge) 簡潔又優(you) 美的伽羅瓦理論。

伽羅瓦和阿貝爾想解決(jue) 的問題看起來很簡單。小學我們(men) 學過一元一次方程

直接移項就可以得到

後來我們(men) 學了一元二次方程

湊平方法也可以容易地得到

繼續，一元三次方程呢？是否也能這麽(me) 容易解出來呢？

十六世紀的數學家尼科洛·塔爾塔利亞(ya) 首先得到了通用的公式，我們(men) 就把它列出來看看有多複雜

對於(yu) 方程

有三個(ge) 根：

人類的智慧的確可怕。不久之後，四次方程的公式也被人們(men) 發現了。四次方程的解如此複雜，以至於(yu) 一頁紙都不一定能寫(xie) 的下，這不禁讓人懷疑，數學是否成為(wei) 了繁瑣和不便的代名詞。

這也鞭策著那些相信努力就會(hui) 收獲的數學家，找出五次方程的解而揚名立萬(wan) 。可是令人費解的是，無論做多麽(me) 精巧的代換，無論嚐試怎樣複雜的分解，總有一些方程死活解不出來。到了拉格朗日這一代，大多數人已經確信，五次方程是無法以現有方法解出來的了。他們(men) 發現，五次方程與(yu) 四次，三次，二次方程是如此的不同，以至於(yu) 之前管用的方法全都失效了。不過直到阿貝爾和伽羅瓦為(wei) 止，都沒有人能為(wei) 這種似是而非的論斷給出清晰又嚴(yan) 格的證明。

這就是我們(men) 的問題：為(wei) 什麽(me) 有理係數的一元五次方程不能通過有限次的加、減、乘、除、開根號得到一般解？

比如說方程

很容易求出它的兩(liang) 個(ge) 解是

怎麽(me) 才能證明擴張無法實現呢？目前我們(men) 還沒有什麽(me) 思路去直接證明，但阿貝爾和伽羅瓦迎難而上。他們(men) 不約而同地注意到，方程的根具有奇妙的對稱性。一般來說，如果一個(ge) 圖形具有複雜的對稱性，那圖形本身也就較為(wei) 複雜。這給了他們(men) 啟示：根的對稱性是否意味著域擴張的複雜性呢？果不其然，這種對稱性揭示了域擴張與(yu) 群的子群之間優(you) 美的對偶，使得我們(men) 可以通過研究群的可解性來回答方程解的性質。

還是回到之前的方程

另一種將群可視化的方法是凱萊圖

圖片受wikimedia 啟發

A5的凱萊圖

例如，把紅色線連接的小五邊形看做子群（這是個(ge) 階循環群），如果它是正規的，那麽(me) 從(cong) 一個(ge) 紅色五邊形出發的所有藍色線段，都必須進入同一個(ge) 陪集，也就是最鄰近的另一個(ge) 紅色五邊形。可惜這些藍色線都進入了不同的紅色五邊形。

事實上，這種每個(ge) 局部小多邊形都盡量與(yu) 其他小多邊形連接的結構，會(hui) 使整體(ti) 結構非常穩定而堅固，對群除法這種結構拆解工作自然就不夠友好。神奇的是，如果在上圖中的每個(ge) 圓圈處放一個(ge) 碳原子，它們(men) 將組成穩定的足球形分子“巴基球”，這個(ge) 名字來源於(yu) 建築學家巴克明斯特·富勒，此人建造了世界上最大的足球形建築物。

富勒的作品

1999年，物理學家在奧地利的實驗室中向雙縫發射了“巴基球”的分子束，並觀察到了幹涉現象。這使得“巴基球”成為(wei) 了人類實驗能觀測到雙縫幹涉的最大分子。

Buckminsterfullerene

再回到最初的問題。從(cong) 以上的闡述，應該就能理解根式解不存在的原因了：根式的域擴張是有局限的。也就是說五次以上的方程其實並不是“無解”，隻是根式擴張無法做到。那麽(me) 是不是就應該有別的方法來進行域擴張呢？答案是肯定的。

注釋

[1] Galois theory for non-mathematicians
[2] Emil Artin, Galois Theory

關(guan) 注【深圳科普】微信公眾(zhong) 號，在對話框：
回複【最新活動】，了解近期科普活動
回複【科普行】，了解最新深圳科普行活動
回複【研學營】，了解最新科普研學營
回複【科普課堂】，了解最新科普課堂
回複【科普書(shu) 籍】，了解最新科普書(shu) 籍
回複【團體(ti) 定製】，了解最新團體(ti) 定製活動
回複【科普基地】，了解深圳科普基地詳情
回複【觀鳥星空体育官网入口网站】，學習(xi) 觀鳥相關(guan) 科普星空体育官网入口网站