étoile de Kepler-Poinsot

Imaginez un solide dont les pointes se croisent et forment une étoile dans l’espace. Pour appartenir à la famille de Kepler-Poinsot, l’effet visuel ne suffit pas. Chaque face doit être un polygone régulier, convexe ou étoilé, la disposition doit être la même à chaque sommet et, plus largement, toutes les configurations sommet–arête–face doivent jouer le même rôle par symétrie.

Avec cette définition complète de la régularité, la classification ne laisse que quatre solides. Le mot « étoile » décrit donc ici une famille mathématique très précise, et non n’importe quel assemblage en forme d’étoile.

Une étoile de Kepler-Poinsot est l’un des quatre polyèdres étoilés réguliers. Au sens complet, sa régularité signifie que ses symétries rendent équivalents tous les drapeaux, c’est-à-dire tous les triplets formés d’un sommet, d’une arête et d’une face incidents. Elle entraîne notamment des faces polygonales régulières, convexes ou étoilées, et une même disposition des faces à chaque sommet ; ces deux propriétés sont nécessaires, mais ne suffisent pas seules.

La liste comprend le petit dodécaèdre étoilé, le grand dodécaèdre étoilé, le grand dodécaèdre et le grand icosaèdre. Le grand dodécaèdre appartient bien à la famille même si son nom ne contient pas l’adjectif « étoilé ». Le grand dodécaèdre étoilé porte aussi le nom d’oursin de Kepler.

Kepler découvrit les deux premiers en 1619. Poinsot, qui vécut de 1777 à 1859, les redécouvrit et identifia les quatre solides en 1809. Cauchy prouva en 1813 que la liste est complète, puis Bertrand en donna une démonstration plus élégante. Cayley fixa en 1859 le nom de solides de Kepler-Poinsot.

On compare deux dossiers. Le dossier A nomme le petit dodécaèdre étoilé : la classification complète le place parmi les quatre polyèdres étoilés réguliers, et l’on observe des faces régulières ainsi qu’une même disposition de faces à chaque sommet. Le dossier B décrit seulement un solide d’aspect étoilé présentant ces deux propriétés, sans indiquer son appartenance à la liste ni la régularité complète. Que peut-on conclure dans chaque cas ?

1. Pour le dossier A, on repère le nom dans la classification des quatre polyèdres étoilés réguliers : l’appartenance est établie.
2. On contrôle ensuite les deux observations fournies : faces régulières et même disposition des faces à chaque sommet. Elles concordent avec le classement, sans le remplacer.
3. Pour le dossier B, les mêmes contrôles locaux sont satisfaits, mais aucune donnée ne permet de vérifier la régularité complète ni l’appartenance à la liste.
4. On ne peut donc pas conclure pour B : il faut consulter la classification complète, et non transformer deux propriétés nécessaires en test suffisant.

Résultat : A est une étoile de Kepler-Poinsot parce qu’il figure dans la classification complète ; pour B, les informations sont insuffisantes. Le contraste montre exactement ce que les deux contrôles permettent de vérifier — la cohérence d’un classement — et ce qu’ils ne permettent pas de décider seuls.

Devant le nom d’un solide étoilé, on ne conclut pas d’après sa silhouette. On le compare aux quatre solides issus de la classification, puis on vérifie que la description emploie bien la régularité au sens complet. Les faces régulières et la même disposition à chaque sommet sont des contrôles nécessaires, mais ne constituent pas à eux seuls un test suffisant.

Pour lire une chronologie, on associe chaque date à un apport distinct : deux solides chez Kepler en 1619, les quatre identifiés par Poinsot en 1809, la complétude prouvée par Cauchy en 1813, puis le nom fixé par Cayley en 1859.

Lorsqu’un texte emploie « oursin de Kepler », le critère décisif est le synonyme fourni par la source : il s’agit du grand dodécaèdre étoilé, et non d’un cinquième solide.

Un polyèdre étoilé quelconque. Une apparence en étoile ne suffit pas : le cas tranche seulement si le solide appartient à la liste complète des quatre et satisfait les deux conditions de régularité données.

Le grand dodécaèdre étoilé et le grand dodécaèdre. Ce sont deux entrées distinctes de la liste. La présence ou l’absence du mot « étoilé » dans leur nom permet de trancher ; seul le premier est aussi appelé oursin de Kepler.

Le nom n’est pas un test visuel. Un objet pointu peut sembler convenir sans satisfaire la régularité complète. Des faces régulières et une disposition uniforme aux sommets sont nécessaires, mais seul le recours à la classification des quatre polyèdres réguliers étoilés permet ici de trancher.

« Étoilé » ne décrit pas nécessairement chaque face. La source autorise des faces qui sont des polygones réguliers convexes ou des polygones étoilés. Il ne faut donc pas exiger que toutes les faces soient elles-mêmes étoilées.

La liste compte exactement quatre solides. L’oursin de Kepler n’en ajoute pas un : c’est un autre nom du grand dodécaèdre étoilé. Le grand dodécaèdre reste membre de la famille malgré son nom sans adjectif.

Découverte, preuve et dénomination sont trois étapes. Kepler découvre deux solides en 1619 ; Poinsot identifie les quatre en 1809 ; Cauchy prouve la complétude en 1813 ; Cayley donne le nom en 1859.

Polyèdre étoilé. Cette entrée replace les quatre solides dans le vocabulaire plus général des formes étoilées.

Polyèdre régulier. Cette lecture approfondit la régularité qui distingue les solides de Kepler-Poinsot d’une simple forme pointue.

Dodécaèdre. Cette notion éclaire le nom porté par trois des quatre solides de la liste.