Zonoèdre

La motivation originale pour l'étude des zonoèdres réside dans le fait que le diagramme de Voronoï d'un réseau quelconque forme un nid d'abeille uniforme convexe (en) dans lequel les cellules sont des zonoèdres. Un zonoèdre quelconque formé de cette manière peut paver l'espace tridimensionnel et est appelé un paralléloèdre (en) primaire. Chaque paralléloèdre primaire est équivalent combinatoirement à un des cinq types : le cube, le prisme hexagonal, l'octaèdre tronqué, le dodécaèdre rhombique et le dodécaèdre rhombo-hexagonal (en).

Soit {v₀, v₁, ...}, une collection de vecteurs tridimensionnels. Avec chaque vecteur v_i, nous pouvons associer un segment {x_iv_i|0≤x_i≤1}. La somme de Minkowski : {Σx_iv_i|0≤x_i≤1} forme un zonoèdre, et tous les zonoèdres qui contiennent l'origine ont cette forme. Les vecteurs à partir desquels le zonoèdre est formé sont appelés ses générateurs. Cette caractérisation permet de généraliser la définition des zonoèdres en dimensions plus élevées, donnant les zonotopes.

Chaque arête, dans un zonoèdre est parallèle à au moins un des générateurs, et possède une longueur égale à la somme des longueurs des générateurs avec lesquels il est parallèle. Par conséquent, en choisissant un ensemble de générateurs sans paires des vecteurs parallèles, et en fixant les longueurs de tous les vecteurs égales, nous pouvons former une version équilatérale d'un zonoèdre de type combinatoire quelconque.

En choisissant des ensembles de vecteurs avec de hauts degrés de symétrie, nous pouvons former de cette manière des zonoèdres avec au moins autant de symétries. Par exemple, les générateurs également espacés autour de l'équateur d'une sphère, mis ensemble avec une autre paire de générateurs à travers les poles de la sphère forment des zonoèdres de la forme d'un prisme sur les 2k-gones réguliers : le cube, le prisme hexagonal, le prisme octogonal, le prisme décagonal, le prisme dodécagonal, etc. Les générateurs parallèles aux arêtes d'un octaèdre forment un octaèdre tronqué, et les générateurs parallèles le long des diagonales d'un cube forment un dodécaèdre rhombique.

La somme de Minkowski de deux zonoèdres quelconques est un autre zonoèdre, engendré par l'union des générateurs de deux zonoèdres donnés. Ainsi, la somme de Minkowski d'un cube et d'un octaèdre tronqué forme le grand rhombicuboctaèdre, tandis que la somme du cube avec le dodécaèdre rhombique forme le dodécaèdre rhombique tronqué. Ces deux zonoèdres sont simples (trois faces qui se rencontrent à chaque sommet), comme le petit rhombicuboctaèdre tronqué formé à partir de la somme de Minkowski du cube, de l'octaèdre tronqué et du dodécaèdre rhombique.

L'application de Gauss d'un polyèdre quelconque applique chaque face du polygone vers un point de la sphère unité, et applique chaque arête du polygone en séparant une paire de faces vers un arc de grand cercle connectant les deux points correspondants. Dans le cas d'un zonoèdre, les arêtes entourant chaque face peuvent être groupées en paires d'arêtes parallèles, et lorsqu'elles sont translatées via l'application de Gauss, une paire quelconque de cette sorte devient une paire de segment contigus sur le même grand cercle. Ainsi, les arêtes du zonoèdre peuvent être groupées en zones d'arêtes parallèles, qui correspondent aux segments d'un grand cercle commun sur l'application de Gauss, et le 1-squelette du zonoèdre peut être regardé comme le graphe planaire dual d'un arrangement de grands cercles sur la sphère. Inversement, tout arrangement de grands cercles peut être formé à partir de l'application de Gauss d'un zonoèdre engendré par des vecteurs perpendiculaires aux plans à travers les cercles.

Tout zonoèdre simple correspond, de cette manière à un arrangement simplicial, dans lequel chaque face est un triangle. Les arrangements simpliciaux de grands cercles correspondent via la projection centrale aux arrangements simpliciaux de droites dans le plan projectif, qui a été étudié par Branko Grünbaum (1972). Il a listé trois familles infinie d'arrangements simpliciaux, une d'elles conduit aux prismes lorsqu'elle est convertie en zonoèdres, et les deux autres correspondent aux familles supplémentaires de zonoèdres simples. Il existe aussi beaucoup d'exemples connus qui n'entrent pas dans ces trois familles.

