正多面體

在幾何學中，正多面體是同時具有等邊、等角和等面特性的多面體。在經典語境中，有許多描述上不同但實際上等價的定義存在，最常見的定義是每個面都是全等的正多邊形，且每個頂點都是相同數量且相同種類之正多邊形的公共頂點。例如立方體是一種正多面體，其每個面都是正方形，且每個頂點都是3個正方形的公共頂點。在中文環境中，一般被大眾認知的正多面體通常代表只有五種的凸正多面體，又稱為柏拉圖立體，其包括了正四面體、立方體、正八面體、正十二面體和正二十面體。然而在定義上，正多面體僅指每個面是正多邊形、每條邊等長每個角等角且每面全等的多面體，而符合上述定義的多面體不一定是凸多面體，也可能是星形多面體、抽象多面體或扭歪多面體等。這些多面體除了五種凸正多面體外，還有四種非凸正多面體（克卜勒－龐索立體）、五種抽象正多面體和五種複合正多面體。

**概述**
立方體的其中一個標記，其包括了立方體本身、其中一個正方形面、該面的其中一條稜、稜上的一個頂點以及這個立方體中「什麼都不選」的子集，即空多胞形，五個元素，正好每個維度各一個元素，且較大的元素包含較小的元素。若一個多面體所具備的對稱性可以讓這個多面體中任意兩個這樣（如上圖）的結構（或元素）與，透過該對稱性下的變換（如旋轉、平移或鏡射）使得變換到的位置上時，其仍然佔據了相同的空間區域時，則這個多面體是一個正多面體，前面的性質又可以稱為標記可遞
在幾何學中，正多面體是一類對稱性可以在其各維度元素的集合（或稱標記#tag:ref|多面體標記是一系列多面體元素的集合，這個集合中會包括1個多面體的主體、多面體的其中一個面、前者提到的面中的其中一條稜、前者提到的稜中的其中一個頂點和一個空多胞形。|group="註"|name="Flag (geometry)"）上傳遞的多面體。正多面體通常具有高度對稱性，其同時具有邊可遞，點可遞和麵可遞的性質，換句話說，即正多面體是同時具有等邊、等角和等面特性的多面體。在經典語境中，有許多描述上不同但實際上等價的定義存在，最常見的定義是每個面都是全等的正多邊形，且每個頂點都是相同數量且相同種類之正多邊形的公共頂點。例如立方體是一種正多面體，其每個面都是正方形，且每個頂點都是3個正方形的公共頂點。
所有正多面體皆可以使用施萊夫利符號來表示，其可以計為。其中表示構成面的頂點數，則表示與頂點相鄰的多邊形數量。在中文語境中，一般被大眾認知的正多面體通常代表只有五種的凸正多面體，又稱為柏拉圖立體，其包括了正四面體、立方體、正八面體、正十二面體和正二十面體。然而在定義上，正多面體僅指每個面是正多邊形、每條邊等長每個角等角且每面全等的多面體，而符合上述定義的多面體不一定是凸多面體，也可能是星形多面體、抽象多面體或扭歪多面體等。這些多面體除了五種凸正多面體外，還有四種非凸正多面體（克普勒–龐索立體）、五種抽象正多面體和五種複合正多面體。

**正多面體**
一般常見的正多面體為五種正凸多面體，又稱為柏拉圖立體。除了這種凸多面體外，亦有非凸的正多面體，為四種星形正多面體，又稱為克普勒–龐索立體；以及五種正多面體的複合體。

**柏拉圖立體**
廣泛地出現在文化中的五種正多面體。

**克普勒–龐索立體**
克卜勒－龐索立體的面同樣由正多邊形組成，但其面或邊有自我相交的情形，即非凸多面體。由於外觀如同星狀，因此又稱為星形正多面體。

**複合正多面體**
由多個同一種正多面體組合而成且具有高度對稱性的結構也可以視為正多面體的一種。例如兩個正四面體組成的星形八面體，其類似於由兩個正三角形組成的大衛之星在三維空間中的類比。多個正多面體的複合結構也可以有其他種類，然而其未必會符合標記可遞的特性，因此不能算是正多面體，例如三複合正八面體。

