查看“︁正五胞体”︁的源代码

{{NoteTA
|G1 = Math
}}
{{Infobox polychoron
| name = 正五胞體
| imagename = Schlegel wireframe 5-cell.png
| polytope = 正五胞体<BR>（5胞体）<br/>4-單体
| Type = [[四维凸正多胞体|正多胞体]]
| group_type = [[单纯形]]
| Dimension = [[四維|4]]
| dim = 
| count = 
| Cell = 5 ([[正四面体|3.3.3]]) [[Image:3-simplex_t0.svg|20px]]
| Face = 10 {3} [[Image:2-simplex_t0.svg|20px]]
| Edge = 10
| Vertice = 5
| Vertice_type = [[Image:5-cell verf.svg|80px]]<br/>([[正四面体|3.3.3]])
| Coxeter_diagram = [[File:CDW_ring.png]][[File:CDW_3.png]][[File:CDW_dot.png]][[File:CDW_3.png]][[File:CDW_dot.png]][[File:CDW_3.png]][[File:CDW_dot.png]]
| analogy = [[正四面體]]
| convex = 
| Symmetry_group = A<sub>4</sub>, [3,3,3]
| Properties = [[等角圖形|等角]], [[等邊圖形|等邊]], [[等面圖形|等面]], [[凸集|凸]]
}}
'''正五胞体'''是一种[[四维凸正多胞体]]，其展开为五个[[正四面体]]。正五胞体的投影的形状可以想象成一个[[双三角锥]]的两顶点再加一条连线，或者是一个[[正四面体]]的四顶点连线至中心，在这里，正五胞体作为正的正四面体面锥出现的。正五胞体有四个交面（[[等边三角形]]），十条棱和五个顶点。正五胞体是最简单的四维正多胞体（如同三角形是最简单的[[多边形]]）。

正五胞体是四维的[[单纯形|正单纯形]]，这是一系列具有相同性质的多胞形的总称，这一家族的特性在正五胞体上也体现出来了。五胞体是四维最简单的多胞体，任何顶点数、棱数、面数、胞数比它小的多胞体都只能成为退化多胞体（即它们并不真正具有真实的、非零的超体积）。正五胞体的顶点排布是让五个点在四维空间中两两间距离都相等的唯一方案。正五胞体同其它面为正三角形的多胞形一样，具有稳定性，即如果正五胞体10条棱长都确定了，则正五胞体就被唯一确定了。

== 几何性质 ==
正五胞体作为一个单纯形，是自身对偶的。当它穿过三维空间时其截体积最大时，其截体是一个[[半正多面體|半正]]的[[正三棱柱]]。它的[[二胞角]]度数是cos<sup>-1</sup>(1/4)，约等于75.52°。对于一个边长为a的正五胞体，其超体积是<math>\cfrac{\sqrt{5}a^4}{96}</math>,表体积是<math>\cfrac{5\sqrt{2}a^3}{12}</math>,高是<math>\cfrac{\sqrt{10}a}{4}</math>。

若一个正五胞体的棱长为1，则其外接超球的半径为<math>\frac{\sqrt{10}}{5} \approx0.632455532</math>,外中交超球(经过正五胞体各棱中点的三维超球)半径为<math>\frac{\sqrt{15}}{10} \approx0.3872983346</math>，内中交超球(经过正五胞体各面中心的三维超球)半径为<math>\frac{\sqrt{15}}{15} \approx0.2581988897</math>，内切超球半径为<math>\frac{\sqrt{10}}{20} \approx0.158113883</math>。
=== 顶点坐标 ===
对于一个边长为2，中心在四维直角坐标系原点上的正五胞体，它的5个顶点坐标分别是

