2.3 1736年 柯尼斯堡七橋問題#

事件#

1736 年，歐拉發表《關於位置幾何問題的解法》（Solutio problematis ad geometriam situs pertinentis），解決了著名的柯尼斯堡七橋問題，這篇論文被公認為圖論與拓撲學的起點。

問題#

普魯士柯尼斯堡（今加里寧格勒）由普列戈利亞河分成四塊陸地，由七座橋連接。市民想知道：能否每座橋恰好走一次而回到起點？

flowchart TD
    A[陸地A 北岸] ---|橋1| B[島C]
    A ---|橋2| B
    B ---|橋3| D[陸地D 南岸]
    B ---|橋4| D
    A ---|橋5| E[陸地E 東岸]
    B ---|橋6| E
    D ---|橋7| E

歐拉的洞見：抽掉幾何，只留連接#

歐拉的關鍵一步是：陸地的大小、形狀、橋的長度全部無關緊要，重要的是「哪兩塊陸地之間有幾座橋」。用現代語言，他發明了「頂點 + 邊」的表示法：

結論：一筆畫迴路存在 ⟺ 所有頂點的度數都是偶數。而七橋問題的四塊陸地度數為 \(3, 3, 3, 5\) （全為奇數），故不可能。

前因後果#

flowchart LR
    A[市民的休閒謎題] --> B[寄信詢問歐拉]
    B --> C[歐拉發明頂點-邊表示法]
    C --> D[證明不存在歐拉迴路]
    C --> E[提出「位置幾何」概念<br/>= 拓撲學的種子]
    E --> F[150年後龐加萊發展拓撲學]
    C --> G[1873年希爾霍茲正式定義圖]
    G --> H[今天：網路科學、社交圖譜、<br/>地圖導航、電路設計]

意義#

這是數學史上第一次「把問題的幾何外殼剝掉、只研究結構」的成功示範。歐拉本人當時未必意識到，他開創的不只是一個問題的解法，而是一整個新數學分支。