幾何學

影像：Teorema de desargues.svg|thumb|right|236px | 笛沙格定理的描述，笛沙格定理是歐幾里得幾何及射影幾何的重要結果

幾何學（英語：Geometry，γεωμετρία）簡稱幾何。幾何學是數學的一個基礎分支，主要研究形狀、大小、圖形的相對位置等空間區域關係以及空間形式的度量。

許多文化中都有幾何學的發展，包括許多有關長度、面積及體積的知識，在西元前六世紀泰勒斯的時代，西方世界開始將幾何學視為數學的一部份。西元前三世紀，幾何學中加入歐幾裡德的公理，產生的歐幾里得幾何是往後幾個世紀的幾何學標準。阿基米德發展了計算面積及體積的方法，許多都用到積分的概念。天文學中有關恆星和行星在天球上的相對位置，以及其相對運動的關係，都是後續一千五百年中探討的主題。幾何和天文都列在西方博雅教育中的四術中，是中古世紀西方大學教授的內容之一。

勒內・笛卡兒發明的坐標系以及當時代數的發展讓幾何學進入新的階段，像平面曲線等幾何圖形可以由函式或是方程等解析的方式表示。這對於十七世紀微積分的引入有重要的影響。透視投影的理論讓人們知道，幾何學不只是物體的度量屬性而已，透視投影後來衍生出射影幾何。尤拉及高斯開始有關幾何物件本體性質的研究，使幾何的主題繼續擴充，最後產生了拓撲學及微分幾何。

在歐幾裡德的時代，實際空間和幾何空間之間沒有明顯的區別，但自從十九世紀發現非歐幾何後，空間的概念有了大幅的調整，也開始出現哪一種幾何空間最符合實際空間的問題。在二十世紀形式數學興起以後，空間（包括點、線、面）已沒有其直觀的概念在內。今日需要區分實體空間、幾何空間（點、線、面仍沒有其直觀的概念在內）以及抽象空間。當代的幾何學考慮流形，空間的概念比歐幾裡德中的更加抽象，兩者只在極小尺寸下才彼此近似。這些空間可以加入額外的結構，因此可以考慮其長度。近代的幾何學和物理關係密切，就像偽黎曼流形和廣義相對論的關係一樣。物理理論中最年輕的弦理論也和幾何學有密切關係。

幾何學可見的特性讓它比代數、數論等數學領域更容易讓人接觸，不過一些幾何語言已經和原來傳統的、歐幾里得幾何下的定義越差越遠，例如碎形幾何及解析幾何等。

現代概念上的幾何其抽象程度和一般化程度大幅提高，並與分析、抽象代數和拓撲學緊密結合。

幾何學應用於許多領域，包括藝術，建築，物理和其他數學領域。

簡史

幾何一詞源於《幾何原本》的翻譯。《幾何原本》是世界數學史上影響最為久遠，最大的一部數學教科書。《幾何原本》傳入中國，首先應歸功於明末科學家徐光啟。徐光啟和利瑪竇《幾何原本》中譯本的一個偉大貢獻是確定了研究圖形的這一學科中文名稱為「幾何」，並確定了幾何學中一些基本術語的譯名。「幾何」的原文是「geometria」（英文 geometry），徐光啟和利瑪竇在翻譯時，取「geo」的音為「幾何」（明朝音：gi-ho），而「幾何」二字中文原意又有「衡量大小」的意思。用「幾何」譯「geometria」（英文 geometry），音義兼顧，確是神來之筆。幾何學中最基本的一些術語，如點、線、直線、平行線、角、三角形和四邊形等中文譯名，都是這個譯本定下來的。這些譯名一直流傳到今天，且東渡到漢字文化圈的日本、朝鮮等國（越南語則使用獨自翻譯的越製漢語「形學（hình học）」一詞），影響深遠。