:<math>\left( \frac{1}{\sqrt{10}},\  \frac{1}{\sqrt{6}},\  \frac{1}{\sqrt{3}},\  \pm1\right)</math>
:<math>\left( \frac{1}{\sqrt{10}},\  \frac{1}{\sqrt{6}},\  \frac{-2}{\sqrt{3}},\ 0   \right)</math>
:<math>\left( \frac{1}{\sqrt{10}},\  -\sqrt{\frac{3}{2}},\ 0,\                   0   \right)</math>
:<math>\left( -2\sqrt{\frac{2}{5}},\ 0,\                   0,\                   0   \right)</math>

如果把正五胞体作为一个五维直角坐标系中的四维平面，则它的顶点坐标会简单得多，为(0,0,0,0,1)或(0,1,1,1,1)的全[[排列]]（其中正五胞体棱长为<math>\sqrt{2}</math>），分别对应[[五维正轴体]]（正三十二超胞体）或{{tsl|en|5-demicube|五维半正方体}}。

=== 对称群结构 ===
正五胞体属于四维[[单纯形]]，它有着A<sub>4</sub>对称结构，对应[[施莱夫利符号]]{3,3,3}，考斯特符号{{CDD|node_1|3|node|3|node|3|node}}，该群的群阶为120。

== 可视化 ==
{| class="wikitable" 
|+ 二维线架[[正交投影]]
|-
! A<sub>k</sub> <BR>{{tsl|en|Coxeter plane|考克斯特平面}} !! A<sub>4</sub> !! A<sub>3</sub> !! A<sub>2</sub>
|-
! 图像
| [[File:4-simplex t0.svg|150px]] || [[File:4-simplex t0 A3.svg|150px]] || [[File:4-simplex t0 A2.svg|150px]]
|- align=center
! [[二面体群]]
| [5] || [4] || [3]
|-
|}

{|class="wikitable" width=640
!colspan=2|三维投影
|- valign=top align=center
|[[Image:Stereographic polytope 5cell.png|240px]]<BR>线架[[球极投影]](棱先被投影到了[[3-球面]]上)
|[[Image:5-cell.gif]]<BR>正五胞体作{{link-en|单旋转|SO(4)#Geometry of 4D rotations}}的透视投影
|- valign=top
|[[Image:Pentatope-vertex-first-small.png]]<BR>正五胞体正对着顶点的三维投影有[[正四面体]]形的凸包。最靠近投影中心的顶点被投影到了正四面体的中心（加红的点）。最远的胞被投影到了正四面体凸包本身，而其它4个胞则被投影成了一层4个环绕着中心顶点的扁平的四面体。
|[[Image:5cell-edge-first-small.png]]<BR>正五胞体正对着棱的三维投影有一个[[三角双锥]]凸包。最近的棱(红色)被投影成了三角双锥的对角线，被三个被投影成[[锲形体|二面体锲形体]]的正四面体胞环绕着。剩下的两个位于正五胞体远端的胞被投影成了三角双锥的两半。
|- valign=top
|[[Image:5cell-face-first-small.png]]<BR>正五胞体正对着面的三维投影有着[[三角双锥]]的凸包。最靠近投影中心的面被涂成了红色。相交于这个面的两个胞被投影成了三角双锥的两半。剩余的处在正五胞体远端的3个胞在图中没有显示出来。它们就像正对棱的投影中一样，环绕在双锥的对称轴周围。
|[[Image:5cell-cell-first-small.png]]<BR>正五胞体正对着胞的三维投影有着正四面体胞，最近的胞被投影成了凸包本身，并且，处于远端的4个胞没有在这里显示。
|}

== 相关多胞体和堆砌 ==
正五胞体是由[[考克斯特群]][3,3,3]构造出来的9个[[半正多胞体]]中最简单的一个。
{{正五胞体家族}}
== 參見 ==
* [[五胞体]]

== 参考 ==
[https://web.archive.org/web/20040702163006/http://davidf.faricy.net/polyhedra/Polytopes.html Regular Convex Four-Dimensional Polytopes] by David Fontaine,提供了部分关于正五胞体的几何数据。
{{四维正多胞体}}
{{正圖形}}
{{正多胞形}}

[[Category:多胞体]]