Polyèdre semi-régulier

vignette|Le cuboctaèdre, un des 13 solides d'Archimède. Un polyèdre est dit semi-régulier si ses faces sont des polygones réguliers, et si son groupe de symétrie est transitif sur ses sommets. Ou au moins, c'est ce qui découle de la définition de 1900 de Gosset sur le polytope semi-régulier le plus général. Ces polyèdres incluent : Les treize solides d'Archimède. La série infinie des prismes convexes. La série infinie des antiprismes convexes (leur nature semi-régulière fut observée en premier par Kepler). Un solide semi-régulier peut être entièrement déterminé par une configuration de sommet : une liste des faces par leurs nombres de côtés, dans l'ordre où elles apparaissent autour d'un sommet. Par exemple : 3.5.3.5 représente l'icosidodécaèdre, où alternent deux triangles équilatéraux et deux pentagones réguliers autour de chaque sommet. Au contraire : 3.3.3.5 est un antiprisme pentagonal. Ces polyèdres sont quelquefois décrits comme de sommets uniformes. Depuis Gosset, d'autres auteurs ont utilisé le terme semi-régulier de différentes façons. Elte a donné une définition que Coxeter trouvait trop artificielle. Coxeter lui-même a repris les figures uniformes de Gosset, avec seulement un sous-ensemble tout à fait restreint classé comme semi-régulier. D'autres encore ont pris le chemin opposé, catégorisant plus de polyèdres comme semi-réguliers. Ceux-ci incluent : Trois ensembles de polyèdres étoilés qui coïncident avec la définition de Gosset, analogues aux trois ensembles convexes listés ci-dessus. Les duaux des solides semi-réguliers ci-dessus, faisant remarquer que puisque les polyèdres duaux partagent les mêmes symétries que les originaux, ils devraient aussi être regardés comme semi-réguliers. Ces duaux incluent les solides de Catalan, les diamants convexes et les antidiamants ou trapézoèdres, et leurs analogues non-convexes. Source de confusion supplémentaire : la manière dont les solides d'Archimède sont définis, avec l'apparition de nouvelles interprétations différentes.