查看“︁四面體”︁的源代码

{{NoteTA|G1=Math}}
{{otheruses}}
{{Infobox polyhedron
| name = 四面體<br/>三角錐
| polyhedron = 四面體
| imagename = Linear antiprism.png
| rotating = Tetrahedron.gif
| Face       =4
| Edge       =6
| Vertice    =4
| Face_type = [[三角形]]
| Schläfli      ={3,3}
| Wythoff       =3 &#124;  2 3
| Coxeter_diagram={{CDD|node|4|node|2|node_1}}
| Symmetry_group      =''C''<sub>3v</sub>, [3], (*33)
| Rotation_group   =''C''<sub>3</sub>, [3]<sup>+</sup>, (33)
| dual          =四面體
| dual_image = Tetrahedron-dual.png
}}
[[File:Driezijdige piramide.png|right|thumb|240px]]
'''四面體'''是由四個[[三角形]][[面 (幾何)|面]]組成的[[多面體]]，每两个三角形都有一个共同的边，每三个三角形都有一个共同的[[頂點 (幾何)|顶点]]。四面體也可以視為由四個三角形合成的[[角錐]]，底面為三角形，可以任一面為[[底]]，因此又稱為'''[[#三角錐|三角錐]]'''<ref name="四面體字典解釋">{{Cite web | url =https://dict.revised.moe.edu.tw/dictView.jsp?ID=143535 | title =四面體 | publisher =教育部重編國語辭典 | access-date =2022-12-28 | archive-date =2022-12-28 | archive-url =https://web.archive.org/web/20221228045538/https://dict.revised.moe.edu.tw/dictView.jsp?ID=143535 | dead-url =no }}</ref>或'''三稜錐'''<ref name="三角錐字典解釋">{{Cite web | url =https://dict.revised.moe.edu.tw/dictView.jsp?ID=144609 | title =三角錐 | publisher =教育部重編國語辭典 | access-date =2022-12-28 | archive-date =2022-12-28 | archive-url =https://web.archive.org/web/20221228045528/https://dict.revised.moe.edu.tw/dictView.jsp?ID=144609 | dead-url =no }}</ref>。所有四面体皆由四个顶点、六条棱和四个面組成，是所有凸多面体中最简单的。四面體包括[[正四面體]]、[[鍥形體]]等種類，由四個全等的正[[三角形]]組成的四面體稱為[[正四面體]]。四面体也可以依角的類型分為'''銳角四面體'''、'''鈍角四面體'''、和[[直角]]四面體。

四面体是[[欧几里德几何|欧几里德]][[单纯形]]在[[三维空间]]中的特例。

四面体是目前已知兩種每個面都與其他所有面相鄰的多面體之一，另外一種是[[希洛西七面體]]。<ref name="minortriad.com">{{citation
 | last = Ace
 | first = Tom
 | title = The Szilassi polyhedron
 | url = http://www.minortriad.com/szilassi.html
 | accessdate = 2013-03-03
 | archive-date = 2016-09-07
 | archive-url = https://web.archive.org/web/20160907084223/http://www.minortriad.com/szilassi.html
 | dead-url = no
 }}</ref><ref name="arseneva2021adjacency">{{cite journal
  |title=Adjacency Graphs of Polyhedral Surfaces
  |author=Arseneva, Elena and Kleist, Linda and Klemz, Boris and Löffler, Maarten and Schulz, André and Vogtenhuber, Birgit and Wolff, Alexander
  |journal=arXiv preprint arXiv:2103.09803
  |year=2021}}</ref>

四面体也是锥体的一种。锥体是指将某个平面上的多面体的所有顶点分别和平面外的一点以线段连接後构成的多面体。按锥体的分类方法，所有四面體都是由某平面上的三角形和平面外一点构成的锥体，所以四面体也被称为[[三角錐體|三角錐]]。<ref name="四面體字典解釋"/><ref name="三角錐字典解釋"/>

与所有的凸多面体一样，四面体可以由某个平面图形（[[展开图]]）折叠而成。这样的展开图通常有两种。

与三角形类似，任何四面体的四个顶点都在同一个[[球面]]上。这个球称为四面体的[[外接球]]。同样地，存在一个与四面体的四个面都相切的球，称为四面体的[[内切球]]。

== 性质 ==
四面体具有许多与之二维类比三角形相似的性质，例如，像三角形一样，四面体也有内切球、外接球、旁切球和中点四面体。四面体也有各种不同几何意义上的中心，例如内心、外心、旁心、{{link-en|Spieker心|Spieker circle}}和形心（在二维，Spieker心就是形心，但在三维情况发生了变化，Spieker心并不一定是形心），但是，四面体不总是有垂心，因为四面体的4条高并不一定交于一点。四面体的中点四面体的外接球是三角形[[九点圆]]的三维类比，但它并不总是通过原四面体高的垂足。

[[加斯帕尔·蒙日]]发现了存在于每一个四面体中的一个特殊中心，现在被命名为''蒙日点''：它是四面体六个中位面的交点。四面体的中位面被定义为一个与四面体其中两个顶点连成的边垂直，并且包含由另外两个顶点连成的对边的中点的平面。如果四面体的4条高交于了一点，形成了垂心，那么蒙日点将与垂心重合，并且这样的特殊四面体被称为“{{link-en|垂心四面体|Orthocentric tetrahedron}}”。

从蒙日点引向任意一面的垂线都会交这个面于这个三角形面的垂心与此面上四面体的高的垂足连线的中点。

四面体顶点和其对面[[形心]]的连线叫做四面体的''中线''，而四面体一条边中点和其对边中点的连线叫做四面体的''双中线''，这样，四面体中一共有4条中线和3条双中线。这7条线段都是[[共点]]的，它们的交点即是四面体的''形心''。四面体的形心是其蒙日点和外心连线的中点，这3个点一起决定了四面体的''欧拉线''，这是二维三角形[[欧拉线]]的三维类比。

四面体十二点球的球心''T''也位于这条欧拉线上。但不像其二维类比，这个球心位于从蒙日点到外心<sup>1</sup>/<sub>3</sub>处。并且，从这个心到四面体任意一选定面的垂线与另两条垂线共面：第一条是过其对应欧拉点（即蒙日点与该面所对顶点连线与十二点球的交点）到该面的垂线，第二条是过该面形心的垂线。这条十二点心垂线到欧拉点垂线和形心垂线的距离相等。除此以外，十二点心还是四面体任何一面对应欧拉点和该面垂心连线的中点。

四面体十二点球的半径是外接球半径的<sup>1</sup>/<sub>3</sub>。

对于任意的四面体，我们能给出其二面角之间的关系：
:<math>\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\,</math>
这里<math> \alpha_{ij}</math>代表面''i''和''j''之间的二面角。

=== 体积 ===
[[不等面四面體|任意四面体]]的[[体积]]公式可由[[棱锥]]的体积公式给出：
:<math>V = \frac{1}{3} A_0\,h \,</math>
在这里''A<sub>0</sub>''是底面面积，''h''是从底面到顶点的高。这个体积公式对四个任意的底面的选择都成立，因此我们可以推断出对同一个四面体，其一个面上的高与这面的面积成反比。

对于一个四个顶点分别为
{{nowrap|'''a''' {{=}} (''a''<sub>1</sub>, ''a''<sub>2</sub>, ''a''<sub>3</sub>)}}、
{{nowrap|'''b''' {{=}} (''b''<sub>1</sub>, ''b''<sub>2</sub>, ''b''<sub>3</sub>)}}、
{{nowrap|'''c''' {{=}} (''c''<sub>1</sub>, ''c''<sub>2</sub>, ''c''<sub>3</sub>)}}、
{{nowrap|'''d''' {{=}} (''d''<sub>1</sub>, ''d''<sub>2</sub>, ''d''<sub>3</sub>)}}
的四面体，其体积公式为{{nowrap|(1/6)·{{!}}('''a''' − '''d''', '''b''' − '''d''', '''c''' − '''d'''){{!}}}}一公式也可以用[[点积]]和[[叉积]]写为：
:<math>V = \frac { |(\mathbf{a}-\mathbf{d}) \cdot [(\mathbf{b}-\mathbf{d}) \times (\mathbf{c}-\mathbf{d})]| } {6}.</math>
如果建立恰当的坐标系统，使得原点与'''d'''顶点重合，即'''d'''=0的话，该式可以简化为：
:<math>V = \frac { |\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})| } {6},</math>
这里'''a'''、'''b'''、'''c'''代表着三条交于一顶点的边，并且我们发现{{nowrap|'''a''' · ('''b''' × '''c''')}}是[[三重积|标量三重积]]。将这个公式与计算[[平行六面体]]体积的公式对比，我们发现正四面体的体积等于任何与其共三条交于一顶点的边的平行六面体体积的六分之一。

