四面体

四面体是由四个三角形面组成的多面体，每两个三角形都有一个共同的边，每三个三角形都有一个共同的顶点。四面体也可以视为由四个三角形合成的角锥，底面为三角形，可以任一面为底，因此又称为三角锥或三棱锥。所有四面体皆由四个顶点、六条棱和四个面组成，是所有凸多面体中最简单的。四面体包括正四面体、锲形体等种类，由四个全等的正三角形组成的四面体称为正四面体。四面体也可以依角的类型分为锐角四面体、钝角四面体、和直角四面体。
四面体是欧几里德单纯形在三维空间中的特例。
四面体是目前已知两种每个面都与其他所有面相邻的多面体之一，另外一种是希洛西七面体。
四面体也是锥体的一种。锥体是指将某个平面上的多面体的所有顶点分别和平面外的一点以线段连接后构成的多面体。按锥体的分类方法，所有四面体都是由某平面上的三角形和平面外一点构成的锥体，所以四面体也被称为三角锥。
与所有的凸多面体一样，四面体可以由某个平面图形（展开图）折叠而成。这样的展开图通常有两种。
与三角形类似，任何四面体的四个顶点都在同一个球面上。这个球称为四面体的外接球。同样地，存在一个与四面体的四个面都相切的球，称为四面体的内切球。
性质.
四面体具有许多与之二维类比三角形相似的性质，例如，像三角形一样，四面体也有内切球、外接球、旁切球和中点四面体。四面体也有各种不同几何意义上的中心，例如内心、外心、旁心、和形心（在二维，Spieker心就是形心，但在三维情况发生了变化，Spieker心并不一定是形心），但是，四面体不总是有垂心，因为四面体的4条高并不一定交于一点。四面体的中点四面体的外接球是三角形九点圆的三维类比，但它并不总是通过原四面体高的垂足。
加斯帕尔·蒙日发现了存在于每一个四面体中的一个特殊中心，现在被命名为"蒙日点"：它是四面体六个中位面的交点。四面体的中位面被定义为一个与四面体其中两个顶点连成的边垂直，并且包含由另外两个顶点连成的对边的中点的平面。如果四面体的4条高交于了一点，形成了垂心，那么蒙日点将与垂心重合，并且这样的特殊四面体被称为“”。
从蒙日点引向任意一面的垂线都会交这个面于这个三角形面的垂心与此面上四面体的高的垂足连线的中点。
四面体顶点和其对面形心的连线叫做四面体的"中线"，而四面体一条边中点和其对边中点的连线叫做四面体的"双中线"，这样，四面体中一共有4条中线和3条双中线。这7条线段都是共点的，它们的交点即是四面体的"形心"。四面体的形心是其蒙日点和外心连线的中点，这3个点一起决定了四面体的"欧拉线"，这是二维三角形欧拉线的三维类比。
四面体十二点球的球心"T"也位于这条欧拉线上。但不像其二维类比，这个球心位于从蒙日点到外心1/3处。并且，从这个心到四面体任意一选定面的垂线与另两条垂线共面：第一条是过其对应欧拉点（即蒙日点与该面所对顶点连线与十二点球的交点）到该面的垂线，第二条是过该面形心的垂线。这条十二点心垂线到欧拉点垂线和形心垂线的距离相等。除此以外，十二点心还是四面体任何一面对应欧拉点和该面垂心连线的中点。
四面体十二点球的半径是外接球半径的1/3。
对于任意的四面体，我们能给出其二面角之间的关系：
这里formula_2代表面"i"和"j"之间的二面角。
体积.
任意四面体的体积公式可由棱锥的体积公式给出：
在这里formula_4是底面面积，"h"是从底面到顶点的高。这个体积公式对四个任意的底面的选择都成立，因此我们可以推断出对同一个四面体，其一个面上的高与这面的面积成反比。
对于一个四个顶点分别为
formula_5、
formula_6、
formula_7、
formula_8
的四面体，其体积公式为formula_9一公式也可以用点积和叉积写为：
如果建立恰当的坐标系统，使得原点与formula_11顶点重合，即formula_12的话，该式可以简化为：
这里formula_14、formula_15、formula_16代表着三条交于一顶点的边，并且我们发现formula_17是标量三重积。将这个公式与计算平行六面体体积的公式对比，我们发现正四面体的体积等于任何与其共三条交于一顶点的边的平行六面体体积的六分之一。
这个三重积可以用下列行列式表示：
因此
这样，我们能给出：
这里formula_24、formula_25、formula_26是以formula_11为顶点的平面角。角formula_24是连接顶点formula_11和顶点formula_15、formula_16的棱之间的夹角，而formula_25是formula_11到formula_14、formula_16棱的夹角，"formula_26"是formula_11到formula_14、formula_15棱的夹角。
如果我们已知四面体四个顶点之间相互的距离，那么其体积可用表示：
这里下标formula_41代表顶点formula_42，而formula_43是两两顶点之间的距离，亦即连接着两顶点之间棱的长度。如果行列式是零或是负数这意味着我们不可能用该给定的4个长度来构建一个四面体。这个公式，亦被称作塔塔利亚公式，被15世纪的画家皮耶罗·德拉·弗朗切斯卡认为是极其重要的，它被看作是1世纪的三角形面积海伦公式的三维类比。
海伦公式形态的四面体体积公式.
如果formula_44、formula_45、formula_46、formula_47、formula_48、formula_49是四面体的六条边长（formula_44、formula_45、formula_46构成四面体的其中一个三角形面，而formula_47是与formula_44相对的棱，formula_48是与formula_45相对的棱，formula_49是与formula_46相对的棱），则四面体体积
这里
利用四面体边之间的距离.
四面体两条相对的边处于两条互相歪斜（在三维空间中既不相交也不平行，等价于异面）的直线上，所以四面体相对边之间的距离就被定义为其所在互相歪斜的直线之间的距离。设formula_61是四面体相对的边 formula_14 和 formula_63 之间的距离，则四面体的另一个体积公式是：
关于四面体性质的其它向量公式.
如果formula_65四点能够构成一个四面体，并且formula_66点位于我们所定的空间直角坐标系的原点，而向量formula_14、formula_15、formula_16代表着顶点formula_70、formula_71、formula_72相对于formula_66的位置，则四面体内切圆半径可表示为：（在以下的公式中，像formula_74这样的向量的平方代表着数量积formula_75，formula_76和formula_77也是这样）
外接圆半径可表示为：
于是我们可知十二点圆半径为：
这里formula_45是四面体的体积：
四面体的各种中心的位置向量是：
形心：
内心：
外心：
蒙日点：
欧拉线上的中心之间的关系是：
这里formula_89是十二点心。
在这里，我们还有：
和：
对称变换群.
以下列表示出了对应四面体的图案，相同颜色的棱在等距同构对称变换中是等价的，而灰色则代表着条边是不同于任何另外一边的。
四面体正弦定理和所有形状四面体所构成的空间.
通过通常的三角形正弦定理，我们可以得到一个自然的推论，即在以formula_66、formula_70、formula_71、formula_72为顶点的四面体中，有
这个等式的两边可以被看作分别是顺时针取向的角的正弦乘积和逆时针取向角的正弦乘积。
通过将不同的顶点置于上式中formula_66点的位置，我们可以得到4个这样的等式，但实际上，只有最多3个等式是独立的，因为我们可以将这3个等式的“顺时针边”和“逆时针边”分别相乘，得到一个新的等式，再消去相同的因式，这样就能够通过这3个等式得到第4个等式。
三个角能属于同一个三角形当且仅当这三个角之和为180°（formula_98弧度）。那么，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个月牙形或球弓形组成的球面镶嵌，并且使得每一个月牙形或球弓形共用相同的两个顶点。其在施莱夫利符号中用 {2,4} 表示。其亦可以视为由球面正二角形组成的球面镶嵌图，又称为四阶二角形镶嵌或四阶二边形镶嵌。
四面形是一种退化的四面体，无法拥有体积，由四个二角形组成。在球面几何学中，四面形可以在球面上以镶嵌的方式存在，其对偶多面体是四边形二面体。
四面形由四个二角形组成，每个顶点都是四个二角形的公共顶点。正四面形的每个面都是正二角形，且每个顶点都是四个正二角形的公共顶点，因此正四面形也可以视为一种正多面体，但是因为其已退化，因此不会与柏拉图立体一同讨论。
四面形具有D4h, [2,4], (*224)的对称性和D"4", [2,4]+的旋转对称性，且阶数为16，在考克斯特符号中用表示，其对称性与四角柱相同，因此四角柱也可以视为一种与四面形相关的立体，因为四角柱可以经由四面形透过截角变换构造。
相关多面体.
任意非退化的四面体皆是三角锥的一种，因此与其它的锥体有相似的关连。