# Pentachore rectifié

En géométrie à quatre dimensions, le Pentachore rectifié, ou 5-cellules rectifié, est un polytope uniforme à 4 dimensions (ou polychore uniforme) composé de 5 cellules tétraédriques régulières et de 5 cellules octaédriques régulières. Chaque arête est adjacente à un tétraèdre et deux octaèdres. Chaque sommet est entouré de deux tétraèdres et trois octaèdres. Au total, le pentachore rectifié possède 30 faces triangulaires, 30 arêtes et 10 sommets.
La figure de sommet du pentachore rectifié est un prisme triangulaire uniforme, formé de trois carrés (correspondant aux trois octaèdres présents au sommet) et de deux triangles équilatéraux (correspondant aux deux tétraèdres, à ce même sommet).
Bien qu'ayant le même nombre de sommets que de cellules (10), et le même nombre d'arêtes que de faces (30), le pentachore rectifié n'est pas autodual car la figure de sommet n'est pas un dual des cellules du polychore. Le dual du pentachore rectifié est le pentachore joint, un polychore de Catalan constitué de 10 cellules bipyramidales triangulaires à faces triangulaires isocèles, 30 triangles isocèles, 30 arêtes (10 longues, 20 courtes) et 10 sommets.

## Noms alternatifs

* Tétroctaédrique (Thorold Gosset)
* Dispentachoron
* 5-cellules rectifié (Norman W. Johnson)
* 4-simplex rectifié
* 4-simplex entièrement tronqué
* Pentachoron rectifié (Jonathan Bowers)
* rap (Notation de Jonathan Bowers)
* Ambopentachoron (Neil Sloane et John Horton Conway)
* (5,2)-hypersimplex : l'enveloppe convexe des vecteurs à cinq dimensions avec exactement deux "1" et trois "0", obtenus par permutation de (0,0,0,1,1).

## Structure

Le pentachore rectifié peut être obtenu par rectification du pentachore, c'est-à-dire en tronquant chaque sommet du pentachore jusqu'à la moitié des arêtes. Les cinq tétraèdres réguliers deviennent des tétraèdres rectifiés, donc des octaèdres réguliers, et cinq nouveaux tétraèdres réguliers sont produits.
Partant du pentachore, dont le Symbole de Schläfli est noté {3,3,3}, le Symbole de Schläfli étendu du pentachore rectifié est noté t$_1${3,3,3} ou r{3,3,3}. A noter que la rectification du pentachore rectifié (un pentachore birectifié, de Symbole de Schläfli t$_2${3,3,3} ou 2r{3,3,3}) est égale à la rectification du dual du pentachore (dual noté t$_3${3,3,3} ou 3r{3,3,3}), c'est-à-dire à la rectification du pentachore - le pentachore étant autodual - et est donc aussi un pentachore rectifié.
Le pentachore rectifié est ainsi l'un des neuf polychores uniformes construits à partir du pentachore :
| Troncatures du pentachore | Pentachore | Pentachore tronqué | Pentachore rectifié | Pentachore biseauté | Pentachore bitronqué | Pentachore biseauté-tronqué | Pentachore augmenté | Pentachore augmenté-tronqué | Pentachore omnitronqué |
| Symbole de Schläfli | {3,3,3} 3r{3,3,3} | t{3,3,3} 3t{3,3,3} | r{3,3,3} 2r{3,3,3} | rr{3,3,3} r2r{3,3,3} | 2t{3,3,3} | tr{3,3,3} t2r{3,3,3} | t$_{0,3}${3,3,3} | t$_{0,1,3}${3,3,3} t$_{0,2,3}${3,3,3} | t$_{0,1,2,3}${3,3,3} |
| Diagramme de Coxeter | | | | | | | | | |
| Diagramme de Schlegel | | | | | | | | | |
| Projection orthogonale par le plan de Coxeter A$_4$ | | | | | | | | | |
| par le plan de Coxeter A$_3$ | | | | | | | | | |
| par le plan de Coxeter A$_2$ | | | | | | | | | |
Avec le pentachore et l'icositétrachore, le pentachore rectifié et son dual étaient les premiers 4-polytopes 2-simpliciaux 2-simples connus, c'est-à-dire que toutes leurs faces et toutes les faces de leur dual sont des triangles. En 1997, Tom Braden a trouvé une autre paire duale, en collant deux pentachores rectifiés ensemble ; depuis lors, une infinité de polytopes 2-simpliciaux 2-simples ont été construits$^,$.

## Polytope semi-régulier

C'est l'un des trois polychores semi-réguliers, constitués de deux ou plusieurs cellules formant des solides platoniciens (polyèdres réguliers convexes). Découverts par Thorold Gosset dans son article de 1900, ce dernier l'a appelé tétractaédrique car ce polychore est constitué de cellules tétraédriques et octaédriques.
E. L. Elte l'a identifié en 1912 comme un polytope semi-régulier, le désignant par le symbole tC $_5$.

## Construction de Wythoff

