查看“︁正二十四胞体”︁的源代码

{{NoteTA|G1=Math}}
{{Infobox polychoron
| name = 正二十四胞体
| imagename = Schlegel wireframe 24-cell.png
| caption = 
| polytope = 正二十四胞体<br />（24-胞）<br />''4-体''   
| Type = [[四维凸正多胞体]]
| Cell =24 ([[八面體|3.4.3]]) [[File:Octahedron.png|20px]]
| Face = 96 {3} [[Image:2-simplex_t0.svg|20px]]
| Edge = 96
| Vertice = 24
| Vertice_type = [[File:24 cell verf.svg|80px]]<br />([[正方体|4.4.4]])
| Schläfli = {3,4,3}
| Coxeter_diagram =  {{CDD|node_1|3|node|4|node|3|node}}<br />
{{CDD|node|3|node_1|3|node|4|node}}<br />
{{CDD|node|3|node_1|split1|nodes}}
| Symmetry_group = 
| dual = 自身對偶
| Properties = [[凸多胞形|凸]]、[[等角图形|等角]]、[[等边图形|等边]]、[[等面图形|等面]]
| Index_references = 
| Coxeter_group =
}}
[[File:24-cell net.png|thumb|right|[[展开图]]]]
[[几何学]]上，'''正二十四胞体'''（Icositetrachoron），又稱為复正八面体或正八面复立方体，是六个[[四维凸正多胞体]]之一，[[施莱夫利符号]]是{3,4,3}。正二十四胞体拥有许多独一无二的性质，既不是正[[单纯形]]也不是[[正多边形]]的自身[[对偶多面体|对偶]]多胞形，也是唯一没有好的3维类比的四维凸正多胞体，但它可以被類比為一對多面體：[[截半立方體]]和[[菱形十二面體]]。

==性質==

正二十四胞体由24个[[正八面体]]胞组成，于每顶点有八个相接。正二十四胞体共有96个三角形面、96条边，24个顶点，其[[頂點圖]]是[[立方体]]。正二十四胞体是自身[[对偶多胞体|对偶]]。对于边长为a的正二十四胞体，其超体积是2a<sup>4</sup>，表体积是8√2a<sup>3</sup>。

若一个正二十四胞体的棱长为1，则其外接超球的半径为1,其外中交超球（经过正二十四胞体每条棱的中点的三维超球）半径为<math>\frac{\sqrt{3}}{2} \approx0.866025403</math>，其内中交超球（经过正二十四胞体每个面的中心）半径为<math>\frac{\sqrt{6}}{3} \approx0.81649658</math>,其内切超球半径为<math>\frac{\sqrt{2}}{2} \approx0.707106781</math>。

===构造法===

以下顶点构成中心于原点，边长为1的正二十四胞体：

8个由以下坐标的所有不同排列得出
:(±1, 0, 0, 0)，
另外16个则有形式
:(±½, ±½, ±½, ±½)。

首8顶点构成[[正十六胞体]]，另外16个则是其对偶[[超正方体]]。（3维空间的类似构造得出的并非正多面体，而是[[菱形十二面体]]。）其余16点按负号数目的奇偶再分成两组，则此三组每组都构成正十六胞体，其对偶超正方体是其余的顶点构成。

与上面的正十二胞体对偶的正二十四胞体是以下坐标的所有不同排列
:(±1, ±1, 0, 0)，
边长为&radic;2，外接于半径&radic;2的[[3-球面]]。实际上，这个正二十四胞体是作为{{tsl|en|rectification (Geometry)||截半}}正十六胞体存在的。正十六胞体的顶点图是正八面体，意味着截去正十六胞体的顶点会出现正八面体胞，而在棱长中点出截去正十六胞体的正四面体胞的角（“截半”）也会出现正八面体胞，总共16+8=24个正八面体胞。

===堆砌===

二十四胞体可以填滿4维[[欧几里得空间|歐幾-{里}-得空間]]，這種幾何結構稱為[[正二十四胞體堆砌]]。这个[[堆砌 (幾何)|堆砌體]]的[[施莱夫利符号]]是{3,4,3,3}。其對偶多胞體為[[正十六胞體堆砌]]，在施萊夫利符號中以{3,3,4,3}表示，由正十六胞体组成。连同[[超正方体]]镶嵌{4,3,3,4}，'''R'''<sup>4</sup>僅有的三個正堆砌體。

== 对称性、根系和密铺 ==
[[File:F4 roots by 24-cell duals.svg|thumb|150px|考克斯特F<sub>4</sub>群平面下的投影，展现了正二十四胞体(红点)和它的对偶(黄点)。]]
如果把正二十四胞体的24个顶点看作位置向量的话，它们能构成一个[[简单李群]]D<sub>4</sub>，这二十四个顶点处于3个互相平行的[[超平面]]之上，2对6个顶点分别处于外侧的两个超平面上，构成两个正八面体（就是两个胞），其余12个顶点处于中间的超平面之上，构成[[截半立方体]]。而这24个顶点又可拆分成[[超立方体]]的16个顶点和[[正十六胞体]]的8个顶点，应此作为截半正十六胞体和双棱锥正二十四胞体（截半正十六胞体的对偶），正二十四胞体也具有BC<sub>4</sub>对称性。正二十四胞体和它的对偶正二十四胞体的共48个顶点（的位置向量）构成了F<sub>4</sub>对称群，它包含了两个D<sub>4</sub>对称群，大小是后者的√2倍。正二十四胞体的全部对称性构成了[[外尔群]]F<sub>4</sub>，由与F<sub>4</sub>的根[[正交]]的超平面反射构成，它是一个群[[阶（群论）|阶]]为1152的旋转反射群。正二十四胞体的纯旋转群群阶为576。如果把正二十四胞体的顶点看作是[[四元数]]，由于单位四元数乘除等同于旋转，能够构造出一个等同于只有旋转的外尔群F<sub>4</sub>的[[乘法群]]。其它正多胞形，如正十六胞体和[[正六百胞体]]也有该性质。

