正四面体

正四面体
	; (按这里观看旋转模型)
类别	帕雷托立体; 正多面体
对偶多面体	正四面体（自身对偶）
识别
名称	正四面体
参考索引	U01, C15, W1
鲍尔斯缩写; （verse-and-dimensions的wikia：Bowers acronym）	tet
数学表示法
施莱夫利符号	{3,3}
威佐夫符号; （英语：Wythoff symbol）	3 \| 2 3
康威表示法	T; Y3
性质
面	4
边	6
顶点	4
欧拉特征数	F=4, E=6, V=4 （χ=2）
二面角	70.528779° = arccos(1/3)
组成与布局
面的种类	正三角形
面的布局; （英语：Face configuration）	4个{3}
顶点图	3.3.3
对称性
对称群	Td
特性
	正凸三角面多面体
图像
	; 3.3.3; （顶点图）
	; （展开图）
	查; 论; 编;

正四面体是由四个等边三角形组成的正多面体，是一种锥体，有4个顶点、6条边和4个正三角形面。

将立方体的其中四个顶点两两相连，而这四个顶点任何两条都没有落在立方体同一条的边上，可得到一个正四面体，其边长为立方体边长的 ${\sqrt {2}}$ ，其体积为立方体体积的 ${\frac {1}{3}}$ ，从这里看，正四面体是半立方体。正四面体是一个拥有无穷多个成员的多胞形家族—正单纯形家族的3维成员。正四面体是一种棱锥体，即它可以被描述成由一个多边形底面和链接底面和一个共同顶点的三角形面组成，对于正四面体来说，这个底面是正三角形，并且它的侧面也都是正三角形，应此正四面体是正三棱锥。
正四面体是三维的正单纯形（3-simplex），这意味着四面体是三维中最简单的多面体，顶点数、棱数、面数比它少的多面体都只能成为退化多面体，同时在更高维的超空间中，任意4个顶点一定共在同一三维空间中，这4个顶点若不存在四点共面、三点共线和两点重合的情况，一定能构成一个四面体，并且只要6条棱的长度确定了，四面体就被唯一确定了（即四面体具有稳定性。这是单纯形面多胞形共有的一个基本特性），由此可知，一个四面体的6条棱长都相等，则其一定是一个正四面体。正四面体是柏拉图立体中唯一一个所有顶点之间的距离都相等的，同时正四面体也是三维空间中使4个顶点每两个顶点间距离相等的唯一方式。

性质

面的形状：等边三角形

顶点数目：4

边数目：6

面数目：4

二面角角度：

\arccos \left({1 \over 3}\right)=\arctan(2{\sqrt {2}})\,

≈ 70.5288°

面棱夹角：

\arccos \left({1 \over {\sqrt {3}}}\right)=\arctan({\sqrt {2}})\,

≈ 54.7356°

中心-顶点连线之间夹角：

\arccos \left({-1 \over 3}\right)=2\arctan({\sqrt {2}})\,

≈ 109.4712°

面所对立体角：

\arccos \left({23 \over 27}\right)

≈ 0.55129 sr

对于棱长为a的正四面体：

底面积：

A_{0}={{\sqrt {3}} \over 4}a^{2}\,

高：

H={{\sqrt {6}} \over 3}a={\sqrt {2 \over 3}}\,a\,

表面积：

S=4A_{0}={\sqrt {3}}a^{2}

体积：

V={1 \over 12}{\sqrt {2}}a^{3}

外接球半径：

{\frac {\sqrt {6}}{4}}a

内切球半径：

{\frac {\sqrt {6}}{12}}a

中分球半径：

r_{M}={\sqrt {rR}}={{\sqrt {2}}a \over 4}\,

旁切球半径：

r_{E}={{\sqrt {6}}a \over 6}\,

旁切球到顶点距离：

d_{VE}={{\sqrt {6}} \over 2}a={\sqrt {3 \over 2}}\,a\,

对偶多面体：正四面体

注意到相对于底面，面的斜率（2√2）是棱的斜率（√2）的两倍，这意味着由于从底面沿棱到顶点的水平距离是沿侧面中线到顶点水平距离的2倍，而这是由于从底面重心到底面顶点的距离是到底面边距离的2倍，这由中心分中线为2:1或是30°直角三角形的三边关系即刻可得出。

