跳去內容

歐幾里得

出自維基百科,自由嘅百科全書

歐幾里得(約前330年—前275年)係古希臘數學家,《幾何原本》係佢所寫,後世尊佢為「幾何學之父」。佢活躍於托勒密一世時期。直到20世紀早期,《幾何原本》係幾何教學嘅主要教科書。而家所謂嘅歐氏幾何學係由極少數公理推出嘅。

關於歐幾里得嘅生平所知甚少,大部分資料都係嚟自幾個世紀後嘅學者普羅克洛亞歷山大城的帕普斯中世紀伊斯蘭數學家曾編造過一個虛構嘅傳記,而中世紀拜占庭帝國同早期文藝復興嘅學者曾經將佢誤認為早期嘅哲學家米加拉的歐幾里得。而家普遍接受歐幾里得係喺亞歷山大度度過佢嘅職業生涯,大約生活喺公元前300年,係柏拉圖嘅學生之後,阿基米德之前。有人猜測歐幾里得曾經喺柏拉圖學院讀書,之後喺穆塞翁教書;佢被認為係將早期雅典嘅柏拉圖傳統與後來亞歷山大嘅傳統連繫起嚟嘅重要人物。

喺《幾何原本》入面,歐幾里得由一小部分公理推導出定理。除咗《幾何原本》之外,佢仲寫咗關於透視學圓錐曲線球面幾何數論數學證明嚴謹性嘅作品。除咗《幾何原本》之外,歐幾里得仲寫咗光學領域嘅早期重要著作《光學》,以及較少人知嘅作品如《數據》同《天象》。對於《圖形劃分》同《Catoptrics》的作者身份存在疑問。相信佢曾寫過許多失傳嘅作品

作品

[編輯]

《幾何原本》

[編輯]

一份歐幾里得《幾何原本》嘅紙草殘片,日期約為公元75至125年。喺奧西林庫斯發現,圖表係第二冊第五命題嘅配圖。[1]

歐幾里得最著名嘅作品係佢嘅十三卷巨著《幾何原本》(希臘文Στοιχεῖα羅馬拼音:Stoicheia),被認為係佢嘅鉅作[2][3]呢部作品大部分內容源自早期數學家,包括克尼多斯嘅歐多克索斯基奧斯嘅希波克拉底泰勒斯泰阿泰德,而其他定理亦喺柏拉圖亞里士多德嘅著作中有提及。[4]要分辨邊啲係歐幾里得嘅原創工作,邊啲係佢前人嘅成果,係好困難嘅,特別係因為《幾何原本》基本上取代咗更早期而家已經失傳嘅希臘數學著作。[5][a]古典學者馬庫斯·阿斯珀得出結論話:「睇嚟歐幾里得嘅成就在於將當時公認嘅數學知識系統化咁整理,並補充新證明填補空白」,而歷史學家塞拉菲娜·庫奧莫將之形容為「知識嘅寶庫」。[6][4]儘管如此,西亞拉羅斯進一步指出:「《幾何原本》結構嚴密,顯示出作者嘅控制力遠超一般編輯。」[7]

《幾何原本》並唔係單單講幾何學,好似有時啲人以為嘅咁。[5]傳統上,佢分為三個主題:平面幾何(第1至6卷)、基礎數論(第7至10卷)同立體幾何(第11至13卷)——不過第5卷(講比例)同第10卷(講無理數線)唔係好啱呢個分類。[8][9]呢部著作嘅核心係書中散落各處嘅定理[3]用亞里士多德嘅術語,呢啲定理可以大致分為兩類:「第一原理」同「第二原理」。[10]第一組包括被標為「定義」(希臘文ὅροςὁρισμός)、「公設」(αἴτημα)或「公理」(κοινὴ ἔννοια)嘅陳述;[10][11]只有第一卷包含公設——後來被稱為公理——同公理。[5][b]第二組由命題組成,伴隨數學證明同圖表。[10]唔知歐幾里得係咪打算將《幾何原本》當做教科書,但佢嘅表述方式令佢天然就好適合作為教材。[7]整體上,作者嘅語氣保持一般性同中立。[4]

內容

[編輯]
歐幾里得嘅公設同公理[12]
編號 公設
讓我哋假設以下幾點:
可以由任意點畫直線到任意點[c]
可以將有限直線連續延長成直線
可以以任意圓心同半徑畫圓
所有直角都相等
如果一條直線與兩條直線相交,同一側嘅內角和小於兩個直角,
咁呢兩條直線延長後一定會喺呢一側相交
編號 公理
等於同一樣嘢嘅兩樣嘢彼此相等
如果將相等嘅量加到相等嘅量,結果仍然相等
如果從相等嘅量減去相等嘅量,餘數仍然相等
重合嘅東西彼此相等
整體大於部分