幾何學開始的最早記錄可以追蹤到公元前 2 世紀的古代埃及和美索不達米亞。早期的幾何學是有關長度、角度、面積和體積的經驗性定律的收集，這些都是因為實際需要（比如勘探、建築、天文和一些手工業）而發展的。最早的已知有關幾何學的文字是埃及的萊因德紙草書（公元前 2000-1800 年）和莫斯科數學紙草書（約公元前 1890 年），以及古巴比倫的泥石板（比如 “普林頓 322”（公元前 1900 年）)。比如，莫斯科紙草書上給出瞭如何計算稜臺體積的公式。埃及南部的古代努比亞人曾經建立了一套幾何學系統，包括有太陽鐘的早期版本。

幾何學有悠久的歷史。最古老的歐氏幾何基於一組公設和定義，人們在公設的基礎上運用基本的邏輯推理構做出一系列的命題。可以說，《幾何原本》是公理化系統的第一個範例，對西方數學思想的發展影響深遠。

一千年後，笛卡兒在《方法論》的附錄《幾何》中，將坐標引入幾何，帶來革命性進步。從此幾何問題能以解析式的形式來表達。

歐幾裡得幾何學的第五公設，由於並不自明，引起了歷代數學家的關注。最終，由羅巴切夫斯基和黎曼建立起兩種非歐幾何。

幾何學的現代化則歸功於克萊因、希爾伯特等人。克萊因在普呂克的影響下，應用群論的觀點將幾何變換視為特定不變數約束下的變換群。而希爾位元為幾何奠定了真正的科學的公理化基礎。應該指出幾何學的公理化，影響是極其深遠的，它對整個數學的嚴密化具有極其重要的先導作用。它對數理邏輯學家的啟發也是相當深刻的。

古代幾何學

幾何最早的有記錄的開端可以追溯到古埃及（參看古埃及數學），古印度（參看古印度數學），和古巴比倫（參看古巴比倫數學），其年代大約始於前 3000 年。早期的幾何學是關於長度，角度，面積和體積的經驗原理，被用於滿足在測繪，建築，天文，和各種工藝製作中的實際需要。在它們中間，有令人驚訝的複雜的原理，以至於現代的數學家很難不用微積分來推導它們。例如，埃及和巴比倫人都在畢達哥拉斯之前 1500 年就知道了畢達哥拉斯定理（勾股定理）；埃及人有方形稜錐的錐臺（截頭金字塔形）的體積的正確公式；而巴比倫有一個三角函式表。

名稱的由來

幾何這個詞最早來自於希臘語「lang|el|γεωμετρία」，由「」（土地）和「」（測量）兩個詞合成而來，指土地的測量，即測地術。後來拉丁語化為「geometria」。中文中的「幾何」一詞，最早是在明代利瑪竇、徐光啟合譯《幾何原本》時，由徐光啟所創。當時並未給出所依根據，後世多認為一方面幾何可能是拉丁化的希臘語 GEO 的音譯，另一方面由於《幾何原本》中也有利用幾何方式來闡述數論的內容，也可能是 magnitude（多少）的意譯，所以一般認為幾何是 geometria 的音、意並譯。用「幾何」的音來表達，關於數與量的，用「幾何」的義來表達。換句話說，徐光啟心目中的「幾何」，可能就是今天我們所謂的「數學」。所以他為譯本所取的名字，以今日用語再翻譯一次，就是：《基礎數學》。所以如果瞭解《幾何原本》為《基礎數學》，它當然會包含像輾轉相除法這樣的課題。希臘語 GEO+METRY 按照字源意思是「地理測算」的意思，所以依照字面意思對照現代分類相當於測算學，分平面測算學與立體測算學。