La matrice de configuration suivante montre les comptages d'incidence entre les éléments. Les nombres du vecteur f en diagonale sont dérivés par la construction de Wythoff, en divisant l'ordre du groupe complet (A$_4$, d'ordre 5!, correspondant au pentachore rectifié) par l'ordre du sous-groupe obtenu en supprimant un miroir à la fois.
| A$_4$ | k-face | f$_k$ | f$_0$ | f$_1$ | f$_2$ | f$_2$ | f$_3$ | f$_3$ | k-figure | Notes |
| A$_2$A$_1$ | ( ) | f$_0$ | 10 | 6 | 3 | 6 | 3 | 2 | {3}x{ } | A$_4$/A$_2$A$_1$ = 5!/3!/2 = 10 |
| A$_1$A$_1$ | { } | f$_1$ | 2 | 30 | 1 | 2 | 2 | 1 | { }v( ) | A$_4$/A$_1$A$_1$ = 5!/2/2 = 30 |
| A$_2$A$_1$ | {3} | f$_2$ | 3 | 3 | 10 | * | 2 | 0 | { } | A$_4$/A$_2$A$_1$ = 5!/3!/2 = 10 |
| A$_2$ | {3} | f$_2$ | 3 | 3 | * | 20 | 1 | 1 | { } | A$_4$/A$_2$ = 5!/3! = 20 |
| A$_3$ | r{3,3} | f$_3$ | 6 | 12 | 4 | 4 | 5 | * | ( ) | A$_4$/A$_3$ = 5!/4! = 5 |
| A$_3$ | {3,3} | f$_3$ | 4 | 6 | 0 | 4 | * | 5 | ( ) | A$_4$/A$_3$ = 5!/4! = 5 |

## Images

| projection stéréographique (centré sur l'octaèdre) | Patron (polytope) |
| | Projection en perspective centrée sur le tétraèdre dans l'espace 3D, avec le tétraèdre le plus proche du point de vue 4D rendu en rouge et les 4 octaèdres environnants en vert. Les cellules situées de l'autre côté du polytope ont été éliminées pour plus de clarté (bien qu'elles puissent être discernées à partir des contours des bords). La rotation concerne uniquement l'image de projection 3D, afin de montrer sa structure, pas une rotation dans l'espace 4D. |

## Coordonnées

Les coordonnées cartésiennes des sommets du pentachore rectifié centré sur l'origine et ayant une longueur d'arête égale à 2 sont :
Coordonnées :
| $\left({\sqrt {\frac {2}{5}}},\ {\frac {2}{\sqrt {6}}},\ {\frac {2}{\sqrt {3}}},\ 0\right)$ $\left({\sqrt {\frac {2}{5}}},\ {\frac {2}{\sqrt {6}}},\ {\frac {-1}{\sqrt {3}}},\ \pm 1\right)$ $\left({\sqrt {\frac {2}{5}}},\ {\frac {-2}{\sqrt {6}}},\ {\frac {1}{\sqrt {3}}},\ \pm 1\right)$ $\left({\sqrt {\frac {2}{5}}},\ {\frac {-2}{\sqrt {6}}},\ {\frac {-2}{\sqrt {3}}},\ 0\right)$ | $\left({\frac {-3}{\sqrt {10}}},\ {\frac {1}{\sqrt {6}}},\ {\frac {1}{\sqrt {3}}},\ \pm 1\right)$ $\left({\frac {-3}{\sqrt {10}}},\ {\frac {1}{\sqrt {6}}},\ {\frac {-2}{\sqrt {3}}},\ 0\right)$ $\left({\frac {-3}{\sqrt {10}}},\ -{\sqrt {\frac {3}{2}}},\ 0,\ 0\right)$ |
Les sommets du pentachore rectifié peuvent être positionnés sur un hyperplan de l'espace de dimension 5 par des vecteurs obtenus par les permutations de (0,0,0,1,1) et de (0,0,1,1,1).

## Polychores apparentés

Le pentachore rectifié est la figure de sommet du 5-demicube ; c'est aussi la figure d'arête du polytope uniforme de dimension 6 noté 2$_{21}$ (en).

### Composé du pentachore rectifié et de son dual

L'enveloppe convexe du pentachore rectifié et de son dual de même grand rayon est un polychore non uniforme composé de 30 cellules : 10 tétraèdres et 20 octaèdres (les octaèdres sont des antiprismes triangulaires), et 20 sommets. Sa figure de sommet est un bifrustum triangulaire (tronc de bipyramide triangulaire).

### Polytopes de pentachore

Le pentachore rectifié est l'un des 9 polytopes uniformes à 4 cellules construits à partir du groupe de Coxeter [3,3,3].

### Polytopes semi-réguliers

Le pentachore rectifié est le deuxième élément d'une série dimensionnelle de polytopes semi-réguliers. Chaque polytope uniforme est construit comme la figure de sommet du polytope précédent. Thorold Gosset a identifié cette série en 1900 comme contenant toutes les facettes de polytopes réguliers, contenant tous les simplexes et orthoplexes (tétraèdres et octaèdres dans le cas du pentachore rectifié). Le symbole de Coxeter du pentachore rectifié est 0$_{21}$.