凸多面體
在幾何學中，**凸多面體**是指所有邊上的二面角（兩個面所形成的角）都不大於180°（平角）且不存在自相交的多面體。為了滿足這個條件，其所有面必須是凸多邊形（所有頂點內角均不大於 180°且無自交的多邊形）。凸多面體也可以定義成内部為凸集的簡單多面體。

柏拉圖立體、半正多面體和詹森多面體都是凸多面體，而星形正多面體不是凸多面體。

**嚴格凸多面體**是**凸多面體**的子集，為不存在兩兩共面之面的多面體。
在**凸多面體**中所有內角都不大於180度，而**嚴格凸多面體**則要求所有邊上的二面角都要嚴格小於180°。
因此可以將凸多面體分為**嚴格凸多面體**和**非嚴格凸多面體**。

目前還沒有公式或方法可以計算任意凸多面體的體積。

定義
--

定義1
如果多面體滿足以下條件，則該多面體是凸多面體：
對這個多面體所有的面而言，其中一個面，滿足「這個多面體完全包含在這個面對應的平面所構成的其中一個半空間中」的條件。
定義2
對於每個具有*s*個面的凸多面體，都有*s*行、三列的矩陣**M**和*s*維向量**b**：
{\displaystyle \mathbf {M} \in {\mathcal {M}}\_{s\times 3}(\mathbb {R} ),\mathbf {b} \in \mathbb {R} ^{s}}
多面體可以定義為下列線性不等式組的解集：
{\displaystyle \mathbf {M} \cdot \mathbf {r} \leq \mathbf {b} ,\qquad \mathrm {i.e.} \sum \_{j}M\_{ij}r\_{j}\leq b\_{i}}
其中{\mathbf {r}}=(x,y,z)為多面體內部的點。每個方程式都要求這些點要位於面對應的平面的正確一側。當矩陣\mathbf {M} 和向量\mathbf {b} 的元素是任意實數時，{\displaystyle \mathbf {M} \cdot \mathbf {r} \leq \mathbf {b} }形式系統的解{\mathbf {r}}=(x,y,z)不一定會是多面體。因此，要成為多面體，\mathbf {M} 和\mathbf {b} 都必須滿足某些條件。
舉例來說，正四面體、立方體和正八面體的**M**矩陣和**b**向量可能為（具體值會依邊長而變）：

| 凸多面體 | *s* | **M**矩陣 | **b**向量 |
| --- | --- | --- | --- |
| 正四面體 | 4 | {\displaystyle {\begin{bmatrix}1&1&1\\1&-1&-1\\-1&1&-1\\-1&-1&1\end{bmatrix}}} | {\displaystyle {\begin{bmatrix}2\\0\\0\\0\end{bmatrix}}} |
| 立方體 | 6 | {\displaystyle {\begin{bmatrix}1&0&0\\-1&0&0\\0&1&0\\0&-1&0\\0&0&1\\0&0&-1\end{bmatrix}}} | {\displaystyle {\begin{bmatrix}1\\1\\1\\1\\1\\1\end{bmatrix}}} |
| 正八面體 | 8 | {\displaystyle {\begin{bmatrix}1&1&1\\1&1&-1\\1&-1&1\\1&-1&-1\\-1&1&1\\-1&1&-1\\-1&-1&1\\-1&-1&-1\end{bmatrix}}} | {\displaystyle {\begin{bmatrix}1\\1\\1\\1\\1\\1\\1\\1\end{bmatrix}}} |

### 嚴格凸與非嚴格凸

能滿足上述條件的多面體可能存在平角的二面角。如果這個多面體存在至少一個二面角角度等於180度，即稱這個多面體為「非嚴格凸多面體」。許多情況會把非嚴格凸多面體排除在「凸多面體」外，例如在討論詹森多面體時，其「凸多面體」代表的是「嚴格凸多面體」，非嚴格凸多面體的「所有面都是正多邊形」的立體僅能歸類在擬詹森多面體。而如果所有二面角都嚴格小於180度，則稱該多面體為「嚴格凸多面體」。

性質
--

對於頂點數有限的凸多面體，歐拉特性必須與球體的歐拉特性一致，因此其頂點數（V）、邊數（E）和面數（F）必定會滿足下列等式：

{\displaystyle F+V-E=2\,}
非凸多面體則不一定滿足上述等式，尤其是存在自相交情況的多面體。

凸多面體還具有下列特性：

* 凸多面體不存在邊或面自我相交的情況。
* 每個内角、二面角皆小於180度。
* 凸多面體的任何两个顶点间的线段位于這個多面體的内部或表面上。
	+ 在凸多面體內部或表面上的任何两个點间的线段也同樣都會位於多面體的内部或表面上。
	+ 凸多面體內部的任兩個點間的線段必定位於多面體內部（非凸多面體則不一定）