这个三重积可以用下列[[行列式]]表示：
:<math>6 \cdot V =\begin{vmatrix}
\mathbf{a} & \mathbf{b} & \mathbf{c}
\end{vmatrix}</math>{{pad|2em}}或者{{pad|1em}}<math>6 \cdot V =\begin{vmatrix}
\mathbf{a} \\ \mathbf{b} \\ \mathbf{c}
\end{vmatrix}</math>{{pad|2em}}这里像{{pad|1em}}<math>\mathbf{a} = (a_1,a_2,a_3) \,</math>{{pad|1em}}可以被表示为横或纵向量。

因此
:<math>36 \cdot V^2 =\begin{vmatrix}
\mathbf{a^2} & \mathbf{a} \cdot \mathbf{b} & \mathbf{a} \cdot \mathbf{c} \\
\mathbf{a} \cdot \mathbf{b} & \mathbf{b^2} & \mathbf{b} \cdot \mathbf{c} \\
\mathbf{a} \cdot \mathbf{c} & \mathbf{b} \cdot \mathbf{c} & \mathbf{c^2}
\end{vmatrix}</math>{{pad|1em}}这里{{pad|1em}}<math>\mathbf{a} \cdot \mathbf{b} = ab\cos{\gamma}</math>{{pad|1em}}等。