=== 四元数解释 ===
当我们用[[四元数]]来解释时，F<sub>4</sub>[[根格]]（即正二十四胞体所有顶点的完整共轭）在[[乘法]]下封闭，这意味着其形成了一个[[环 (代数)|环]]。这是一个{{link-en|哈维兹整四元数|Hurwitz quaternion}}构成的环。正二十四胞体的顶点形成了哈维兹四元数环（这一群也被叫做{{link-en|二元四面体群|binary tetrahedral group}}）中的[[单位 (环论)|单位群]]（由可逆元组成的群）。正二十四胞体的24个顶点恰好就是24个[[范数]]为1的哈维兹四元数，而其对偶的24个顶点则是24个范数为√2的哈维兹四元数。D<sub>4</sub>根格是F<sub>4</sub>的[[对偶]]，其是哈维兹四元数有着偶数范数平方的子环。

其它[[四维凸正多胞体]]的顶点也能形成可乘的四元数群，但它们都不能形成根格。

=== 沃罗诺伊胞 ===
D<sub>4</sub>根格的[[沃罗诺伊图|沃罗诺伊胞]]是正二十四胞体。对应的[[密铺]]是[[正二十四胞体堆砌|正二十四胞体的四维欧式空间'''R'''<sup>4</sup>密铺]]。正二十四胞体的中心位于D<sub>4</sub>格点（偶平方范数的哈维兹整四元数）处，而其顶点位于F<sub>4</sub>格点（奇平方范数的哈维兹整四元数）处，这一密铺中每个正二十四胞体都有24个正二十四胞体相邻，共用正八面体胞，有32个正二十四面体只共用定点。这一密铺中每个顶点有8个正二十四面体相交。这一密铺的[[施莱夫利符号]]为{3,4,3,3}。

有趣的是，密铺中这些正二十四胞体的内切[[n维球面#n维球体|四维球]]组成了四维欧式空间中最密的超球密铺。正二十四胞体的定点构型亦有四维空间中最大的{{link-en|接触数|kissing number}}。

==可视化==
{| class="wikitable"
|-
! 中心投影 !! 线架投影 !! 球极投影 !! 正二十四胞体<br />穿越三维空间
|-
| [[File:24cell-perspective-cell-first-01.png|200px]] || [[File:24-cell t0 F4.svg|200px]] || [[File:Stereographic polytope 24cell faces.png|200px]] || [[File:24cell_section_anim.gif|200px]]
|-
! 旋转着的<br />中心投影
|-
| [[File:24-cell.gif|200px]]
|}
{| class=wikitable
|+ 二维正交线架投影
|- align=center
!{{tsl|en|Coxeter plane||考克斯特平面}}
!colspan=2|F<sub>4</sub>
|- align=center
!图像
|colspan=2|[[File:24-cell t0_F4.svg|200px]]
|- align=center
![[二面体群]]
|colspan=2|[12]
|- align=center
!考克斯特平面
!B<sub>3</sub> / A<sub>2</sub> (a)
!B<sub>3</sub> / A<sub>2</sub> (b)
|- align=center
!图像
|[[File:4-cube t0 B3.svg|200px]]
|[[File:24-cell t3_B3.svg|200px]]
|- align=center
!二面体群
|[6]
|[6]
|- align=center
!考克斯特平面
!B<sub>4</sub>
!B<sub>2</sub> / A<sub>2</sub>
|- align=center
!图像
|[[File:24-cell t0_B4.svg|200px]]
|[[File:24-cell t0_B2.svg|200px]]
|- align=center
!二面体群
|[8]
|[4]
|}

==外部链接==

*[https://web.archive.org/web/20051118135108/http://valdostamuseum.org/hamsmith/24anime.html 正二十四胞体动画]
*[http://members.home.nl/fg.marcelis/24-cell.htm 正二十四胞体的球极平面投影] {{Wayback|url=http://members.home.nl/fg.marcelis/24-cell.htm |date=20200913141133 }}
*[https://web.archive.org/web/20050908034025/http://eusebeia.dyndns.org/~hsteoh/4d/24-cell.html 正二十四胞体的图和描述]
*[https://web.archive.org/web/20040702163006/http://davidf.faricy.net/polyhedra/Polytopes.html Regular Convex Four-Dimensional Polytopes] 提供了正二十四胞体部分的几何数据

{{四维正多胞体}}
{{正圖形}}
{{正多胞形}}
[[Category:多胞体]]