**性質**
正多面體最基本的特性就是每個面都是全等的正多邊形、每條邊等長且每角等角。

**等價性質**
在定義中，每個頂點周圍有相似的面排佈的性質可以替換成下列的等價條件：
*此多面體的每個頂點都坐落在同一個球上（即存在外接球）
*每個二面角皆相等
*所有頂點圖（頂點的截面）皆為正多邊形
*所有立體角皆相等

**同心球**
正多面體具有三個相關的球體（其他非正多面體至少缺少一種），其球心位於同一個點上：
*與所有面相切的內切球
*與所有稜相切的中分球
*過所有頂點的外接球

**廣義的正多面體**
20世紀出現了一系列關於正多面體概念的概括，導致了正多面體出現了幾個新的種類。

**正扭歪無限面體**
在20世紀最初的幾十年，考克斯特和皮特里考慮了頂點的排佈以及角呈現馬鞍形樣式的多面體類型，並找到了三種由正多邊形組成且無限延伸的折疊形幾何結構，被命名為正扭歪無限面體。

**正扭歪多面體**
如同扭歪多邊形的定義（不共面的多邊形），有限面數的扭歪多面體則為其無法所有面或頂點皆位於同一個三維空間的多面體，因此會需要四維或以上的空間來構造限面數的扭歪多面體，就如同皮特里多邊形為正多面體上的一個不共面封閉路徑，有限面數的扭歪多面體可以從四維正多胞體中取一個不共三維空間的封閉區域來構造。

**位於非歐空間或其他空間的正多面體**
在非歐幾裡德空間（雙曲空間、橢圓空間等）以及諸如複數空間或四元數空間等其他空間被發現之後，對於這些空間幾何學的研究導致了更多新種類的正多面體被發現，如複正多面體等，但這些正多面體只能在特定空間中維持其正的特性。

**複數空間的正多面體**
在幾何中，複數空間的多面體是實數空間中的多面體在複數空間的推廣。

**四元數空間的正多面體**
在幾何中，四元數空間的多面體是實數空間中的多面體在四元數空間的推廣。其與複數空間類似，點不具有序性，因此沒有「位於...之間」的相互關係，因此一個四元數空間多面體可以被理解為一組點、線和麵等的排佈關係，其中，點為多條線的連接點、線連接了多個面。由於四元數的乘法不具有交換率，因此必須透過純量與向量相乘來構建乘法系統，通常會使用左乘法。
四元數空間的正多面體與實數空間的正多面體和複數空間的正多面體一樣，其對稱性皆可以被描述為反射群。例如，一個正的四元數空間直線可以與U1(H)的有限子群一一對應：binary cyclic group、二元二面體群（參閱一般四元數群章節二元二面體群）
、binary octahedral group和binary icosahedral group。

**雙曲空間的正多面體**
三階六邊形鑲嵌蜂巢體中的正六邊形鑲嵌胞其頂點皆位於該雙曲空間Horosphere上。這時可以將這個結構視為一個雙曲空間的正多面體
在H3的雙曲仿緊空間中的正堆砌體或蜂巢結構體通常具有正鑲嵌圖的胞或頂點圖。在這樣的結構中，這些鑲嵌圖可以視為存在角虧並在封閉於一個無窮遠點。若當雙曲正堆砌體或蜂巢結構體位於非緊空間時則其會封閉於2個或以上個無窮遠點甚至是發散。

**實射影平面的正多面體**
另一組正多面體為實射影平面的鑲嵌結構，其包括了立方體半形、八面體半形、十二面體半形和二十面體半形。其皆為（全域）投影多面體，並且對應到四個柏拉圖立體的投影結構。由於正四面體不像其他四個柏拉圖立體一樣擁有相對面，因此正四面體無法形成多面體半形。