* 多面體完全包含在任意面對應的平面所限定的封閉半空間中。
* 對所有面而言，任何內部的點都在由該面鎖定之平面的同一側。
* 凸多面體的凸胞就是本身。

相關概念
----

### 凹多面體

凹多面體
凹多面體是指至少存在一個內角的角度超過180°的二面角，且無自相交情況的多面體。不是凸多面體的多面體（非凸多面體）不一定會是凹多面體，例如星形多面體，因此凹多面體並不能完全看作是凸多面體的相對概念。

凹多面體存在這樣的兩個一組的位於凹多面體表面或內部的頂點：這兩個頂點連成的線段有部分在多面體外部。

一般凹多面體也是探討歐拉特性與球體的歐拉特性一致立體，也就是其頂點數（V）、邊數（E）和面數（F）滿足下列等式的多面體：

{\displaystyle F+V-E=2\,}
這個數值稱為歐拉示性數，一般凸多面體與凹多面體歐拉示性數都為2。因此著名的希洛西七面體有一個洞，其歐拉示性數為零，因此希洛西七面體非凸也非凹，更適合它的分類是環形多面體（英语：）。

### 非凸多面體

自相交非凸多面體
所有不滿足凸多面體條件的多面體都稱為非凸多面體。例如星形多面體。凹多面體也是非凸多面體的一種。

此外，也存在無法良好具象化的非凸多面體，例如四面半六面體的對偶多面體，雖然溫尼爾提出了一種無窮星形的具象化方式，但是也存在其他學者提出的具象化方式。

非凸多面體的歐拉特性未必與球體的歐拉特性一致，也就是其頂點數（V）、邊數（E）和面數（F）的歐拉示性數{\displaystyle F+V-E}不一定為二，例如下方星形多面體的附圖小星形十二面體（這多面體也屬於非凸多面體），其歐拉示性數為負六（{\displaystyle F+V-E=-6}）因此在拓樸學上非凸多面體的結構較為複雜，沒有一定的規則。

四面半六面體是一種非凸多面體
非凸多面體通常探討的是可以具象化且存在體積的立體（「存在體積」這一條件也有例外），例如八面體半形不存在能夠將之具象化的實體多面體、皮特里四面體雖然可以具象化，但其面是扭歪多邊形，無法確定唯一的體積、和黑塞二十七面體頂點位於複數空間中，因此無法分辨內部及外部區域故無法計算其體積……等立體一般都不會被歸類在非凸多面體和凸多面體中。

上述提到的「無法分辨內部及外部區域」的立體也有可能是非凸多面體。例如四面半六面體表面是一個不可定向的曲面，無法分辨內部與外部，因此也無法確定其體積，但四面半六面體是一個非凸多面體。

### 星形多面體

星形多面體
条目：星形多面體
星形多面體是一種非凸多面體，其概念較為複雜，通常指外形有如星形形狀的立體，或者結構滿足星形域的多面體。不少星形多面體都有自相交的面，例如星形正多面體和星形均勻多面體。也存在面沒有自相交或者是屬於凹多面體的星形多面體，例如凹五角錐十二面體的外形構成的立體（由三角形組成的那一種）。

參見
--

* 凸多胞形
* 凸多邊形

註釋
--

1. ↑  此處的簡單多面體定義為簡單多邊形在三維空間中的推廣，即不存在面或邊自我相交的多面體，與複雜多面體（對應複雜多邊形）相對。而非指簡單多胞形所討論的三維例子。

参考文獻
----

