四面體
四面體是由四個三角形面組成的多面體，每兩個三角形都有一個共同的邊，每三個三角形都有一個共同的頂點。四面體也可以視為由四個三角形合成的角錐，底面為三角形，可以任一面為底，因此又稱為三角錐[1]或三稜錐[2]。所有四面體皆由四個頂點、六條棱和四個面組成，是所有凸多面體中最簡單的。四面體包括正四面體、鍥形體等種類，由四個全等的正三角形組成的四面體稱為正四面體。四面體也可以依角的類型分為銳角四面體、鈍角四面體、和直角四面體。
 （點選觀看旋轉模型） | ||
| 類別 | 多面體 | |
|---|---|---|
| 對偶多面體 | 四面體 | |
| 數學表示法 | ||
| 考克斯特符號 |     | |
| 施萊夫利符號 | {3,3} | |
| 威佐夫符號 | 3 | 2 3 | |
| 康威表示法 | A2 Y3  | |
| 性質 | ||
| 面 | 4 | |
| 邊 | 6 | |
| 頂點 | 4 | |
| 歐拉特徵數 | F=4, E=6, V=4 （χ=2） | |
| 組成與佈局 | ||
| 面的種類 | 三角形 | |
| 對稱性 | ||
| 對稱群 | C3v, [3], (*33) | |
| 旋轉對稱群 | C3, [3]+, (33) | |
| 圖像 | ||
| ||
四面體是目前已知兩種每個面都與其他所有面相鄰的多面體之一，另外一種是希洛西七面體。[3][4]
四面體也是錐體的一種。錐體是指將某個平面上的多面體的所有頂點分別和平面外的一點以線段連接後構成的多面體。按錐體的分類方法，所有四面體都是由某平面上的三角形和平面外一點構成的錐體，所以四面體也被稱為三角錐。[1][2]
與所有的凸多面體一樣，四面體可以由某個平面圖形（展開圖）摺疊而成。這樣的展開圖通常有兩種。
與三角形類似，任何四面體的四個頂點都在同一個球面上。這個球稱為四面體的外接球。同樣地，存在一個與四面體的四個面都相切的球，稱為四面體的內切球。
性質
四面體具有許多與之二維類比三角形相似的性質，例如，像三角形一樣，四面體也有內切球、外接球、旁切球和中點四面體。四面體也有各種不同幾何意義上的中心，例如內心、外心、旁心、Spieker心和形心（在二維，Spieker心就是形心，但在三維情況發生了變化，Spieker心並不一定是形心），但是，四面體不總是有垂心，因為四面體的4條高並不一定交於一點。四面體的中點四面體的外接球是三角形九點圓的三維類比，但它並不總是通過原四面體高的垂足。
加斯帕爾·蒙日發現了存在於每一個四面體中的一個特殊中心，現在被命名為蒙日點：它是四面體六個中位面的交點。四面體的中位面被定義為一個與四面體其中兩個頂點連成的邊垂直，並且包含由另外兩個頂點連成的對邊的中點的平面。如果四面體的4條高交於了一點，形成了垂心，那麼蒙日點將與垂心重合，並且這樣的特殊四面體被稱為「垂心四面體」。
從蒙日點引向任意一面的垂線都會交這個面於這個三角形面的垂心與此面上四面體的高的垂足連線的中點。
四面體頂點和其對面形心的連線叫做四面體的中線，而四面體一條邊中點和其對邊中點的連線叫做四面體的雙中線，這樣，四面體中一共有4條中線和3條雙中線。這7條線段都是共點的，它們的交點即是四面體的形心。四面體的形心是其蒙日點和外心連線的中點，這3個點一起決定了四面體的歐拉線，這是二維三角形歐拉線的三維類比。
四面體十二點球的球心T也位於這條歐拉線上。但不像其二維類比，這個球心位於從蒙日點到外心1/3處。並且，從這個心到四面體任意一選定面的垂線與另兩條垂線共面：第一條是過其對應歐拉點（即蒙日點與該面所對頂點連線與十二點球的交點）到該面的垂線，第二條是過該面形心的垂線。這條十二點心垂線到歐拉點垂線和形心垂線的距離相等。除此以外，十二點心還是四面體任何一面對應歐拉點和該面垂心連線的中點。
四面體十二點球的半徑是外接球半徑的1/3。
對於任意的四面體，我們能給出其二面角之間的關係：
這裡 代表面i和j之間的二面角。
體積
在這裡A0是底面面積，h是從底面到頂點的高。這個體積公式對四個任意的底面的選擇都成立，因此我們可以推斷出對同一個四面體，其一個面上的高與這面的面積成反比。
對於一個四個頂點分別為 a = (a1, a2, a3)、 b = (b1, b2, b3)、 c = (c1, c2, c3)、 d = (d1, d2, d3) 的四面體，其體積公式為(1/6)·|(a − d, b − d, c − d)|一公式也可以用點積和叉積寫為：
![{\displaystyle V={\frac {|(\mathbf {a} -\mathbf {d} )\cdot [(\mathbf {b} -\mathbf {d} )\times (\mathbf {c} -\mathbf {d} )]|}{6}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26c770e4c4b00b9642a4df39449c7df23cccf036)
如果建立恰當的坐標系統，使得原點與d頂點重合，即d=0的話，該式可以簡化為：
這裡a、b、c代表着三條交於一頂點的邊，並且我們發現a · (b × c)是標量三重積。將這個公式與計算平行六面體體積的公式對比，我們發現正四面體的體積等於任何與其共三條交於一頂點的邊的平行六面體體積的六分之一。
這個三重積可以用下列行列式表示：
- 或者 這裡像 可以被表示為橫或縱向量。
因此
- 這裡 等。
這樣，我們能給出：
這裡α、β、γ是以d為頂點的平面角。角α是連接頂點d和頂點b、c的棱之間的夾角，而β是d到a、c棱的夾角，γ是d到a、b棱的夾角。
如果我們已知四面體四個頂點之間相互的距離，那麼其體積可用Cayley–Menger行列式表示：
這裡下標 代表頂點{a, b, c, d}，而 是兩兩頂點之間的距離，亦即連接着兩頂點之間棱的長度。如果行列式是零或是負數這意味着我們不可能用該給定的4個長度來構建一個四面體。這個公式，亦被稱作塔塔利亞公式，被15世紀的畫家皮耶羅·德拉·弗朗切斯卡認為是極其重要的，它被看作是1世紀的三角形面積海倫公式的三維類比。[5]
海倫公式形態的四面體體積公式
如果U、V、W、u、v、w是四面體的六條邊長（U、V、W構成四面體的其中一個三角形面，而u是與U相對的棱，v是與V相對的棱，w是與W相對的棱），則四面體體積[6]
這裡
利用四面體邊之間的距離
四面體兩條相對的邊處於兩條互相歪斜（在三維空間中既不相交也不平行，等價於異面）的直線上，所以四面體相對邊之間的距離就被定義為其所在互相歪斜的直線之間的距離。設d是四面體相對的邊a 和 b − c之間的距離，則四面體的另一個體積公式是：
![{\displaystyle V={\frac {d|[\mathbf {a} \times \mathbf {(b-c)} ]|}{6}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00a1de89f2ab62f80c0c403191358f2b570b93bc)
關於四面體性質的其它向量公式
如果OABC四點能夠構成一個四面體，並且O點位於我們所定的空間直角坐標系的原點，而向量a、b、c代表着頂點A、B、C相對於O的位置，則四面體內切圓半徑可表示為：（在以下的公式中，像a2這樣的向量的平方代表着數量積a·a，b2和c2也是這樣）
外接圓半徑可表示為：
於是我們可知十二點圓半徑為：
這裡V是四面體的體積：
四面體的各種中心的位置向量是： 形心：
內心：
外心：
蒙日點：
歐拉線上的中心之間的關係是：
這裡T是十二點心。 在這裡，我們還有：
和：
對稱變換群
以下列表示出了對應四面體的圖案，相同顏色的棱在等距同構對稱變換中是等價的，而灰色則代表着條邊是不同於任何另外一邊的。
| 四面體名稱 | 邊 等價 圖案 |
描述 | |||
|---|---|---|---|---|---|
| 對稱性 | |||||
| 弗氏 | 考式 | 軌式 | 階 | ||
| 正四面體 | 
|
四個等邊三角形，形成對稱群Td，與對稱群S4同構。 | |||
| Td T |
[3,3] [3,3]+ |
*332 332 |
24 12 | ||
| 正三稜錐 | 
|
一個等邊三角形底面及三個等腰三角形側面，有6個等距同構的對稱變換，對應其底面的6個對稱變換。對於所有可能的頂點排布，t這6個對稱變換是：單位元 1、(123)、(132)、(12)、(13)和(23)，形成對稱群C3v，與對稱群S3同構。 | |||
| C3v C3 |
[3] [3]+ |
*33 33 |
6 3 | ||
| 複正方鍥形體 等腰四面體 |
|
四個全等的等腰三角形，具有8個等距同構的對稱變換。如果邊(1,2)和(3,4)和另外4條邊是不同顏色的，那麼這8個對稱變換是：單位元1、鏡面反射(12)和 (34)、和(12)(34)、(13)(24)、(14)(23)的180°旋轉以及非嚴格的(1234)和(1432)90°旋轉。這些一起形成了對稱群D2d. | |||
| D2d S4 |
[2+,4] [2+,4+] |
2*2 2× |
8 4 | ||
| 複斜方鍥形體 非等腰四面體 |
|
四個全等的任意三角形，具有4個等距同構的對稱變換。這些變換是：1和(12)(34)、(13)(24)、(14)(23)的180°旋轉。這形成了柯恩四面體群V4或者Z22，表現為點群D2。 | |||
| D2 | [2,2]+ | 222 | 4 | ||
| 二面體鍥形體 | 
|
兩組全等的等腰三角形。在此對稱性下，對邊(1,2)和(3,4)是垂直的，但是「顏色」不同，4個等距同構的對稱變換是：1、鏡面反射(12)和(34)以及(12)(34)的180°旋轉。對稱群是C2v，與柯恩四面體群V4同構 | |||
| C2v =D1h |
[2] | *22 | 4 | ||
| 單鍥形體 | 
|
兩個不同的等腰三角形共用一個底邊。它有兩對相等的邊(1,3)和(1,4)、(2,3)和(2,4)，除此之外再沒有相等的邊。唯一兩個等距同構的對稱變換是：1和鏡面反射(34)，對應對稱群 Cs又同構於循環群Z2。 | |||
| Cs =C1h =C1v |
[ ] | * | 2 | ||
| 半轉四面體 | 
|
兩組全等的任意三角形。它有兩組相等的邊(1,3)和(2,4)、(1,4)和(2,3)，除此之外再沒有相等的邊。唯一兩個等距同構的對稱變換是：1和旋轉(12)(34)， 對應群C2，同構於循環群Z2。 | |||
| C2 =D1 |
[2]+ | 22 | 2 | ||
| 任意四面體 | 
|
沒有相等的邊，有4個不相等的任意三角形面，所以只有單位元變換是等距同構的，對稱群是平凡群。 | |||
| C1 | [ ]+ | 1 | 1 | ||
四面體正弦定理和所有形狀四面體所構成的空間
通過通常的三角形正弦定理，我們可以得到一個自然的推論，即在以O、A、B、C為頂點的四面體中，有
這個等式的兩邊可以被看作分別是順時針取向的角的正弦乘積和逆時針取向角的正弦乘積。
通過將不同的頂點置於上式中O點的位置，我們可以得到4個這樣的等式，但實際上，只有最多3個等式是獨立的，因為我們可以將這3個等式的「順時針邊」和「逆時針邊」分別相乘，得到一個新的等式，再消去相同的因式，這樣就能夠通過這3個等式得到第4個等式。
三個角能屬於同一個三角形當且僅當這三個角之和為180°（π弧度）。那麼，12個角要滿足什麼充分必要條件，才能使其為一個四面體表面的12個角呢？首先，我們知道，四面體4個面每個面上的3個角之和都要為180°。因為我們對於這12個角有4個這樣的限制，四面體12個角的取值自由度（統計學）從12降到了8。進一步地，四面體角的4個正弦定理又降低了自由度，但不是降到4而是降到了5，因為第4個四面體正弦定理並不是相對於前3個獨立的。因此，我們只要確定了四面體12個表面角中的任意5個角，則這個四面體就被唯一確定了，因此，我們可以用五維空間中的點來描述所有的四面體，也就是說，所有形狀四面體構成的空間是五維的。
其他種類的四面體
更廣義地說，四面體泛指所有由四個面構成的多面體。若其在歐氏空間、實數空間、構成面都是平面且未退化的情況下僅有可能是正四面體或三角錐。然而在上述條件不滿足的情況下，有可能可以建構出不同拓樸結構的四面體，例如皮特里立方體，其由4個扭歪六邊形構成，但由於其構成面是一種扭歪多邊形，無法確定其封閉範圍及面積，因此無法存在體積與表面積；而退化的四面體例子如四面形、八面體半形和二角柱等。
三角錐
在幾何學中，三角錐是一種底面為三角形的錐體，這種錐體所有形式都與四面體有相同的拓樸結構。根據角錐的定義，其由一個底面和一個頂點組成，底面的頂點與底面外的頂點相連接，形成與底面邊數相同數量的三角形側面。而三角錐是指底面為三角形的角錐，因此其會有3個側面，合計共4個面，且皆為三角形，因此結構基本上與四面體等價，皆為由四個三角形合成的立體。由於底面和側面皆為三角形，因此視為三角錐時，可以任一面為底，因此詞彙「三角錐」與「四面體」有時會被視為同義詞[1]。
正三角錐
雖然「三角錐」與「四面體」有時會被視為同義詞[1]，但前方加一個「正」字就不一定了，例如正三角錐可以指底面為正三角形的角錐，在這個定義下則是要求四面體的其中一個面要是正三角形；而正四面體則要求四個面都要是正三角形。
|
|
|
|
| 錐高較低的 正三角錐 |
正四面體 | 錐高較高的 正三角錐 |
斜正三角錐 |
二角柱
二角柱是指底面為二角形的柱體，由於其底面為二角形，因此在歐幾里得空間中，其已經退化無法擁有體積。在球面幾何學中，其可以作為球面鑲嵌，此時的二角柱由兩個球面二角形和兩個球面四邊形構成，等價於二角形二面體經截角變換後的結果，因此又可稱為截角二角形二面體。這種二角柱共有4個面、6條邊和4個頂點，對偶多面體為雙二角錐。
雙二角錐
雙二角錐是以二角形為底的雙錐體，為二角柱的對偶多面體。由於其以二角形為底，因此在歐幾里得空間中，其已經退化無法擁有體積。在球面幾何學中，其可以作為球面鑲嵌，這種雙二角錐可以視為多了兩個頂點的四面形。雙二角錐由4個面、6條邊和4個頂點組成，其四個面都是三角形，但拓撲結構與非退化的凸四面體不同，其中的兩個頂點為對蹠點，剩下的兩個頂點位於赤道面上連結與對蹠點相連的兩條邊。
八面體半形
八面體半形也是一種四面體，可透過將正八面體對應映射後而獲得，它有著正八面體一半的面。 它也可以視為沒有底面的正四角錐，算是一種非嚴格的錐體，換句話說，其為正八面體的一半[7]。
四面形
 （點選觀看旋轉模型） | |
| 類別 | 多面形、均勻多面體、球面鑲嵌 |
|---|---|
| 對偶多面體 | 四邊形二面體 |
| 數學表示法 | |
| 考克斯特符號 |     |
| 施萊夫利符號 | {2,4} |
| 威佐夫符號 | 4 | 2 2 |
| 性質 | |
| 面 | 4 |
| 邊 | 4 |
| 頂點 | 2 |
| 歐拉特徵數 | F=4, E=4, V=2 （χ=2） |
| 組成與佈局 | |
| 面的種類 | 二角形 |
| 頂點佈局 | 24 |
| 對稱性 | |
| 對稱群 | D4h, [2,4], (*224), order 16 |
| 旋轉對稱群 | D4, [2,4]+, (224), order 16 |
在幾何學中，四面形是一種基底為四邊形的多面形，由4個月牙形或球弓形組成的球面鑲嵌，並且使得每一個月牙形或球弓形共用相同的兩個頂點。其在施萊夫利符號中用 {2,4} 表示[8]。其亦可以視為由球面正二角形組成的球面鑲嵌圖，又稱為四階二角形鑲嵌或四階二邊形鑲嵌。
四面形是一種退化的四面體，無法擁有體積，由四個二角形組成。在球面幾何學中，四面形可以在球面上以鑲嵌的方式存在，其對偶多面體是四邊形二面體。
四面形由四個二角形組成，每個頂點都是四個二角形的公共頂點。正四面形的每個面都是正二角形，且每個頂點都是四個正二角形的公共頂點，因此正四面形也可以視為一種正多面體，但是因為其已退化，因此不會與柏拉圖立體一同討論。
四面形具有D4h, [2,4], (*224)的對稱性和D4, [2,4]+的旋轉對稱性，且階數為16，在考克斯特符號中用 表示，其對稱性與四角柱相同，因此四角柱也可以視為一種與四面形相關的立體，因為四角柱可以經由四面形透過截角變換構造。
四面體列表
| 名稱 | 種類 | 圖像 | 符號 | 頂點 | 邊 | 面 | χ | 面的種類 | 對稱性 |
|---|---|---|---|---|---|---|---|---|---|
| 正四面體 | 正多面體 | 
|
{3,3} 
|
4 | 6 | 4 | 2 | 4個正三角形 | Td, A3, [3,3], (*332) |
| 三角錐 | 角錐 |
|
( )∨{3} | 4 | 6 | 4 | 2 | 1個三角形底面 3個三角形側面 |
C3v, [3], (*33) |
| 二角柱 截角二角形二面體 |
稜柱 退化多面體 |
|
t{2,2} {2}x{}
|
4 | 6 | 4 | 2 | 2個二角形 2個矩形 |
D2h, [2,2], (*222), order 8 |
| 雙二角錐 | 雙錐體 退化多面體 球面多面體 |
|
{ }+{2}
|
4 | 6 | 4 | 2 | 4個三角形 | D2h, [2,2], (*222) order 8 |
| 一角反稜柱 | 反稜柱 退化多面體 球面多面體 |
|
h0,1{2,2} s{2,1} { }⨂{1} |
2 | 4 | 4 | 2 | 2個一角形 2個三角形 |
D1d, [2+,2], (2*1), order 4 |
| 四面形 | 多面形 退化多面體 |
|
{2,4}
|
2 | 4 | 4 | 2 | 4個二角形
|
D4h, [2,4], (*224), order 16 |
| 皮特里立方體 | 皮特里對偶 | 
|
{4,3}π | 8 | 12 | 4 | 0 | 4個正扭歪六邊形
|
|
| 皮特里正八面體 | 皮特里對偶 | 
|
{3,4}π | 6 | 12 | 4 | -2 | 4個正扭歪六邊形
|
|
| 八面體半形 | 射影多面體 抽象多胞形 |
|
{3,4}/2 {3,4}3 |
3 | 6 | 4 | 1 | 4個正三角形.svg){kind=small}
|
S4, order 24 |
| {4,4}2,1 | 環形多面體 | 
|
{4,4}2,1 | 4 | 8 | 4 | 0 | 4個正方形
|
|
| {6,3}2,1 | 環形多面體 | 
|
{6,3}2,1 | 8 | 8 | 4 | 4 | 4個正六邊形
|
相關多面體
任意非退化的四面體皆是三角錐的一種，因此與其它的錐體有相似的關連。
| 正二棱錐 | 正三棱錐 | 正四棱錐 | 正五棱錐 | 正六棱錐 | 正七棱錐 | 正八棱錐 | 正九棱錐 | 正十棱錐 | ... | 圓錐 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
|
|
|
|
|
|
|
| 球面鑲嵌 | 錐體 | 歐式鑲嵌 仿緊空間 |
雙曲鑲嵌 非緊空間 | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
 一角錐 C1v, [1] |
 二角錐 C2v, [2] |
 三角錐 C3v, [3] |
 四角錐 C4v, [4] |
 五角錐 C5v, [5] |
 六角錐 C6v, [6] |
 七角錐 C7v, [7] |
 八角錐 C8v, [8] |
九角錐 C9v, [9] |
十角錐 C10v, [10] |
... |
 無限角錐 C∞v, [∞] |
 超無限角錐 Ciπ/λv, [iπ/λ] |
註釋
- ^ 1.0 1.1 1.2 1.3 四面體. 教育部重編國語辭典. [2022-12-28]. （原始內容存檔於2022-12-28）.
- ^ 2.0 2.1 三角錐. 教育部重編國語辭典. [2022-12-28]. （原始內容存檔於2022-12-28）.
- ^ Ace, Tom, The Szilassi polyhedron, [2013-03-03], （原始內容存檔於2016-09-07）
- ^ Arseneva, Elena and Kleist, Linda and Klemz, Boris and Löffler, Maarten and Schulz, André and Vogtenhuber, Birgit and Wolff, Alexander. Adjacency Graphs of Polyhedral Surfaces. arXiv preprint arXiv:2103.09803. 2021.
- ^ "Simplex Volumes and the Cayley-Menger Determinant" （頁面存檔備份，存於網際網路檔案館）, MathPages.com
- ^ Kahan, William M.; "What has the Volume of a Tetrahedron to do with Computer Programming Languages?" （頁面存檔備份，存於網際網路檔案館）, pp. 16–17
- ^ Simonov, VI and Belov, NV. Characteristics of the crystal structure of rinkite. Soviet Physics Crystallography. 1968, 12 (5): 740–744.
- ^ The 4-hosohedron. weddslist.com. [2022-12-15]. （原始內容存檔於2022-12-17）.
參考文獻
參見
外部連結
- 埃里克·韋斯坦因. Tetrahedron. MathWorld.
- Free paper models of a tetrahedron and many other polyhedra（頁面存檔備份，存於網際網路檔案館）
- An Amazing, Space Filling, Non-regular Tetrahedron（頁面存檔備份，存於網際網路檔案館） that also includes a description of a "rotating ring of tetrahedra", also known as a kaleidocycle.