正多面體

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

## 概述

在幾何學中，**正多面體**是一類對稱性可以在其各維度元素的集合（或稱標記）上遞移的多面體。正多面體通常具有高度對稱性，其同時具有邊可遞，點可遞和面可遞的性質，換句話說，即正多面體是同時具有等邊、等角和等面特性的多面體。在經典語境中，有許多描述上不同但實際上等價的定義存在，最常見的定義是每個面都是全等的正多邊形，且每個頂點都是相同數量且相同種類之正多邊形的公共頂點。例如立方體是一種正多面體，其每個面都是正方形，且每個頂點都是 3 個正方形的公共頂點。

所有正多面體皆可以使用施萊夫利符號來表示，其可以計為 {_n_, _m_}。其中 _n_ 表示構成面的頂點數，**m** 則表示與頂點相鄰的多邊形數量。在中文語境中，一般被大眾認知的正多面體通常代表只有五種的凸正多面體，又稱為柏拉圖立體，其包括了正四面體、立方體、正八面體、正十二面體和正二十面體。然而在定義上，正多面體僅指每個面是正多邊形、每條邊等長每個角等角且每面全等的多面體，而符合上述定義的多面體不一定是凸多面體，也可能是星形多面體、抽象多面體或扭歪多面體等。這些多面體除了五種凸正多面體外，還有四種非凸正多面體（克普勒–龐索立體）、五種抽象正多面體和五種複合正多面體。

## 正多面體

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

### 柏拉圖立體

廣泛地出現在文化中的五種正多面體。

### 克普勒–龐索立體

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

### 複合正多面體

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

## 性質

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

### 等價性質

在定義中，每個頂點周圍有相似的面排佈的性質可以替換成下列的等價條件：

* 此多面體的每個頂點都坐落在同一個球上（即存在外接球）
* 每個二面角皆相等
* 所有頂點圖（頂點的截面）皆為正多邊形
* 所有立體角皆相等

### 同心球

正多面體具有三個相關的球體（其他非正多面體至少缺少一種），其球心位於同一個點上：

* 與所有面相切的內切球
* 與所有稜相切的稜切球
* 過所有頂點的外接球

## 廣義的正多面體

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

### 正扭歪無限面體

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

### 正扭歪多面體

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

### 位於非歐空間或其他空間的正多面體

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

#### 複數空間的正多面體

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

#### 四元數空間的正多面體

在幾何中，四元數空間的多面體是實數空間中的多面體在四元數空間的推廣。其與複數空間類似，點不具有序性，因此沒有「位於... 之間」的相互關係，因此一個四元數空間多面體可以被理解為一組點、線和面等的排佈關係，其中，點為多條線的連接點、線連接了多個面。由於四元數的乘法不具有交換率，因此必須透過純量與向量相乘來構建乘法系統，通常會使用左乘法。

四元數空間的正多面體與實數空間的正多面體和複數空間的正多面體一樣，其對稱性皆可以被描述為反射群。例如，一個正的四元數空間直線可以與 _U_1(**H**) 的有限子群一一對應：二元循環群、二元二面體群（參閱一般四元數群章節二元二面體群）
二元四面體群、二元八面體群和二元二十面體群。

#### 雙曲空間的正多面體

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

#### 實射影平面的正多面體

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

### 抽象正多面體

到目前為止，多面體皆被認為是任意維度之多胞形在三維空間的例子。在 20 世紀下半葉出現了抽象代數概念的發展，如多面體組合學，最終形成抽像多胞形作為元素偏序關係的概念。抽像多面體的元素包括了它的主體（最大元素）、面、邊、頂點和空多胞形。這些抽像元素可以映射到普通空間或具體化成一個幾何形狀。一些抽象多面體具有良好具像化實例，但不一定所有的抽象多面體都能找到對應的具像化實例。抽象多面體與一般的多面體同樣可以定義標記。若一抽象多面體的組合對稱性可以在其標記上遞移，則這個抽象多面體為抽象正多面體，換句話說，即任何標記都可以在多面體的對稱性下映射到任何其他標記上。

在考克斯特於 1977 年出版的著作《正多胞形》中列出了五種不存在良好具像化實例的抽象正多面體。後來在 1987 年耶爾格・邁克爾・威利的論文又再次的確定了共存在五種有這種性質的抽象正多面體。這五種抽象多面體都具有 C2×S5 對稱性，但只能具像化出一半的對稱性，即 C2×A5 或二十面體群對稱性。

#### 皮特里對偶

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

### 球面多面體

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

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

## 相關多面體

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

### 正多邊形多面體

正多邊形多面體或稱正多邊形面多面體（Regular-faced Polyhedron）是指所有面都是正多邊形的多面體。在三維空間中，所有面都是正多邊形不一定能滿足正多面體的定義，例如 92 種詹森多面體雖然所有面都是正多邊形但都不是正多面體。正多邊形多面體可以分為以下幾類：

有 _n_ 個面的凸正多邊形多面體的個數為（從 _n_=1 開始）：

　
: 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, ... （OEIS 數列 A180916）

有 _n_ 個頂點的凸正多邊形多面體的個數為（從 _n_=1 開始）：

　
: 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, ... （OEIS 數列 A333660）

### 稀有多面體

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

## 參見

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

## 註解

## 參考文獻

## 外部連結

* 埃里克・韋斯坦因. Regular Polyhedron. MathWorld.