第一部:七座橋的漫步與拓樸的誕生
數學家通常在書桌前尋找真理,但這一次,真理藏在市民們悠閒的午後散步裡。
1. 普魯士的市民難題
故事發生在 18 世紀的普魯士城市——哥尼斯堡 (Königsberg)(今俄羅斯加里寧格勒)。
這座城市被普列戈利亞河切分成四個陸地區塊(包含兩個島嶼),城市裡建有七座橋樑將這些陸地連接起來。當時的哥尼斯堡市民在午後散步時,常常會玩一個益智遊戲:
「有沒有可能從某塊陸地出發,把這七座橋剛好走過一次,而且每座橋都不重複,最後回到原點(或是停在另一塊陸地上)?」
許多市民花了好幾個週末在橋上來回穿梭,但每次不是漏掉了一座橋,就是同一座橋被迫走了兩次。大家隱約覺得這是不可能的,但沒有人能給出一個令人信服的理由。
直到 1736 年,這個問題傳到了當時歐洲最偉大的數學天才——萊昂哈德·尤拉 (Leonhard Euler) 的耳中。
2. 看穿表象的幾何學
一開始,尤拉對這個問題是不屑一顧的。他寫信給朋友說:「這根本不是數學問題!這不需要微積分,也不需要代數,這只是一個需要一點邏輯常識的遊戲。」
在當時的觀念裡,幾何學處理的是精確的長度、角度與面積。但這七座橋的問題,橋有多長?島有多大?完全不重要。
但尤拉不愧是天才,他很快就意識到,這不是傳統的幾何學,而是一種全新的、前所未見的數學領域:一種只關心「相對位置」與「連結關係」的幾何學。
尤拉做了一個歷史性的抽象化動作: 他把那四塊巨大的陸地,縮小成了四個單純的「點 (Vertices)」。 他把那七座真實的橋樑,化約成了連接這些點的七條「線 (Edges)」。
就這樣,繁雜的城市地圖,變成了一個由 4 個點與 7 條線組成的抽象圖形。這就是歷史上第一個「圖 (Graph)」。
3. 奇數與偶數的終極判決
將問題抽象化後,尤拉找到了破局的關鍵:「進出次數」。
如果你要在一張圖上畫出一條不重複走過任何線的路徑(也就是一筆畫問題),當你經過一個「中間的點」時,你必定是走一條線「進去」,然後走另一條線「出來」。
也就是說,除了起點和終點之外,所有中間的點,連接著它的線的數量(後來被稱為這個點的「度數 Degree」),必須是偶數!
尤拉檢查了哥尼斯堡抽象圖中的 4 個點。他發現:
- 上方的陸地連著 3 條橋(奇數)
- 下方的陸地連著 3 條橋(奇數)
- 右方的陸地連著 3 條橋(奇數)
- 中間的島嶼連著 5 條橋(奇數)
四個點的度數全都是奇數!
這意味著,無論你把哪個點當作起點和終點,中間一定會有兩個點無法滿足「有進必有出」的條件。因此,尤拉給出了數學上無可辯駁的證明:哥尼斯堡七橋問題,無解。
4. 點與線的革命
尤拉在 1736 年發表的這篇論文《哥尼斯堡的七座橋》,不僅解決了一個市民的消遣遊戲,更直接催生了兩門影響深遠的現代數學分支:
- 圖論 (Graph Theory):專門研究由點與線組成的數學結構。
- 拓樸學 (Topology):被稱為「橡皮泥上的幾何學」,研究空間在連續拉伸、扭曲下依然保持不變的性質(因為在圖論中,線是直的還是彎的根本不重要,重要的是誰連著誰)。
幾百年後,當我們使用 Google Maps 尋找最短路徑,或是科學家在分析人腦的神經網路結構時,他們所使用的數學語言,全部都源自於當年尤拉在普魯士橋樑上那一次天才的抽象化。
下一集:當尤拉解決了「如何走過所有的線」後,一百年後的愛爾蘭,另一位天才數學家提出了一個更難的問題:「如何走過所有的點?」這個看似簡單的問題,卻成為了現代電腦科學的終極夢魘。