这样，我们能给出：
:<math>V = \frac {abc} {6} \sqrt{1 + 2\cos{\alpha}\cos{\beta}\cos{\gamma}-\cos^2{\alpha}-\cos^2{\beta}-\cos^2{\gamma}}, \,</math>
这里''α''、''β''、''γ''是以'''d'''为顶点的平面角。角''α''是连接顶点'''d'''和顶点'''b'''、'''c'''的棱之间的夹角，而''β''是'''d'''到'''a'''、'''c'''棱的夹角，''γ''是'''d'''到'''a'''、'''b'''棱的夹角。

如果我们已知四面体四个顶点之间相互的距离，那么其体积可用{{link-en|Cayley–Menger行列式|Cayley–Menger determinant}}表示：
:<math>288 \cdot V^2 =
\begin{vmatrix}
  0 & 1        & 1        & 1        & 1        \\
  1 & 0        & d_{12}^2 & d_{13}^2 & d_{14}^2 \\
  1 & d_{12}^2 & 0        & d_{23}^2 & d_{24}^2 \\
  1 & d_{13}^2 & d_{23}^2 & 0        & d_{34}^2 \\
  1 & d_{14}^2 & d_{24}^2 & d_{34}^2 & 0
\end{vmatrix}</math>
这里下标<math>i,\,j\in\{1,\,2,\,3,\,4\}</math>代表顶点{'''a''', '''b''', '''c''', '''d'''}，而<math>\scriptstyle d_{ij}</math>是两两顶点之间的距离，亦即连接着两顶点之间棱的长度。如果行列式是零或是负数这意味着我们不可能用该给定的4个长度来构建一个四面体。这个公式，亦被称作[[塔塔利亚公式]]，被15世纪的画家[[皮耶罗·德拉·弗朗切斯卡]]认为是极其重要的，它被看作是1世纪的三角形面积[[海伦公式]]的三维类比。<ref>[http://www.mathpages.com/home/kmath664/kmath664.htm "Simplex Volumes and the Cayley-Menger Determinant"] {{Wayback|url=http://www.mathpages.com/home/kmath664/kmath664.htm |date=20131006175505 }}, MathPages.com</ref>

==== 海伦公式形态的四面体体积公式 ====
如果U、V、W、u、v、w是四面体的六条边长（U、V、W构成四面体的其中一个三角形面，而u是与U相对的棱，v是与V相对的棱，w是与W相对的棱），则四面体体积<ref>Kahan, William M.; [http://www.cs.berkeley.edu/~wkahan/VtetLang.pdf "What has the Volume of a Tetrahedron to do with Computer Programming Languages?"] {{Wayback|url=http://www.cs.berkeley.edu/~wkahan/VtetLang.pdf |date=20130627001208 }}, pp. 16–17</ref>
:<math>V = \frac{\sqrt {\,( - a + b + c + d)\,(a - b + c + d)\,(a + b - c + d)\,(a + b + c - d)}}{192\,u\,v\,w}</math>
这里
: <math>
\begin{align}
    a & = \sqrt {xYZ} \\ b & = \sqrt {yZX} \\ c & = \sqrt {zXY} \\ d & = \sqrt {xyz} \\ X & = (w - U + v)\,(U + v + w) \\ x & = (U - v + w)\,(v - w + U) \\ Y & = (u - V + w)\,(V + w + u) \\ y & = (V - w + u)\,(w - u + V) \\ Z & = (v - W + u)\,(W + u + v) \\ z & = (W - u + v)\,(u - v + W).
\end{align}
</math>

==== 利用四面体边之间的距离 ====
四面体两条相对的边处于两条互相[[歪斜]]（在三维空间中既不相交也不平行，等价于[[异面]]）的直线上，所以四面体相对边之间的距离就被定义为其所在互相歪斜的直线之间的距离。设''d''是四面体相对的边'''a''' 和 {{nowrap|'''b''' − '''c'''}}之间的距离，则四面体的另一个体积公式是：
:<math>V = \frac {d |[\mathbf{a} \times \mathbf{(b-c)}]| } {6}.</math>

=== 关于四面体性质的其它向量公式 ===
如果OABC四点能够构成一个四面体，并且O点位于我们所定的空间直角坐标系的原点，而向量'''a'''、'''b'''、'''c'''代表着顶点A、B、C相对于O的位置，则四面体内切圆半径可表示为：（在以下的公式中，像'''a'''<sup>2</sup>这样的向量的平方代表着[[数量积]]'''a·a'''，'''b'''<sup>2</sup>和'''c'''<sup>2</sup>也是这样）
:<math>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})|} \,</math>
外接圆半径可表示为：
:<math>R= \frac {|\mathbf{a^2}(\mathbf{b} \times \mathbf{c}) + \mathbf{b^2}(\mathbf{c} \times \mathbf{a}) + \mathbf{c^2}(\mathbf{a} \times \mathbf{b})|} {12V} \,</math>
于是我们可知十二点圆半径为：
:<math>r_T= \frac {|\mathbf{a^2}(\mathbf{b} \times \mathbf{c}) + \mathbf{b^2}(\mathbf{c} \times \mathbf{a}) + \mathbf{c^2}(\mathbf{a} \times \mathbf{b})|} {36V} \,</math>
这里''V''是四面体的体积：
:<math>6V= |\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})|. \,</math>
四面体的各种中心的位置向量是：
形心：
:<math>\mathbf{G} = \frac{\mathbf{a} + \mathbf{b} + \mathbf{c}}{4}. \,</math>
内心：
:<math>\mathbf{I}= \frac{ |\mathbf{b}\times \mathbf{c}| \, \mathbf{a} + |\mathbf{c}\times \mathbf{a}| \, \mathbf{b} + |\mathbf{a}\times \mathbf{b}| \, \mathbf{c} }{ |\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}| }. \,</math>
外心：
:<math>\mathbf{O}= \frac {\mathbf{a^2}(\mathbf{b} \times \mathbf{c}) + \mathbf{b^2}(\mathbf{c} \times \mathbf{a}) + \mathbf{c^2}(\mathbf{a} \times \mathbf{b})} {2\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})}. \,</math>
蒙日点：
:<math>\mathbf{M} = \frac {\mathbf{a} \cdot (\mathbf{b} + \mathbf{c})(\mathbf{b} \times \mathbf{c}) + \mathbf{b}\cdot (\mathbf{c} + \mathbf{a})(\mathbf{c} \times \mathbf{a}) + \mathbf{c} \cdot (\mathbf{a} + \mathbf{b})(\mathbf{a} \times \mathbf{b})} {2\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})}. \,</math>
欧拉线上的中心之间的关系是：
:<math> \mathbf{G} = \mathbf{M} + \frac{1}{2} (\mathbf{O}-\mathbf{M})\,</math>
:<math> \mathbf{T} = \mathbf{M} + \frac{1}{3} (\mathbf{O}-\mathbf{M})\,</math>
这里'''T'''是十二点心。
在这里，我们还有：
:<math>\mathbf{a} \cdot \mathbf{O} = \frac {\mathbf{a^2}}{2} \quad\quad \mathbf{b} \cdot \mathbf{O} = \frac {\mathbf{b^2}}{2} \quad\quad \mathbf{c} \cdot \mathbf{O} = \frac {\mathbf{c^2}}{2}\,</math>
和：
:<math>\mathbf{a} \cdot \mathbf{M} = \frac {\mathbf{a} \cdot (\mathbf{b} + \mathbf{c})}{2} \quad\quad \mathbf{b} \cdot \mathbf{M} = \frac {\mathbf{b} \cdot (\mathbf{c} + \mathbf{a})}{2} \quad\quad \mathbf{c} \cdot \mathbf{M} = \frac {\mathbf{c} \cdot (\mathbf{a} + \mathbf{b})}{2}.\,</math>

