正四面體

正四面體
	; (按這裏觀看旋轉模型)
類別	柏拉圖立體; 正多面體
對偶多面體	正四面體（自身對偶）
識別
名稱	正四面體
參考索引	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個全等的鍥形體，然後再拿兩個正的與它們堆砌。（事實上這樣做後鍥形體與正四面體體積相等）。
正四面體是柏拉圖立體中唯一一個不存在互相平行的面的。