1. ↑ .  [2020-03-03]. （原始内容存档于2017-10-17）.
2. 1 2 3  Weisstein, Eric W. (编).. at *MathWorld*--A Wolfram Web Resource. Wolfram Research, Inc. （英语）.
3. ↑  Grünbaum, B. and Klee, V. CUPM [Committee on the Undergraduate Program in Mathematics] Geometry Conference Proceedings, Part I: Convexity and Applications. Lectures by Branko Grünbaum and Victor Klee (Ed. L. K. Durst). Math. Assoc. Amer. No. 16, 1967-08
4. ↑  Grünbaum and Klee 1967, p. 21
5. ↑  Ogilvy, C. S. Excursions in Geometry. New York: Dover, 1990.
6. ↑  Ogilvy 1990, p. 173
7. ↑  A. Pogorelov  *Geometry*  Mir Publishers Moscow (1987)
8. ↑  Pak, Igor.. Manuscript (Citeseer). 2010  [2023-11-12]. （原始内容存档于2023-11-12）.
9. ↑  Richeson, D.S.. Princeton University Press. 2008.
10. ↑ . artofproblemsolving.com.  [2023-11-12]. （原始内容存档于2023-11-12）.
11. ↑  Wenninger, Magnus, Cambridge University Press, 2003 [1983], ISBN 978-0-521-54325-5, MR 0730208, doi:10.1017/CBO9780511569371  (Page 101, Duals of the (nine) hemipolyhedra)
12. 1 2  Gailiunas, Paul,  (PDF), people.tamu.edu,  [2021-08-19], （原始内容存档 (PDF)于2021-08-19）
13. ↑  Zvonkine, Alexandre.. Symmetry: Culture and Science. 2011, **22** (3-4): 391–426.
14. ↑ . Regular Map database - map details.  [2021-07-24]. （原始内容存档于2021-01-26）.
15. ↑ . Heart warming life series. 日本ヴォーグ社. 2001: 84. ISBN 9784529035477.
16. ↑  前川淳.. 科學視界. 世茂出版社. 2018-04-02. ISBN 9789578799165.
17. ↑  Ian Stewart, David Tall, *Complex Analysis*. Cambridge University Press, 1983, ISBN 0-521-28763-4, MR0698076

外部連結
----

|  |  |
| --- | --- |
|  | 维基共享资源中相关的多媒体资源：**凸多面體** |

* 埃里克·韦斯坦因.. MathWorld.

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
多面体 |
| --- |
|  |
| 1 - 10 | 
* 一面體
* 二面體
* 三面體
* 四面體
	+ 正四面體
	+ 鍥形體
* 五面體
	+ 三角柱
	+ 四角錐
* 六面體
	+ 立方體
	+ 長方體
	+ 四角柱
	+ 五角錐
	+ 平行六面体
	+ 雙三角錐
* 七面體
* 八面體
* 九面體
* 十面體

 |
|  |
| 11 - 20 | 
* 十一面體
* 十二面體
* 十三面體
* 十四面體
* 十五面體
* 十六面體
* 十七面體
* 十八面體
* 十九面體
* 二十面體

 |
|  |
| 其他 | 
* 空多胞形
	+ 零面體
* 多面形
	+ 三面形
* 超二十面體
* 二十二面體
* 二十四面體
* 二十七面體
* 三十面體
* 六十面體
* 無限面體

 |
|  |
| 正多面體 | 
* 正四面體
* 正六面體
* 正八面體
* 正十二面體
* 正二十面體
* 正無限面體

 |

 |

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
各類凸多面體 |
| --- |
|  |
| 柏拉圖立體（正多面體） | 
* 正四面體
* 立方體
* 正八面體
* 正十二面體
* 正二十面體

 |
|  |
| 阿基米德立體（半正多面體） | 
* 截角四面體
* 截角立方体
* 截半立方體
* 截角八面體
* 小斜方截半立方体
* 大斜方截半立方體
* 扭棱立方体
* 截角十二面体
* 扭棱十二面体
* 截半二十面體
* 截角二十面體
* 小斜方截半二十面体
* 大斜方截半二十面体

 |
|  |
| 卡塔蘭立體（阿基米德立體的對偶） | 
* 三角化四面體
* 菱形十二面體
* 三角化八面體
* 四角化立方體
* 鳶形二十四面體
* 四角化菱形十二面體
* 五角二十四面體
* 菱形三十面體
* 三角化二十面體
* 五角化十二面體
* 鳶形六十面體
* 四角化菱形三十面體
* 五角六十面體

 |
|  |
| 康威多面體 | 
* 截角三角化四面体
* 截半截角二十面體
* 截角五角六十面體
* 四角化扭棱立方體
* 五角化扭棱十二面體
* 六角化五角化截角三角化四面體
* 菱形九十面體

 |
|  |
| 正二面體群立體 | 
* *多邊形二面體*
* *多面形*
	+ *三面形*

 |
|  |
| 均勻二面體群立體 | 

|  |
| --- |
| 
* 棱柱
* 反棱柱

 |
|  |
| **對偶** | 
* 雙錐體
* 偏方面體

 |

 |
|  |
| 其他凸多面體 | 
* 棱柱（反棱柱）
* 棱锥（類錐體、雙錐體）
* 錐台（雙錐台）
* 角錐柱（反角錐柱、雙角錐柱）
* 偏三角面體
* 截對角偏方面體
* 半偏方面體
* 雙錐反柱體
* 帳塔
* 罩帳
* 雙帳塔（英语：）
* 雙罩帳
* 半偏方面體錐
* 柱狀
* 盾片状
* 约翰逊多面体
* 條件邊正多邊形凸多面體
* 菱形二十面體

 |
|  |
| *斜體*表示退化多面體 |

 |