=== 對稱變換群 ===
以下列表示出了对应四面体的图案，相同颜色的棱在等距同构对称变换中是等价的，而灰色则代表着条边是不同于任何另外一边的。
{| class=wikitable
!colspan=4|四面体名称
!rowspan=3|边<BR>等价<BR>图案
!rowspan=3|描述
|- align=center
!colspan=4|{{en-link|對稱群列表|List of spherical symmetry groups|对称性}}
|- align=center
!{{en-link|申弗利斯符號|Schönflies_notation|弗氏}}
!{{en-link|考克斯特符號|Coxeter notation|考式}}
!{{en-link|轨形符号|Orbifold notation|軌式}}
![[阶（群论）|阶]]
|- align=center
!colspan=4|[[正四面体]]
|rowspan=2|[[File:Regular_tetrahedron_diagram.png|60px]]
|rowspan=2 align=left|四个'''[[等边三角形]]'''，形成对称群''T''<sub>d</sub>，与[[对称群]]''S''<sub>4</sub>同构。
|- align=center
||''T''<sub>d</sub><BR>''T''||[3,3]<BR>[3,3]<sup>+</sup>||*332<BR>332|| 24<BR>12
|- align=center
!colspan=4|[[正三棱锥]]
|rowspan=2|[[File:Isosceles_trigonal_pyramid_diagram.png|60px]]
|rowspan=2 align=left|一个'''[[等边三角形]]'''底面及三个'''[[等腰三角形]]'''侧面，有6个等距同构的对称变换，对应其底面的6个对称变换。对于所有可能的顶点排布，t这6个对称变换是：单位元 1、(123)、(132)、(12)、(13)和(23)，形成对称群''C''<sub>3v</sub>，与[[对称群]]''S''<sub>3</sub>同构。
|- align=center
||''C''<sub>3v</sub><BR>C<sub>3</sub> ||[3]<BR>[3]<sup>+</sup> || *33<BR>33 ||6<BR>3
|-align=center
!colspan=4|[[複正方鍥形體]]<BR>等腰四面体
|rowspan=2|[[File:Tetragonal_disphenoid_diagram.png|60px]]
|rowspan=2 align=left|四个全等的'''等腰三角形'''，具有8个等距同构的对称变换。如果边(1,2)和(3,4)和另外4条边是不同颜色的，那么这8个对称变换是：单位元1、镜面反射(12)和 (34)、和(12)(34)、(13)(24)、(14)(23)的180°旋转以及非严格的(1234)和(1432)90°旋转。这些一起形成了对称群''D''<sub>2d</sub>.
|-align=center
|''D''<sub>2d</sub><BR>S<sub>4</sub> ||[2<sup>+</sup>,4]<BR>[2<sup>+</sup>,4<sup>+</sup>] ||2*2<BR>2×|| 8<BR>4
|-align=center
!colspan=4|[[複斜方鍥形體]]<BR>非等腰四面体
|rowspan=2|[[File:Rhombic_disphenoid_diagram.png|60px]]
|rowspan=2 align=left|四个全等的'''[[任意三角形]]'''，具有4个等距同构的对称变换。这些变换是：1和(12)(34)、(13)(24)、(14)(23)的180°旋转。这形成了[[柯恩四面体群]]''V''<sub>4</sub>或者'''Z'''<sub>2</sub><sup>2</sup>，表现为点群''D<sub>2</sub>''。
|-align=center
|''D<sub>2</sub>'' ||[2,2]<sup>+</sup> ||222||4
|-align=center
!colspan=4|[[二面体锲形体]]
|rowspan=2|[[File:Digonal_disphenoid_diagram.png|60px]]
|rowspan=2 align=left|两组全等的'''等腰三角形'''。在此对称性下，对边(1,2)和(3,4)是垂直的，但是“颜色”不同，4个等距同构的对称变换是：1、镜面反射(12)和(34)以及(12)(34)的180°旋转。对称群是''C''<sub>2v</sub>，与[[柯恩四面体群]]''V''<sub>4</sub>同构
|-align=center
|''C''<sub>2v</sub><BR>=''D''<sub>1h</sub> ||[2] ||*22||4
|- align=center
!colspan=4|单锲形体
|rowspan=2|[[File:Sphenoid_diagram.png|60px]]
|rowspan=2 align=left|两个不同的'''等腰三角形'''共用一个底边。它有两对相等的边(1,3)和(1,4)、(2,3)和(2,4)，除此之外再没有相等的边。唯一两个等距同构的对称变换是：1和镜面反射(34)，对应对称群 ''C''<sub>s</sub>又同构于[[循环群]]'''Z'''<sub>2</sub>。
|-align=center
|''C''<sub>s</sub><BR>=''C''<sub>1h</sub><BR>=''C''<sub>1v</sub>||[&nbsp;] ||*|| 2
|-align=center
!colspan=4|半转四面体
|rowspan=2|[[File:Half-turn_tetrahedron_diagram.png|60px]]
|rowspan=2 align=left|两组全等的'''任意三角形'''。它有两组相等的边(1,3)和(2,4)、(1,4)和(2,3)，除此之外再没有相等的边。唯一两个等距同构的对称变换是：1和旋转(12)(34)， 对应群''C''<sub>2</sub>，同构于[[循环群]]'''Z'''<sub>2</sub>。
|-align=center
|''C''<sub>2</sub><BR>=''D''<sub>1</sub> ||[2]<sup>+</sup> ||22 ||2
|-align=center
!colspan=4|[[不等面四面體|任意四面体]]
|rowspan=2|[[File:Scalene_tetrahedron_diagram.png|60px]]
|rowspan=2 align=left|没有相等的边，有4个不相等的'''[[任意三角形]]'''面，所以只有单位元变换是等距同构的，对称群是[[平凡群]]。
|-align=center
|C<sub>1</sub>||[&nbsp;]<sup>+</sup>||1||1
|}

