# Polyèdre isoédrique

En géométrie, un polytope de dimension 3 (un polyèdre) ou plus est dit isoédrique lorsque ses faces sont identiques. Plus précisément, toutes les faces ne doivent pas être simplement isométriques, mais doivent être transitives, c'est-à-dire qu'elles doivent se trouver dans la même orbite de symétrie. En d'autres termes, pour toutes les faces A et B, il doit y avoir une symétrie de l'ensemble du solide par rotations et réflexions qui envoie A sur B. Par exemple, les polyèdres isoédriques convexes fournissent des dés équitables.
Les polyèdres isoédriques sont appelés isoèdres. Ils peuvent être décrits par la configuration des faces. Un isoèdre à sommets réguliers est également transitive pour les arêtes (isotoxale) et est dite dualement quasirégulière. Un isoèdre a un nombre pair de faces.
Un polyèdre isoédrique a un polyèdre dual qui est isogonal, c'est-à-dire à sommets transitifs. Les solides de Catalan, les bipyramides et les trapézoèdres sont tous isoédriques. Ce sont les duaux des solides d'Archimède isogonaux, des prismes et des antiprismes, respectivement. Les solides de Platon, qui sont soit auto-duaux, soit doubles avec un autre solide de Platon, sont isogonaux, isotoxaux et isoédriques. Un polyèdre isoédrique et isogonal est dit noble (en).
Tous les isozonoèdres ne sont pas isoèdres. Exemple : un icosaèdre rhombique est un isozonoèdre non isoèdrique.

## Exemples

| Convexe | Convexe | Convexe | Concave |
| La bipyramide hexagonale, V4.4.6 est un exemple non régulier de polyèdre isoédrique. | Le pavage du Caire, V3.3.4.3.4 | Le nid d'abeilles dodécaédrique rhombique est un exemple de nid d'abeilles isoédrique (et isochore) remplissant l'espace. | Carrelage carré topologique. |

## Classes d'isoèdres par symétrie

| Faces | config. des faces | Classe | Nom | Symmétrie | Ordre |
| 4 | V3$^3$ | Platonique | tétraèdre tétraèdre équiface disphénoïde rhombique | T$_d$, [3,3], (*332) D$_{2d}$, [2$^+$,2], (2*) D$_2$, [2,2]$^+$, (222) | 24 4 4 4 |
| 6 | V3$^4$ | Platonique | cube Trapézoèdre trigonal Trapézoèdre trigonal asymétrique | O$_h$, [4,3], (*432) D$_{3d}$, [2$^+$,6] (2*3) D$_3$ [2,3]$^+$, (223) | 48 12 12 6 |
| 8 | V4$^3$ | Platonique | octaère bipyramide carré bipyramide rhombique scalénoère carré | O$_h$, [4,3], (*432) D$_{4h}$,[2,4],(*224) D$_{2h}$,[2,2],(*222) D$_{2d}$,[2$^+$,4],(2*2) | 48 16 8 8 |
| 12 | V3$^5$ | Platonique | dodécaère régulier pyritoère tétartoide | I$_h$, [5,3], (*532) T$_h$, [3$^+$,4], (3*2) T, [3,3]$^+$, (*332) | 120 24 12 |
| 20 | V5$^3$ | Platonique | isocaère régulier | I$_h$, [5,3], (*532) | 120 |
| 12 | V3.6$^2$ | Catalan | triakitétraèdre | T$_d$, [3,3], (*332) | 24 |
| 12 | V(3.4)$^2$ | Catalan | dodécaèdre rhombique dodécaère trapézoidal | O$_h$, [4,3], (*432) T$_d$, [3,3], (*332) | 48 24 |
| 24 | V3.8$^2$ | Catalan | triakioctaèdre | O$_h$, [4,3], (*432) | 48 |
| 24 | V4.6$^2$ | Catalan | tétrakihexaèdre | O$_h$, [4,3], (*432) | 48 |
| 24 | V3.4$^3$ | Catalan | icositétraèdre trapézoïdal | O$_h$, [4,3], (*432) | 48 |
| 48 | V4.6.8 | Catalan | hexakioctaèdre | O$_h$, [4,3], (*432) | 48 |
| 24 | V3$^4$.4 | Catalan | icositétraèdre pentagonal | O, [4,3]$^+$, (432) | 24 |
| 30 | V(3.5)$^2$ | Catalan | triacontaèdre rhombique | I$_h$, [5,3], (*532) | 120 |
| 60 | V3.10$^2$ | Catalan | triaki-icosaèdre | I$_h$, [5,3], (*532) | 120 |
| 60 | V5.6$^2$ | Catalan | pentakidodécaèdre | I$_h$, [5,3], (*532) | 120 |
| 60 | V3.4.5.4 | Catalan | hexacontaèdre trapézoïdal | I$_h$, [5,3], (*532) | 120 |
| 120 | V4.6.10 | Catalan | hexaki-icosaèdre | I$_h$, [5,3], (*532) | 120 |
| 60 | V3$^4$.5 | Catalan | hexacontaèdre pentagonal | I, [5,3]$^+$, (532) | 60 |
| 2n | V3$^3$.n | Polaire | antidiamant antidiamant asymétrique | D$_{nd}$, [2$^+$,2n], (2*n) D$_n$, [2,n]$^+$, (22n) | 4n 2n |
| 2n 4n | V4$^2$.n V4$^2$.2n V4$^2$.2n | Polaire | bipyramide n-régulière 2n-bipyramide isotoxal 2n-scalénoère | D$_{nh}$, [2,n], (*22n) D$_{nh}$, [2,n], (*22n) D$_{nd}$, [2$^+$,2n], (2*n) | 4n |

## Termes connexes

Une figure est isochore est un n-polytope (n > 3) ou un nid d'abeilles dont les cellules sont congruentes et transitives les unes avec les autres. En 4 dimensions, les polytopes isochores ont été dénombrés jusqu'à 20 cellules.
Une figure isotopiques est un polytope à n dimensions ou un nid d'abeilles, avec ses facettes ((n−1)- faces) congruentes et transitives. Le dual d'un isotope est un polytope isogonal.