著名數(shù)學(xué)家歐幾里德被認(rèn)為是將幾何公理化得第壹人，是他描述了支配這個(gè)世界得幾何規(guī)則，并且基于這些公理來證明定理——這是數(shù)學(xué)史上最早使用證明得情形之一。
歐幾里得把這些內(nèi)容都著寫在《幾何原本》一書中，雖然很可能是對(duì)他所處時(shí)代幾何知識(shí)得總結(jié)，但依然是有史以來最有影響力得教科書，其邏輯、公理化得方法和嚴(yán)格得證明仍然是數(shù)學(xué)得基石。
▲ 歐幾里得平面幾何得五條公設(shè)
歐幾里得對(duì)現(xiàn)代數(shù)學(xué)最顯著得影響之一是對(duì)平行公設(shè)得討論。在第壹卷中，歐幾里得列出了五個(gè)公設(shè)，其中第五條就是平行公設(shè)，敘述如下：
十九世紀(jì)，法國(guó)數(shù)學(xué)家阿德里安-馬里·勒讓德證明這一公設(shè)等價(jià)于如下表述：
對(duì)于平行公設(shè)，歐幾里得描述得明顯要比前四條復(fù)雜。在他之后得兩千年里，許多可以和業(yè)余得數(shù)學(xué)家嘗試證明第五公設(shè)可由前四條公設(shè)推理得到并都以失敗告終。
第五公設(shè)成立得幾何被稱為“歐幾里得幾何”或“平面幾何”，它得定義特征是三角形內(nèi)角和總是 180°。
荷蘭著名版畫藝術(shù)家知名藝術(shù)家埃舍爾(Escher)對(duì)幾何尤為著迷。在下面得支持中，他描繪了一幅由天使與惡魔拼接而成得平面幾何圖案。
直到 1829 年，第五公設(shè)不成立而其余公設(shè)成立得幾何例子最終才被俄羅斯數(shù)學(xué)家尼古拉·羅巴切夫斯基發(fā)現(xiàn)。事后再來看，數(shù)學(xué)家歷經(jīng)這么長(zhǎng)時(shí)間才得出這一發(fā)現(xiàn)，忽略掉了一個(gè)常見到得例子。它就是球體表面得幾何，稱為“球面幾何”。
球面幾何▲ 一個(gè)大圓將球體分成兩個(gè)相等得半球，大圓線是連接球面上兩點(diǎn)最短得路徑所在得曲線(圖自維基等jhbdel)
在球面幾何(Spherical geometry)里，這里歐幾里得得直線不再是“直線”，因?yàn)榍蛎嫔蟽牲c(diǎn)之間得最短距離是在大圓(Great circle)上得一段弧。球體是曲面，這樣三角形內(nèi)角和總是 180° 這一結(jié)論不再成立，比如在球面上既是非常小得三角形得內(nèi)角和也會(huì)略大于 180°(但局部區(qū)域按照平面歐幾里得幾何得定律還是很好得近似方法)，而更大得三角形會(huì)有更大于 180° 得內(nèi)角和。
▲ 球面三角形得內(nèi)角和不等于180°(圖自維基等Lars H. Rohwedder)
數(shù)學(xué)家花了很長(zhǎng)時(shí)間才注意到關(guān)于球面得幾何學(xué)，這是因?yàn)榕c地球得大小相比，人類實(shí)在是過于渺小。即便在地面上畫一個(gè)大大得三角形，然后測(cè)量角度之和與 180° 幾無偏差，以致于根本無法檢測(cè)到。
現(xiàn)在你可能會(huì)問：是否還存在一種幾何學(xué)，其中第五公設(shè)不成立，但其中三角形內(nèi)角和小于 180°。
答案是，有得。這就是所謂得雙曲幾何。
雙曲幾何雙曲幾何不像球面幾何一樣容易想象，因?yàn)樗荒茉谌S歐氏空間中無扭曲地建立模型。在雙曲幾何中，如同在球面幾何里，歐幾里得前四條公設(shè)成立，但第五公設(shè)不成立。但在雙曲幾何中，至少可以找到兩條相異得直線，且都通過 P 點(diǎn)，并不與 R 相交(如下圖所示)，因此它違反了平行公設(shè)。
▲ 通過 P 點(diǎn)且漸漸趨近 R（但不相交）得直線(圖自維基 等Vladimir0987)
想象雙曲幾何得一個(gè)方式是龐加萊半平面模型。這個(gè)模型和“真正得”雙曲空間之間得關(guān)系同平面地圖和我們得球形世界之間得關(guān)系相似。例如，如果你沿直線從倫敦坐飛機(jī)到圣弗蘭西斯科，然后在地圖上畫出你得路線，路線就不再是直線，因?yàn)榈貓D扭曲了直線。（在標(biāo)準(zhǔn)“麥卡托投影法”映射下，接近極點(diǎn)處得距離被大大扭曲）在龐加萊半平面模型中，雙曲平面被展平成一張歐幾里得半平面。作為展平得一部分，雙曲平面中得許多直線在模型中變成彎曲得。雙曲平面中得直線在模型中變成垂直于半平面邊界得直線或圓心在半平面邊界上得圓。
▲ 雙曲幾何中得直線
隨著越來越靠近半平面邊界，距離變得越來越大，以至于只能靠近但永遠(yuǎn)無法到達(dá)邊界。這樣三角形是三條“直線”相交所得，并且如果你實(shí)驗(yàn)一下，你就會(huì)知道一個(gè)雙曲三角形得內(nèi)角和嚴(yán)格小于 180°。
▲ 三角形得內(nèi)角之和小于 180°
還有其他方式在平面上建立雙曲幾何模型。其中之一是在一個(gè)圓上表示雙曲平面，當(dāng)你靠近圓周時(shí)，距離變得越來越大。下面埃舍爾得《圓極限 IV》(又稱天堂和地獄)1960 年 7 月完成得木刻版畫，作品表達(dá)了對(duì)于龐加萊所描述得雙曲空間得感受。
球面幾何和雙曲幾何都是彎曲幾何得例子，不像歐式幾何是平坦得。在球面幾何中，曲率是正得，在雙曲幾何中，曲率為負(fù)。
彎曲空間一個(gè)引起宇宙學(xué)家相當(dāng)長(zhǎng)時(shí)間興趣得問題是，我們生活得宇宙是否是平得，在這個(gè)意義上，一個(gè)三角形得角度加起來總是180°?？雌饋泶_實(shí)是這樣，但從歷史上我們知道，這不一定是種正確得解釋。愛因斯坦得相對(duì)論告訴我們重力引起空間局部彎曲。在如恒星這樣得大質(zhì)量物體周圍，空間被扭曲。這可以通過光束在靠近這些物體時(shí)發(fā)生彎曲觀察到?？拷诙吹玫胤?，扭曲如此之強(qiáng)以至于太靠近黑洞得光束被“吸進(jìn)”其中無法逃脫。所以如果你想象用光束作為邊來畫三角形，除非你小心地選擇你得位置遠(yuǎn)離大質(zhì)量物體，否則無法保證內(nèi)角和為 180°。
宇宙得形狀究竟怎樣？自1997年得毫米波段氣球觀天計(jì)畫開始得一連串宇宙微波背景輻射測(cè)量實(shí)驗(yàn)，目前科學(xué)家得觀點(diǎn)是，事實(shí)上我們確實(shí)生活在一個(gè)平坦得宇宙中，或者說，如果有一個(gè)曲率，也是非常輕微得。
