性质

四面体具有许多与之二维类比三角形相似的性质，例如，像三角形一样，四面体也有内切球、外接球、旁切球和中点四面体。四面体也有各种不同几何意义上的中心，例如内心、外心、旁心、 Spieker心 （ 英语 ： Spieker circle ） 和形心（在二维，Spieker心就是形心，但在三维情况发生了变化，Spieker心并不一定是形心），但是，四面体不总是有垂心，因为四面体的4条高并不一定交于一点。四面体的中点四面体的外接球是三角形九点圆的三维类比，但它并不总是通过原四面体高的垂足。 加斯帕尔·蒙日发现了存在于每一个四面体中的一个特殊中心，现在被命名为 蒙日点 ：它是四面体六个中位面的交点。四面体的中位面被定义为一个与四面体其中两个顶点连成的边垂直，并且包含由另外两个顶点连成的对边的中点的平面。如果四面体的4条高交于了一点，形成了垂心，那么蒙日点将与垂心重合，并且这样的特殊四面体被称为“ 垂心四面体 （ 英语 ： Orthocentric tetrahedron ） ”。 从蒙日点引向任意一面的垂线都会交这个面于这个三角形面的垂心与此面上四面体的高的垂足连线的中点。 四面体顶点和其对面形心的连线叫做四面体的 中线 ，而四面体一条边中点和其对边中点的连线叫做四面体的 双中线 ，这样，四面体中一共有4条中线和3条双中线。这7条线段都是共点的，它们的交点即是四面体的 形心 。四面体的形心是其蒙日点和外心连线的中点，这3个点一起决定了四面体的 欧拉线 ，这是二维三角形欧拉线的三维类比。 四面体十二点球的球心 T 也位于这条欧拉线上。但不像其二维类比，这个球心位于从蒙日点到外心 / 3 处。并且，从这个心到四面体任意一选定面的垂线与另两条垂线共面：第一条是过其对应欧拉点（即蒙日点与该面所对顶点连线与十二点球的交点）到该面的垂线，第二条是过该面形心的垂线。这条十二点心垂线到欧拉点垂线和形心垂线的距离相等。除此以外，十二点心还是四面体任何一面对应欧拉点和该面垂心连线的中点。 四面体十二点球的半径是外接球半径的 / 3 。 对于任意的四面体，我们能给出其二面角之间的关系：

这里 α α --> i j {\displaystyle \alpha _{ij}} 代表面 i 和 j 之间的二面角。

体积

任意四面体的体积公式可由棱锥的体积公式给出：

在这里 A 0 是底面面积， h 是从底面到顶点的高。这个体积公式对四个任意的底面的选择都成立，因此我们可以推断出对同一个四面体，其一个面上的高与这面的面积成反比。 对于一个四个顶点分别为 a = ( a 1 , a 2 , a 3 ) 、 b = ( b 1 , b 2 , b 3 ) 、 c = ( c 1 , c 2 , c 3 ) 、 d = ( d 1 , d 2 , d 3 ) 的四面体，其体积公式为 (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,\,j\in \{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的位置，则四面体内切圆半径可表示为：（在以下的公式中，像 a 这样的向量的平方代表着数量积 a·a ， b 和 c 也是这样）

外接圆半径可表示为：

于是我们可知十二点圆半径为：

这里 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个角，则这个四面体就被唯一确定了，因此，我们可以用五维空间中的点来描述所有的四面体，也就是说，所有形状四面体构成的空间是五维的。

三角锥

在几何学中，三角锥是一种底面为三角形的锥体，这种锥体所有形式都与四面体有相同的拓朴结构。

三角锥也可以算是一种詹森多面体，但由于底面为正三角形且侧面也为正三角形的三角锥是一种正多面体，因此第一种詹森多面体是从四角锥开始。

相关多面体

任意四面体皆是三角锥的一种，因此与其它的锥体有相似的关连

参见

正四面体

截角四面体

四面体数

参考文献

MathWorld上 Tetrahedron 的资料，作者：埃里克·韦斯坦因。

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。