《幾何原本》第一卷係整部著作嘅基礎。[5]佢由20個基本幾何概念嘅定義開始,包括同各種正多邊形[13]然後歐幾里得提出10個假設(見右表),分為五個公設(公理)同五個公理。[14][d]呢啲假設旨在為之後所有定理提供邏輯基礎,即係作為公理系統[15][e]公理專門講嘅比較。[17]雖然第1至第4條公設相對直觀,[f]但第5條被稱為平行公設,特別著名。[17][g]第一卷仲包括48個命題,大致可以分為幾何基本定理同作圖(1-26)、平行線(27-34)、三角形平行四邊形面積(35-45),以及畢達哥拉斯定理(46-48)。[17]最後一部分包括咗現存最早嘅畢達哥拉斯定理證明,西亞拉羅斯形容為「相當精妙」。[10]

第二卷傳統上被理解為講「希臘幾何代數」,不過自1970年代以嚟呢個說法一直受到激烈爭議;批評者認為呢種說法係不合時宜嘅,因為即使係初期代數嘅基礎都係好多世紀之後嘅事。[10]第二卷嘅範圍更加集中,主要提供咗各種幾何圖形相應嘅代數定理。[5][17]佢集中討論長方形正方形嘅面積(見求積法),並引出餘弦定理嘅幾何前身。[19]第三卷主要講圓,而第四卷討論正多邊形,特別係五邊形[5][20]第五卷係呢部作品最重要嘅部分之一,介紹咗通常被稱為「一般比例理論」嘅內容。[21][h]第六卷將「比率理論」應用到平面幾何中。[5]佢幾乎完全建立喺第一個命題之上:[22]「高度相同嘅三角形同平行四邊形,其面積比等於佢哋底邊嘅比。」[23]

五種柏拉圖立體,係立體幾何嘅基本組成部分,喺第11至13卷中有討論

由第7卷開始,數學家本諾·阿特曼德文本諾·阿特曼指出「歐幾里得重新開始。之前幾卷嘅內容冇再用到。」[24]第7至10卷講數論,第7卷一開始就有22個定義,包括奇偶性質數同其他算術相關嘅概念。[5]第7卷包括歐幾里得算法,呢個方法可以搵到兩個數嘅最大公因數[24]第8卷討論等比數列,而第9卷包括而家稱為歐幾里得定理嘅命題,即係話質數有無限多個。[5]喺《幾何原本》入面,第10卷係最大同最複雜嘅一卷,講無理數喺量度方面嘅應用。[10]

最後三卷(11-13卷)主要討論立體幾何[8]第11卷先列出37個定義,為之後兩卷嘅內容定下基調。[25]雖然佢嘅基礎性質同第1卷相似,但唔同嘅係佢冇公理系統或者公設。[25]第11卷分三個部分:立體幾何(1-19)、立體角(20-23)同平行六面體立體(24-37)。[25]

其他作品

[編輯]
歐幾里得構造正十二面體嘅方法

除咗《幾何原本》之外,歐幾里得仲有最少五部作品流傳到而家。佢哋都遵循同《幾何原本》一樣嘅邏輯結構,包括定義同經過證明嘅命題。

  • 《鏡學》講鏡子嘅數學理論,特別係平面鏡同凹面鏡形成嘅影像,不過有時會質疑呢部作品嘅作者身份。[26]
  • 數據》(希臘文Δεδομένα)係一部比較短嘅文本,講幾何問題中「已知」資訊嘅性質同含義。[26]
  • 《論分割》(希臘文Περὶ Διαιρέσεων)只有部分喺阿拉伯文翻譯中保存落嚟,講幾何圖形點樣分割成兩個或者更多個等份,或者按照指定嘅比例分割。佢包括36個命題,同阿波羅尼烏斯嘅《圓錐曲線論》相似。[26]
  • 光學》(希臘文Ὀπτικά)係現存最早嘅希臘視覺理論專著。佢包括一個關於幾何光學嘅介紹性討論同透視法嘅基本規則。[26]
  • 天象》(希臘文Φαινόμενα)係一部講球面天文學嘅專著,希臘文原版仲保存到;佢同皮塔內嘅奧托呂科斯(約公元前310年活躍)寫嘅《論球體運動》好相似。[26]

失傳嘅作品

[編輯]