1607 年出版的《幾何原本》中關於幾何的譯法在當時並未通行，同時代也存在著另一種譯名 ——「形學」，如狄考文、鄒立文、劉永錫編譯的《形學備旨》，在當時也有一定的影響。在 1857 年李善蘭、偉烈亞力續譯的《幾何原本》後 9 卷出版後，幾何之名雖然得到了一定的重視，但是直到 20 世紀初的時候才有了較明顯的取代形學一詞的趨勢，如 1910 年《形學備旨》第 11 次印刷成都翻刊本徐樹勳就將其改名為《續幾何》。直至 20 世紀中期，已鮮有「形學」一詞的使用出現。

分類

4.1 實務幾何學

影像：Chinese pythagoras.jpg|thumb|300px|right | 畢氏定理 (3, 4, 5) 三角形的影像化證明，記載在西元前 500-200 年的《周髀算經》中

幾何學起源於一些實務上有關量測、面積及體積的科學。在許多方面都已找到相當的公式，例如畢氏定理、圓的周長及面積、三角形的面積、圓柱、球及四角錐的體積等。泰勒斯發展了以幾何物件的相似為基礎，計算一些無法直接量測的高度或距離的方法。天文學的發展也帶來三角學及球面三角學的誕生，也有一些對應的計算技巧。

4.2 公理化幾何學

影像：Parallel postulate en.svg|thumb|right | 歐幾裡德平行公設的說明

歐幾裡德在所著的《幾何原本》中作了更抽象化的處理。歐幾裡德引入了一些公理來說明點、線和麵一些基本的或是可自證的性質。接著再用數學的思考再去推導其他的性質。幾何原本中的推導以其嚴謹性著稱，稱為公理化幾何。在十九世紀初時，尼古拉・羅巴切夫斯基（1792–1856）、鮑耶・亞諾什（1802–1860）及卡爾・弗里德里希・高斯（1777–1855）發展了非歐幾何，其他數學家開始再度對此一領域有興趣。二十世紀的大衛・希爾伯特試圖用公理化的理解為幾何學提供現代的基礎。

4.3 幾何建構

古典的幾何學家花了許多心力要繪製定理中繪述的幾何物件。傳統上，可以使用的工具是圓規及沒有刻度的直尺，需要在有限次數的繪製內完成圖形。有些圖形很難（甚至無法）單純用尺規作圖求得，需要配合拋物線、其他曲線或是機械工具才能完成。

4.4 幾何中的數

影像：Square root of 2 triangle.svg|thumb|right|200px | 畢達格拉斯發現三角形的三邊可能會有不可通約性

古希臘的畢達格拉斯就已考慮過數字在幾何中的角色。不過因為不可通約長度的出現，不符合他的哲學觀點，因此他們放棄抽象的幾何量，改用實際上的幾何量，例如圖案的長及面積。後來勒內・笛卡兒利用坐標系再讓數字和幾何連結，笛卡兒也發現根據一圖示的代數表現可以知道此形狀，後來笛卡兒用的坐標系就稱為笛卡兒坐標系。

幾何學中重要的概念

5.1 公理

歐幾里得所提出的抽象概念，進而使得《幾何原本》列入了最有影響力的書籍之一，歐幾里得提出五大公理和公設，揭示了點線面的自可證的基本性質，他一直試圖透過其他數學理論來嚴謹性推導其他性質，而這也是歐幾里得陳述的最特色的地方，並使得幾何更加公理化和。19 世紀初，尼古拉・羅巴切夫斯基 (1792–1856), 鮑耶・亞諾什 (1802–1860), 卡爾・弗里德里希・高斯 (1777–1855) 對非歐幾里得幾何的探索使得幾何學領域又得以重新發展，而在 20 世紀初，大衛希爾伯特把公理性證明的引入成就了現代幾何學的出現。

5.2 點

點作為歐幾里得空間的基本構成，透過很多方式定義，包括歐幾里得所定義的 “點不佔據空間” 以及在代數與巢狀空間的引用。在幾何學的眾多領域，包括分析幾何，微分幾何，以及拓撲學，所有的單元都是點構造出來的，然而，有些幾何學的研究缺乏對點這個元素的參照。

