柏拉圖立體

各面都是全等正多边形且每个顶点所接的面数均相等的凸多面体
(重定向自凸正多面體

幾何學中,凸正多面體,又稱為柏拉圖立體,是指各面都是全等的正多邊形且每一個頂點所接的面數都是一樣的凸多面體,是一種三維正幾何形狀,符合這種特性的立體總共只有5種。在漢語文化中,正多面體通常是指只有5種的凸正多面體,然而在只討論每面全等、每個個角等角且每條邊等長的情況下,亦有其他多種幾何結構存在,也稱為正多面體

正多面體的別稱柏拉圖立體是因柏拉圖而命名的。柏拉圖的朋友泰阿泰德告訴柏拉圖這些立體,柏拉圖便將這些立體寫在《蒂邁歐篇》(Timaeus) 內。正多面體的作法收錄《几何原本》的第13卷。在命題13描述正四面體的作法;命題14為正八面體作法;命題15為立方體作法;命題16則是正二十面體作法;命題17則是正十二面體作法。

判断依据

判断正多面体的依据有三条

  1. 正多面体的面由正多边形构成
  2. 正多面体的各个顶角相等
  3. 正多面体的各条棱边都相等

这三个条件都必须同时满足,否则就不是正多面体,比如黄铁矿的晶形五角十二面体,虽然和正十二面体一样是由十二个五角形围成的,但是由于它的各个顶角并不等价因此不是正多面体。

正多面体具有很高的对称性,每个正多面体是相似多面体所属点群中对称性最高的,对正多面体加以变化就会导致对称性下降,如正十二面体属于Ih点群,当它变化为五角十二面体的时候对称性也随之下降为Td群。

存在的凸正多面體

凸正多面體共有五個,均由古希臘人發現:(表中a為正多面體的邊長)

名稱 透視圖 旋轉透視圖 立體圖 構成面 頂點 幾何數據 所属点群
正四面體       正三角形 4 6 4 表面積:  

體積:  
二面角角度:  
外接球半徑:  
內切球半徑:  
對偶多面體:正四面體

Td群
正六面體(立方體)       正四邊形 6 12 8 表面積: 

體積: 
二面角角度: 
外接球半徑:  
內切球半徑: 
對偶多面體:正八面體

Oh群
正八面體       正三角形 8 12 6 表面積:  

體積:  
二面角角度:  
外接球半徑:  
內切球半徑:  
對偶多面體:立方體

Oh群
正十二面體       正五邊形 12 30 20 表面積:  

體積:  
二面角角度:  
外接球半徑:  
內切球半徑:  
對偶多面體:正二十面體

Ih群
正二十面體       正三角形 20 30 12 表面積:  

體積:  
二面角角度:  
外接球半徑:  
內切球半徑:  
對偶多面體:正十二面體

Ih群

用途

因為正多面體的形狀的骰子會較公平,所以正多面體骰子經常出現於角色扮演游戏

正四面體、立方體和正八面體,亦會自然出現於結晶體的結構。

正多面体经过削角操作可以得到其他对称性类似的结构,比如著名的球状分子碳六十空间结构就是正二十面体经过削角操作得到的,称为截角二十面体。因此可以知道,碳六十分子所属的对称性群也是与正十二面体相同的Ih群

由于正多面体和由正多面体衍生的削角正多面体大多有很好的空间堆积性质,即可以在空间中紧密堆积,因此常常选择正多面体形或者削角正多面体形的盒子作为分子模拟计算的周期边界条件。

除了上面提到的正十二面体,还有一种由五边形(其中四条边等长)构成的多面体——黄铁矿形五角十二面体,黄铁矿形五角十二面体是黄铁矿的一种可能的晶体外形,尽管黄铁矿形五角十二面体是由五边形构成的,但并不是柏拉图体,它所属的对称性群也不是正十二面体的Ih群而是与黄铁矿内部结构一致的Th群。

象徵意義

 
開普勒在《宇宙的奧秘》(1596)中給太陽系的柏拉圖立體模型。

柏拉圖視“四古典元素”為元素,其形狀如正多面體中的其中四個。

  • 的熱令人感到尖銳和刺痛,好像小小的正四面體
  • 空氣是用正八面體製的,可以粗略感受到,它極細小的結合體十分順滑。
  • 放到人的手上,它會自然流出,那它就應該是由很多小球所組成,好像正二十面體
  • 與其他的元素相異,因為它可以被堆疊,正如立方體

剩下沒有用的正多面體——正十二面體,柏拉圖以不清晰的語調寫:「神使用正十二面體以整理整個天空的星座。」[1]柏拉圖的學生亚里士多德添加了第五個元素——以太希腊文Αιθήρ,拉丁轉寫:aithêr拉丁文aether),並認為天空是用此組成,但他沒有將以太正十二面體連繫。

约翰内斯·开普勒依隨文艺复兴建立數學對應的傳統,將五個正多面體對應五個行星——水星金星火星木星土星,同時它們本身亦對應了五個古典元素

正多面体只有 5 个的证明

所有正多面体的相关于顶点数 V、棱数 E 和面数 F 的性质都可以由每个面上的边(棱)的数目 p 和每个顶点出发的棱的数目 q 给出。由于每条棱有两个顶点又在两个面上,我们有

 

另一个关系是欧拉公式:

 

(这个不显然的事实可以通过多种途径证明。在几何拓扑中,这是因为球面的欧拉示性数是 2。) 上面三个等式可以解出 V, EF

 

注意交换 pq 会交换 FVE 不变。

正多面体只有五种这个定理是一个经典结果。下面给出了两个证明。注意这两个证明都只证明了正多面体至多有五种,这五种的存在性需要靠构造给出。

几何证明

下面的几何讨论和欧几里得几何原本中给出的证明非常相似:

  1. 多面体的每个顶点至少在三个面上。
  2. 这些相交的面处的角(也就是顶点发出的角)的和必须小于 360°。
  3. 正多面体的顶点发出的角是相等的,所以这个角必须小于 360°/3 = 120°。
  4. 正六边形及边更多的正多边形的角大于等于 120°,所以正多面体上的面只能是正三角形正方形正五边形。于是:
    • 正三角形:每个角是 60°,所以正多面体每个顶点发出的角数目小于 360°/60° = 6,也就是每个顶点只能在三、四、五个面上,这分别对应于正四面体正八面体正二十面体
    • 正方形:每个角是 90°,所以正多面体每个顶点发出的角数目小于 360°/90° = 4,也就是每个顶点只能在三个面上,这对应于正方体
    • 正五边形:每个角是 108°,所以正多面体每个顶点发出的角数目小于 360°/108° = 10/3,也就是每个顶点只能在三个面上,这对应于正十二面体

拓扑证明

[2] 纯粹的拓扑证明可以只利用正多面体的性质.关键在于   .综合上面等式,我们有

 

于是

 

由于  

 

注意到 pq 必须大于等于 3,我们可以容易地找到所有五组 (p, q):

 

參見

引用

  1. ^ 謝文鬱譯《蒂邁歐篇》:「還有第五個立體,造物者用它來作為整體的模型,即作為動物體的原型。」
    王曉朝譯《柏拉圖全集·第三卷·蒂邁歐篇》:「此外還有第五種複合而成的立體,被神用來界定宇宙的輪廓,同時使用的還有生物的形狀。」
  2. ^ Earl Richard, Topology: A Very Short Introduction (Oxford, 12 Dec. 2019), https://doi.org/10.1093/actrade/9780198832683.003.0001. Chapt 1 'What is topology?' Euler's formula

外部連結