從巴比倫泥板到 ChatGPT
從歐幾里得公設到準晶體諾貝爾獎
一段穿越兩千年的數學之旅
親愛的同學,你好。歡迎你翻開這本講義。
如果你正在讀國中八年級下學期,並且對課本上的數學覺得「太簡單」、「太無聊」,或者相反──你覺得「為什麼要學這個?」、「這些跟我的人生有什麼關係?」──那麼這本講義就是寫給你的。
這本講義不是一本「習題本」,也不是「考前重點整理」。它是一本「故事書」、一本「探險地圖」、一本「思想博物館」。
你即將閱讀的內容,會帶你穿越四千年──從西元前 1800 年的巴比倫泥板,一路走到 21 世紀的人工智慧與諾貝爾獎得主。你會認識古希臘的歐幾里得、文藝復興的笛卡兒、19 世紀的哈密頓與高斯、20 世紀的愛因斯坦……以及他們共同打造的這座叫做「數學」的偉大殿堂。
更重要的是──你會發現一件事:
講義的每一章對應你課本上的一個主題,但會延伸得更遠:到高中、大學、甚至到工程、資訊、物理、藝術等真實世界。每一章你都會看到四種不同顏色的小框框:
告訴你這個數學概念是「誰、什麼時候、為什麼」想出來的。
告訴你這個數學在工程、資訊、物理、AI 等真實世界如何運作。
提醒你這個地方很重要,未來高中、大學會再次遇到。
邀請你親手實驗、繪圖或計算,把概念內化為自己的能力。
最後,請記住一件事:
祝你閱讀愉快。
── 你的數學老師 敬上
你的數學課本,大概有 200~300 頁。但你知道嗎?──全世界數學家研究、撰寫、發表的數學內容,每年新增的論文超過 12 萬篇。換算下來,光是「最近 10 年」的數學新發現,就比你整個國中課本多出至少一萬倍。
為什麼課本不教你這些?因為課本必須在有限的時間內,把「最基礎、最必要」的內容教給你。但是──
這就是為什麼很多同學覺得數學「死板」、「無聊」、「跟生活無關」。其實不是數學無聊,是課本被迫只講「結果」,沒空講「過程」與「故事」。這本講義的目的,就是把那些「課本來不及講的故事」還給你。
讓我們直接面對這個老問題。我給你三個誠實的答案:
國中、高中、大學的數學是一條「同一條河流」,但水流速度突然加快。國三升高一、高三升大一,是兩個最常溺水的關卡。本講義帶你提早摸到「數學歸納法」、「微積分萌芽」、「向量與矩陣」、「群論」等核心觀念──不是要你「提前學會」,而是要你「提前認識」。
你未來很可能不是數學家。但無論你成為工程師、醫生、設計師、企業家、藝術家,都會用到「用數學的方式思考世界」的能力:
這是最重要的一種。數學家研究數學,不是為了找工作,而是因為「它真的很美」。當你看到 1+3+5+…+(2n−1) = n² 的方格紙證明,你會驚嘆;當你看到黃金比例同時出現在帕德嫩神殿、向日葵、銀河系,你會感受到「宇宙在用同一個語言說話」。這種驚嘆與感動,是金錢買不到的。
從等差級數出發,看人類如何把「一個一個加」的觀念,發展成可以描述金融複利、
物理運動、AI 演算法的強大工具。最後我們會看到:「累加」的觀念,
兩千年後演化成微積分中的「積分」概念。
從一次函數出發,看人類如何把「輸入→輸出」的關係,發展為描述世界規律的通用語言。
我們會看到笛卡兒與費馬如何發明解析幾何,牛頓與萊布尼茲如何把函數和級數結合產生
微積分,再到 19 世紀哈密頓、葛拉斯曼、凱萊發明向量與矩陣,最後成為 AI 的核心語言。
從尺規作圖出發,看古希臘人如何把「兩個簡單工具」化為人類最嚴格的邏輯演繹體系。
我們會經歷三大幾何難題的兩千年執著、見證高斯 19 歲時的奇蹟、認識黃金比例的真假
神話,最後看到這些古老概念如何在 CAD 軟體、字型設計、伊斯蘭建築、準晶體中重生。
這三章,分別代表數學的三種思考模式:「累加」、「對應」、「演繹」。它們是人類心智最深刻的工具。
傳說很久很久以前,西洋棋的發明者覲見一位印度國王。國王想要重重賞賜這位聰明人,但發明者卻請求一個看似很「謙虛」的賞賜:「陛下,請在棋盤的第 1 格放 1 粒米,第 2 格放 2 粒,第 3 格放 4 粒,每一格都是前一格的 2 倍,直到第 64 格就好。」
國王哈哈大笑,覺得這要求太簡單了,立刻答應。但他的數學家算了之後臉色發白──64 個格子裡的米粒總數,竟然是大約
換算成稻米,比全世界 2000 年的稻米總產量還多!國王當然付不起。但這個故事告訴我們一件事:「累加」這個看起來很簡單的動作,藏著驚人的力量。
上學期,你已經學過了等差數列。本章從等差數列出發,會延伸到:
| 項目 | 等差數列 | 等比數列 |
|---|---|---|
| 範例 | 2, 5, 8, 11, 14, 17, … | 2, 6, 18, 54, 162, … |
| 相鄰兩項關係 | 後項 − 前項 = 公差 d | 後項 ÷ 前項 = 公比 r |
| 第 n 項通式 | aₙ = a₁ + (n−1)d | aₙ = a₁ · r^(n−1) |
| 圖形特徵 | 一條直線 | 指數曲線(爆炸成長) |
| 生活範例 | 階梯數、固定加薪 | 複利存款、細菌繁殖 |
等差是「線性成長」── 慢而穩定。
等比是「指數成長」── 一開始慢,但很快就會超越所有等差數列。
「複利」是世界上最強大的財富工具,本質上就是等比數列。
請準備一張 A4 紙:
步驟 1:將紙對半剪,把一半放下,留另一半在手上。
步驟 2:將剩下的紙再對半剪,又把一半放下,留另一半。
步驟 3:重複這個動作 5~6 次。
問題:這些「放下的紙片」面積總和(1/2 + 1/4 + 1/8 + …)是多少?
如果你能剪「無限多次」,所有放下的紙片加起來會等於什麼?
這個實驗讓你看到一個驚人的事實:
無限多個正數加起來,竟然等於有限數! 這個事實,在兩千多年前的希臘哲學家面前,是個無解的謎團。
西元前 5 世紀,希臘哲學家芝諾(Zeno of Elea)提出一個讓人困惑的悖論:
「希臘大力士阿基里斯永遠追不上烏龜。因為當阿基里斯到達烏龜原本的位置時,
烏龜已經往前爬了一點點;如此重複無限多次,所以阿基里斯永遠追不上!」
問題出在哪?──芝諾錯把「無限多次動作」誤認為「無限長的時間」。
實際上這「無限多次動作」的時間總和是有限的(就像你剛剛剪紙實驗一樣)。
但希臘人花了 2000 多年才完全釐清,直到 17 世紀牛頓和萊布尼茲發明微積分。
當公比 |r| < 1 時(每次都「縮小」),等比級數能加到「有限的極限」:
驗證紙片實驗:a₁ = 1/2, r = 1/2,所以 S = (1/2)/(1 − 1/2) = 1。完美對應實驗結果!
1786 年,德國的一所小學裡,數學老師為了讓全班安靜,出了一道題:
「請計算 1+2+3+……+100。」
所有同學立刻埋頭苦算,只有一個小男孩抬頭就說:「5050。」
這個小男孩,叫卡爾·弗里德里希·高斯(Carl Friedrich Gauss, 1777-1855),
他後來成為人類史上最偉大的數學家之一,被稱為「數學王子」。
他的秘訣是──「對稱重排」。
讓我們看高斯的秘訣:把 1 到 100 正著寫一遍、倒著寫一遍,上下對應相加,每一對都等於 101,共 100 對:
S = (首項 + 末項) × 項數 ÷ 2
Sₙ = n(a₁ + aₙ) / 2 = n[2a₁ + (n−1)d] / 2
這個簡單而美麗的公式,是高斯送給數學世界的禮物。
數學家為了「簡潔表達累加」,發明了 Σ 符號(讀作 sigma,是希臘字母 S,意思是 Sum,「和」):
請準備一張方格紙:
步驟 1:在角落塗 1 格 → 1
步驟 2:增加 3 格形成 2×2 正方形 → 1+3 = 4
步驟 3:增加 5 格形成 3×3 正方形 → 1+3+5 = 9
步驟 4:增加 7 格形成 4×4 正方形 → 1+3+5+7 = 16
你發現了嗎?──「前 n 個奇數之和恰好等於 n²」!
這是一個「不需要文字、純用圖形」的證明,是希臘人最喜歡的方式。
還有一個更深的公式:
試著驗證 n = 1, 2, 3, 4:n=3 時 1+4+9 = 14,公式 = 3·4·7/6 = 14 ✓。公式正確!但「為什麼」是這個公式?──完整的證明需要「數學歸納法」(高中內容)或「立方體堆疊」的幾何方法。
如果是長方形,面積 = 長 × 寬。如果是三角形,面積 = 底 × 高 ÷ 2。但如果是 y = x² 在 [0, 1] 之間的曲線下面積呢?這個問題,從西元前 200 年的阿基米德到 17 世紀的牛頓、萊布尼茲,整整想了 2000 年。
目標:算出 y = x² 在 [0, 1] 之間下的面積(精確答案是 1/3)
分 4 等份:總面積 = (1/4³) × (1+4+9+16) = 30/64 ≈ 0.469
分 10 等份:總面積 ≈ 0.385
分 100 等份:總面積 ≈ 0.338
分 n 等份:當 n 越來越大,越接近 1/3!
當分成 n 等份時,總面積利用平方和公式可化簡為:
當 n → ∞ 時,分子分母最高次項比例為 2n²/6n² = 1/3。所以面積精確等於 1/3!
你剛剛做的事,就是大學「微積分」中的「定積分」:∫(0 到 1) x² dx = 1/3
「∫」這個符號叫 integral,由萊布尼茲發明。它的形狀其實是拉丁文 Summa(「和」)
的字首 S 拉長 ── 提醒我們「積分就是無窮和」。
課本上的「等差級數」,和大學的「微積分」,本質上是同一件事!
級數是「有限多項相加」,積分是「無窮多個無窮小相加」── 兩者都是「累加」。
假設你 13 歲時,存入 1 萬元到年利率 5% 的帳戶(每年複利,不領出來):
18 歲時:10000 × 1.05⁵ ≈ 12,763 元
30 歲時:10000 × 1.05¹⁷ ≈ 22,920 元
60 歲時:10000 × 1.05⁴⁷ ≈ 99,114 元
70 歲時:10000 × 1.05⁵⁷ ≈ 161,434 元
同樣 1 萬元,70 歲時變成 16 萬!愛因斯坦曾稱:「複利是世界第八大奇蹟。」
但要小心:同樣道理也適用於負面情況。如果你欠卡債利率 15%,本金會以等比成長,一年內接近翻倍。理解等比數列,是你財務人生的第一堂課。
17 世紀,義大利物理學家伽利略研究自由落體,發現每秒下落距離是 5, 15, 25, 35, …(公差為 10 的等差數列),而累計距離 5, 20, 45, 80, … 恰好對應 5n²。這就是著名的:
在 17 世紀,沒有精確的時鐘。伽利略用「水鐘」與「哼歌」計時──
他讓水從一個容器滴到另一個容器,依水量判斷時間;或唱固定節奏的歌計時。
可以說,現代物理學是從一首歌與幾滴水開始的。
程式 A(雙重迴圈找最大值):執行次數 = (n−1)+(n−2)+…+1 = n(n−1)/2 ≈ n²/2
→ 這就是等差級數和!時間複雜度 O(n²)。
程式 B(單迴圈找最大值):執行次數 = n−1。時間複雜度 O(n)。
當 n = 1,000,000 時:A 約 5000 億次,B 約 100 萬次(差 50 萬倍!)
為什麼 Google 搜尋幾十億網頁能在 0.3 秒回應?因為演算法時間複雜度很低。
★ 基本
★★ 進階
★★★ 挑戰
想像有一個神奇的盒子。你丟一張數字卡片進去,它會吐出另一張數字卡片:投入「3」吐出「7」、投入「5」吐出「11」、投入「10」吐出「21」。你能猜出規則嗎?──每個輸出都是輸入的 2 倍再加 1,也就是 y = 2x + 1。
這個「把輸入變成輸出的對應關係」,數學家叫它「函數」。從天氣預報、手機遊戲、GPS 導航、到 ChatGPT 的回覆──背後都是函數。本章我們要認識整個「函數家族」:
| 名稱 | 函數式 | 圖形特徵 | 生活範例 |
|---|---|---|---|
| 一次函數 | y = ax + b | 斜直線 | 計程車費 |
| 二次函數 | y = ax² + bx + c | 拋物線 | 籃球投籃軌跡 |
| 絕對值函數 | y = |x| | V 形 | 距離(永遠是正數) |
| 有理函數 | y = 1/x | 雙曲線 | 壓力與體積 |
| 指數函數 | y = 2^x | 快速上升曲線 | 細菌繁殖、複利 |
| 週期函數 | y = sin x | 週期波動 | 聲波、心電圖 |
「函數」是一種對應關係,必須滿足:
對於每一個輸入 x,必須有「且只有一個」輸出 y。
例如 y = x² 是函數;但 x = y²(即 y = ±√x)不是函數(x = 4 時 y 可以是 2 或 −2)。
判斷法「垂直線檢驗」:垂直線與圖形交超過一個點,就不是函數。
「function」這個詞,由德國數學家萊布尼茲於 1673 年首先使用。
「f(x)」這個現代符號,由瑞士數學家歐拉於 1734 年發明。
現代的嚴格函數定義,由德國數學家狄利克雷於 1837 年確立。
從「概念出現」到「現代定義」,足足花了 164 年!
為什麼手機遊戲裡的角色能流暢跳躍、變大變小、翻轉?──答案是「函數圖形變換」。函數圖形可以做四種基本變換:平移、伸縮、翻折、組合。
為什麼 (x − 3) 是「向右」而不是「向左」?
想像 x' = x − 3。當 x' = 0 時(原圖形的頂點),對應的真實 x = 3。所以是「反過來」的。
● (x − h) → 向右平移 h ● (x + h) → 向左平移 h(加減號是反直覺的!)
從 y = x² 出發,「先向右平移 1 再水平 ×1/2」得到頂點在 x = 1/2;「先水平 ×1/2 再向右平移 1」得到頂點在 x = 1。兩個結果不同!
「順序很重要」這件事,在大學會用一個更強大的概念來描述:
「矩陣不可交換」── 即 AB ≠ BA。
你現在學的「圖形變換的順序」,正是矩陣世界的入場券。
我們在第 2.7 節會深入討論這個故事。
看美國天氣預報顯示「86°F」,要知道相當於攝氏幾度?把 F = 1.8C + 32 變形得 C = (F − 32) / 1.8,代入得 30°C。這個「從輸出反推輸入」的函數,叫「反函數」。
在方格紙上畫出 y = 2x + 1,標出 5 個點 (0,1), (1,3), (2,5), (−1,−1), (−2,−3)。
將每個點的 x 與 y 「對換」:(1,0), (3,1), (5,2), (−1,−1), (−3,−2),連接成新圖形。
再畫一條 y = x 的直線。
你會發現:原直線與新直線恰好對 y = x 軸對稱(像鏡子一樣)!
新直線方程式 y = (x − 1)/2 就是 y = 2x + 1 的反函數!
函數有反函數 ⟺ 它是「一對一」的(每個 y 值只對應一個 x),必須通過「水平線檢驗」。
● y = 2x + 1(直線):有反函數 ✓
● y = x²(拋物線):沒有反函數 ✗(但若限制 x ≥ 0,就有反函數 y = √x)
反函數在資訊時代極為重要:任何「編碼」都對應一個「解碼」函數 ── LINE 加密/解密、ZIP 壓縮/解壓縮、摩斯密碼。反函數必須一對一,否則解碼會失敗!
一次函數 y = 2x + 1 的斜率是 2。但二次函數 y = x² 的斜率「一直在變」!計算 y = x² 在 x = 1 附近的「平均變化率」:
| x 區間 | Δy / Δx | 結果 |
|---|---|---|
| 1 → 2 | (4 − 1) / 1 | 3 |
| 1 → 1.5 | (2.25 − 1) / 0.5 | 2.5 |
| 1 → 1.1 | (1.21 − 1) / 0.1 | 2.1 |
| 1 → 1.01 | (1.0201 − 1) / 0.01 | 2.01 |
| 1 → 1.001 | (1.002001 − 1) / 0.001 | 2.001 |
結果越來越接近 2!我們說「y = x² 在 x = 1 處的瞬時變化率是 2」。
這就是大學「微積分」中的「導數」:dy/dx = 2x(在 x = 1 處 = 2)。
「dy/dx」這個記號由萊布尼茲發明,意思是「y 的微小變化 除以 x 的微小變化」。
手搖飲料店:需求函數 P = 80 − 2Q、供給函數 P = 20 + 1.5Q。市場均衡點為兩函數交點,解聯立得 Q ≈ 17.14 杯、P ≈ 45.7 元。
假設限定每杯不得超過 30 元:
需求量 Q = (80−30)/2 = 25 杯;供給量 Q = (30−20)/1.5 ≈ 6.67 杯
→ 短缺 18 杯!消費者買不到,可能出現黃牛、排隊、黑市。
這就是經濟學「價格管制」的經典分析,背後是兩個一次函數的交點問題。
在 Excel 輸入一組「身高 vs 體重」資料,選取 → 插入散佈圖。
點擊資料點 → 加入「趨勢線」→ 選「線性」→ 勾選「顯示公式」。
你會得到類似 y = 0.93x − 96 的回歸方程式。
這條直線就是「回歸線」,找出它的方法叫「最小平方法」。
Google 翻譯、ChatGPT、Netflix 推薦、自動駕駛、人臉辨識──
本質上都是非常複雜版本的「回歸」。神經網路就是把幾百萬個一次函數疊在一起的怪獸。
但核心思想,就是你剛剛用 10 個點與一條直線做的事情。
你已經親手做了你人生第一個「AI 模型」!
費馬其實「不是正職數學家」── 他是法國土魯斯的一位法官,數學是業餘愛好。
1629 年,他讀到古希臘數學家阿波羅尼斯失傳的著作,腦中閃現一個念頭:
「如果把幾何問題寫成代數方程式,曲線是不是就能用方程式來描述了?」
1636 年,他完成手稿,從一條方程式出發推出對應的曲線。
但他沒有出版,直到他死後 14 年(1679 年)才正式印行。
笛卡兒是個哲學家、軍人、流浪者。1637 年他出版《方法論》,附上附錄《幾何學》。
他發明了我們今天使用的代數記號:用 x, y, z 代表未知數、a, b, c 代表常數、
x² 表示次方(在他之前,人們寫「xx」)。然後用這套記號把幾何曲線翻譯成代數方程式。
| 比較點 | 費馬 | 笛卡兒 |
|---|---|---|
| 出發點 | 從方程式開始,畫出曲線 | 從曲線開始,求出方程式 |
| 發表時間 | 1636 手稿,1679 出版 | 1637 正式出版 |
| 記號系統 | 沿用前人記號 | 發明全新記號(沿用至今) |
為什麼坐標系叫「笛卡兒坐標系」而不是「費馬坐標系」? 因為笛卡兒先出版。但費馬其實先想到!這是科學史上著名的「雙重發現」現象。
費馬與笛卡兒研究的是「方程式 F(x, y) = 0」,而我們現在學的是「y = f(x)」。後者強調「x 是輸入、y 是輸出」,有方向性。這個從「方程式」升級到「函數」的觀念進化,花了 100 年才完成。
1665 年,鼠疫橫掃英國,劍橋大學停課。23 歲的牛頓回到鄉下老家躲瘟疫。
在那一年內,他想清楚了三件事:萬有引力定律、光的折射理論、微積分。
這一年被歷史學家稱為牛頓的「奇蹟之年」。
牛頓的關鍵突破:把第一章的「級數」和第二章的「函數」結合。他發現「任何一個函數,都可以寫成一個無窮級數」:
同樣在 1670 年代,德國的萊布尼茲獨立發現:「面積就是把無窮多個無窮細的長條加起來。」他為這個操作發明了符號 ∫(拉丁文 Summa 的 S 拉長)。
級數(第一章):有限多項相加,如 1 + 2 + … + 100 = 5050
積分(大學內容):無窮多個無窮小相加,如 ∫(0 到 1) x² dx = 1/3
最震撼的真相:微分(切線)與積分(面積),居然互為逆運算!
這就是「微積分基本定理」。兩千年來分別發展的「切線問題」與「面積問題」,
原來是鏡子兩邊的同一件事。
● 那個 ∫,是萊布尼茲 350 年前發明的
● 那個 f(x),是歐拉 290 年前寫下的
● 那個 x、y,是笛卡兒 390 年前定下的
你正在加入這場兩千年的接力賽。
函數 y = f(x) 是「一個數變成另一個數」,這種「一個數」叫「純量」(scalar,只有大小沒有方向)。但世界上很多東西光知道大小是不夠的!
情境 1:「走 1 公里」就能到家嗎?→ 不夠!還要知道方向。
情境 2:「時速 800 公里」能準時到東京嗎?→ 不夠!還要知道方向。
情境 3:兩人各用 100 公斤的力推車 → 同方向 200、反方向 0、垂直約 141 公斤。
「向量」(vector):有大小、有方向的量,用「箭頭」表示。
● 純量:質量、時間、溫度、能量、長度
● 向量:速度、力、加速度、位移、電場
關鍵差別:純量加法 3 + 5 = 8;
向量加法「朝東 3」+「朝北 4」= 朝東北 53 度、距離 5(畢氏定理!)
愛爾蘭數學家威廉·哈密頓(1805-1865)是數學神童──4 歲精通希臘文、
22 歲就當上都柏林天文台台長。他想發明「三維複數」來描述三維空間,
著迷了整整 13 年。每天早餐兒子都問:「爸爸,你今天能做乘法和除法了嗎?」
1843 年 10 月 16 日早晨,他沿著皇家運河散步,走到布魯漢橋時靈光閃現──
「關鍵不是三維!是四維!而且乘法不需要交換律!」
他立刻拿出小刀,在橋的石欄杆上刻下:i² = j² = k² = ijk = −1
他把這四維數叫「四元數」,其中有「純量部分」與「向量部分」。
「純量」與「向量」這兩個詞,就是 1843 年哈密頓在這裡發明的!
哈密頓發現四元數乘法 ij = k,但 ji = −k(即 ij ≠ ji)。這就是「先平移再伸縮 ≠ 先伸縮再平移」的源頭!而 21 世紀,四元數因為適合表示 3D 旋轉而死灰復燃 ── 你手機遊戲裡的 3D 角色旋轉,正是哈密頓在橋上刻下的公式!
就在哈密頓 1843 年的前一年,德國中學數學老師葛拉斯曼(1809-1877)
也獨立想到類似概念,而且走得更遠 ── 他想到「任意維向量空間」!
但他的書寫得太艱澀,幾乎沒人讀懂。他失望地放棄數學,轉去研究梵文。
直到他死後,人們才發現:這個中學老師超前所有人 50 年!
如果輸入是向量、輸出也是向量呢?每一種「把平面變成平面」的線性變換,都可以用「四個數字」完整描述。例如旋轉 90°:(x, y) → (y, −x),四個係數是 0、1、−1、0。
數學家把這四個數字「排成一個方塊」:
┌ a b ┐
└ c d ┘
這就是「矩陣」!
矩陣由兩位 19 世紀英國律師兼數學家發明:
西爾維斯特(1814-1897):1850 年首次使用「matrix」這個詞
(拉丁文意思是「子宮、母體」)。
凱萊(1821-1895):1858 年發表《矩陣理論的論文集》,
首次系統定義矩陣的加法、乘法、單位矩陣、反矩陣。這是線性代數的「獨立宣言」。
這兩位是律師事務所的同事,常在事務所討論數學!
在方格紙畫單位正方形,頂點 (0,0), (1,0), (1,1), (0,1)。
用矩陣 [[2, 1], [0, 1]] 變換:(x, y) → (2x + y, y)
(0,0)→(0,0) (1,0)→(2,0) (1,1)→(3,1) (0,1)→(1,1)
連接新四點 → 正方形變成了平行四邊形!
這個矩陣的「行列式」= 2×1 − 1×0 = 2,恰好是平行四邊形的面積。
1637 笛卡兒、費馬:函數雛形 F(x,y)=0
1734 歐拉:函數正式登場 y = f(x)(純量→純量)
1843 哈密頓、葛拉斯曼:發明「純量」與「向量」
1850-58 西爾維斯特、凱萊:發明「矩陣」(向量→向量)
今天:矩陣是 AI、電腦圖學、量子物理、Google 搜尋的共同語言
矩陣 = 函數的高維版本。它就是「處理向量的函數」。
★ 基本
★★ 進階
★★★ 挑戰
給你一個三角形,請你用「只能畫直線、只能畫圓」的規則,找出它的「外接圓」。兩千三百年前,希臘人想到了答案:「作三邊的中垂線,三條中垂線的交點就是外接圓的圓心。」
這個簡單的問題,背後藏著一個改變人類思維史的故事。本章我們要看:為什麼希臘人發明了「尺規作圖」這個遊戲?而這個遊戲的規則,又如何塑造了西方數學兩千年的發展?
歐幾里得(約 BC 325-265)西元前 300 年左右寫了《幾何原本》(Elements),
從「5 條最基本的公設」出發,推導出 465 個幾何命題。
這本書是西方歷史上「僅次於《聖經》的第二暢銷書」,影響人類兩千多年。
美國總統林肯每天睡前都讀《幾何原本》,說這幫助他鍛鍊邏輯思維。
歐幾里得的 5 條公設,就是「尺規作圖」的根本依據!
● 第 1 條(兩點連成直線):直尺的功能
● 第 3 條(任意點為心作圓):圓規的功能
● 第 5 條(平行公設):保證平面是「平直」的
尺規作圖就是「把幾何學限定在最純粹的邏輯規則中」的遊戲。
西元前 430 年左右,雅典爆發瘟疫。市民前往得洛斯島求問神諭。
神諭說:「將祭壇的體積加倍,瘟疫就會結束。」
祭壇是邊長 1 的正立方體。要體積加倍,需要「邊長為 ³√2 的正立方體」。
但怎麼用尺規畫出長度恰為 ³√2 的線段呢?
這個問題困擾了人類整整 2200 年!
| 難題 | 內容 | 關鍵數值 |
|---|---|---|
| 倍立方體 | 作出體積為兩倍的正立方體 | 邊長為 ³√2 |
| 三等分角 | 將任意角三等分 | 解三次方程 |
| 化圓為方 | 作出面積與圓相等的正方形 | 邊長為 √π |
所有可作圖的長度,只能由 1 經過「加、減、乘、除、開平方」有限次得到(可作圖數)。
● 倍立方體需要 ³√2 → 無法用平方根表達 → 不可作圖!
● 三等分 60° 需解三次方程 → 不可作圖!
● 化圓為方需要 √π,π 是「超越數」→ 更不可作圖!
但希臘人完全不知道,只是直覺感覺「很難」,無法證明「不可能」。
1837 年,法國年輕數學家汪策爾(Pierre Wantzel, 1814-1848),23 歲時
發表了一篇 7 頁短論文,就在同一頁紙上證明了倍立方體、三等分角不可能用尺規作圖。
這頁論文被稱為「奇蹟之頁」。可悲的是,汪策爾只活了 33 歲,
證明被忽視了將近一個世紀。
1882 年,德國數學家林德曼證明 π 是超越數,於是化圓為方也不可能。
2200 年的執著,終於有了答案:「不可能」。
請準備一張正方形紙:
1. 將紙摺出兩個摺痕,標出三條等距橫線
2. 拿一個給定角度,用這三條線輔助
3. 三等分角立刻完成!(這是日本數學家阿部恆發現的應用)
尺規無法的事,摺紙可以做到 ── 這是「規則」決定「可能性」的最佳示範。
帕德嫩神殿、蒙娜麗莎、鸚鵡螺 ── 看似毫無關聯的三樣東西,都隱藏著黃金比例 φ ≈ 1.618。
把線段分成長段 a 與短段 b,使得 (a + b)/a = a/b。令 b = 1,解出:
● φ² = φ + 1 ● 1/φ = φ − 1 ● φ³ = 2φ + 1
● 它是「最無理的」無理數(連分數展開中所有部分商都是 1)
正五邊形的「對角線」與「邊長」的比例,恰好就是 φ!
1. 畫外接圓,作兩條互相垂直的直徑,交圓於 A、B、C、D
2. 以 OB 中點 M 為圓心、MA 為半徑作弧,交 OD 於 N
3. AN 即為正五邊形的邊長,以此在圓上截取五個點
你會驚訝地發現:真的恰好五個點,誤差幾乎為零!
希臘畢達哥拉斯學派把「五角星」作為秘密符號,因為五角星的每個交點都形成黃金比例。
傳說弟子希帕索斯因為發現 √2 是無理數,被同門投入海中淹死。
這說明了古希臘人對「無理數」與「黃金比例」的敬畏與神秘感。
20 世紀以來有些媒體誇大了黃金比例的普遍性:
● 「信用卡是黃金比例」其實是 1.585,並非 1.618
● 「蒙娜麗莎臉部嚴格符合黃金比例」── 其實沒有
數學是嚴謹的。喜愛美麗的數字是好事,但不要為了浪漫而犧牲精確。
1796 年 3 月 30 日清晨,19 歲的高斯從睡夢中驚醒,
他在床上想清楚了一件事 ──「正 17 邊形可以用尺規作圖!」
從歐幾里得時代以來整整 2000 多年,沒有人發現全新的可作圖正多邊形。
這個發現讓高斯決定把「數學家」作為終生職業,
他甚至要求死後在墓碑上刻一個正 17 邊形。
高斯發現:正 n 邊形可作圖 ⟺ n 可分解為「2 的次方」與「相異費馬質數」的乘積。費馬質數是形如 2^(2^k) + 1 的質數:
| k | 2^(2^k) + 1 | 是質數嗎? |
|---|---|---|
| 0 | 3 | ✓ 是 |
| 1 | 5 | ✓ 是 |
| 2 | 17 | ✓ 是 |
| 3 | 257 | ✓ 是 |
| 4 | 65537 | ✓ 是 |
| 5 | 4294967297 | ✗ 不是!= 641 × 6700417 |
費馬曾猜測「所有」2^(2^k) + 1 都是質數。
但歐拉(1732 年)發現 k = 5 時不是質數,推翻了猜想。
目前已知的費馬質數只有 5 個:3、5、17、257、65537。
是否還有更多,至今仍是未解之謎!
正 7、9、11、13 邊形都不可作圖。
對稱性的研究催生了現代「群論」。創立者是法國天才伽羅瓦(1811-1832)。
他在死前一晚(21 歲為情決鬥前),通宵寫下這套理論的核心。
第二天他在決鬥中喪生,但他的筆記成為現代代數的基石。
伽羅瓦理論可以「精確證明」為什麼三大難題不可尺規作圖。
現代工程師設計汽車、飛機、橋樑,背後的 CAD 軟體完全建立在歐幾里得的公設之上。
● 「畫直線」工具 → 對應尺規的直尺
● 「畫圓」工具 → 對應尺規的圓規
● 「約束」中的「垂直、平行、等長、對稱」→ 全部都是尺規作圖的基本操作!
你今天用尺規畫中垂線,和工程師設計波音 787 機翼,用的是同一套數學語言。
1960 年代,法國雷諾汽車工程師皮耶·貝茲發明了「貝茲曲線」,
用來設計汽車車體的優美曲線。
今天,所有現代字型(包含手機螢幕上每一個字)都是貝茲曲線,
所以無論放大多少倍都不會模糊。
從歐幾里得到貝茲,這條精神血脈延續了 2300 年。
自然界的晶體大多有 2、3、4、6 重對稱,「5 重對稱」理論上是「不可能」的。
1973 年,物理學家羅傑·潘洛斯發現「非週期密鋪」── 用兩種菱形可以鋪滿平面但從不重複。
1982 年,以色列科學家舍特曼在電子顯微鏡下看到 5 重對稱的晶體!
他被全世界化學家排斥,連諾貝爾獎得主鮑林都嘲笑他:「沒有準晶體,只有準科學家!」
但舍特曼堅持。29 年後(2011 年),他獲得諾貝爾化學獎。
更驚人的是:考古學家發現 15 世紀伊朗清真寺的花磚,
早就用了潘洛斯式的準週期密鋪 ── 伊斯蘭工匠領先諾貝爾獎得主 500 年!
BC 300 歐幾里得公設 → BC 5 世紀三大難題 → 1796 高斯正 17 邊形 →
1832 伽羅瓦群論 → 1837 汪策爾 → 1882 林德曼 → 1960s 貝茲 CAD →
1973 潘洛斯密鋪 → 1982 舍特曼準晶體 → 2011 諾貝爾獎 → 今天你手中的圓規與直尺
數學家不是「發明」,而是「發現」。這些規則早在宇宙誕生時就已存在。
★ 基本
★★ 進階
★★★ 挑戰
親愛的同學,恭喜你讀到這裡。
如果你從頭讀到尾,那麼你剛剛經歷了一場智力長征。從巴比倫泥板到 ChatGPT、從歐幾里得公設到準晶體諾貝爾獎、從費馬筆下的解析幾何到哈密頓在橋上刻下的四元數 ── 你閱讀的內容,是無數人類最聰明的頭腦花了四千年累積的智慧結晶。
從等差級數出發,到複利、自由落體、AI 演算法時間複雜度。
300 年後,牛頓和萊布尼茲將「等差級數的累加」演化成「積分」。
從一次函數出發,到反函數、微分萌芽、機器學習線性回歸。
200 年來,函數從 y=f(x) 演化到向量、矩陣,成為 21 世紀 AI 的核心。
從尺規作圖出發,到三大難題、黃金比例、正 17 邊形、準晶體。
「規則改變,可能性就改變」── 這是科學、工程、人生的共通智慧。
這三章其實是同一個故事的三個面向:
這三個交集,就是大學數學系的三大支柱:微積分、抽象代數、實分析。
下冊將繼續探索第四章(三角形)、第五章(平行線)、第六章(平行四邊形)。真正的高潮還在後面 ── 你將看到第二章的「向量」如何在第六章具體呈現、第三章的「對稱」如何演化為密鋪藝術、第二章的「函數」如何在第五章遇到「不平直的時空」。
── 你的數學老師 敬上