View source for 5-cell

{{Short description|Four-dimensional analogue of the tetrahedron}}
{{Polyscheme|radius=an '''expanded version''' of}}
{{Infobox 4-polytope |
  Name=5-cell<BR>(4-simplex)|
  Image_File=Schlegel wireframe 5-cell.png|
  Image_Caption=[[W:Schlegel diagram|Schlegel diagram]]<BR>(vertices and edges)|
  Type=[[W:Convex regular 4-polytope|Convex regular 4-polytope]]|
  Family=[[W:Simplex|Simplex]]|
  Last= |
  Index=1|
  Next=[[W:Rectified 5-cell|2]]|
  Schläfli={3,3,3}|
  CD={{Coxeter–Dynkin diagram|node_1|3|node|3|node|3|node}}|
  Cell_List=5 [[W:Tetrahedron|{3,3}]] [[Image:3-simplex t0.svg|20px]] |
  Face_List= 10 {3} [[Image:2-simplex t0.svg|20px]]|
  Edge_Count= 10|
  Vertex_Count= 5|
  Petrie_Polygon=[[W:Pentagon|pentagon]]|
  Coxeter_Group= A<sub>4</sub>, [3,3,3]|
  Vertex_Figure=[[Image:5-cell verf.svg|80px]]<BR>([[W:Tetrahedron|tetrahedron]])|
  Dual=[[W:Self-dual polytope|Self-dual]]|
  Property_List=[[W:Convex polytope|convex]], [[W:Isogonal figure|isogonal]], [[W:Isotoxal figure|isotoxal]], [[W:Isohedral figure|isohedral]]
}}
[[Image:5-cell.gif|thumb|right|A 3D projection of a 5-cell performing a [[W:SO(4)#Geometry of 4D rotations|simple rotation]]]]
[[File:5-cell net.png|thumb|right|[[W:Net (polyhedron)|Net of five tetrahedra (one hidden)]]]]

In [[W:Geometry|geometry]], the '''5-cell''' is the convex [[W:4-polytope|4-polytope]] with [[W:Schläfli symbol|Schläfli symbol]] {3,3,3}. It is a 5-vertex [[W:Four-dimensional space|four-dimensional]] object bounded by five tetrahedral cells.{{Efn|name=elements}} It is also known as a '''C<sub>5</sub>''', '''pentachoron''',<ref>[[W:Norman Johnson (mathematician)|N.W. Johnson]]: ''Geometries and Transformations'', (2018) {{ISBN|978-1-107-10340-5}} Chapter 11: ''Finite Symmetry Groups'', 11.5 ''Spherical Coxeter groups'', p.249</ref> '''pentatope''', '''pentahedroid''',<ref>Matila Ghyka, ''The geometry of Art and Life'' (1977), p.68</ref> or '''tetrahedral pyramid'''. It is the '''4-[[W:Simplex|simplex]]''' (Coxeter's <math>\alpha_4</math> polytope),{{Sfn|Coxeter|1973|p=120|loc=§7.2. see illustration Fig 7.2<small>A</small>}} the simplest possible convex 4-polytope, and is analogous to the [[W:Tetrahedron|tetrahedron]] in three dimensions and the [[W:Triangle|triangle]] in two dimensions. The 5-cell is a [[W:Hyperpyramid|4-dimensional pyramid]] with a tetrahedral base and four tetrahedral sides.

The '''regular 5-cell''' is bounded by five [[W:Regular tetrahedron|regular tetrahedra]], and is one of the six [[W:Regular convex 4-polytope|regular convex 4-polytope]]s (the four-dimensional analogues of the [[W:Platonic solids|Platonic solids]]). A regular 5-cell can be constructed from a regular tetrahedron by adding a fifth vertex one edge length distant from all the vertices of the tetrahedron. This cannot be done in 3-dimensional space. The regular 5-cell is a solution to the problem: ''Make 10 equilateral triangles, all of the same size, using 10 matchsticks, where each side of every triangle is exactly one matchstick, and none of the triangles and matchsticks intersect one another.'' No solution exists in three dimensions.

== Alternative names ==
* Pentachoron (5-point 4-polytope)
* Hypertetrahedron (4-dimensional analogue of the [[W:Tetrahedron|tetrahedron]])
* 4-simplex (4-dimensional [[W:Simplex|simplex]])
* Tetrahedral pyramid (4-dimensional [[W:Hyperpyramid|hyperpyramid]] with a tetrahedral base)
* Pentatope 
* Pentahedroid (Henry Parker Manning) 
* Pen (Jonathan Bowers: for pentachoron)<ref>[http://www.polytope.net/hedrondude/regulars.htm Category 1: Regular Polychora]</ref>

==Geometry==
The 5-cell is the 4-dimensional [[W:Simplex|simplex]], the simplest possible [[W:4-polytope|4-polytope]]. As such it is the first in the sequence of 6 convex regular 4-polytopes (in order of size and complexity).{{Efn|The convex regular 4-polytopes can be ordered by size as a measure of 4-dimensional content (hypervolume) for the same radius. Each greater polytope in the sequence is ''rounder'' than its predecessor, enclosing more content{{Sfn|Coxeter|1973|pp=292-293|loc=Table I(ii): The sixteen regular polytopes {''p,q,r''} in four dimensions|ps=; An invaluable table providing all 20 metrics of each 4-polytope in edge length units. They must be algebraically converted to compare polytopes of unit radius.}} within the same radius. The 4-simplex (5-cell) is the limit smallest case, and the 120-cell is the largest. Complexity (as measured by comparing [[#As a configuration|configuration matrices]] or simply the number of vertices) follows the same ordering. This provides an alternative numerical naming scheme for regular polytopes in which the 5-cell is the 5-point 4-polytope: first in the ascending sequence that runs to the 600-point 4-polytope.|name=polytopes ordered by size and complexity|group=}}

{{Regular convex 4-polytopes|wiki=W:}}

A 5-cell is formed by any five points which are not all in the same [[W:Hyperplane|hyperplane]] (as a [[W:Tetrahedron|tetrahedron]] is formed by any four points which are not all in the same plane, and a [[W:Triangle|triangle]] is formed by any three points which are not all in the same line). Any such five points constitute a 5-cell, though not usually a regular 5-cell. The ''regular'' 5-cell is not found within any of the other regular convex 4-polytopes except one: the 600-vertex [[120-cell]] is a [[W:Polytope compound|compound]] of 120 regular 5-cells.{{Efn|The regular 120-cell has a curved 3-dimensional boundary surface consisting of 120 regular dodecahedron cells. It also has 120 disjoint regular 5-cells inscribed in it.{{Sfn|Coxeter|1973|p=305|loc=Table VII: Regular Compounds in Four Dimensions}} These are not 3-dimensional cells but 4-dimensional objects which share the 120-cell's center point, and collectively cover all 600 of its vertices.}}

=== Structure ===
When a net of five tetrahedra is folded up in 4-dimensional space such that each tetrahedron is face bonded to the other four, the resulting 5-cell has a total of 5 vertices, 10 edges and 10 faces. Four edges meet at each vertex, and three tetrahedral cells meet at each edge.

The 5-cell is [[W:Self-dual polytope|self-dual]] (as are all [[W:Simplex|simplexes]]), and its [[W:Vertex figure|vertex figure]] is the [[W:Tetrahedron|tetrahedron]].{{Efn|The [[W:Schlegel diagram|Schlegel diagram]] of the 5-cell (at the top of this article) illustrates its tetrahedral [[W:Vertex figure|vertex figure]]. Six of the 5-cell's 10 edges are the bounding edges of the Schlegel regular tetrahedron. The other four edges converge at the fifth vertex, at the center of volume of the tetrahedron. Consider any circular geodesic (shortest) path along edges.{{Efn|name=non-planar geodesic circle along edges}} There are four ways to arrive at a vertex (such as that fifth "central" vertex) traveling along an edge. The 5-cell has exactly two distinct pentagonal geodesic circles in it, and the four arrival directions at a vertex correspond to arriving on one of two circuits, traveling in one of two rotational directions on a circuit. These two geodesic skew pentagons are the 5-cell's two distinct [[W:Petrie polygon|Petrie polygon]]s. In the [[#Boerdijk–Coxeter helix|orthogonal projection graph]] one appears as the pentagon perimeter (vertex sequence 1 2 3 4 5), and one is the inscribed pentagram (vertex sequence 1 3 5 2 4), but in fact they are identical regular ''skew'' pentagons, each of which skews through all 4 dimensions. Each is a different sequence of 5 of the 10 edges, and there are only two such distinct sequences.|name=vertex figure}} Its maximal intersection with 3-dimensional space is the [[W:Triangular prism|triangular prism]]. Its [[W:Dihedral angle|dihedral angle]] is cos<sup>−1</sup>({{sfrac|1|4}}), or approximately 75.52°.

The convex hull of two 5-cells in dual configuration is the [[W:Truncated 5-cell#Disphenoidal 30-cell|disphenoidal 30-cell]], dual of the [[W:Truncated 5-cell#Bitruncated 5-cell|bitruncated 5-cell]].

=== As a configuration ===
This [[W:Regular 4-polytope#As configurations|configuration matrix]] represents the 5-cell. The rows and columns correspond to vertices, edges, faces, and cells. The diagonal numbers say how many of each element occur in the whole 5-cell. The nondiagonal numbers say how many of the column's element occur in or at the row's element. This self-dual polytope's matrix is identical to its 180 degree rotation.{{sfn|Coxeter|1973|p=12|loc=§1.8. Configurations}} The ''k''-faces can be read as rows left of the diagonal, while the ''k''-figures are read as rows after the diagonal.<ref>{{cite web | url=https://bendwavy.org/klitzing/incmats/pen.htm | title=Pen }}</ref>
[[File:Symmetrical 5-set Venn diagram.svg|thumb|Grünbaum's rotationally symmetrical 5-set Venn diagram, 1975]]
{| class=wikitable
|-
!Element||''k''-face||f<sub>''k''</sub>
!f<sub>0</sub>
!f<sub>1</sub>
!f<sub>2</sub>
!f<sub>3</sub>
!''k''-figs
|- align=right
|align=left bgcolor=#ffffe0 |<!--. . . .-->{{Coxeter–Dynkin diagram|node_x|2|node_x|2|node_x|2|node_x}}||( )
|rowspan=1|f<sub>0</sub>
|bgcolor=#e0ffe0|5
|  bgcolor=#e0e0e0|4
|  bgcolor=#ffffff|6
|  bgcolor=#e0e0e0|4
|[[W:Tetrahedron|{3,3}]]
|- align=right
|align=left bgcolor=#ffffe0 |<!--x . . .-->{{Coxeter–Dynkin diagram|node_1|2|node_x|2|node_x|2|node_x}}||{ }
|rowspan=1|f<sub>1</sub>
|  bgcolor=#e0e0e0|2
|bgcolor=#e0ffe0|10
|  bgcolor=#e0e0e0|3
|  bgcolor=#ffffff|3
|[[W:Triangle|{3}]]
|- align=right
|align=left bgcolor=#ffffe0 |<!--x3o . .-->{{Coxeter–Dynkin diagram|node_1|3|node|2|node_x|2|node_x}}||[[W:Triangle|{3}]]
|rowspan=1|f<sub>2</sub>
|  bgcolor=#ffffff|3
|  bgcolor=#e0e0e0|3
|bgcolor=#e0ffe0|10
|  bgcolor=#e0e0e0|2
|{ }
|- align=right
|align=left bgcolor=#ffffe0 |<!--x3o3o .-->{{Coxeter–Dynkin diagram|node_1|3|node|3|node|2|node_x}}||[[W:Tetrahedron|{3,3}]]
|rowspan=1|f<sub>3</sub>
|  bgcolor=#e0e0e0|4
|  bgcolor=#ffffff|6
|  bgcolor=#e0e0e0|4
|bgcolor=#e0ffe0|5
|( )
|}
All these elements of the 5-cell are enumerated in [[W:Branko Grünbaum|Branko Grünbaum]]'s [[W:Venn diagram|Venn diagram]] of 5 points, which is literally an illustration of the regular 5-cell in [[#Projections|projection]] to the plane.

===Coordinates===
The simplest set of [[W:Cartesian coordinates|Cartesian coordinates]] is: (2,0,0,0), (0,2,0,0), (0,0,2,0), (0,0,0,2), (𝜙,𝜙,𝜙,𝜙), with edge length 2{{sqrt|2}}, where 𝜙 is the [[W:Golden ratio|golden ratio]].{{sfn|Coxeter|1991|p=30|loc=§4.2. The Crystallographic regular polytopes}} While these coordinates are not origin-centered, subtracting <math>(1,1,1,1)/(2-\tfrac{1}{\phi})</math> from each translates the 4-polytope's [[W:Circumcenter|circumcenter]] to the origin with radius <math>2(\phi-1/(2-\tfrac{1}{\phi})) =\sqrt{\tfrac{16}{5}}\approx 1.7888</math>, with the following coordinates:

:<math>\left(\tfrac{2}{\phi}-3, 1, 1, 1\right)/(\tfrac{1}{\phi}-2)</math>
:<math>\left(1,\tfrac{2}{\phi}-3,1,1 \right)/(\tfrac{1}{\phi}-2)</math>
:<math>\left(1,1,\tfrac{2}{\phi}-3,1 \right)/(\tfrac{1}{\phi}-2)</math>
:<math>\left(1,1,1,\tfrac{2}{\phi}-3 \right)/(\tfrac{1}{\phi}-2)</math>
:<math>\left(\tfrac{2}{\phi},\tfrac{2}{\phi},\tfrac{2}{\phi},\tfrac{2}{\phi}  \right)/(\tfrac{1}{\phi}-2)</math>

The following set of origin-centered coordinates with the same radius and edge length as above can be seen as a hyperpyramid with a [[W:Tetrahedron#Coordinates for a regular tetrahedron|regular tetrahedral base]] in 3-space:

:<math>\left( 1, 1, 1, \frac{-1}\sqrt{5}\right)</math>
:<math>\left( 1,-1,-1,\frac{-1}\sqrt{5} \right)</math>
:<math>\left(-1, 1,-1,\frac{-1}\sqrt{5} \right)</math>
:<math>\left(-1,-1, 1,\frac{-1}\sqrt{5} \right)</math>
:<math>\left( 0, 0, 0,\frac{4}\sqrt{5}  \right)</math>

Scaling these or the previous set of coordinates by <math>\tfrac{\sqrt{5}}{4}</math> give '''''unit-radius''''' origin-centered regular 5-cells with edge lengths <math>\sqrt{\tfrac{5}{2}}</math>. The hyperpyramid has coordinates:

:<math>\left( \sqrt{5}, \sqrt{5}, \sqrt{5},  -1 \right)/4</math>
:<math>\left( \sqrt{5},-\sqrt{5},-\sqrt{5}, -1 \right)/4</math>
:<math>\left(-\sqrt{5}, \sqrt{5},-\sqrt{5}, -1 \right)/4</math>
:<math>\left(-\sqrt{5},-\sqrt{5}, \sqrt{5}, -1 \right)/4</math>
:<math>\left( 0, 0, 0, 1 \right)</math>

Coordinates for the vertices of another origin-centered regular 5-cell with edge length&nbsp;2 and radius <math>\sqrt{\tfrac{8}{5}}\approx 1.265</math> are:

:<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>

Scaling these by <math>\sqrt{\tfrac{5}{8}}</math> to unit-radius and edge length <math>\sqrt{\tfrac{5}{2}}</math> gives:
:<math>\left(\sqrt{3}, \sqrt{5}, \sqrt{10},\pm\sqrt{30} \right)/(4\sqrt{3})</math>
:<math>\left(\sqrt{3}, \sqrt{5}, -\sqrt{40},0\right)/(4\sqrt{3})</math>
:<math>\left(\sqrt{3},-\sqrt{45},0,0\right)/(4\sqrt{3})</math>
:<math>\left(-1, 0, 0, 0 \right)</math>

The vertices of a 4-simplex (with edge {{radic|2}} and radius 1) can be more simply constructed on a [[W:Hyperplane|hyperplane]] in 5-space, as (distinct) permutations of (0,0,0,0,1) ''or'' (0,1,1,1,1); in these positions it is a [[W:Facet (geometry)|facet]] of, respectively, the [[W:5-orthoplex|5-orthoplex]] or the [[W:Rectified penteract|rectified penteract]].

=== Geodesics and rotations ===
[[File:5-cell-orig.gif|thumb|A 3D projection of a 5-cell performing a [[W:SO(4)#Double rotations|double rotation]].{{Efn|The [[W:Rotations in 4-dimensional Euclidean space|general rotation in 4-space]] is a [[W:SO(4)#Double rotations|double rotation]], by a distinct angle in each of two completely orthogonal rotation planes. There are two special cases of the double rotation, the [[W:SO(4)#Simple rotations|simple rotation]] (with one 0° rotation angle) and the [[W:SO(4)#Isoclinic rotations|isoclinic rotation]] (with two equal rotation angles).}}]]The 5-cell has only [[W:Digon|digon]] central planes through vertices. It has 10 digon central planes, where each vertex pair is an edge, not an axis, of the 5-cell.{{Efn|In a polytope with a tetrahedral vertex figure,{{Efn|name=vertex figure}} a geodesic path along edges does not lie on an ordinary great circle in a single central plane: each successive edge lies in a different central plane than the previous edge. Nonetheless the edge-path ''[[#Boerdijk–Coxeter helix|Clifford polygon]]'' is the skew chord set of a true geodesic great circle, circling through four dimensions rather than through only two dimensions: but it is not an ordinary "flat" great circle of circumference 2𝝅𝑟, it is an ''isocline''.{{Efn|name=4-simplex isoclines are edges}}|name=non-planar geodesic circle along edges}} Each digon plane is orthogonal to 3 others, but completely orthogonal to none of them.{{Efn|Each edge intersects 6 others (3 at each end) and is disjoint from the other 3, to which it is orthogonal as the edge of a tetrahedron to its opposite edge.}} The characteristic [[W:Rotations in 4-dimensional Euclidean space#Double rotations|isoclinic rotation]] of the 5-cell has, as pairs of invariant planes, those 10 digon planes and their completely orthogonal central planes, which are 0-gon planes which intersect no vertices of the 5-cell.

Below, a spinning 5-cell is visualized with the fourth dimension squashed and displayed as colour. The [[W:Clifford torus|Clifford torus]] is depicted in its rectangular (wrapping) form.

<gallery caption="[[W:Rotations in 4-dimensional Euclidean space#Visualization of 4D rotations|Visualization of 4D rotations]]">
File:Simple 4D rotation of a 5-cell, in X-Y plane.webm|loop|Simply rotating in X-Y plane
File:Simple 4D rotation of a 5-cell, in Z-W plane.webm|loop|Simply rotating in Z-W plane
File:Double 4D rotation of a 5-cell.webm|loop|Double rotating in X-Y and Z-W planes with angular velocities in a 4:3 ratio
File:Isoclinic left 4D rotation of a 5-cell.webm|loop|Left isoclinic rotation
File:Isoclinic right 4D rotation of a 5-cell.webm|loop|Right isoclinic rotation
</gallery>

=== Boerdijk–Coxeter helix ===
A 5-cell can be constructed as a [[W:Boerdijk–Coxeter helix|Boerdijk–Coxeter helix]] of five chained tetrahedra, folded into a 4-dimensional ring.{{Sfn|Banchoff|2013}} The 10 triangle faces can be seen in a 2D net within a [[W:Triangular tiling|triangular tiling]], with 6 triangles around every vertex, although folding into 4-dimensions causes edges to coincide. The purple edges form a [[W:Pentagon#Regular pentagons|regular pentagon]] which is the [[W:Petrie polygon|Petrie polygon]] of the 5-cell. The blue edges connect every second vertex, forming a [[W:Pentagram|pentagram]] which is the ''Clifford polygon'' of the 5-cell. The pentagram's blue edges are chords of the 5-cell's ''isocline'', the circular rotational path its vertices take during an [[W:Rotations in 4-dimensional Euclidean space#Double rotations|isoclinic rotation]], also known as a [[W:Rotations in 4-dimensional Euclidean space#Isoclinic rotations|Clifford displacement]].
:[[File:5-cell 5-ring net.png|480px]]

===Projections===
[[Image:Stereographic polytope 5cell.png|240px|thumb|[[W:Stereographic projection|Stereographic projection]] wireframe (edge projected onto a [[W:3-sphere|3-sphere]])]]

The A<sub>4</sub> Coxeter plane projects the 5-cell into a regular [[W:Pentagon|pentagon]] and [[W:Pentagram|pentagram]]. The A<sub>3</sub> Coxeter plane projection of the 5-cell is that of a [[W:Square pyramid|square pyramid]]. The A<sub>2</sub> Coxeter plane projection of the regular 5-cell is that of a [[W:Triangular bipyramid|triangular bipyramid]] (two tetrahedra joined face-to-face) with the two opposite vertices centered.

{{4-simplex Coxeter plane graphs|t0|150}}

{|class="wikitable" width=640
!colspan=2|Projections to 3 dimensions
|- valign=top align=center
|[[Image:Pentatope-vertex-first-small.png]]<BR>The vertex-first projection of the 5-cell into 3 dimensions has a [[W:Tetrahedron|tetrahedral]] projection envelope. The closest vertex of the 5-cell projects to the center of the tetrahedron, as shown here in red. The farthest cell projects onto the tetrahedral envelope itself, while the other 4 cells project onto the 4 flattened tetrahedral regions surrounding the central vertex.
|[[Image:5cell-edge-first-small.png]]<BR>The edge-first projection of the 5-cell into 3 dimensions has a [[W:Triangular dipyramid|triangular dipyramid]]al envelope. The closest edge (shown here in red) projects to the axis of the dipyramid, with the three cells surrounding it projecting to 3 tetrahedral volumes arranged around this axis at 120 degrees to each other. The remaining 2 cells project to the two halves of the dipyramid and are on the far side of the pentatope.
|- valign=top align=center
|[[Image:5cell-face-first-small.png]]<BR>The face-first projection of the 5-cell into 3 dimensions also has a triangular dipyramidal envelope. The nearest face is shown here in red. The two cells that meet at this face project to the two halves of the dipyramid. The remaining three cells are on the far side of the pentatope from the 4D viewpoint, and are culled from the image for clarity. They are arranged around the central axis of the dipyramid, just as in the edge-first projection.
|[[Image:5cell-cell-first-small.png|320px]]<BR>The cell-first projection of the 5-cell into 3 dimensions has a tetrahedral envelope. The nearest cell projects onto the entire envelope, and, from the 4D viewpoint, obscures the other 4 cells; hence, they are not rendered here.
|}

== Irregular 5-cells ==
In the case of [[W:Simplex|simplexes]] such as the 5-cell, certain irregular forms are in some sense more fundamental than the regular form. Although regular 5-cells cannot fill 4-space or the regular 4-polytopes, there are irregular 5-cells which do. These '''characteristic 5-cells''' are the [[W:Fundamental domain|fundamental domain]]s of the different [[W:Coxeter group|symmetry groups]] which give rise to the various 4-polytopes.

===Orthoschemes===
A '''4-orthoscheme''' is a 5-cell where all 10 faces are [[W:Triangle#By_internal_angles|right triangles]].{{Efn|A 5-cell's 5 vertices form 5 tetrahedral [[W:Cell (geometry)|cells]] face-bonded to each other, with a total of 10 edges and 10 triangular faces.|name=elements}} An [[W:Schläfli orthoscheme|orthoscheme]] is an irregular [[W:Simplex|simplex]] that is the [[W:Convex hull|convex hull]] of a [[W:Tree (graph theory)|tree]] in which all edges are mutually perpendicular.{{Efn|A right triangle is a 2-dimensional orthoscheme; orthoschemes are the generalization of right triangles to ''n'' dimensions. A 3-dimensional orthoscheme is a tetrahedron with 4 right triangle faces (not necessarily similar).}} In a 4-dimensional orthoscheme, the tree consists of four perpendicular edges connecting all five vertices in a linear path that makes three right-angled turns. The elements of an orthoscheme are also orthoschemes (just as the elements of a regular simplex are also regular simplexes). Each tetrahedral cell of a 4-orthoscheme is a [[W:Tetrahedron#Orthoschemes|3-orthoscheme]], and each triangular face is a 2-orthoscheme (a right triangle).

Orthoschemes are the [[W:Orthoscheme#Characteristic simplex of the general regular polytope|characteristic simplexes]] of the regular polytopes, because each regular polytope is [[W:Coxeter group|generated by reflections]] in the bounding facets of its particular characteristic orthoscheme.{{Sfn|Coxeter|1973|loc=§11.7 Regular figures and their truncations|pp=198-202}} For example, the special case of the 4-orthoscheme with equal-length perpendicular edges is the characteristic orthoscheme of the [[W:4-cube|4-cube]] (also called the ''tesseract'' or ''8-cell''), the 4-dimensional analogue of the 3-dimensional cube. If the three perpendicular edges of the 4-orthoscheme are of unit length, then all its edges are of length {{radic|1}}, {{radic|2}}, {{radic|3}}, or {{radic|4}}, precisely the [[W:Tesseract#Radial equilateral symmetry|chord lengths of the unit 4-cube]] (the lengths of the 4-cube's edges and its various diagonals). Therefore this 4-orthoscheme fits within the 4-cube, and the 4-cube (like every regular convex polytope) can be [[W:Dissection into orthoschemes|dissected into instances of its characteristic orthoscheme]].

[[File:Triangulated cube.svg|thumb|400px|A 3-cube dissected into six [[W:Tetrahedron#Orthoschemes|3-orthoschemes]]. Three are left-handed and three are right handed. A left and a right meet at each square face.]]A 3-orthoscheme is easily illustrated, but a 4-orthoscheme is more difficult to visualize. A 4-orthoscheme is a [[W:Hyperpyramid|tetrahedral pyramid]] with a 3-orthoscheme as its base. It has four more edges than the 3-orthoscheme, joining the four vertices of the base to its apex (the fifth vertex of the 5-cell). Pick out any one of the 3-orthoschemes of the six shown in the 3-cube illustration. Notice that it touches four of the cube's eight vertices, and those four vertices are linked by a 3-edge path that makes two right-angled turns. Imagine that this 3-orthoscheme is the base of a 4-orthoscheme, so that from each of those four vertices, an unseen 4-orthoscheme edge connects to a fifth apex vertex (which is outside the 3-cube and does not appear in the illustration at all). Although the four additional edges all reach the same apex vertex, they will all be of different lengths. The first of them, at one end of the 3-edge orthogonal path, extends that path with a fourth orthogonal {{radic|1}} edge by making a third 90 degree turn and reaching perpendicularly into the fourth dimension to the apex. The second of the four additional edges is a {{radic|2}} diagonal of a cube face (not of the illustrated 3-cube, but of another of the tesseract's eight 3-cubes).{{Efn|The 4-cube (tesseract) contains eight 3-cubes (so it is also called the 8-cell). Each 3-cube is face-bonded to six others (that entirely surround it), but entirely disjoint from the one other 3-cube which lies opposite and parallel to it on the other side of the 8-cell.}} The third additional edge is a {{radic|3}} diagonal of a 3-cube (again, not the original illustrated 3-cube). The fourth additional edge (at the other end of the orthogonal path) is a [[W:Tesseract#Radial equilateral symmetry|long diameter of the tesseract]] itself, of length {{radic|4}}. It reaches through the exact center of the tesseract to the [[W:Antipodal point|antipodal]] vertex (a vertex of the opposing 3-cube), which is the apex. Thus the '''characteristic 5-cell of the 4-cube''' has four {{radic|1}} edges, three {{radic|2}} edges, two {{radic|3}} edges, and one {{radic|4}} edge.

The 4-cube {{Coxeter–Dynkin diagram|node_1|4|node|3|node|3|node}} can be [[W:Schläfli orthoscheme#Properties|dissected into 24 such 4-orthoschemes]] {{Coxeter–Dynkin diagram|node|4|node|3|node|3|node}} eight different ways, with six 4-orthoschemes surrounding each of four orthogonal {{radic|4}} tesseract long diameters. The 4-cube can also be dissected into 384 ''smaller'' instances of this same characteristic 4-orthoscheme, just one way, by all of its symmetry hyperplanes at once, which divide it into 384 4-orthoschemes that all meet at the center of the 4-cube.{{Efn|The dissection of the 4-cube into 384 4-orthoschemes is 16 of the dissections into 24 4-orthoschemes. First, each 4-cube edge is divided into 2 smaller edges, so each square face is divided into 4 smaller squares, each cubical cell is divided into 8 smaller cubes, and the entire 4-cube is divided into 16 smaller 4-cubes. Then each smaller 4-cube is divided into 24 4-orthoschemes that meet at the center of the original 4-cube.}}

More generally, any regular polytope can be dissected into ''g'' instances of its characteristic orthoscheme that all meet at the regular polytope's center.{{Sfn|Kim|Rote|2016|pp=17-20|loc=§10 The Coxeter Classification of Four-Dimensional Point Groups}} The number ''g'' is the ''order'' of the polytope, the number of reflected instances of its characteristic orthoscheme that comprise the polytope when a ''single'' mirror-surfaced orthoscheme instance is reflected in its own facets.{{Efn|For a regular ''k''-polytope, the [[W:Coxeter-Dynkin diagram|Coxeter-Dynkin diagram]] of the characteristic ''k-''orthoscheme is the ''k''-polytope's diagram without the [[W:Coxeter-Dynkin diagram#Application with uniform polytopes|generating point ring]]. The regular ''k-''polytope is subdivided by its symmetry (''k''-1)-elements into ''g'' instances of its characteristic ''k''-orthoscheme that surround its center, where ''g'' is the ''order'' of the ''k''-polytope's [[W:Coxeter group|symmetry group]].{{Sfn|Coxeter|1973|pp=130-133|loc=§7.6 The symmetry group of the general regular polytope}}}} More generally still, characteristic simplexes are able to fill uniform polytopes because they possess all the requisite elements of the polytope. They also possess all the requisite angles between elements (from 90 degrees on down). The characteristic simplexes are the [[W:Genetic code|genetic code]]s of polytopes: like a [[W:Swiss Army knife|Swiss Army knife]], they contain one of everything needed to construct the polytope by replication.

Every regular polytope, including the regular 5-cell, has its characteristic orthoscheme.{{Efn|A regular polytope of dimension ''k'' has a characteristic ''k''-orthoscheme, and also a characteristic (''k''-1)-orthoscheme. A regular 4-polytope has a characteristic 5-cell (4-orthoscheme) into which it is subdivided by its (3-dimensional) hyperplanes of symmetry, and also a characteristic tetrahedron (3-orthoscheme) into which its surface is subdivided by its cells' (2-dimensional) planes of symmetry. After subdividing its (3-dimensional) surface into characteristic tetrahedra surrounding each cell center, its (4-dimensional) interior can be subdivided into characteristic 5-cells by adding radii joining the vertices of the surface characteristic tetrahedra to the 4-polytope's center.{{Sfn|Coxeter|1973|p=130|loc=§7.6|ps=; "simplicial subdivision".}} The interior tetrahedra and triangles thus formed will also be orthoschemes.}} There is a 4-orthoscheme which is the '''characteristic 5-cell of the regular 5-cell'''. It is a [[W:Hyperpyramid|tetrahedral pyramid]] based on the [[W:Tetrahedron#Orthoschemes|characteristic tetrahedron of the regular tetrahedron]]. The regular 5-cell {{Coxeter–Dynkin diagram|node_1|3|node|3|node|3|node}} can be dissected into 120 instances of this characteristic 4-orthoscheme {{Coxeter–Dynkin diagram|node|3|node|3|node|3|node}} just one way, by all of its symmetry hyperplanes at once, which divide it into 120 4-orthoschemes that all meet at the center of the regular 5-cell.{{Efn|The 120 congruent{{Sfn|Coxeter|1973|loc=§3.1 Congruent transformations}} 4-orthoschemes of the regular 5-cell occur in two mirror-image forms, 60 of each. Each 4-orthoscheme is cell-bonded to 4 others of the opposite [[W:Chirality|chirality]] (by the 4 of its 5 tetrahedral cells that lie in the interior of the regular 5-cell). If the 60 left-handed 4-orthoschemes are colored red and the 60 right-handed 4-orthoschemes are colored black, each red 5-cell is surrounded by 4 black 5-cells and vice versa, in a pattern 4-dimensionally analogous to a checkerboard (if checkerboards had right triangles instead of squares).}}

{| class="wikitable floatright"
!colspan=6|Characteristics of the regular 5-cell{{Sfn|Coxeter|1973|pp=292-293|loc=Table I(ii); "5-cell, 𝛼<sub>4</sub>"}}
|-
!align=right|
!align=center|edge{{Sfn|Coxeter|1973|p=139|loc=§7.9 The characteristic simplex}}
!colspan=2 align=center|arc
!colspan=2 align=center|dihedral{{Sfn|Coxeter|1973|p=290|loc=Table I(ii); "dihedral angles"}}
|-
!align=right|𝒍
|align=center|<small><math>\sqrt{\tfrac{5}{2}} \approx 1.581</math></small>
|align=center|<small>104°30′40″</small>
|align=center|<small><math>\pi - 2\text{𝜂}</math></small>
|align=center|<small>75°29′20″</small>
|align=center|<small><math>\pi - 2\text{𝟁}</math></small>
|-
|
|
|
|
|
|-
!align=right|𝟀
|align=center|<small><math>\sqrt{\tfrac{1}{10}} \approx 0.316</math></small>
|align=center|<small>75°29′20″</small>
|align=center|<small><math>2\text{𝜂}</math></small>
|align=center|<small>60°</small>
|align=center|<small><math>\tfrac{\pi}{3}</math></small>
|-
!align=right|𝝉{{Efn|{{Harv|Coxeter|1973}} uses the greek letter 𝝓 (phi) to represent one of the three ''characteristic angles'' 𝟀, 𝝓, 𝟁 of a regular polytope. Because 𝝓 is commonly used to represent the [[W:Golden ratio|golden ratio]] constant ≈ 1.618, for which Coxeter uses 𝝉 (tau), we reverse Coxeter's conventions, and use 𝝉 to represent the characteristic angle.|name=reversed greek symbols}}
|align=center|<small><math>\sqrt{\tfrac{1}{30}} \approx 0.183</math></small>
|align=center|<small>52°15′20″</small>
|align=center|<small><math>\tfrac{\pi}{2}-\text{𝜂}</math></small>
|align=center|<small>60°</small>
|align=center|<small><math>\tfrac{\pi}{3}</math></small>
|-
!align=right|𝟁
|align=center|<small><math>\sqrt{\tfrac{2}{15}} \approx 0.103</math></small>
|align=center|<small>52°15′20″</small>
|align=center|<small><math>\tfrac{\pi}{2}-\text{𝜂}</math></small>
|align=center|<small>60°</small>
|align=center|<small><math>\tfrac{\pi}{3}</math></small>
|-
|
|
|
|
|
|-
!align=right|<small><math>_0R^3/l</math></small>
|align=center|<small><math>\sqrt{\tfrac{3}{20}} \approx 0.387</math></small>
|align=center|<small>75°29′20″</small>
|align=center|<small><math>2\text{𝜂}</math></small>
|align=center|<small>90°</small>
|align=center|<small><math>\tfrac{\pi}{2}</math></small>
|-
!align=right|<small><math>_1R^3/l</math></small>
|align=center|<small><math>\sqrt{\tfrac{1}{20}} \approx 0.224</math></small>
|align=center|<small>52°15′20″</small>
|align=center|<small><math>\tfrac{\pi}{2}-\text{𝜂}</math></small>
|align=center|<small>90°</small>
|align=center|<small><math>\tfrac{\pi}{2}</math></small>
|-
!align=right|<small><math>_2R^3/l</math></small>
|align=center|<small><math>\sqrt{\tfrac{1}{60}} \approx 0.129</math></small>
|align=center|<small>52°15′20″</small>
|align=center|<small><math>\tfrac{\pi}{2}-\text{𝜂}</math></small>
|align=center|<small>90°</small>
|align=center|<small><math>\tfrac{\pi}{2}</math></small>
|-
|
|
|
|
|
|-
!align=right|<small><math>_0R^4/l</math></small>
|align=center|<small><math>\sqrt{1} = 1.0</math></small>
|align=center|
|align=center|
|align=center|
|align=center|
|-
!align=right|<small><math>_1R^4/l</math></small>
|align=center|<small><math>\sqrt{\tfrac{3}{8}} \approx 0.612</math></small>
|align=center|
|align=center|
|align=center|
|align=center|
|-
!align=right|<small><math>_2R^4/l</math></small>
|align=center|<small><math>\sqrt{\tfrac{1}{6}} \approx 0.408</math></small>
|align=center|
|align=center|
|align=center|
|align=center|
|-
!align=right|<small><math>_3R^4/l</math></small>
|align=center|<small><math>\sqrt{\tfrac{1}{16}} = 0.25</math></small>
|align=center|
|align=center|
|align=center|
|align=center|
|-
|
|
|
|
|
|-
!align=right|<small><math>\text{𝜼}</math></small>
|align=center|
|align=center|<small>37°44′40″</small>
|align=center|<small><math>\tfrac{\text{arc sec }4}{2}</math></small>
|align=center|
|align=center|
|}
The characteristic 5-cell (4-orthoscheme) of the regular 5-cell has four more edges than its base characteristic tetrahedron (3-orthoscheme), which join the four vertices of the base to its apex (the fifth vertex of the 4-orthoscheme, at the center of the regular 5-cell).{{Efn|The four edges of each 4-orthoscheme which meet at the center of a regular 4-polytope are of unequal length, because they are the four characteristic radii of the regular 4-polytope: a vertex radius, an edge center radius, a face center radius, and a cell center radius. The five vertices of the 4-orthoscheme always include one regular 4-polytope vertex, one regular 4-polytope edge center, one regular 4-polytope face center, one regular 4-polytope cell center, and the regular 4-polytope center. Those five vertices (in that order) comprise a path along four mutually perpendicular edges (that makes three right angle turns), the characteristic feature of a 4-orthoscheme. The 4-orthoscheme has five dissimilar 3-orthoscheme facets.|name=characteristic radii}} If the regular 5-cell has unit radius and edge length <small><math>\sqrt{\tfrac{5}{2}}</math></small>, its characteristic 5-cell's ten edges have lengths <small><math>\sqrt{\tfrac{1}{10}}</math></small>, <small><math>\sqrt{\tfrac{1}{30}}</math></small>, <small><math>\sqrt{\tfrac{2}{15}}</math></small> around its exterior right-triangle face (the edges opposite the ''characteristic angles'' 𝟀, 𝝉, 𝟁),{{Efn|name=reversed greek symbols}} plus <small><math>\sqrt{\tfrac{3}{20}}</math></small>, <small><math>\sqrt{\tfrac{1}{20}}</math></small>, <small><math>\sqrt{\tfrac{1}{60}}</math></small> (the other three edges of the exterior 3-orthoscheme facet the characteristic tetrahedron, which are the ''characteristic radii'' of the regular tetrahedron), plus <small><math>\sqrt{1}</math></small>, <small><math>\sqrt{\tfrac{3}{8}}</math></small>, <small><math>\sqrt{\tfrac{1}{6}}</math></small>, <small><math>\sqrt{\tfrac{1}{16}}</math></small> (edges which are the characteristic radii of the regular 5-cell). The 4-edge path along orthogonal edges of the orthoscheme is <small><math>\sqrt{\tfrac{1}{30}}</math></small>, <small><math>\sqrt{\tfrac{2}{15}}</math></small>, <small><math>\sqrt{\tfrac{1}{60}}</math></small>, <small><math>\sqrt{\tfrac{1}{16}}</math></small>, first from a regular 5-cell vertex to a regular 5-cell edge center, then turning 90° to a regular 5-cell face center, then turning 90° to a regular 5-cell tetrahedral cell center, then turning 90° to the regular 5-cell center.{{Efn|If the regular 5-cell has edge length <small><math>2</math></small> and radius <small><math>2\sqrt{\tfrac{2}{5}} \approx 1.265</math></small>, its characteristic 5-cell's ten edges have lengths <small><math>\sqrt{\tfrac{1}{3}} \approx 0.577</math></small>, <small><math>\sqrt{\tfrac{1}{4}} {{=}} 0.5</math></small>, <small><math>\sqrt{\tfrac{1}{12}} \approx 0.289</math></small> (the exterior right triangle face, the ''characteristic triangle''), plus <small><math>\sqrt{\tfrac{3}{8}} \approx 0.612</math></small>, <small><math>\sqrt{\tfrac{1}{8}} \approx 0.354</math></small>, <small><math>\sqrt{\tfrac{1}{24}} \approx 0.204</math></small> (the other three edges of the exterior 3-orthoscheme facet the ''characteristic tetrahedron''), plus <small><math>2\sqrt{\tfrac{2}{5}} \approx 1.265</math></small>, <small><math>\sqrt{\tfrac{3}{5}} \approx 0.775</math></small>, <small><math>\sqrt{\tfrac{4}{15}} \approx 0.516</math></small>, <small><math>\sqrt{\tfrac{1}{10}} = 0.316</math></small> (edges that are the characteristic radii of the regular 5-cell).{{Sfn|Coxeter|1973|pp=292-293|loc=Table I(ii); "5-cell, 𝛼<sub>4</sub>"}} The 4-edge path along orthogonal edges of the orthoscheme is <small><math>\sqrt{\tfrac{1}{4}}</math></small>, <small><math>\sqrt{\tfrac{1}{12}}</math></small>, <small><math>\sqrt{\tfrac{1}{24}}</math></small>, <small><math>\sqrt{\tfrac{1}{10}}</math></small>.}}

===Isometries===
There are many lower symmetry forms of the 5-cell, including these found as uniform polytope [[W:Vertex figure|vertex figure]]s:
{| class=wikitable width=600
!Symmetry
![3,3,3]<BR>Order 120
![3,3,1]<BR>Order 24
![3,2,1]<BR>Order 12
![3,1,1]<BR>Order 6
!~[5,2]<sup>+</sup><BR>Order 10
|- align=center
!Name
| Regular 5-cell
| Tetrahedral [[W:Polyhedral pyramid|pyramid]]
| 
| Triangular pyramidal pyramid
|
|- align=center
![[W:Schläfli symbol|Schläfli]]
| {3,3,3}
| {3,3}∨(&nbsp;)
| {3}∨{&nbsp;}
| {3}∨(&nbsp;)∨(&nbsp;)
| 
|- align=center valign=top
!valign=center|Example<BR>Vertex<BR>figure
|[[File:5-simplex verf.png|120px]]<BR>[[W:5-simplex|5-simplex]]
|[[File:Truncated 5-simplex verf.png|120px]]<BR>[[W:Truncated 5-simplex|Truncated 5-simplex]]
|[[File:Bitruncated 5-simplex verf.png|120px]]<BR>[[W:Bitruncated 5-simplex|Bitruncated 5-simplex]]
|[[File:Canitruncated 5-simplex verf.png|120px]]<BR>[[W:Cantitruncated 5-simplex|Cantitruncated 5-simplex]]
|[[File:Omnitruncated 4-simplex honeycomb verf.png|120px]]<BR>[[W:Omnitruncated 4-simplex honeycomb|Omnitruncated 4-simplex honeycomb]]
|}

The '''tetrahedral pyramid''' is a special case of a '''5-cell''', a [[W:Polyhedral pyramid|polyhedral pyramid]], constructed as a regular [[W:Tetrahedron|tetrahedron]] base in a 3-space [[W:Hyperplane|hyperplane]], and an [[W:Apex (geometry)|apex]] point ''above'' the hyperplane. The four ''sides'' of the pyramid are made of [[W:Triangular pyramid|triangular pyramid]] cells.

Many [[W:Uniform 5-polytope|uniform 5-polytope]]s have '''tetrahedral pyramid''' [[W:Vertex figure|vertex figure]]s with [[W:Schläfli symbol|Schläfli symbol]]s ( )∨{3,3}.
{| class=wikitable
|+ Symmetry [3,3,1], order 24
|-
![[W:Schlegel diagram|Schlegel<BR>diagram]]
|[[File:5-cell prism verf.png|100px]]
|[[File:Tesseractic prism verf.png|100px]]
|[[File:120-cell prism verf.png|100px]]
|[[File:Truncated 5-simplex verf.png|100px]]
|[[File:Truncated 5-cube verf.png|100px]]
|[[File:Truncated 24-cell honeycomb verf.png|100px]]
|-
!Name<BR>[[W:Coxeter diagram|Coxeter]]
![[W:5-cell prism|{ }×{3,3,3}]]<BR>{{Coxeter–Dynkin diagram|node_1|2|node_1|3|node|3|node|3|node}}
![[W:Tesseractic prism|{ }×{4,3,3}]]<BR>{{Coxeter–Dynkin diagram|node_1|2|node_1|4|node|3|node|3|node}}
![[W:120-cell prism|{ }×{5,3,3}]]<BR>{{Coxeter–Dynkin diagram|node_1|2|node_1|5|node|3|node|3|node}}
![[W:Truncated 5-simplex|t{3,3,3,3}]]<BR>{{Coxeter–Dynkin diagram|node_1|3|node_1|3|node|3|node|3|node}}
![[W:Truncated 5-cube|t{4,3,3,3}]]<BR>{{Coxeter–Dynkin diagram|node_1|4|node_1|3|node|3|node|3|node}}
![[W:Truncated 24-cell honeycomb|t{3,4,3,3}]]<BR>{{Coxeter–Dynkin diagram|node_1|3|node_1|4|node|3|node|3|node}}
|}

Other uniform 5-polytopes have irregular 5-cell vertex figures. The symmetry of a vertex figure of a [[W:Uniform polytope|uniform polytope]] is represented by removing the ringed nodes of the Coxeter diagram.
{| class=wikitable
!Symmetry
!colspan=2|[3,2,1], order 12
!colspan=2|[3,1,1], order 6
![2<sup>+</sup>,4,1], order 8
![2,1,1], order 4
|- align=center
![[W:Schläfli symbol|Schläfli]]
|colspan=2|{3}∨{ &nbsp;}||colspan=2|{3}∨(&nbsp;)∨(&nbsp;)||colspan=2|{&nbsp;}∨{&nbsp;}∨(&nbsp;)
|-
![[W:Schlegel diagram|Schlegel<BR>diagram]]
|[[File:Bitruncated 5-simplex verf.png|100px]]
|[[File:Bitruncated penteract verf.png|100px]]
|[[File:Canitruncated 5-simplex verf.png|100px]]
|[[File:Canitruncated 5-cube verf.png|100px]]
|[[File:Bicanitruncated 5-simplex verf.png|100px]]
|[[File:Bicanitruncated 5-cube verf.png|100px]]
|-
!Name<BR>[[W:Coxeter diagram|Coxeter]]
![[W:Bitruncated 5-simplex|t<sub>12</sub>α<sub>5</sub>]]<BR>{{Coxeter–Dynkin diagram|node|3|node_1|3|node_1|3|node|3|node}}
![[W:Bitruncated 5-cube|t<sub>12</sub>γ<sub>5</sub>]]<BR>{{Coxeter–Dynkin diagram|node|4|node_1|3|node_1|3|node|3|node}}
![[W:Cantitruncated 5-simplex|t<sub>012</sub>α<sub>5</sub>]]<BR>{{Coxeter–Dynkin diagram|node_1|3|node_1|3|node_1|3|node|3|node}}
![[W:Cantitruncated 5-cube|t<sub>012</sub>γ<sub>5</sub>]]<BR>{{Coxeter–Dynkin diagram|node_1|4|node_1|3|node_1|3|node|3|node}}
![[W:Bicantitruncated 5-simplex|t<sub>123</sub>α<sub>5</sub>]]<BR>{{Coxeter–Dynkin diagram|node|3|node_1|3|node_1|3|node_1|3|node}}
![[W:Bicantitruncated 5-cube|t<sub>123</sub>γ<sub>5</sub>]]<BR>{{Coxeter–Dynkin diagram|node|4|node_1|3|node_1|3|node_1|3|node}}
|}

{| class=wikitable
!Symmetry
!colspan=3|[2,1,1], order 2
![2<sup>+</sup>,1,1], order 2
![ ]<sup>+</sup>, order 1
|- align=center
![[W:Schläfli symbol|Schläfli]]
|colspan=3|{&nbsp;}∨(&nbsp;)∨(&nbsp;)∨(&nbsp;)||colspan=2|(&nbsp;)∨(&nbsp;)∨(&nbsp;)∨(&nbsp;)∨(&nbsp;)
|-
![[W:Schlegel diagram|Schlegel<BR>diagram]]
|[[File:Runcicantitruncated 5-simplex verf.png|100px]]
|[[File:Runcicantitruncated 5-cube verf.png|100px]]
|[[File:Runcicantitruncated 5-orthoplex verf.png|100px]]
|[[File:Omnitruncated 5-simplex verf.png|100px]]
|[[File:Omnitruncated 5-cube verf.png|100px]]
|-
!Name<BR>[[W:Coxeter diagram|Coxeter]]
![[W:Runcicantitruncated 5-simplex|t<sub>0123</sub>α<sub>5</sub>]]<BR>{{Coxeter–Dynkin diagram|node_1|3|node_1|3|node_1|3|node_1|3|node}}
![[W:Runcicantitruncated 5-cube|t<sub>0123</sub>γ<sub>5</sub>]]<BR>{{Coxeter–Dynkin diagram|node_1|4|node_1|3|node_1|3|node_1|3|node}}
![[W:Runcicantitruncated 5-orthoplex|t<sub>0123</sub>β<sub>5</sub>]]<BR>{{Coxeter–Dynkin diagram|node_1|3|node_1|3|node_1|3|node_1|4|node}}
![[W:Omnitruncated 5-simplex|t<sub>01234</sub>α<sub>5</sub>]]<BR>{{Coxeter–Dynkin diagram|node_1|3|node_1|3|node_1|3|node_1|3|node_1}}
![[W:Omnitruncated 5-cube|t<sub>01234</sub>γ<sub>5</sub>]]<BR>{{Coxeter–Dynkin diagram|node_1|4|node_1|3|node_1|3|node_1|3|node_1}}
|}

== Compound ==
The compound of two 5-cells in dual configurations can be seen in this A5 [[W:Coxeter plane|Coxeter plane]] projection, with a red and blue 5-cell vertices and edges. This compound has [[W:3,3,3|3,3,3]] symmetry, order 240. The intersection of these two 5-cells is a uniform [[W:Bitruncated 5-cell|bitruncated 5-cell]]. {{Coxeter–Dynkin diagram|branch_11|3ab|nodes}} = {{Coxeter–Dynkin diagram|branch|3ab|nodes_10l}} ∩ {{Coxeter–Dynkin diagram|branch|3ab|nodes_01l}}.
:[[File:Compound_dual_5-cells_A5_coxeter_plane.png|240px]]

This compound can be seen as the 4D analogue of the 2D [[W:Hexagram|hexagram]] &lbrace;{{sfrac|6|2}}&rbrace; and the 3D [[W:Compound of two tetrahedra|compound of two tetrahedra]].

== Related polytopes and honeycombs ==
The pentachoron (5-cell) is the simplest of 9 [[W:Uniform polychoron|uniform polychora]] constructed from the [3,3,3] [[W:Coxeter group|Coxeter group]].
{{Pentachoron family small}}

{{1 k2 polytopes}}

{{2 k1 polytopes}}

It is in the {p,3,3} sequence of [[W:Regular polychora|regular polychora]] with a [[W:Tetrahedron|tetrahedral]] [[W:Vertex figure|vertex figure]]: the [[W:Tesseract|tesseract]] {4,3,3} and [[120-cell]] {5,3,3} of Euclidean 4-space, and the [[W:Hexagonal tiling honeycomb|hexagonal tiling honeycomb]] {6,3,3} of hyperbolic space.{{Efn|name=vertex figure}}
{{Tetrahedral vertex figure tessellations small}}

It is one of three {3,3,p} [[W:Regular 4-polytope|regular 4-polytope]]s with tetrahedral cells, along with the [[16-cell]] {3,3,4} and [[600-cell]] {3,3,5}. The [[W:Order-6 tetrahedral honeycomb|order-6 tetrahedral honeycomb]] {3,3,6} of hyperbolic space also has tetrahedral cells.
{{Tetrahedral cell tessellations}}

It is self-dual like the [[24-cell]] {3,4,3}, having a [[W:Palindromic|palindromic]] {3,p,3} [[W:Schläfli symbol|Schläfli symbol]].
{{Symmetric_tessellations}}

{{Symmetric2_tessellations}}

== Notes ==
{{Regular convex 4-polytopes Notelist}}

== Citations ==
{{Reflist}}

== References ==
* [[W:Thorold Gosset|T. Gosset]]: ''On the Regular and Semi-Regular Figures in Space of n Dimensions'', Messenger of Mathematics, Macmillan, 1900
* [[W:Harold Scott MacDonald Coxeter|H.S.M. Coxeter]]: 
** {{Cite book | last=Coxeter | first=H.S.M. | author-link=W:Harold Scott MacDonald Coxeter | year=1973 | title=Regular Polytopes | publisher=Dover | place=New York | edition=3rd | title-link=W:Regular Polytopes (book) }}
*** p.&nbsp;120, §7.2. see illustration Fig 7.2<small>A</small>
*** p.&nbsp;296, Table I (iii): Regular Polytopes, three regular polytopes in n-dimensions (n≥5)
** {{Citation | last=Coxeter | first=H.S.M. | author-link=W:Harold Scott MacDonald Coxeter | year=1991 | title=Regular Complex Polytopes | place=Cambridge | publisher=Cambridge University Press | edition=2nd }}
** Kaleidoscopes: Selected Writings of H.S.M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995, {{ISBN|978-0-471-01003-6}} [http://www.wiley.com/WileyCDA/WileyTitle/productCd-0471010030.html]
*** (Paper 22) H.S.M. Coxeter, ''Regular and Semi Regular Polytopes I'', [Math. Zeit. 46 (1940) 380-407, MR 2,10]
*** (Paper 23) H.S.M. Coxeter, ''Regular and Semi-Regular Polytopes II'', [Math. Zeit. 188 (1985) 559-591]
*** (Paper 24) H.S.M. Coxeter, ''Regular and Semi-Regular Polytopes III'', [Math. Zeit. 200 (1988) 3-45]
* {{cite arXiv|last1=Kim|first1=Heuna|last2=Rote|first2=G.|date=2016|title=Congruence Testing of Point Sets in 4 Dimensions|class=cs.CG|eprint=1603.07269}}
* [[W:John Horton Conway|John H. Conway]], Heidi Burgiel, Chaim Goodman-Strauss, ''The Symmetries of Things'' 2008, {{ISBN|978-1-56881-220-5}} (Chapter 26. pp.&nbsp;409: Hemicubes: 1<sub>n1</sub>)
* [[W:Norman Johnson (mathematician)|Norman Johnson]] ''Uniform Polytopes'', Manuscript (1991)
** N.W. Johnson: ''The Theory of Uniform Polytopes and Honeycombs'', Ph.D. (1966)
* {{cite book|last=Banchoff|first=Thomas F.|chapter=Torus Decompostions of Regular Polytopes in 4-space|date=2013|title=Shaping Space|url=https://archive.org/details/shapingspaceexpl00sene|url-access=limited|pages=[https://archive.org/details/shapingspaceexpl00sene/page/n249 257]–266|editor-last=Senechal|editor-first=Marjorie|publisher=Springer New York|doi=10.1007/978-0-387-92714-5_20|isbn=978-0-387-92713-8}}
==External links==
* [http://www.polytope.de/c5.html Der 5-Zeller (5-cell)] Marco Möller's Regular polytopes in R<sup>4</sup> (German)
* [http://polytope.net/hedrondude/regulars.htm Jonathan Bowers, Regular polychora]
* [https://web.archive.org/web/20110718202453/http://public.beuth-hochschule.de/~meiko/pentatope.html Java3D Applets]
* [http://hi.gher.space/wiki/Pyrochoron pyrochoron]

[[Category:Geometry]]
[[Category:Polyscheme]]