坐标系

如果我们以正四面体的中心作为原点建立三维直角坐标系的话，棱长a=2的正四面体的顶点坐标可以表示为：

(\pm 1,0,-{\frac {1}{\sqrt {2}}})

(0,\pm 1,{\frac {1}{\sqrt {2}}})

另一种表示方法把正四面体看作是半立方体，它有立方体一半的顶点：（如果原正方体棱长为1的话，正四面体棱长为√2）
(1,1,1), (1,-1,-1), (-1,1,-1), (-1,-1,1)
另外，被交错舍弃掉的那四个顶点构成了与原来正四面体对偶的另一个正四面体：
(-1,-1,-1), (-1,1,1), (1,-1,1), (1,1,-1)
它们一起构成了星形八面体。

正交投影

正四面体有2个特殊角度的正交投影，即一下列表中的两个。第一个投影对应着正四面体的A₃考克斯特平面（英语：Coxeter plane）。

正交投影
正对于	棱	面/顶点
图像
投影对称性	[4]	[3]

具有其它对称形式的正四面体

正四面体是所有四面体中对称性最高的，而然它也可被看作是更低对称性四面体的特殊形式，例如正四面体是特殊的复正方锲形体，这种四面体拥有4个全等的等腰三角形（对于正四面体，这些等腰三角形的底和腰相等了，成为了等边三角形），可以被描述为正四棱柱的交错（对于正四面体，这个正四棱柱是正方形），一种能够密铺空间的四面体就是复正方锲形体。另外还有复斜方锲形体和二面体锲形体，它们分别是长方体和任意四角六面体的交错。

名称	考克斯特符号（英语：Coxeter diagram）	面	对称性（英语：List_of_spherical_symmetry_groups）
名称	考克斯特符号（英语：Coxeter diagram）	面	申弗利斯（英语：Schönflies_notation）	考克斯特（英语：Coxeter notation）	轨形符号（英语：Orbifold notation）	阶
二面体锲形体		两种等腰三角形	D_1h	[2]	(*22)	4
复斜方锲形体 (非等腰四面体)		全等的任意三角形	D₂	[2,2]⁺	(222)	4
正三棱锥		一个等边三角形底面和三个全等的等腰三角形	C_3v	[3]	(*33)	6
复正方锲形体 (等腰四面体)		全等的等腰三角形	D_2d	[2⁺,4]	(2*2)	8
正四面体		全等的等边三角形	T_d	[3,3]	(*332)	24

此外，由于正四面体具有高度的对称性，它还是其它一些四面体的特例，例如：垂心四面体（英语：Orthocentric tetrahedron），因为其3组相对的边互相垂直；等力四面体，因为其所有4条顶点到对面内心连线（一种塞瓦线（英语：Cevian））是共点的；等角四面体，因为其所有顶点到对面与内切球切点的连线是共点的。

等距同构下的对称性

正四面体等距同构对称变换群

严格旋转—顶点对面120°（3阶）旋转、边对边180°（2阶）旋转；及镜面对称（沿一条边、穿过两面即一边）

正四面体子对称群之间的关系

立方体的8个顶点可以交错着被分成2组，每一组都能组成一个正四面体，这意味着正四面体拥有立方体一半的对称性，即那些能将立方体内部的正四面体变换到自身而不是对方的对称性。而由于立方体的所有中心对称都会将内接正四面体变换到对方，因此正四面体是柏拉图立体中唯一一个没有中心对称性的。
正四面体有24个不同的等距同构的对称变换，形成了对称群T_d，[3,3]，(*332)，与对称群S₄同构。它可以用如下方式分类：

T，[3,3]+，(332)，与交错群A₄（包括单位元和11个严格旋转）同构，再加上下述共轭类。（在括号内给出的是顶点排列，或者说是相对应的面和单位四元数表示。）
- 单位元
- 以顶点到对面垂线所在直线为旋转轴的旋转，旋转角为±120°。共4根轴，每根轴对应2个旋转，共8个（顶点排列（1 2 3），例如乘以单位四元数（1 ± i ± j ± k）/2）。
- 将边旋转到它对边原来的位置的180°的旋转：共3个（顶点排列（1 2，3 4)，例如乘以i、j、k）。
关于垂直于边的平面的镜面对称：6个。
关于平面的镜面对称加上关于垂直于该平面的直线的90°旋转的混合。三条轴，每条轴对应2个旋转，共6个。另外，还有90°旋转加上中心对称变换，旋转轴对应着立方体的面对面旋转轴。