5.3 線

歐幾里得把線形容成‘在點之間均勻鋪著’的‘沒有寬度的長度’，在現代數學體系已給知的多元幾何中，線的定義也相當的接近幾何學中的定義，例如在解析幾何中，點座標的集合所構成的一個已知一次方程稱為線，而在像重合幾何這種更抽象的設定中，線可以是個單獨的物件，而區別於點的集合所構成的情況。在微分幾何中，對曲率不為 0 的流形，測地線往往更好能表達線的概念。

5.4 平面

二維，光滑且無限延展的平層構成了平面，幾何學到處都會用到面，例如，研究拓撲學的曲面物件可以看作一個沒有距離和角度做參照的平層；對在仿射空間的面，沒有參照距離卻有共線性和曲率的研究。或是在高斯平面（複平面）需要用到複分析等。

5.5 角

歐幾里得所描述的平面角，是指在一個平面內兩條相交卻不平行的直線中間的傾角 在現代幾何學名詞中，共有一個頂點的兩條射線形成角的兩邊，而所形成的角度稱為角。

在歐幾里得幾何中，角一般用來研究多邊形或三角形，也有對其本身的研究對三角形或單位圓中對角的研究構成了三角學的基礎。

在微分幾何和微積分學中，平面曲線，曲線和曲面內的角可以用導數表示.

當代的幾何學

6.1 歐幾裡德幾何

影像：E8Petrie.svg|right|thumb|120px | 在李群下的正交投影

歐幾裡德幾何和計算幾何、計算機圖形、、關聯幾何、有限幾何學、離散幾何學，以及組合數學中的部份領域都有密切關係。歐幾裡德幾何和歐幾裡德群在晶體學上的進展和哈羅德・斯科特・麥克唐納・考克斯特的研究已受到注意，可以在考克斯特群及多胞形的理論中看到。幾何群論是將幾何學延伸到離散群中，有關其幾何結構及代數技術的研究。

6.2 微分幾何

微分幾何因著愛因斯坦的廣義相對論假設有曲率的宇宙，因此逐漸受到數學物理的重視。現代的微分幾何是本質性的，將空間視為是微分流形，其幾何結構則由黎曼流形處理，包括如何量測二點之間的距離等。不再只是歐幾裡德幾何中先驗的一部份。

6.3 拓撲學和幾何學

影像：Trefoil knot arb.png|thumb|right|120 px | 較粗的三葉結

拓撲學是中的一部份，專注在同胚的轉換，拓撲學在二十世紀有顯著的進展，簡單來說，拓撲學可以說是「橡皮下的幾何學」。當代的幾何拓撲學、微分拓撲，以及像莫爾斯理論等子領域，被大部份數學家視為是幾何學的一部份。代數拓撲和點集拓撲學則被視為是另一個新的領域。

6.4 解析幾何

影像：Calabi yau.jpg|thumb|120px | 五維卡拉比－丘流形

解析幾何是歐幾裡德幾何的現代版本，從 1950 年代末到 1970 年代中有大幅的進展，主要是因為讓 - 皮埃爾・塞爾及亞歷山大・格羅森迪克的貢獻，這也產生了概形以及代數拓撲學一些方法的重視，包括許多的。千禧年大獎難題中的霍奇猜想就是解析幾何學的問題。

低維度代數簇、代數曲線及的研究以及三維代數簇（algebraic threefolds）的研究都有很多進展。理論及應用在現在解析幾何的一些子領域中。算術幾何（Arithmetic geometry）是結合瞭解析幾何及數論的一個新的領域。另外一個研究方向是模空間及。代數幾何的方法廣泛的用在弦理論及膜宇宙理論中。

分支學科

平面幾何
立體幾何
非歐幾何
羅氏幾何
黎曼幾何
解析幾何
射影幾何
仿射幾何
代數幾何
微分幾何
計算幾何
拓撲學
分形幾何，又稱碎形幾何