四面體
四面體是由四個三角形面組成的多面體，每两个三角形都有一个共同的边，每三个三角形都有一个共同的顶点。四面体有四个顶点，六条棱，四个面，是所有凸多面体中最简单的。四面體包括正四面體、鍥形體等種類，由四個全等的正三角形組成的四面體稱為正四面體。四面体也可以依角的類型分為銳角四面體、鈍角四面體、和直角四面體。
四面体是欧几里德单纯形在三维空间中的特例。
四面体也是锥体的一种。锥体是指将某个平面上的多面体的所有顶点分别和平面外的一点以线段连接後构成的多面体。按锥体的分类方法，所有四面體都是由某平面上的三角形和平面外一点构成的锥体，所以四面体也被称为三角錐。
与所有的凸多面体一样，四面体可以由某个平面图形（展开图）折叠而成。这样的展开图通常有两种。
与三角形类似，任何四面体的四个顶点都在同一个球面上。这个球称为四面体的外接球。同样地，存在一个与四面体的四个面都相切的球，称为四面体的内切球。
四面体具有许多与之二维类比三角形相似的性质，例如，像三角形一样，四面体也有内切球、外接球、旁切球和中点四面体。四面体也有各种不同几何意义上的中心，例如内心、外心、旁心、和形心（在二维，Spieker心就是形心，但在三维情况发生了变化，Spieker心并不一定是形心），但是，四面体不总是有垂心，因为四面体的4条高并不一定交于一点。四面体的中点四面体的外接球是三角形九点圆的三维类比，但它并不总是通过原四面体高的垂足。
加斯帕尔·蒙日发现了存在于每一个四面体中的一个特殊中心，现在被命名为"蒙日点"：它是四面体六个中位面的交点。四面体的中位面被定义为一个与四面体其中两个顶点连成的边垂直，并且包含由另外两个顶点连成的对边的中点的平面。如果四面体的4条高交于了一点，形成了垂心，那么蒙日点将与垂心重合，并且这样的特殊四面体被称为“”。
从蒙日点引向任意一面的垂线都会交这个面于这个三角形面的垂心与此面上四面体的高的垂足连线的中点。
四面体顶点和其对面形心的连线叫做四面体的"中线"，而四面体一条边中点和其对边中点的连线叫做四面体的"双中线"，这样，四面体中一共有4条中线和3条双中线。这7条线段都是共点的，它们的交点即是四面体的"形心"。四面体的形心是其蒙日点和外心连线的中点，这3个点一起决定了四面体的"欧拉线"，这是二维三角形欧拉线的三维类比。
四面体十二点球的球心"T"也位于这条欧拉线上。但不像其二维类比，这个球心位于从蒙日点到外心/处。并且，从这个心到四面体任意一选定面的垂线与另两条垂线共面：第一条是过其对应欧拉点（即蒙日点与该面所对顶点连线与十二点球的交点）到该面的垂线，第二条是过该面形心的垂线。这条十二点心垂线到欧拉点垂线和形心垂线的距离相等。除此以外，十二点心还是四面体任何一面对应欧拉点和该面垂心连线的中点。
四面体十二点球的半径是外接球半径的/。
对于任意的四面体，我们能给出其二面角之间的关系： 这里formula_2代表面"i"和"j"之间的二面角。
任意四面体的体积公式可由棱锥的体积公式给出： 在这里"A"是底面面积，"h"是从底面到顶点的高。这个体积公式对四个任意的底面的选择都成立，因此我们可以推断出对同一个四面体，其一个面上的高与这面的面积成反比。
对于一个四个顶点分别为 、
的四面体，其体积公式为一公式也可以用点积和叉积写为： 如果建立恰当的坐标系统，使得原点与d顶点重合，即d=0的话，该式可以简化为： 这里a、b、c代表着三条交于一顶点的边，并且我们发现是标量三重积。将这个公式与计算平行六面体体积的公式对比，我们发现正四面体的体积等于任何与其共三条交于一顶点的边的平行六面体体积的六分之一。
这个三重积可以用下列行列式表示：
因此
这样，我们能给出： 这里"α"、"β"、"γ"是以d为顶点的平面角。角"α"是连接顶点d和顶点b、c的棱之间的夹角，而"β"是d到a、c棱的夹角，"γ"是d到a、b棱的夹角。
如果我们已知四面体四个顶点之间相互的距离，那么其体积可用表示： 这里下标formula_13代表顶点{a, b, c, d}，而formula_14是两两顶点之间的距离，亦即连接着两顶点之间棱的长度。如果行列式是零或是负数这意味着我们不可能用该给定的4个长度来构建一个四面体。这个公式，亦被称作塔塔利亚公式，被15世纪的画家皮耶罗·德拉·弗朗切斯卡认为是极其重要的，它被看作是1世纪的三角形面积海伦公式的三维类比。
如果U、V、W、u、v、w是四面体的六条边长（U、V、W构成四面体的其中一个三角形面，而u是与U相对的棱，v是与V相对的棱，w是与W相对的棱），则四面体体积 这里
四面体两条相对的边处于两条互相歪斜（在三维空间中既不相交也不平行，等价于异面）的直线上，所以四面体相对边之间的距离就被定义为其所在互相歪斜的直线之间的距离。设"d"是四面体相对的边a 和 之间的距离，则四面体的另一个体积公式是：
如果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个角，则这个四面体就被唯一确定了，因此，我们可以用五维空间中的点来描述所有的四面体，也就是说，所有形状四面体构成的空间是五维的。
更廣義地說，四面體泛指所有由四個面構成的多面體。若其在歐氏空間、實數空間、構成面都是平面且未退化的情況下僅有可能是正四面體或三角錐。然而在上述條件不滿足的情況下，有可能可以建構出不同拓樸結構的四面體，例如皮特里立方體，其由4個構成，但由於其構成面是一種扭歪多邊形，無法確定其封閉範圍及面積，因此無法存在體積與表面積；而退化的四面體例子如四面形、八面體半形等。
在幾何學中，三角錐是一種底面為三角形的錐體，這種錐體所有形式都與四面體有相同的拓樸結構。
三角錐也可以算是一種詹森多面體，但由於底面為正三角形且側面也為正三角形的三角錐是一種正多面體，因此第一種詹森多面體是從四角錐開始。
八面體半形也是一種四面體，可透過將正八面體對映映射後而獲得，它有著正八面體一半的面。 它也可以視為沒有底面的正四角錐，算是一種非嚴格的錐體。
在幾何學中，四面形是一種由4個月牙形或球弓形組成的球面鑲嵌，並且使得每一個月牙形或球弓形共用相同的兩個頂點。其在施萊夫利符號中用 {2, 4} 表示。其亦可以視為由球面正二角形組成的球面鑲嵌圖，又稱為四階二角形鑲嵌或四階二邊形鑲嵌。
任意四面體皆是三角錐的一種，因此與其它的錐體有相似的關連