仲有四部作品好大可能係歐幾里得寫嘅,但已經失傳咗。[7]

  • 《圓錐曲線》(希臘文Κωνικά)係一部四卷本嘅圓錐曲線概論,後來被阿波羅尼烏斯更全面嘅同名作品取代咗。[27][26]我哋主要從帕普斯嘅記載知道呢部作品嘅存在,佢話阿波羅尼烏斯嘅《圓錐曲線》頭四卷大部分都係基於歐幾里得早期嘅工作。[28]不過,歷史學家亞歷山大·瓊斯(古典學家)德文Alexander Jones (Wissenschaftshistoriker)對呢個說法表示懷疑,因為證據唔夠充分,而且冇其他資料可以證實帕普斯嘅講法。[28]
  • 《僞論》(希臘文Ψευδάρια直譯「謬誤」),根據普羅克洛斯喺(70.1-18)嘅記載,係一本講幾何推理嘅書,目的係教初學者點樣避免常見嘅謬誤。[27][26]除咗知道佢嘅大致範圍同幾句殘存嘅內容之外,我哋對佢嘅具體內容所知甚少。[29]
  • 《引理》(希臘文Πορίσματα直譯「推論」),根據帕普斯同普羅克洛斯嘅記載,可能係一部三卷本嘅著作,大約有200個命題。[27][26]喺呢個語境中,「引理」唔係指推論,而係指「介乎定理同問題之間嘅第三類命題——目的係發現現有幾何實體嘅特徵,例如搵一個圓嘅中心」。[26]數學家米歇爾·沙勒推測呢啲而家已經失傳嘅命題可能包括同現代截線理論同射影幾何有關嘅內容。[27][i]
  • 《曲面軌跡》(希臘文Τόποι πρὸς ἐπιφανείᾳ)嘅內容基本上係未知嘅,只能根據作品嘅標題作出推測。[27]根據後來嘅記載推測,佢可能討論咗圓錐、圓柱等題目。[26]

疏仕

[編輯]
  1. 而家流傳嘅《幾何原本》版本仲包括咗一啲「後歐幾里得」嘅數學內容,可能係後來嘅編輯加入嘅,好似四世紀嘅數學家亞歷山大嘅西翁[4]
  2. 用「公理」而唔係「公設」呢個詞,係源自普羅克洛斯喺佢對《幾何原本》嘅影響深遠嘅註釋中嘅選擇。普羅克洛斯仲將「公理」改為「假設」,但保留咗「公設」呢個詞。[11]
  3. 另見:歐幾里得關係
  4. 呢兩類嘅區別並唔係即時明顯;公設可能單指幾何學,而公理嘅範圍可能更廣。[14]
  5. 數學家傑拉德·韋內馬指出,呢個公理系統並唔完整:「歐幾里得假設嘅比佢喺公設中講明嘅更多。」[16]
  6. 詳見Heath 1908, pp. 195–201關於第1至第4條公設嘅詳細概述
  7. 自古以來,關於第5條公設已經寫咗大量學術著作,通常係數學家嘗試證明呢條公設——如果成功嘅話,就會令佢同其他四條無法證明嘅公設唔同。[18]
  8. 第五卷嘅大部分內容可能係源自早期數學家,或者係歐多克索斯[10]
  9. Jones 1986, pp. 547–572可以了解更多關於《引理》嘅資訊

  1. Fowler 1999, pp. 210–211.
  2. Sialaros 2021, § "Summary".
  3. 3.0 3.1 Asper 2010, § para. 2.
  4. 4.0 4.1 4.2 4.3 Asper 2010, § para. 6.
  5. 5.0 5.1 5.2 5.3 5.4 5.5 5.6 5.7 5.8 Taisbak & Van der Waerden 2021, § "Sources and contents of the Elements".
  6. Cuomo 2005, p. 131.
  7. 7.0 7.1 7.2 Sialaros 2021, § "Works".
  8. 8.0 8.1 Artmann 2012, p. 3.
  9. Asper 2010, § para. 4.
  10. 10.0 10.1 10.2 10.3 10.4 10.5 10.6 Sialaros 2021, § "The Elements".
  11. 11.0 11.1 Jahnke 2010, p. 18.
  12. Heath 1908, pp. 154–155.
  13. Artmann 2012, p. 3–4.
  14. 14.0 14.1 Wolfe 1945, p. 4.
  15. Pickover 2009, p. 56.
  16. Venema 2006, p. 10.
  17. 17.0 17.1 17.2 17.3 Artmann 2012, p. 4.
  18. Heath 1908, p. 202.
  19. Katz & Michalowicz 2020, p. 59.
  20. Artmann 2012, p. 5.
  21. Artmann 2012, pp. 5–6.
  22. Artmann 2012, p. 6.
  23. Heath 1908b, p. 191.
  24. 24.0 24.1 Artmann 2012, p. 7.
  25. 25.0 25.1 25.2 Artmann 2012, p. 9.
  26. 26.00 26.01 26.02 26.03 26.04 26.05 26.06 26.07 26.08 26.09 Sialaros 2021, § "Other Works".
  27. 27.0 27.1 27.2 27.3 27.4 Taisbak & Van der Waerden 2021, § "Other writings".
  28. 28.0 28.1 Jones 1986, pp. 399–400.
  29. Acerbi 2008, p. 511.

文獻

[編輯]

[編輯]

文章

[編輯]

網上

[編輯]