四面体

四面体是由四个三角形面组成的多面体，每两个三角形都有一个共同的边，每三个三角形都有一个共同的顶点。四面体有四个顶点，六条棱，四个面，是所有凸多面体中最简单的。四面体包括正四面体、锲形体等种类，由四个全等的正三角形组成的四面体称为正四面体。四面体也可以依角的类型分为锐角四面体、钝角四面体、和直角四面体。四面体是欧几里德单纯形在三维空间中的特例。四面体也是锥体的一种。锥体是指将某个平面上的多面体的所有顶点分别和平面外的一点以线段连接后构成的多面体。按锥体的分类方法，所有四面体都是由某平面上的三角形和平面外一点构成的锥体，所以四面体也被称为三角锥。与所有的凸多面体一样，四面体可以由某个平面图形（展开图）折叠而成。这样的展开图通常有两种。与三角形类似，任何四面体的四个顶点都在同一个球面上。这个球称为四面体的外接球。同样地，存在一个与四面体的四个面都相切的球，称为四面体的内切球。四面体具有许多与之二维类比三角形相似的性质，例如，像三角形一样，四面体也有内切球、外接球、旁切球和中点四面体。四面体也有各种不同几何意义上的中心，例如内心、外心、旁心、Spieker心（英语：Spieker circle）和形心（在二维，Spieker心就是形心，但在三维情况发生了变化，Spieker心并不一定是形心），但是，四面体不总是有垂心，因为四面体的4条高并不一定交于一点。四面体的中点四面体的外接球是三角形九点圆的三维类比，但它并不总是通过原四面体高的垂足。 加斯帕尔·蒙日发现了存在于每一个四面体中的一个特殊中心，现在被命名为蒙日点：它是四面体六个中位面的交点。四面体的中位面被定义为一个与四面体其中两个顶点连成的边垂直，并且包含由另外两个顶点连成的对边的中点的平面。如果四面体的4条高交于了一点，形成了垂心，那么蒙日点将与垂心重合，并且这样的特殊四面体被称为“垂心四面体（英语：Orthocentric tetrahedron）”。 从蒙日点引向任意一面的垂线都会交这个面于这个三角形面的垂心与此面上四面体的高的垂足连线的中点。 四面体顶点和其对面形心的连线叫做四面体的中线，而四面体一条边中点和其对边中点的连线叫做四面体的双中线，这样，四面体中一共有4条中线和3条双中线。这7条线段都是共点的，它们的交点即是四面体的形心。四面体的形心是其蒙日点和外心连线的中点，这3个点一起决定了四面体的欧拉线，这是二维三角形欧拉线的三维类比。 四面体十二点球的球心T也位于这条欧拉线上。但不像其二维类比，这个球心位于从蒙日点到外心1/3处。并且，从这个心到四面体任意一选定面的垂线与另两条垂线共面：第一条是过其对应欧拉点（即蒙日点与该面所对顶点连线与十二点球的交点）到该面的垂线，第二条是过该面形心的垂线。这条十二点心垂线到欧拉点垂线和形心垂线的距离相等。除此以外，十二点心还是四面体任何一面对应欧拉点和该面垂心连线的中点。 四面体十二点球的半径是外接球半径的1/3。 对于任意的四面体，我们能给出其二面角之间的关系：这里 α i j {displaystyle alpha _{ij}} 代表面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)|一公式也可以用点积和叉积写为：如果建立恰当的坐标系统，使得原点与d顶点重合，即d=0的话，该式可以简化为：这里a、b、c代表着三条交于一顶点的边，并且我们发现a · (b × c)是标量三重积。将这个公式与计算平行六面体体积的公式对比，我们发现正四面体的体积等于任何与其共三条交于一顶点的边的平行六面体体积的六分之一。这个三重积可以用下列行列式表示：因此这样，我们能给出：这里α、β、γ是以d为顶点的平面角。角α是连接顶点d和顶点b、c的棱之间的夹角，而β是d到a、c棱的夹角，γ是d到a、b棱的夹角。如果我们已知四面体四个顶点之间相互的距离，那么其体积可用Cayley–Menger行列式（英语：Cayley–Menger determinant）表示：这里下标 i , j ∈ { 1 , 2 , 3 , 4 } {displaystyle i,,jin {1,,2,,3,,4}} 代表顶点{a, b, c, d}，而 d i j {displaystyle scriptstyle d_{ij}} 是两两顶点之间的距离，亦即连接着两顶点之间棱的长度。如果行列式是零或是负数这意味着我们不可能用该给定的4个长度来构建一个四面体。这个公式，亦被称作塔塔利亚公式，被15世纪的画家皮耶罗·德拉·弗朗切斯卡认为是极其重要的，它被看作是1世纪的三角形面积海伦公式的三维类比。如果U、V、W、u、v、w是四面体的六条边长（U、V、W构成四面体的其中一个三角形面，而u是与U相对的棱，v是与V相对的棱，w是与W相对的棱），则四面体体积这里四面体两条相对的边处于两条互相歪斜（在三维空间中既不相交也不平行，等价于异面）的直线上，所以四面体相对边之间的距离就被定义为其所在互相歪斜的直线之间的距离。设d是四面体相对的边a 和 b − c之间的距离，则四面体的另一个体积公式是：如果OABC四点能够构成一个四面体，并且O点位于我们所定的空间直角坐标系的原点，而向量a、b、c代表着顶点A、B、C相对于O的位置，则四面体内切圆半径可表示为：（在以下的公式中，像a2这样的向量的平方代表着数量积a·a，b2和c2也是这样）外接圆半径可表示为：于是我们可知十二点圆半径为：这里V是四面体的体积：四面体的各种中心的位置向量是： 形心：内心：外心：蒙日点：欧拉线上的中心之间的关系是：这里T是十二点心。 在这里，我们还有：和：以下列表示出了对应四面体的图案，相同颜色的棱在等距同构对称变换中是等价的，而灰色则代表着条边是不同于任何另外一边的。通过通常的三角形正弦定理，我们可以得到一个自然的推论，即在以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个角，则这个四面体就被唯一确定了，因此，我们可以用五维空间中的点来描述所有的四面体，也就是说，所有形状四面体构成的空间是五维的。在几何学中，三角锥是一种底面为三角形的锥体，这种锥体所有形式都与四面体有相同的拓朴结构。三角锥也可以算是一种詹森多面体，但由于底面为正三角形且侧面也为正三角形的三角锥是一种正多面体，因此第一种詹森多面体是从四角锥开始。任意四面体皆是三角锥的一种，因此与其它的锥体有相似的关连八面体半形也是一种四面体，可透过将正八面体对映映射后而获得，它有着正八面体一半的面。 它也可以视为没有底面的正四角锥，算是一种非严格的锥体。三角柱 · 四角柱 · 五角柱 · 六角柱 · 七角柱 · 八角柱 · 九角柱 · ... · 无限角柱（双曲）三角反柱 · 四角反柱 · 五角反柱 · 六角反柱 · 七角反柱 · 八角反柱 · ... · 无限角反柱三角锥柱 · 四角锥柱 · 五角锥柱 · 六角锥柱 · 七角锥柱 · 八角锥柱 · ... · 无限角锥柱