四面体
四面体是由四个三角形面组成的多面体，每两个三角形都有一个共同的边，每三个三角形都有一个共同的顶点。四面体也可以视为由四个三角形合成的角锥，底面为三角形，可以任一面为底，因此又称为三角锥[1]或三棱锥[2]。所有四面体皆由四个顶点、六条棱和四个面组成，是所有凸多面体中最简单的。四面体包括正四面体、锲形体等种类，由四个全等的正三角形组成的四面体称为正四面体。四面体也可以依角的类型分为锐角四面体、钝角四面体、和直角四面体。
 （点选观看旋转模型） | ||
| 类别 | 多面体 | |
|---|---|---|
| 对偶多面体 | 四面体 | |
| 数学表示法 | ||
| 考克斯特符号 |     | |
| 施莱夫利符号 | {3,3} | |
| 威佐夫符号 | 3 | 2 3 | |
| 康威表示法 | A2 Y3  | |
| 性质 | ||
| 面 | 4 | |
| 边 | 6 | |
| 顶点 | 4 | |
| 欧拉特征数 | F=4, E=6, V=4 （χ=2） | |
| 组成与布局 | ||
| 面的种类 | 三角形 | |
| 对称性 | ||
| 对称群 | C3v, [3], (*33) | |
| 旋转对称群 | C3, [3]+, (33) | |
| 图像 | ||
| ||
四面体是目前已知两种每个面都与其他所有面相邻的多面体之一，另外一种是希洛西七面体。[3][4]
四面体也是锥体的一种。锥体是指将某个平面上的多面体的所有顶点分别和平面外的一点以线段连接后构成的多面体。按锥体的分类方法，所有四面体都是由某平面上的三角形和平面外一点构成的锥体，所以四面体也被称为三角锥。[1][2]
与所有的凸多面体一样，四面体可以由某个平面图形（展开图）折叠而成。这样的展开图通常有两种。
与三角形类似，任何四面体的四个顶点都在同一个球面上。这个球称为四面体的外接球。同样地，存在一个与四面体的四个面都相切的球，称为四面体的内切球。
性质
编辑四面体具有许多与之二维类比三角形相似的性质，例如，像三角形一样，四面体也有内切球、外接球、旁切球和中点四面体。四面体也有各种不同几何意义上的中心，例如内心、外心、旁心、Spieker心和形心（在二维，Spieker心就是形心，但在三维情况发生了变化，Spieker心并不一定是形心），但是，四面体不总是有垂心，因为四面体的4条高并不一定交于一点。四面体的中点四面体的外接球是三角形九点圆的三维类比，但它并不总是通过原四面体高的垂足。
加斯帕尔·蒙日发现了存在于每一个四面体中的一个特殊中心，现在被命名为蒙日点：它是四面体六个中位面的交点。四面体的中位面被定义为一个与四面体其中两个顶点连成的边垂直，并且包含由另外两个顶点连成的对边的中点的平面。如果四面体的4条高交于了一点，形成了垂心，那么蒙日点将与垂心重合，并且这样的特殊四面体被称为“垂心四面体”。
从蒙日点引向任意一面的垂线都会交这个面于这个三角形面的垂心与此面上四面体的高的垂足连线的中点。
四面体顶点和其对面形心的连线叫做四面体的中线，而四面体一条边中点和其对边中点的连线叫做四面体的双中线，这样，四面体中一共有4条中线和3条双中线。这7条线段都是共点的，它们的交点即是四面体的形心。四面体的形心是其蒙日点和外心连线的中点，这3个点一起决定了四面体的欧拉线，这是二维三角形欧拉线的三维类比。
四面体十二点球的球心T也位于这条欧拉线上。但不像其二维类比，这个球心位于从蒙日点到外心1/3处。并且，从这个心到四面体任意一选定面的垂线与另两条垂线共面：第一条是过其对应欧拉点（即蒙日点与该面所对顶点连线与十二点球的交点）到该面的垂线，第二条是过该面形心的垂线。这条十二点心垂线到欧拉点垂线和形心垂线的距离相等。除此以外，十二点心还是四面体任何一面对应欧拉点和该面垂心连线的中点。
四面体十二点球的半径是外接球半径的1/3。
对于任意的四面体，我们能给出其二面角之间的关系：
这里 代表面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)|一公式也可以用点积和叉积写为：
![{\displaystyle V={\frac {|(\mathbf {a} -\mathbf {d} )\cdot [(\mathbf {b} -\mathbf {d} )\times (\mathbf {c} -\mathbf {d} )]|}{6}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26c770e4c4b00b9642a4df39449c7df23cccf036)
如果建立恰当的坐标系统，使得原点与d顶点重合，即d=0的话，该式可以简化为：
这里a、b、c代表着三条交于一顶点的边，并且我们发现a · (b × c)是标量三重积。将这个公式与计算平行六面体体积的公式对比，我们发现正四面体的体积等于任何与其共三条交于一顶点的边的平行六面体体积的六分之一。
这个三重积可以用下列行列式表示：
- 或者 这里像 可以被表示为横或纵向量。
因此
- 这里 等。
这样，我们能给出：
这里α、β、γ是以d为顶点的平面角。角α是连接顶点d和顶点b、c的棱之间的夹角，而β是d到a、c棱的夹角，γ是d到a、b棱的夹角。
如果我们已知四面体四个顶点之间相互的距离，那么其体积可用Cayley–Menger行列式表示：
这里下标 代表顶点{a, b, c, d}，而 是两两顶点之间的距离，亦即连接着两顶点之间棱的长度。如果行列式是零或是负数这意味着我们不可能用该给定的4个长度来构建一个四面体。这个公式，亦被称作塔塔利亚公式，被15世纪的画家皮耶罗·德拉·弗朗切斯卡认为是极其重要的，它被看作是1世纪的三角形面积海伦公式的三维类比。[5]
海伦公式形态的四面体体积公式
编辑如果U、V、W、u、v、w是四面体的六条边长（U、V、W构成四面体的其中一个三角形面，而u是与U相对的棱，v是与V相对的棱，w是与W相对的棱），则四面体体积[6]
这里
利用四面体边之间的距离
编辑四面体两条相对的边处于两条互相歪斜（在三维空间中既不相交也不平行，等价于异面）的直线上，所以四面体相对边之间的距离就被定义为其所在互相歪斜的直线之间的距离。设d是四面体相对的边a 和 b − c之间的距离，则四面体的另一个体积公式是：
![{\displaystyle V={\frac {d|[\mathbf {a} \times \mathbf {(b-c)} ]|}{6}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00a1de89f2ab62f80c0c403191358f2b570b93bc)
关于四面体性质的其它向量公式
编辑如果OABC四点能够构成一个四面体，并且O点位于我们所定的空间直角坐标系的原点，而向量a、b、c代表着顶点A、B、C相对于O的位置，则四面体内切圆半径可表示为：（在以下的公式中，像a2这样的向量的平方代表着数量积a·a，b2和c2也是这样）
外接圆半径可表示为：
于是我们可知十二点圆半径为：
这里V是四面体的体积：
四面体的各种中心的位置向量是： 形心：
内心：
外心：
蒙日点：
欧拉线上的中心之间的关系是：
这里T是十二点心。 在这里，我们还有：
和：
对称变换群
编辑以下列表示出了对应四面体的图案，相同颜色的棱在等距同构对称变换中是等价的，而灰色则代表着条边是不同于任何另外一边的。
| 四面体名称 | 边 等价 图案 |
描述 | |||
|---|---|---|---|---|---|
| 对称性 | |||||
| 弗氏 | 考式 | 轨式 | 阶 | ||
| 正四面体 | 
|
四个等边三角形，形成对称群Td，与对称群S4同构。 | |||
| Td T |
[3,3] [3,3]+ |
*332 332 |
24 12 | ||
| 正三棱锥 | 
|
一个等边三角形底面及三个等腰三角形侧面，有6个等距同构的对称变换，对应其底面的6个对称变换。对于所有可能的顶点排布，t这6个对称变换是：单位元 1、(123)、(132)、(12)、(13)和(23)，形成对称群C3v，与对称群S3同构。 | |||
| C3v C3 |
[3] [3]+ |
*33 33 |
6 3 | ||
| 复正方锲形体 等腰四面体 |
|
四个全等的等腰三角形，具有8个等距同构的对称变换。如果边(1,2)和(3,4)和另外4条边是不同颜色的，那么这8个对称变换是：单位元1、镜面反射(12)和 (34)、和(12)(34)、(13)(24)、(14)(23)的180°旋转以及非严格的(1234)和(1432)90°旋转。这些一起形成了对称群D2d. | |||
| D2d S4 |
[2+,4] [2+,4+] |
2*2 2× |
8 4 | ||
| 复斜方锲形体 非等腰四面体 |
|
四个全等的任意三角形，具有4个等距同构的对称变换。这些变换是：1和(12)(34)、(13)(24)、(14)(23)的180°旋转。这形成了柯恩四面体群V4或者Z22，表现为点群D2。 | |||
| D2 | [2,2]+ | 222 | 4 | ||
| 二面体锲形体 | 
|
两组全等的等腰三角形。在此对称性下，对边(1,2)和(3,4)是垂直的，但是“颜色”不同，4个等距同构的对称变换是：1、镜面反射(12)和(34)以及(12)(34)的180°旋转。对称群是C2v，与柯恩四面体群V4同构 | |||
| C2v =D1h |
[2] | *22 | 4 | ||
| 单锲形体 | 
|
两个不同的等腰三角形共用一个底边。它有两对相等的边(1,3)和(1,4)、(2,3)和(2,4)，除此之外再没有相等的边。唯一两个等距同构的对称变换是：1和镜面反射(34)，对应对称群 Cs又同构于循环群Z2。 | |||
| Cs =C1h =C1v |
[ ] | * | 2 | ||
| 半转四面体 | 
|
两组全等的任意三角形。它有两组相等的边(1,3)和(2,4)、(1,4)和(2,3)，除此之外再没有相等的边。唯一两个等距同构的对称变换是：1和旋转(12)(34)， 对应群C2，同构于循环群Z2。 | |||
| C2 =D1 |
[2]+ | 22 | 2 | ||
| 任意四面体 | 
|
没有相等的边，有4个不相等的任意三角形面，所以只有单位元变换是等距同构的，对称群是平凡群。 | |||
| C1 | [ ]+ | 1 | 1 | ||
四面体正弦定理和所有形状四面体所构成的空间
编辑
通过通常的三角形正弦定理，我们可以得到一个自然的推论，即在以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个角，则这个四面体就被唯一确定了，因此，我们可以用五维空间中的点来描述所有的四面体，也就是说，所有形状四面体构成的空间是五维的。
其他种类的四面体
编辑更广义地说，四面体泛指所有由四个面构成的多面体。若其在欧氏空间、实数空间、构成面都是平面且未退化的情况下仅有可能是正四面体或三角锥。然而在上述条件不满足的情况下，有可能可以建构出不同拓朴结构的四面体，例如皮特里立方体，其由4个扭歪六边形构成，但由于其构成面是一种扭歪多边形，无法确定其封闭范围及面积，因此无法存在体积与表面积；而退化的四面体例子如四面形、八面体半形和二角柱等。
三角锥
编辑
在几何学中，三角锥是一种底面为三角形的锥体，这种锥体所有形式都与四面体有相同的拓朴结构。根据角锥的定义，其由一个底面和一个顶点组成，底面的顶点与底面外的顶点相连接，形成与底面边数相同数量的三角形侧面。而三角锥是指底面为三角形的角锥，因此其会有3个侧面，合计共4个面，且皆为三角形，因此结构基本上与四面体等价，皆为由四个三角形合成的立体。由于底面和侧面皆为三角形，因此视为三角锥时，可以任一面为底，因此词汇“三角锥”与“四面体”有时会被视为同义词[1]。
正三角锥
编辑虽然“三角锥”与“四面体”有时会被视为同义词[1]，但前方加一个“正”字就不一定了，例如正三角锥可以指底面为正三角形的角锥，在这个定义下则是要求四面体的其中一个面要是正三角形；而正四面体则要求四个面都要是正三角形。
|
|
|
|
| 锥高较低的 正三角锥 |
正四面体 | 锥高较高的 正三角锥 |
斜正三角锥 |
二角柱
编辑
二角柱是指底面为二角形的柱体，由于其底面为二角形，因此在欧几里得空间中，其已经退化无法拥有体积。在球面几何学中，其可以作为球面镶嵌，此时的二角柱由两个球面二角形和两个球面四边形构成，等价于二角形二面体经截角变换后的结果，因此又可称为截角二角形二面体。这种二角柱共有4个面、6条边和4个顶点，对偶多面体为双二角锥。
双二角锥
编辑双二角锥是以二角形为底的双锥体，为二角柱的对偶多面体。由于其以二角形为底，因此在欧几里得空间中，其已经退化无法拥有体积。在球面几何学中，其可以作为球面镶嵌，这种双二角锥可以视为多了两个顶点的四面形。双二角锥由4个面、6条边和4个顶点组成，其四个面都是三角形，但拓扑结构与非退化的凸四面体不同，其中的两个顶点为对跖点，剩下的两个顶点位于赤道面上连结与对跖点相连的两条边。
八面体半形
编辑
八面体半形也是一种四面体，可透过将正八面体对应映射后而获得，它有着正八面体一半的面。 它也可以视为没有底面的正四角锥，算是一种非严格的锥体，换句话说，其为正八面体的一半[7]。
四面形
编辑 （点选观看旋转模型） | |
| 类别 | 多面形、均匀多面体、球面镶嵌 |
|---|---|
| 对偶多面体 | 四边形二面体 |
| 数学表示法 | |
| 考克斯特符号 | |
| 施莱夫利符号 | {2,4} |
| 威佐夫符号 | 4 | 2 2 |
| 性质 | |
| 面 | 4 |
| 边 | 4 |
| 顶点 | 2 |
| 欧拉特征数 | F=4, E=4, V=2 （χ=2） |
| 组成与布局 | |
| 面的种类 | 二角形 |
| 顶点布局 | 24 |
| 对称性 | |
| 对称群 | D4h, [2,4], (*224), order 16 |
| 旋转对称群 | D4, [2,4]+, (224), order 16 |
在几何学中，四面形是一种基底为四边形的多面形，由4个月牙形或球弓形组成的球面镶嵌，并且使得每一个月牙形或球弓形共用相同的两个顶点。其在施莱夫利符号中用 {2,4} 表示[8]。其亦可以视为由球面正二角形组成的球面镶嵌图，又称为四阶二角形镶嵌或四阶二边形镶嵌。
四面形是一种退化的四面体，无法拥有体积，由四个二角形组成。在球面几何学中，四面形可以在球面上以镶嵌的方式存在，其对偶多面体是四边形二面体。
四面形由四个二角形组成，每个顶点都是四个二角形的公共顶点。正四面形的每个面都是正二角形，且每个顶点都是四个正二角形的公共顶点，因此正四面形也可以视为一种正多面体，但是因为其已退化，因此不会与帕雷托立体一同讨论。
四面形具有D4h, [2,4], (*224)的对称性和D4, [2,4]+的旋转对称性，且阶数为16，在考克斯特符号中用 表示，其对称性与四角柱相同，因此四角柱也可以视为一种与四面形相关的立体，因为四角柱可以经由四面形透过截角变换构造。
四面体列表
编辑| 名称 | 种类 | 图像 | 符号 | 顶点 | 边 | 面 | χ | 面的种类 | 对称性 |
|---|---|---|---|---|---|---|---|---|---|
| 正四面体 | 正多面体 | 
|
{3,3} 
|
4 | 6 | 4 | 2 | 4个正三角形 | Td, A3, [3,3], (*332) |
| 三角锥 | 角锥 |
|
( )∨{3} | 4 | 6 | 4 | 2 | 1个三角形底面 3个三角形侧面 |
C3v, [3], (*33) |
| 二角柱 截角二角形二面体 |
棱柱 退化多面体 |
|
t{2,2} {2}x{}
|
4 | 6 | 4 | 2 | 2个二角形 2个矩形 |
D2h, [2,2], (*222), order 8 |
| 双二角锥 | 双锥体 退化多面体 球面多面体 |
|
{ }+{2}
|
4 | 6 | 4 | 2 | 4个三角形 | D2h, [2,2], (*222) order 8 |
| 一角反棱柱 | 反棱柱 退化多面体 球面多面体 |
|
h0,1{2,2} s{2,1} { }⨂{1} |
2 | 4 | 4 | 2 | 2个一角形 2个三角形 |
D1d, [2+,2], (2*1), order 4 |
| 四面形 | 多面形 退化多面体 |
|
{2,4}
|
2 | 4 | 4 | 2 | 4个二角形
|
D4h, [2,4], (*224), order 16 |
| 皮特里立方体 | 皮特里对偶 | 
|
{4,3}π | 8 | 12 | 4 | 0 | 4个正扭歪六边形
|
|
| 皮特里正八面体 | 皮特里对偶 | 
|
{3,4}π | 6 | 12 | 4 | -2 | 4个正扭歪六边形
|
|
| 八面体半形 | 射影多面体 抽象多胞形 |
|
{3,4}/2 {3,4}3 |
3 | 6 | 4 | 1 | 4个正三角形.svg){kind=small}
|
S4, order 24 |
| {4,4}2,1 | 环形多面体 | 
|
{4,4}2,1 | 4 | 8 | 4 | 0 | 4个正方形
|
|
| {6,3}2,1 | 环形多面体 | 
|
{6,3}2,1 | 8 | 8 | 4 | 4 | 4个正六边形
|
相关多面体
编辑任意非退化的四面体皆是三角锥的一种，因此与其它的锥体有相似的关连。
| 正二棱锥 | 正三棱锥 | 正四棱锥 | 正五棱锥 | 正六棱锥 | 正七棱锥 | 正八棱锥 | 正九棱锥 | 正十棱锥 | ... | 圆锥 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
|
|
|
|
|
|
|
| 球面镶嵌 | 锥体 | 欧式镶嵌 仿紧空间 |
双曲镶嵌 非紧空间 | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
 一角锥 C1v, [1] |
 二角锥 C2v, [2] |
 三角锥 C3v, [3] |
 四角锥 C4v, [4] |
 五角锥 C5v, [5] |
 六角锥 C6v, [6] |
 七角锥 C7v, [7] |
 八角锥 C8v, [8] |
九角锥 C9v, [9] |
十角锥 C10v, [10] |
... |
 无限角锥 C∞v, [∞] |
 超无限角锥 Ciπ/λv, [iπ/λ] |
注释
编辑- ^ 1.0 1.1 1.2 1.3 四面體. 教育部重编国语辞典. [2022-12-28]. （原始内容存档于2022-12-28）.
- ^ 2.0 2.1 三角錐. 教育部重编国语辞典. [2022-12-28]. （原始内容存档于2022-12-28）.
- ^ Ace, Tom, The Szilassi polyhedron, [2013-03-03], （原始内容存档于2016-09-07）
- ^ Arseneva, Elena and Kleist, Linda and Klemz, Boris and Löffler, Maarten and Schulz, André and Vogtenhuber, Birgit and Wolff, Alexander. Adjacency Graphs of Polyhedral Surfaces. arXiv preprint arXiv:2103.09803. 2021.
- ^ "Simplex Volumes and the Cayley-Menger Determinant" （页面存档备份，存于互联网档案馆）, MathPages.com
- ^ Kahan, William M.; "What has the Volume of a Tetrahedron to do with Computer Programming Languages?" （页面存档备份，存于互联网档案馆）, pp. 16–17
- ^ Simonov, VI and Belov, NV. Characteristics of the crystal structure of rinkite. Soviet Physics Crystallography. 1968, 12 (5): 740–744.
- ^ The 4-hosohedron. weddslist.com. [2022-12-15]. （原始内容存档于2022-12-17）.
参考文献
编辑参见
编辑外部链接
编辑
- 埃里克·韦斯坦因. Tetrahedron. MathWorld.
- Free paper models of a tetrahedron and many other polyhedra（页面存档备份，存于互联网档案馆）
- An Amazing, Space Filling, Non-regular Tetrahedron（页面存档备份，存于互联网档案馆） that also includes a description of a "rotating ring of tetrahedra", also known as a kaleidocycle.