3.1 拉格朗日的疑問：根的排列裡藏著什麼？#

十八世紀的頂級難題#

三次方程（1545）與四次方程（費拉里，同書公布）相繼攻克後，整個歐洲數學界自然地期待五次方程的解法也會出現——只不過更長、更繁。等待持續了近三百年，等來的卻是一個出人意料的答案：這樣的公式根本不存在。

把「找不到」推進到「證明找不到」的漫長征途，起點是約瑟夫-路易·拉格朗日（Joseph-Louis Lagrange）。

都靈孤兒到柏林院士#

拉格朗日生於都靈，有法國血統，靠遺產過活，直到十七歲讀到哈雷論述微積分的文章才發現自己的天職。十九歲他已是都靈皇家砲兵學校的數學教授——教比他年長的軍官。1766 年，歐拉離開柏林，腓特烈大帝親筆邀請他接任，附上一句名言：「歐洲最偉大的幾何學家必須住在最偉大的國王的宮廷裡。」他在柏林科學院任職二十年，1787 年後轉往巴黎，法國大革命期間被特別保護，甚至出任度量衡委員會主席，主導了公尺制的制定——革命政府需要他，甚於他需要革命政府。

1770–71：把解方程拆成「排列」的遊戲#

1770 年，拉格朗日發表長篇論文《關於代數方程解法的思考》，做了一次徹底的「事後檢討」：把塔爾塔利亞—卡爾達諾以來所有解三次、四次的方法放在解剖台上，尋找共同骨架。

他找到的骨架驚人地統一：所有解法的核心都是「置換根」。

以二次方程 \(x^2 - Sx + P = 0\) 為例，兩根 \(x_1, x_2\) 可以交換而不被係數察覺（因為 \(S = x_1 + x_2\)、\(P = x_1x_2\) 都是對稱的）。拉格朗日發現：解三次方程時引進的中間量 \(u = x_1 + \omega x_2 + \omega^2 x_3\)，在根的三種循環置換下只取三個值——而「在置換下取幾個值」正是它能否被降次解出的關鍵。三次方程的 6 種根排列壓縮成 3 個值的量，恰可用二次方程解出；四次方程的 24 種排列壓縮成 3 個值，恰可用三次方程解出。

於是他自然地推論：五次方程有 120 種根排列，若能找到一個只取 5 個（或 4 個等小於 5 的數目）值的「預解函數」，就能降次求解。他嘗試了所有已知手段，全部失敗。他寫下了那句著名的保留判詞：

「用這些方法把五次方程化為更低次方程，看來是不可能的——儘管目前還不能嚴格證明這一點。」

為什麼「排列」視角是革命性的#

拉格朗日的論文在當時看來是失敗的檢討報告，實則完成了一次視角遷移：

• 以前：方程按次數分類，解法按次數積累；
• 之後：方程的本性藏在「根的置換群」裡，次數只是表象。

他第一次把「對稱性」當作數學研究的對象本身，儘管還沒有「群」這個詞。二十年後，魯菲尼沿此思路給出五次方程不可解的首個（有漏洞的）證明；半個世紀後，阿貝爾補上嚴格證明，伽羅瓦則徹底回答了「哪些方程可解」——而伽羅瓦手中的工具「群」，正是拉格朗日這份檢討報告裡已經若隱若現的幽靈。

制度的註腳#

值得一提：拉格朗日的綜合之所以可能，得益於十八世紀新出現的科學通信制度——柏林、巴黎、聖彼得堡的科學院期刊讓「解方程」從義大利城邦的個人決鬥，變成跨國學術共同體的長跑。數學的問題在變，數學的生產方式也在變。