**抽象正多面體**
到目前為止，多面體皆被認為是任意維度之多胞形在三維空間的例子。在20世紀下半葉出現了抽象代數概念的發展，如Polyhedral_combinatorics，最終形成Abstract_polytope作為元素偏序關係的概念。抽像多面體的元素包括了它的主體（最大元素）、面、邊、頂點和空多胞形。這些抽像元素可以映射到普通空間或具體化成一個幾何形狀。一些抽象多面體具有良好具像化實例，但不一定所有的抽象多面體都能找到對應的具像化實例。抽象多面體與一般的多面體同樣可以定義標記。若一抽象多面體的組合對稱性可以在其標記上傳遞，則這個抽象多面體為抽象正多面體，換句話說，即任何標記都可以在多面體的對稱性下映射到任何其他標記上。
在考克斯特於1977年出版的著作《正多胞形》中列出了五種不存在良好具像化實例的抽象正多面體。後來在1987年Jörg Michael Wills的論文又再次的確定了共存在五種有這種性質的抽象正多面體。這五種抽象多面體都具有對稱性，但只能具像化出一半的對稱性，即或二十面體群對稱性。

**皮特里對偶**
柏拉圖立體的皮特里對偶是一種正則地區圖，其頂點和邊對應於原始多面體的頂點和邊，其面是扭歪皮特里多邊形的集合。

**球面多面體**
五個凸正多面體和四個星形多面體皆可以表示成球面多面體，或球面鑲嵌：

**只能存於球面的正多面體**

**相關多面體**
部分多面體雖然不是正多面體，但與正多面體有一定的關連。

**正多邊形多面體**
正多邊形多面體或稱正多邊形面多面體（Regular-faced Polyhedron）是指所有面都是正多邊形的多面體。在三維空間中，所有面都是正多邊形不一定能滿足正多面體的定義，例如92種詹森多面體雖然所有面都是正多邊形但都不是正多面體。正多邊形多面體可以分為以下幾類：
有個面的凸正多邊形多面體的個數為（從開始）：
0、0、0、1、2、3、2、7、3、6、4、7、3、13、2、5、4、6、1、9、2、6、1、4、1、8、4、2、1、3、1、10、1、3、1、2、4、3、1、2、1、9、1、2、1、2、2、2、1、2、1、9、1、2、1、2、1、2、1、2、1、9、1、2、... A180916
有個頂點的凸正多邊形多面體的個數為（從開始）：
0、0、0、1、2、3、3、6、5、7、4、10、1、6、5、6、0、6、0、8、1、4、1、8、4、2、0、3、0、9、0、3、0、2、3、2、0、2、0、5、0、2、0、2、1、2、0、3、0、5、0、2、0、2、4、2、0、2、0、10、0、2、0、2、1、2、... A333660

**稀有多面體**
稀有多面體是指同時具備面可遞和點可遞的立體，也就是說這類立體既是等面的也是等角的，由於三維空間的複雜性，要滿足此特性並不容易，因此稱稀有多面體。稀有多面體不一定是正多面體，因為稀有多面體不一定滿足等邊（邊可遞）的特性，但所有正多面體都是稀有多面體。

**參見**
 正多面體列表- 擬正多面體- 半正多面體- 均勻多面體- 正圖形

**註解**

**參考文獻**
# Bertrand, J. (1858). Note sur la théorie des polyèdres réguliers, Comptes rendus des séances de l'Académie des Sciences, 46, pp. 79–82.
# Haeckel, E. (1904). Kunstformen der Natur. Available as Haeckel, E. Art forms in nature, Prestel USA (1998), 3-7913-1990-6, or online at  mpiz-koeln.mpg.de
#Smith, J. V. (1982). Geometrical And Structural Crystallography. John Wiley and Sons.
# Sommerville, D. M. Y. (1930). An Introduction to the Geometry of n Dimensions. E. P. Dutton, New York. (Dover Publications edition, 1958). Chapter X: The Regular Polytopes.
#Coxeter, H.S.M.; Regular Polytopes (third edition). Dover Publications Inc. 0-486-61480-8

**外部連結**
 title=Regular Polyhedron