正四面体的非正四面体子对称变换群

7种非正四面体（无标记）的对称性取决于它的几何特征。任何一种非正对称变换组都能组成一个三维点群，另外两种对称性（C₃, [3]⁺）和(S₄, [2⁺,4⁺])要求面和棱标记是被允许的。

几何关联

星形八面体

复锲形体堆砌

正四面体是三维的单纯形，这个家族在所有维度的成员都是凸的多面体。它们都具有类似的几何性质，比如它们n维元素都符合一个相同的规律（杨辉三角形），以及它们都是该维最简单的多胞形（这也是单纯形英文“simplex”—“简单的复杂”的来源）。

正四面体是一种特殊的正三棱锥，正四面体是自身对偶的。

正四面体可以以两种中心对称的方式内含于立方体，使得正四面体的顶点交错着与立方体顶点重和，而正四面体的棱成为立方体6个面的对角线，对应坐标已在上部分给出。这意味着正四面体就是三维的半立方体。这两个正四面体的任意一个都占据了立方体体积的¹/₃。这样得到的两个正四面体是以互相对偶的方式部分重合的其顶点占据了立方体所有的顶点，它们一起组成了正复合多面体星形八面体，也叫做二复合正四面体，这星形八面体应此是立方体的第一个也是唯一一个小面化（英语：faceting）（Faceting），而星形八面体两正四面体的交集是正八面体，应此它也是正八面体唯一的星形化（英语：stellation）（Stellation）。

从这里我们还可以看出来，正八面体是正四面体从各边中点处截下4个包括原顶点在内的线性大小为原正四面体一半的正四面体得到的结果。（这种操作叫“截半”，得到的正八面体是作为“截半四面体”出现的，只具有正四面体的对称性）

从立方体得到正四面体的操作叫“交错”，这种操作将正方体分成5个四面体，其中一个是正的，另外4个是有一个正方体立体角（即从一个顶点发出的3条棱互相正交）的直角四面体（英语：trirectangular tetrahedron）。

交错2n边形镶嵌系列：
	球面镶嵌	多面体	欧式镶嵌	紧凑双曲镶嵌				仿紧空间	非紧空间
n	1	2	3	4	5	6		∞
2n边形镶嵌	{2,3}	{4,3}	{6,3}	{8,3}	{10,3}	{12,3}		{∞,3}	{iπ/λ,3}
交错2n边形镶嵌	h{2,3}	h{4,3}	h{6,3}	h{8,3}	h{10,3}	h{12,3}	...	h{∞,3}	h{iπ/λ,3}

事实上，我们至少需要5个四面体来堆积一个正方体。

利用内接于五复合立方体中立方体的正四面体，我们还可以构造出另外两个基于正四面体的正复合多面体—五复合正四面体（每个立方体只利用一个）和十复合正四面体（每个立方体利用两个）。考虑到五复合立方体中立方体都是内接与正十二面体的，这两种复合多面体中的正四面体实际上是正十二面体内接的正四面体。事实上，正十二面体的对偶——正二十面体可以被看作是半正的扭棱正四面体，拥有正四面体部分对称性。
正四面体是不能独立密铺三维欧氏空间的，尽管它看上去可能以至于亚里士多德声称它的确是可能的。但是，我们可以将一个正四面体面对面粘到正八面体上得到一个能独立密铺空间的菱面体，或者我们可以直接利用正四面体和正八面体两种多面体去完成一个半正堆砌，即正四面体—正八面体堆砌（英语：demcubic honeycomb）。但是，一些非正的四面体却可以胜任，比如复锲形体堆砌（英语：Disphenoid tetrahedral honeycomb），完整的列表还有待研究。如果我们不要求参与堆砌的正四面体都是全等的话，可能性会更丰富一些。比如说。我们可以将正八面体沿一条对角线劈开分成4个全等的锲形体，然后再拿两个正的与它们堆砌。（事实上这样做后锲形体与正四面体体积相等）。
正四面体是柏拉图立体中唯一一个不存在互相平行的面的。