四面體是由四個三角形面組成的多面體，每兩個三角形都有一個共同的邊，每三個三角形都有一個共同的頂點。四面體也可以視為由四個三角形合成的角錐，底面為三角形，可以任一面為底，因此又稱為三角錐或三稜錐。所有四面體皆由四個頂點、六條稜和四個面組成，是所有凸多面體中最簡單的。四面體包括正四面體、鍥形體等種類，由四個全等的正三角形組成的四面體稱為正四面體。四面體也可以依角的型別分為銳角四面體、鈍角四面體、和直角四面體。 四面體是歐幾里德單純形在三維空間中的特例。 四面體是目前已知兩種每個面都與其他所有面相鄰的多面體之一，另外一種是希洛西七面體。 四面體也是錐體的一種。錐體是指將某個平面上的多面體的所有頂點分別和平面外的一點以線段連線後構成的多面體。按錐體的分類方法，所有四面體都是由某平面上的三角形和平面外一點構成的錐體，所以四面體也被稱為三角錐。 與所有的凸多面體一樣，四面體可以由某個平面圖形（展開圖）摺疊而成。這樣的展開圖通常有兩種。 與三角形類似，任何四面體的四個頂點都在同一個球面上。這個球稱為四面體的外接球。同樣地，存在一個與四面體的四個面都相切的球，稱為四面體的內切球。 性質 四面體具有許多與之二維類比三角形相似的性質，例如，像三角形一樣，四面體也有內切球、外接球、旁切球和中點四面體。四面體也有各種不同幾何意義上的中心，例如內心、外心、旁心、和形心（在二維，Spieker 心就是形心，但在三維情況發生了變化，Spieker 心並不一定是形心），但是，四面體不總是有垂心，因為四面體的 4 條高並不一定交於一點。四面體的中點四面體的外接球是三角形九點圓的三維類比，但它並不總是透過原四面體高的垂足。 加斯帕爾蒙日發現了存在於每一個四面體中的一個特殊中心，現在被命名為蒙日點：它是四面體六個中位面的交點。四面體的中位面被定義為一個與四面體其中兩個頂點連成的邊垂直，並且包含由另外兩個頂點連成的對邊的中點的平面。如果四面體的 4 條高交於了一點，形成了垂心，那麼蒙日點將與垂心重合，並且這樣的特殊四面體被稱為 。 從蒙日點引向任意一面的垂線都會交這個面於這個三角形面的垂心與此面上四面體的高的垂足連線的中點。 四面體頂點和其對面形心的連線叫做四面體的中線，而四面體一條邊中點和其對邊中點的連線叫做四面體的雙中線，這樣，四面體中一共有 4 條中線和 3 條雙中線。這 7 條線段都是共點的，它們的交點即是四面體的形心。四面體的形心是其蒙日點和外心連線的中點，這 3 個點一起決定了四面體的尤拉線，這是二維三角形尤拉線的三維類比。 四面體十二點球的球心 T 也位於這條尤拉線上。但不像其二維類比，這個球心位於從蒙日點到外心 13 處。並且，從這個心到四面體任意一選定面的垂線與另兩條垂線共面：第一條是過其對應尤拉點（即蒙日點與該面所對頂點連線與十二點球的交點）到該面的垂線，第二條是過該面形心的垂線。這條十二點心垂線到尤拉點垂線和形心垂線的距離相等。除此以外，十二點心還是四面體任何一面對應尤拉點和該面垂心連線的中點。 四面體十二點球的半徑是外接球半徑的 13。 對於任意的四面體，我們能給出其二面角之間的關係： begin vmatrix 1 cos alpha_12 cos alpha_13 cos alpha_14 cos alpha_12 1 cos alpha_23 cos alpha_24 cos alpha_13 cos alpha_23 1 cos alpha_34 cos alpha_14 cos alpha_24 cos alpha_34 1 end vmatrix 0 這裡 alpha_ij 代表面 i 和 j 之間的二面角。 體積 任意四面體的體積公式可由稜錐的體積公式給出： V frac 13 A_0h 在這裡 A0 是底面面積，h 是從底面到頂點的高。這個體積公式對四個任意的底面的選擇都成立，因此我們可以推斷出對同一個四面體，其一個面上的高與這面的面積成反比。 對於一個四個頂點分別為 、 、 、 的四面體，其體積公式為一公式也可以用點積和叉積寫為： V frac mathbf amathbf d cdot mathbf bmathbf d times mathbf cmathbf d 6 如果建立恰當的座標系統，使得原點與 d 頂點重合，即 d0 的話，該式可以簡化為： V frac mathbf a cdot mathbf b times mathbf c 6 這裡 a、b、c 代表著三條交於一頂點的邊，並且我們發現是標量三重積。將這個公式與計算平行六面體體積的公式對比，我們發現正四面體的體積等於任何與其共三條交於一頂點的邊的平行六面體體積的六分之一。 這個三重積可以用下列行列式表示： 6 cdot V begin vmatrix mathbf a mathbf b mathbf c end vmatrix 或者 6 cdot V begin vmatrix mathbf a mathbf b mathbf c end vmatrix 這裡像 mathbf a a_1a_2a_3 可以被表示為橫或縱向量。 因此 36 cdot V2 begin vmatrix mathbf a2 mathbf a cdot mathbf b mathbf a cdot mathbf c mathbf a cdot mathbf b mathbf b2 mathbf b cdot mathbf c mathbf a cdot mathbf c mathbf b cdot mathbf c mathbf c2 end vmatrix 這裡 mathbf a cdot mathbf b abcos gamma 等。 這樣，我們能給出： V frac abc 6 sqrt 1 2cos alphacos betacos gammacos2 alphacos2 betacos2 gamma 這裡 α、β、γ 是以 d 為頂點的平面角。角 α 是連線頂點 d 和頂點 b、c 的稜之間的夾角，而 β 是 d 到 a、c 稜的夾角，γ 是 d 到 a、b 稜的夾角。 如果我們已知四面體四個頂點之間相互的距離，那麼其體積可用表示： 288 cdot V2 begin vmatrix 0 1 1 1 1 1 0 d_122 d_132 d_142 1 d_122 0 d_232 d_242 1 d_132 d_232 0 d_342 1 d_142 d_242 d_342 0 end vmatrix 這裡下標 ijin1234 代表頂點 a b c d，而 scriptstyle d_ij 是兩兩頂點之間的距離，亦即連線著兩頂點之間稜的長度。如果行列式是零或是負數這意味著我們不可能用該給定的 4 個長度來構建一個四面體。這個公式，亦被稱作塔塔利亞公式，被 15 世紀的畫家皮耶羅德拉弗朗切斯卡認為是極其重要的，它被看作是 1 世紀的三角形面積海倫公式的三維類比。Simplex Volumes and the CayleyMenger Determinant MathPagescom 海倫公式形態的四面體體積公式 如果 U、V、W、u、v、w 是四面體的六條邊長（U、V、W 構成四面體的其中一個三角形面，而 u 是與 U 相對的稜，v 是與 V 相對的稜，w 是與 W 相對的稜），則四面體體積 Kahan William M What has the Volume of a Tetrahedron to do with Computer Programming Languages pp 1617 V frac sqrt a b c da b c da b c da b c d192uvw 這裡 begin align a sqrt xYZ b sqrt yZX c sqrt zXY d sqrt xyz X w U vU v w x U v wv w U Y u V wV w u y V w uw u V Z v W uW u v z W u vu v W end align 利用四面體邊之間的距離 四面體兩條相對的邊處於兩條互相歪斜（在三維空間中既不相交也不平行，等價於異面）的直線上，所以四面體相對邊之間的距離就被定義為其所在互相歪斜的直線之間的距離。設 d 是四面體相對的邊 a 和 之間的距離，則四面體的另一個體積公式是： V frac d mathbf a times mathbf bc 6 關於四面體性質的其它向量公式 如果 OABC 四點能夠構成一個四面體，並且 O 點位於我們所定的空間直角座標系的原點，而向量 a、b、c 代表著頂點 A、B、C 相對於 O 的位置，則四面體內切圓半徑可表示為：（在以下的公式中，像 a2 這樣的向量的平方代表著數量積 aa，b2 和 c2 也是這樣） r frac 6V mathbf b times mathbf c mathbf c times mathbf a mathbf a times mathbf b mathbf b times mathbf c mathbf c times mathbf a mathbf a times mathbf b 外接圓半徑可表示為： R frac mathbf a2mathbf b times mathbf c mathbf b2mathbf c times mathbf a mathbf c2mathbf a times mathbf b 12V 於是我們可知十二點圓半徑為： r_T frac mathbf a2mathbf b times mathbf c mathbf b2mathbf c times mathbf a mathbf c2mathbf a times mathbf b 36V 這裡 V 是四面體的體積： 6V mathbf a cdot mathbf b times mathbf c 四面體的各種中心的位置向量是： 形心： mathbf G frac mathbf a mathbf b mathbf c4 內心： mathbf I frac mathbf btimes mathbf c mathbf a mathbf ctimes mathbf a mathbf b mathbf atimes mathbf b mathbf c mathbf btimes mathbf c mathbf ctimes mathbf a mathbf atimes mathbf b mathbf btimes mathbf c mathbf ctimes mathbf a mathbf atimes mathbf b 外心： mathbf O frac mathbf a2mathbf b times mathbf c mathbf b2mathbf c times mathbf a mathbf c2mathbf a times mathbf b 2mathbf a cdot mathbf b times mathbf c 蒙日點： mathbf M frac mathbf a cdot mathbf b mathbf cmathbf b times mathbf c mathbf bcdot mathbf c mathbf amathbf c times mathbf a mathbf c cdot mathbf a mathbf bmathbf a times mathbf b 2mathbf a cdot mathbf b times mathbf c 尤拉線上的中心之間的關係是： mathbf G mathbf M frac 12 mathbf Omathbf M mathbf T mathbf M frac 13 mathbf Omathbf M 這裡 T 是十二點心。 在這裡，我們還有： mathbf a cdot mathbf O frac mathbf a22 quadquad mathbf b cdot mathbf O frac mathbf b22 quadquad mathbf c cdot mathbf O frac mathbf c22 和： mathbf a cdot mathbf M frac mathbf a cdot mathbf b mathbf c2 quadquad mathbf b cdot mathbf M frac mathbf b cdot mathbf c mathbf a2 quadquad mathbf c cdot mathbf M frac mathbf c cdot mathbf a mathbf b2 對稱變換群 以下列表示出了對應四面體的圖案，相同顏色的稜在等距同構對稱變換中是等價的，而灰色則代表著條邊是不同於任何另外一邊的。 四面體名稱 四面體名稱 四面體名稱 四面體名稱 邊 BR 等價 BR 圖案 描述 邊 BR 等價 BR 圖案 描述 階 邊 BR 等價 BR 圖案 描述 正四面體 正四面體 正四面體 正四面體 四個等邊三角形，形成對稱群 Td，與對稱群 S4 同構。 TdBRT 33BR33 332BR332 24BR12 四個等邊三角形，形成對稱群 Td，與對稱群 S4 同構。 正三稜錐 正三稜錐 正三稜錐 正三稜錐 一個等邊三角形底面及三個等腰三角形側面，有 6 個等距同構的對稱變換，對應其底面的 6 個對稱變換。對於所有可能的頂點排布，t 這 6 個對稱變換是：單位元 1、123、132、12、13 和 23，形成對稱群 C3v，與對稱群 S3 同構。 C3vBRC3 3BR3 33BR33 6BR3 一個等邊三角形底面及三個等腰三角形側面，有 6 個等距同構的對稱變換，對應其底面的 6 個對稱變換。對於所有可能的頂點排布，t 這 6 個對稱變換是：單位元 1、123、132、12、13 和 23，形成對稱群 C3v，與對稱群 S3 同構。 複正方鍥形體 BR 等腰四面體 複正方鍥形體 BR 等腰四面體 複正方鍥形體 BR 等腰四面體 複正方鍥形體 BR 等腰四面體 四個全等的等腰三角形，具有 8 個等距同構的對稱變換。如果邊 12 和 34 和另外 4 條邊是不同顏色的，那麼這 8 個對稱變換是：單位元 1、鏡面反射 12 和 34、和 1234、1324、1423 的 180 旋轉以及非嚴格的 1234 和 1432 90 旋轉。這些一起形成了對稱群 D2d D2dBRS4 24BR24 22BR2 8BR4 四個全等的等腰三角形，具有 8 個等距同構的對稱變換。如果邊 12 和 34 和另外 4 條邊是不同顏色的，那麼這 8 個對稱變換是：單位元 1、鏡面反射 12 和 34、和 1234、1324、1423 的 180 旋轉以及非嚴格的 1234 和 1432 90 旋轉。這些一起形成了對稱群 D2d 複斜方鍥形體 BR 非等腰四面體 複斜方鍥形體 BR 非等腰四面體 複斜方鍥形體 BR 非等腰四面體 複斜方鍥形體 BR 非等腰四面體 四個全等的任意三角形，具有 4 個等距同構的對稱變換。這些變換是：1 和 1234、1324、1423 的 180 旋轉。這形成了柯恩四面體群 V4 或者 Z22，表現為點群 D2。 D2 22 222 4 四個全等的任意三角形，具有 4 個等距同構的對稱變換。這些變換是：1 和 1234、1324、1423 的 180 旋轉。這形成了柯恩四面體群 V4 或者 Z22，表現為點群 D2。 二面體鍥形體 二面體鍥形體 二面體鍥形體 二面體鍥形體 兩組全等的等腰三角形。在此對稱性下，對邊 12 和 34 是垂直的，但是 顏色 不同，4 個等距同構的對稱變換是：1、鏡面反射 12 和 34 以及 1234 的 180 旋轉。對稱群是 C2v，與柯恩四面體群 V4 同構 C2vBRD1h 2 22 4 兩組全等的等腰三角形。在此對稱性下，對邊 12 和 34 是垂直的，但是 顏色 不同，4 個等距同構的對稱變換是：1、鏡面反射 12 和 34 以及 1234 的 180 旋轉。對稱群是 C2v，與柯恩四面體群 V4 同構 單鍥形體 單鍥形體 單鍥形體 單鍥形體 兩個不同的等腰三角形共用一個底邊。它有兩對相等的邊 13 和 14、23 和 24，除此之外再沒有相等的邊。唯一兩個等距同構的對稱變換是：1 和鏡面反射 34，對應對稱群 Cs 又同構於迴圈群 Z2。 CsBRC1hBRC1v 2 兩個不同的等腰三角形共用一個底邊。它有兩對相等的邊 13 和 14、23 和 24，除此之外再沒有相等的邊。唯一兩個等距同構的對稱變換是：1 和鏡面反射 34，對應對稱群 Cs 又同構於迴圈群 Z2。 半轉四面體 半轉四面體 半轉四面體 半轉四面體 兩組全等的任意三角形。它有兩組相等的邊 13 和 24、14 和 23，除此之外再沒有相等的邊。唯一兩個等距同構的對稱變換是：1 和旋轉 1234， 對應群 C2，同構於迴圈群 Z2。 C2BRD1 2 22 2 兩組全等的任意三角形。它有兩組相等的邊 13 和 24、14 和 23，除此之外再沒有相等的邊。唯一兩個等距同構的對稱變換是：1 和旋轉 1234， 對應群 C2，同構於迴圈群 Z2。 任意四面體 任意四面體 任意四面體 任意四面體 沒有相等的邊，有 4 個不相等的任意三角形面，所以只有單位元變換是等距同構的，對稱群是平凡群。 C1 1 1 沒有相等的邊，有 4 個不相等的任意三角形面，所以只有單位元變換是等距同構的，對稱群是平凡群。 四面體正弦定理和所有形狀四面體所構成的空間 透過通常的三角形正弦定理，我們可以得到一個自然的推論，即在以 O、A、B、C 為頂點的四面體中，有 sinangle OABcdotsinangle OBCcdotsinangle OCA sinangle OACcdotsinangle OCBcdotsinangle OBA 這個等式的兩邊可以被看作分別是順時針取向的角的正弦乘積和逆時針取向角的正弦乘積。 透過將不同的頂點置於上式中 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 個面，且皆為三角形，因此結構基本上與四面體等價，皆為由四個三角形合成的立體。由於底面和側面皆為三角形，因此視為三角錐時，可以任一面為底，因此詞彙「三角錐」與「四面體」有時會被視為同義詞。 正三角錐 雖然「三角錐」與「四面體」有時會被視為同義詞，但前方加一個「正」字就不一定了，例如正三角錐可以指底面為正三角形的角錐，在這個定義下則是要求四面體的其中一個面要是正三角形；而正四面體則要求四個面都要是正三角形。 正三角錐 錐高較低的正三角錐 正四面體 錐高較高的正三角錐 斜正三角錐 二角柱 二角柱是指底面為二角形的柱體，由於其底面為二角形，因此在歐幾裡得空間中，其已經退化無法擁有體積。在球面幾何學中，其可以作為球面鑲嵌，此時的二角柱由兩個球面二角形和兩個球面四邊形構成，等價於二角形二面體經截角變換後的結果，因此又可稱為截角二角形二面體。這種二角柱共有 4 個面、6 條邊和 4 個頂點，對偶多面體為雙二角錐。 雙二角錐 雙二角錐是以二角形為底的雙錐體，為二角柱的對偶多面體。由於其以二角形為底，因此在歐幾裡得空間中，其已經退化無法擁有體積。在球面幾何學中，其可以作為球面鑲嵌，這種雙二角錐可以視為多了兩個頂點的四面形。雙二角錐由 4 個面、6 條邊和 4 個頂點組成，其四個面都是三角形，但拓撲結構與非退化的凸四面體不同，其中的兩個頂點為對蹠點，剩下的兩個頂點位於赤道面上連結與對蹠點相連的兩條邊。 八面體半形 八面體半形也是一種四面體，可透過將正八面體對應對映後而獲得，它有著正八面體一半的面。 它也可以視為沒有底面的正四角錐，算是一種非嚴格的錐體，換句話說，其為正八面體的一半。 四面形 在幾何學中，四面形是一種基底為四邊形的多面形，由 4 個月牙形或球弓形組成的球面鑲嵌，並且使得每一個月牙形或球弓形共用相同的兩個頂點。其在施萊夫利符號中用 24 表示。其亦可以視為由球面正二角形組成的球面鑲嵌圖，又稱為四階二角形鑲嵌或四階二邊形鑲嵌。 四面形是一種退化的四面體，無法擁有體積，由四個二角形組成。在球面幾何學中，四面形可以在球面上以鑲嵌的方式存在，其對偶多面體是四邊形二面體。 四面形由四個二角形組成，每個頂點都是四個二角形的公共頂點。正四面形的每個面都是正二角形，且每個頂點都是四個正二角形的公共頂點，因此正四面形也可以視為一種正多面體，但是因為其已退化，因此不會與柏拉圖立體一同討論。 四面形具有 D4h 24 224 的對稱性和 D4 24 的旋轉對稱性，且階數為 16，在考克斯特符號中用表示，其對稱性與四角柱相同，因此四角柱也可以視為一種與四面形相關的立體，因為四角柱可以經由四面形透過截角變換構造。 四面體列表 名稱 種類 影像 符號 頂點 邊 面 χ 面的種類 對稱性 正四面體 正多面體 4 6 4 2 4 個正三角形 A3 33 332 三角錐 角錐 4 6 4 2 1 個三角形底面 3 個三角形側面 C3v 3 33 二角柱截角二角形二面體 稜柱退化多面體 t 222 x 4 6 4 2 2 個二角形 2 個矩形 D2h 22 222 order 8 雙二角錐 雙錐體退化多面體球面多面體 4 6 4 2 4 個三角形 D2h 22 222 order 8 一角反稜柱 反稜柱退化多面體球面多面體 h01 22 s 211 2 4 4 2 2 個一角形 2 個三角形 D1d 22 21 order 4 四面形 多面形退化多面體 24 2 4 4 2 4 個二角形 D4h 24 224 order 16 皮特里立方體 皮特里對偶 43 8 12 4 0 4 個正扭歪六邊形 皮特里正八面體 皮特里對偶 34 6 12 4 2 4 個正扭歪六邊形 八面體半形 342 34 3 3 6 4 1 4 個正三角形 S4 order 24 44 21 環形多面體 44 21 4 8 4 0 4 個正方形 63 21 環形多面體 63 21 8 8 4 4 4 個正六邊形 相關多面體 任意非退化的四面體皆是三角錐的一種，因此與其它的錐體有相似的關連。 錐體形式鑲嵌系列： 球面鑲嵌 球面鑲嵌 錐體 錐體 錐體 錐體 錐體 錐體 錐體 錐體 錐體 歐式鑲嵌 BR 仿緊空間 雙曲鑲嵌 BR 非緊空間 BR 一角錐 BRC1v 1 BR 二角錐 BRC2v 2 BR 三角錐 BRC3v 3 BR 四角錐 BRC4v 4 BR 五角錐 BRC5v 5 BR 六角錐 BRC6v 6 BR 七角錐 BRC7v 7 BR 八角錐 BRC8v 8 BR 九角錐 BRC9v 9 BR 十角錐 BRC10v 10 BRBRBR BR 無限角錐 BRCv BR 超無限角錐 BRCiπλv iπλ 註釋 參考文獻 參見 正四面體 截角四面體 四面體數 外部連結 Free paper models of a tetrahedron and many other polyhedra An Amazing Space Filling Nonregular Tetrahedron that also includes a description of a rotating ring of tetrahedra also known as a kaleidocycle Category 多面體 Category 四