=== 四面体正弦定理和所有形状四面体所构成的空间 ===
[[Image:tetra.png|280px]]

通过通常的三角形[[正弦定理]]，我们可以得到一个自然的推论，即在以''O''、''A''、''B''、''C''为顶点的四面体中，有
:<math>\sin\angle OAB\cdot\sin\angle OBC\cdot\sin\angle OCA = \sin\angle OAC\cdot\sin\angle OCB\cdot\sin\angle OBA.\,</math>
这个等式的两边可以被看作分别是顺时针取向的角的正弦乘积和逆时针取向角的正弦乘积。

通过将不同的顶点置于上式中''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個{{link-wd|Q27296354}}構成，但由於其構成面是一種[[扭歪多邊形]]，無法確定其封閉範圍及面積，因此無法存在體積與表面積；而退化的四面體例子如[[#四面形|四面形]]、[[八面體半形]]和[[#二角柱|二角柱]]等。

=== 三角錐 ===
[[File:Green triangular pyramid.svg|thumb|150px|三角錐]]
在幾何學中，三角錐是一種[[底面]]為[[三角形]]的錐體，這種錐體所有形式都與[[#top|四面體]]有相同的拓樸結構。根據角錐的定義，其由一個底面和一個頂點組成，底面的頂點與底面外的頂點相連接，形成與底面邊數相同數量的三角形側面。而三角錐是指底面為三角形的角錐，因此其會有3個側面，合計共4個面，且皆為三角形，因此結構基本上與四面體等價，皆為由四個三角形合成的立體。由於底面和側面皆為三角形，因此視為三角錐時，可以任一面為底，因此詞彙「三角錐」與「四面體」有時會被視為同義詞<ref name="四面體字典解釋"/>。

==== 正三角錐 ====
雖然「三角錐」與「四面體」有時會被視為同義詞<ref name="四面體字典解釋"/>，但前方加一個「正」字就不一定了，例如正三角錐可以指底面為正三角形的角錐，在這個定義下則是要求四面體的其中一個面要是正三角形；而[[正四面體]]則要求四個面都要是正三角形。
{| class=wikitable
|+ 正三角錐
|- valign=bottom
|[[File:Green short triangular pyramid.svg|100xpx]]
|[[File:Green regular tetrahedron.svg|100xpx]]
|[[File:Green triangular pyramid.svg|100xpx]]
|[[File:Green oblique triangular pyramid.svg|100xpx]]
|-
|錐高較低的<br/>正三角錐
|[[正四面體]]
|錐高較高的<br/>正三角錐
|斜正三角錐
|}
{{clear}}

=== 二角柱 ===
[[File:Spherical digonal prism.svg|thumb|作為球面鑲嵌的二角柱]]
二角柱是指[[底面]]為[[二角形]]的柱體，由於其底面為二角形，因此在歐幾里得空間中，其已經退化無法擁有體積。在[[球面幾何學]]中，其可以作為球面鑲嵌，此時的二角柱由兩個球面二角形和兩個球面四邊形構成，等價於二角形二面體經截角變換後的結果，因此又可稱為截角二角形二面體。這種二角柱共有4個面、6條邊和4個頂點，對偶多面體為[[#雙二角錐|雙二角錐]]。

=== 雙二角錐 ===
雙二角錐是以[[二角形]]為[[底]]的雙錐體，為[[#二角柱|二角柱]]的對偶多面體。由於其以二角形為底，因此在歐幾里得空間中，其已經退化無法擁有體積。在[[球面幾何學]]中，其可以作為球面鑲嵌，這種雙二角錐可以視為多了兩個頂點的[[#四面形|四面形]]。雙二角錐由4個面、6條邊和4個頂點組成，其四個面都是三角形，但拓撲結構與非退化的凸四面體不同，其中的兩個頂點為[[對蹠點]]，剩下的兩個頂點位於赤道面上連結與對蹠點相連的兩條邊。
{{clear}}

=== 八面體半形 ===
[[File:Hemi-octahedron2.png|200px|thumb|[[八面體半形]]]]
{{main|八面體半形}}
八面體半形也是一種四面體，可透過將[[正八面體]]對應映射後而獲得，它有著正八面體一半的面。
它也可以視為沒有底面的[[正四角錐]]，算是一種非嚴格的[[錐體]]，換句話說，其為正八面體的一半<ref name="simonov1968characteristics">{{cite journal
  |title=Characteristics of the crystal structure of rinkite
  |author=Simonov, VI and Belov, NV
  |journal=Soviet Physics Crystallography
  |volume=12
  |number=5
  |pages=740-744
  |year=1968}}</ref>。
{{clear}}

=== 四面形 ===
{{Infobox polyhedron
| name = 四面形
| polyhedron = 四面形
| imagename = Spherical square hosohedron2.png
| rotating = Spherical square hosohedron2.png
| WikidataID = Q115710159
| Type          =[[多面形]]、[[均勻多面體]]、球面鑲嵌
| Face        =4
| Edge       =4
| Vertice     =2
| Face_type = [[二角形]]
| vertex_config =2<sup>4</sup>
| Wythoff       =4 &#124; 2 2
| Coxeter_diagram={{CDD|node|4|node|2|node_1}}
| Symmetry_group      =D<sub>4h</sub>, [2,4], (*224), order 16
| Rotation_group   =D<sub>''4''</sub>, [2,4]<sup>+</sup>, (224), order 16
}}
在[[幾何學]]中，四面形是一種基底為[[四邊形]]的[[多面形]]，由4個月牙形或球弓形組成的球面鑲嵌，並且使得每一個月牙形或球弓形共用相同的兩個[[頂點 (幾何)|頂點]]。其在[[施萊夫利符號]]中用 {2,4} 表示<ref name="weddslist 4-hosohedron">{{Cite web | url = http://www.weddslist.com/rmdb/map.php?a=R0.n4 | title = The 4-hosohedron | publisher = weddslist.com | access-date = 2022-12-15 | archive-date = 2022-12-17 | archive-url = https://web.archive.org/web/20221217043533/http://www.weddslist.com/rmdb/map.php?a=R0.n4 | dead-url = no }}</ref>。其亦可以視為由球面正[[二角形]]組成的球面鑲嵌圖，又稱為'''四階二角形鑲嵌'''或'''四階二邊形鑲嵌'''。

四面形是一種退化的四面體，無法擁有[[體積]]，由四個二角形組成。在[[球面幾何學]]中，四面形可以在[[球面]]上以[[鑲嵌_(幾何學)|鑲嵌]]的方式存在，其對偶多面體是[[四邊形二面體]]。

四面形由四個二角形組成，每個頂點都是四個二角形的公共頂點。正四面形的每個面都是正二角形，且每個頂點都是四個正二角形的公共頂點，因此正四面形也可以視為一種正多面體，但是因為其已退化，因此不會與[[柏拉圖立體]]一同討論。

四面形具有D<sub>4h</sub>, [2,4], (*224)的對稱性和D<sub>''4''</sub>, [2,4]<sup>+</sup>的旋轉對稱性，且階數為16，在考克斯特符號中用{{CDD|node|4|node|2|node_1}}表示，其對稱性與[[四角柱]]相同，因此[[四角柱]]也可以視為一種與四面形相關的立體，因為[[四角柱]]可以經由四面形透過[[截角變換]]構造。
{{clear}}

=== 四面體列表 ===
{| class="wikitable sortable"
!名稱
!種類
!圖像
!符號
!頂點
!邊
!面
![[歐拉示性數|χ]]
!面的種類
!對稱性
|-
|[[正四面體]]
|[[正多面體]]
|[[File:Tetrahedron.gif|100px]]
|{{mset|3,3}}<br/>{{CDD|node_1|3|node|3|node}}
|4
|6
|4
|2
|4個正三角形
|{{link-en|四面體群對稱性|Tetrahedral symmetry|T<sub>d</sub>}}, A3, [3,3], (*332)
|-
|[[#三角錐|三角錐]]
|[[角錐]]
|[[File:Driezijdige_piramide.png|100px]]
|{{nowrap|( )∨{{mset|3}}}}
|4
|6
|4
|2
|1個三角形底面<br/>3個三角形側面
|''C''<sub>3v</sub>, [3], (*33)
|-
|[[#二角柱|二角柱]]<br/>截角二角形二面體
|[[棱柱]]<br/>[[退化 (數學)|退化]]多面體
|[[File:Spherical digonal prism.svg|100px]]
|t{2,2}<br/>{2}x{}<br/>{{CDD|node_1|2|node_1|2|node}}
|4
|6
|4
|2
|2個二角形<br/>2個矩形
|D<sub>2h</sub>, [2,2], (*222), order 8
|-
|[[#雙二角錐|雙二角錐]]
|[[雙錐體]]<br/>[[退化 (數學)|退化]]多面體<br/>球面多面體
|[[File:Spherical digonal bipyramid with apices.svg|100px]]
|{{nowrap|{{mset|&nbsp;}}+{{mset|2}}}}<br/>{{CDD|node_f1|2|node_f1|2|node}}
|4
|6
|4
|2
|4個[[三角形]]
|''D''<sub>''2h''</sub>, [2,2], (*222) order 8
|-
|一角反棱柱
|[[反棱柱]]<br/>[[退化 (數學)|退化]]多面體<br/>球面多面體
|[[File:Spherical monogonal antiprism with monogonal face.svg|100px]]
|h<sub>0,1</sub>{2,2}<br/>s{2,1}<br/>{ }⨂{1}
|2
|4
|4
|2
|2個[[一角形]]<br/>2個[[三角形]]
|D<sub>1d</sub>, [2<sup>+</sup>,2], (2*1), order 4
|-
|[[#四面形|四面形]]
|[[多面形]]<br/>[[退化 (數學)|退化]]多面體
|[[File:Spherical square hosohedron2.png|100px]]
|{2,4}<br/>{{CDD|node|4|node|2|node_1}}
|2
|4
|4
|2
|4個[[二角形]][[Image:Regular_digon_in_spherical_geometry-2.svg|40px]]
|D<sub>4h</sub>, [2,4], (*224), order 16
|-
|[[皮特里立方體]]
|[[皮特里對偶]]
|[[File:Petrial_cube.gif|100px]]
|{4,3}<sup>{{pi}}</sup>
|8
|12
|4
|0
|4個正扭歪六邊形[[Image:Face_of_petrial_cube.gif|40px]]
|
|-
|[[皮特里正八面體]]
|[[皮特里對偶]]
|[[File:Petrial_octahedron.gif|100px]]
|{3,4}<sup>{{pi}}</sup>
|6
|12
|4
||-2
|4個正扭歪六邊形[[Image:Face_of_petrial_octahedron.gif|40px]]
|
|-
|[[八面體半形]]
|{{link-en|射影多面體|Projective polyhedron}}<br/>{{link-en|抽象多胞形|Abstract_polytope}}
|[[File:Hemi-octahedron2.png|100px]]
|{3,4}/2<br/>{3,4}<sub>3</sub>
|3
|6
|4
|1
|4個[[正三角形]][[Image:Red Equilateral triangle(R=204,GB=0).svg|20px]]
|''S''<sub>4</sub>, order 24
|-
|{4,4}<sub>''2'',''1''</sub>
|環形多面體
|[[File:Regular_map_4-4_2-0.png|100px]]
|{4,4}<sub>''2'',''1''</sub>
|4
|8
|4
|0
|4個[[正方形]][[File:Red_square.gif|25px]]
|
|-
|{6,3}<sub>''2'',''1''</sub>
|環形多面體
|[[File:Regular_map_6-3_2-0.png|100px]]
|{6,3}<sub>''2'',''1''</sub>
|8
|8
|4
|4
|4個[[正六邊形]][[Image:6-fold_rotation_axis.svg|25px]]
|
|}

== 相關多面體 ==
任意非退化的四面體皆是三角錐的一種，因此與其它的錐體有相似的關連。
{{棱锥列表}}
{| class="wikitable"
|+ 錐體形式鑲嵌系列：
|-
!colspan=2|球面鑲嵌
!colspan=9|[[錐體]]
!歐式鑲嵌<BR>仿緊空間
!雙曲鑲嵌<BR>非緊空間
|- align=center valign=bottom
|[[File:Spherical henagonal pyramid.svg|50px]]<BR>[[一角錐]]<BR>C<sub>1v</sub>, [1]
|[[File:Spherical digonal pyramid.svg|50px]]<BR>[[二角錐]]<BR>C<sub>2v</sub>, [2]
|[[File:Spherical trigonal pyramid.svg|50px]]<BR>[[三角錐]]<BR>C<sub>3v</sub>, [3]
|[[File:Spherical square pyramid.svg|50px]]<BR>[[四角錐]]<BR>C<sub>4v</sub>, [4]
|[[File:Spherical pentagonal pyramid.svg|50px]]<BR>[[五角錐]]<BR>C<sub>5v</sub>, [5]
|[[File:Spherical hexagonal pyramid.svg|50px]]<BR>[[六角錐]]<BR>C<sub>6v</sub>, [6]
|[[File:Spherical heptagonal pyramid.svg|50px]]<BR>[[七角錐]]<BR>C<sub>7v</sub>, [7]
|[[File:Spherical octagonal pyramid.svg|50px]]<BR>[[八角錐]]<BR>C<sub>8v</sub>, [8]
|[[File:Spherical octagonal pyramid.svg|50px]]<BR>[[九角錐]]<BR>C<sub>9v</sub>, [9]
|[[File:Spherical octagonal pyramid.svg|50px]]<BR>[[十角錐]]<BR>C<sub>10v</sub>, [10]
|...<BR><BR><BR>
|[[File:Apeirogonal pyramid.png|50px]]<BR>[[無限角錐]]<BR>C<sub>&infin;v</sub>, [&infin;]
|[[File:Pseudogonal pyramid.png|50px]]<BR>[[超無限角錐]]<BR>C<sub>i&pi;/&lambda;v</sub>, [i&pi;/&lambda;]
|}

==註釋==
{{reflist}}

==參考文獻==
{{refbegin}}
* {{mathworld |urlname=Tetrahedron |title=Tetrahedron }}
{{refend}}

==參見==
*[[正四面體]]
*[[截角四面體]]
*[[四面體數]]

==外部連結==
{{Commons category |Tetrahedron }}
* {{mathworld |urlname=Tetrahedron |title=Tetrahedron }}
* [http://www.korthalsaltes.com/model.php?name_en=tetrahedron Free paper models of a tetrahedron and many other polyhedra]{{Wayback|url=http://www.korthalsaltes.com/model.php?name_en=tetrahedron |date=20181212140036 }}
* [http://mathforum.org/pcmi/hstp/resources/dodeca/paper.html ''An Amazing, Space Filling, Non-regular Tetrahedron'']{{Wayback|url=http://mathforum.org/pcmi/hstp/resources/dodeca/paper.html |date=20200316234450 }} that also includes a description of a "rotating ring of tetrahedra", also known as a [[kaleidocycle]].

{{多面體}}
{{錐體與柱體}}
{{几何术语}}

[[Category:多面体]]
[[Category:四]]