Nous avons déjà vu que tout prisme sur un polygone régulier avec un nombre pair de côtés forme un zonoèdre. Ces prismes peuvent être formés si toutes les faces sont régulières : deux faces opposées sont égales au polygone régulier à partir duquel le prisme a été formé, et celles-ci sont connectées par une suite de faces carrées. Les zonoèdres de ce type sont le cube, le prisme hexagonal, le prisme octogonal, le prisme décagonal, le prisme dodécagonal, etc.

En plus de cette famille infinie de zonoèdre à faces régulières, il existe trois solides d'Archimède, toutes les omnitroncatures des formes régulières :

• l'octaèdre tronqué, avec 6 carrés et 8 faces hexagonales (tétraèdre omnitronqué) ;
• le grand rhombicuboctaèdre, avec 12 carrés, 8 hexagones et 6 octogones (cube omnitronqué) ;
• le grand rhombicosidodécaèdre, avec 30 carrés, 20 hexagones et 12 décagones (dodécaèdre omnitronqué).

En plus, certains solides de Catalan (duaux des solides d'Archimède) sont encore des zonoèdres :

• le dodécaèdre rhombique de Kepler qui est le dual du cuboctaèdre ;
• le triacontaèdre rhombique qui est le dual de l'icosidodécaèdre.

Autres polyèdres avec toutes les faces rhombiques :

• le dodécaèdre rhombique de Bilinski ;
• l'icosaèdre rhombique ;
• le rhomboèdre ;
• l'ennéacontaèdre rhombique (en).

Zonoèdre		nombre de générateurs	Faces régulières	Isoédrique	Isotoxal	Isogonal	Pave l'espace
Cube 4.4.4		3	Oui	Oui	Oui	Oui	Oui (en)
Prisme hexagonal 4.4.6		4	Oui	Non	Non	Oui	Oui (en)
2n-prisme (n > 3) 4.4.2n		n + 1	Oui	Non	Non	Oui	Non
Octaèdre tronqué 4.6.6		6	Oui	Non	Non	Oui	Oui (en)
Grand rhombicuboctaèdre 4.6.8		9	Oui	Non	Non	Oui	Non
Grand rhombicosidodécaèdre 4.6.10		15	Oui	Non	Non	Oui	Non
Dodécaèdre rhombique (de Kepler) V3.4.3.4		4	Non	Oui	Oui	Non	Oui (en)
Dodécaèdre de Bilinski		4	Non	Non	Non	Non	Oui
Triacontaèdre rhombique V3.5.3.5		6	Non	Oui	Oui	Non	Non
Dodécaèdre rhombo-hexagonal (en)		5	Non	Non	Non	Non	Oui
Dodécaèdre rhombique tronqué		7	Non	Non	Non	Non	Non

Bien qu'il ne soit pas généralement vrai qu'un polyèdre quelconque puisse être disséqué en un autre polyèdre quelconque de même volume (voir le troisième problème de Hilbert), il est connu que deux zonoèdres quelconques de mêmes volumes peuvent être disséqués l'un dans l'autre.

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Zonohedron » (voir la liste des auteurs).
• (en) H.S.M. Coxeter, « The classification of zonohedra by means of projective diagrams », J. Math. Pures Appl., vol. 41,‎ 1962, p. 137-156.
• (en) David Eppstein, « Zonohedra and zonotopes », Mathematica in Education and Research, vol. 5, n^o 4,‎ 1996, p. 15-21.
• (en) Branko Grünbaum, Arrangements and Spreads, AMS, coll. « Regional Conf. Series in Mathematics » (n^o 10), 1972.
• (de) Evgraf Fedorov, « Elemente der Gestaltenlehre », Zeitschrift für Krystallographie und Mineralogie, vol. 21,‎ 1893, p. 671-694.
• (en) Goffrey Shephard (en), « Space-filling zonotopes », Mathematika, vol. 21,‎ 1974, p. 261-269.
• (en) Jean Taylor, « Zonohedra and generalized zonohedra », Amer. Math. Monthly, vol. 99,‎ 1992, p. 108–111 (DOI 10.2307/2324178).

http://www.ac-noumea.nc/maths/polyhedr/index.htm