solide de Kepler

Imaginez un polyèdre dont la surface forme une étoile plutôt qu’une enveloppe entièrement bombée. Ses faces gardent une règle stricte : chacune est un polygone régulier, convexe ou lui-même étoilé. Aux sommets, le même nombre de faces se retrouve toujours.

Ces propriétés ne suffisent pas seules. La régularité impose aussi que toute configuration d’un sommet, d’une arête et d’une face qui se touchent puisse être envoyée sur toute autre par une symétrie du solide. Avec cette régularité forte et une silhouette étoilée, on obtient exactement quatre solides de Kepler-Poinsot.

Un solide de Kepler-Poinsot est un polyèdre étoilé régulier. Sa régularité signifie que ses symétries sont transitives sur les drapeaux : toute configuration formée d’un sommet, d’une arête et d’une face incidents peut être envoyée sur toute autre. Il en résulte que ses faces sont des polygones réguliers, convexes ou étoilés, et qu’une même quantité de faces se rencontre à chaque sommet ; ces deux propriétés ne suffisent toutefois pas, à elles seules, à caractériser un polyèdre régulier.

La famille comprend quatre objets distincts : le petit dodécaèdre étoilé, le grand dodécaèdre étoilé, le grand dodécaèdre et le grand icosaèdre. Le surnom « oursin de Kepler » désigne parfois le petit dodécaèdre étoilé.

La liste est complète : Cauchy a démontré en 1812 qu’il n’existe pas d’autre polyèdre étoilé régulier. Bertrand en donna ensuite une démonstration plus élégante. La dénomination collective « solides de Kepler-Poinsot » fut donnée par Cayley en 1859.

Trois éléments permettent de décrire la structure. Les faces sont des polygones réguliers, convexes ou étoilés. Les sommets sont les points où plusieurs faces se rencontrent. Enfin, la règle d’assemblage impose qu’un même nombre de faces arrive à chacun de ces sommets.

La forme des faces et l’uniformité de leur rencontre aux sommets sont nécessaires, mais ne suffisent pas à elles seules. La régularité exige en plus que les symétries du polyèdre soient transitives sur les drapeaux, ces configurations formées d’un sommet, d’une arête et d’une face incidents. La taille, l’orientation ou la couleur ne changent pas cette structure.

Suivons la constitution de la liste aujourd’hui appelée solides de Kepler-Poinsot. Les données sont quatre dates, quatre noms de solides et les attributions indiquées par la source.

1. En 1619, Kepler découvre le petit dodécaèdre étoilé et le grand dodécaèdre étoilé.
2. En 1809, Poinsot redécouvre ces deux objets et ajoute le grand dodécaèdre ainsi que le grand icosaèdre.
3. On compte alors deux solides déjà connus plus deux nouveaux, soit quatre solides distincts.
4. En 1812, Cauchy démontre que cette liste est complète.
5. En 1859, Cayley donne à l’ensemble son nom de solides de Kepler-Poinsot.

Le contrôle est direct : les quatre noms sont présents une seule fois dans la liste finale, et l’étape de 1812 interdit d’ajouter un cinquième polyèdre étoilé régulier. La frise récapitule cet enchaînement ; les espacements y indiquent l’ordre, pas une durée proportionnelle.

Devant un modèle géométrique, observez d’abord la forme des faces. Si elles ne sont pas des polygones réguliers, il faut parler d’un autre polyèdre plutôt que d’un solide de Kepler-Poinsot.

Examinez ensuite plusieurs sommets. Le nombre de faces qui s’y rencontrent doit rester identique ; une variation visible écarte la régularité exigée par la définition.

Ces deux observations ne donnent que des conditions nécessaires. Pour rendre le contrôle décisif concret, marquez deux drapeaux A et B, chacun formé d’un sommet, d’une arête et d’une face qui se touchent, puis cherchez une rotation ou une réflexion du polyèdre entier qui envoie simultanément le sommet, l’arête et la face de A sur ceux de B. Une telle symétrie établit la correspondance pour cette paire ; la transitivité exige que ce soit possible pour toute paire de drapeaux. Confrontez ensuite le nom obtenu à la liste des quatre solides. Pour étudier la famille plus large, choisissez plutôt la notion de polyèdre étoilé ; pour un objet régulier convexe, celle de solide de Platon est plus adaptée.

Un polyèdre étoilé quelconque. Le caractère étoilé ne suffit pas. Un solide de Kepler-Poinsot doit aussi être régulier au sens fort : ses symétries sont transitives sur les drapeaux, formés d’un sommet, d’une arête et d’une face incidents. Les faces régulières et leur nombre constant à chaque sommet sont deux propriétés nécessaires, mais elles ne suffisent pas à elles seules.

Un solide de Platon. Les deux familles partagent une forte régularité, mais les solides de Platon sont convexes, tandis que ceux de Kepler-Poinsot sont étoilés. Parmi les polyèdres réguliers, le caractère convexe ou étoilé tranche entre ces deux familles.

Le grand dodécaèdre et le grand dodécaèdre étoilé. Malgré leurs noms proches, la liste les compte comme deux solides distincts. La présence du mot « étoilé » dans le second nom suffit ici à éviter la substitution.

Une apparence étoilée n’est pas une preuve. Des pointes visibles peuvent suggérer la bonne famille. Les faces régulières et leur rencontre uniforme aux sommets sont nécessaires, mais il faut aussi vérifier la transitivité des symétries sur les configurations sommet-arête-face.

Une correspondance isolée ne suffit pas. Choisissez un drapeau A et, lorsqu’un demi-tour est une symétrie du polyèdre, notez B l’image de A : le sommet, l’arête et la face doivent être transportés ensemble. Ce cas vérifie seulement la paire A-B ; pour conclure à la régularité, il faut pouvoir relier ainsi toute paire de drapeaux par une symétrie du polyèdre.

Il n’existe pas de cinquième membre. Un objet présenté comme un nouveau solide de Kepler-Poinsot signale une erreur de classement ou de vocabulaire : la complétude des quatre polyèdres étoilés réguliers a été démontrée par Cauchy en 1812.

Le surnom n’est pas le nom de la famille. « Oursin de Kepler » peut désigner le petit dodécaèdre étoilé, non les quatre solides. Pour parler de l’ensemble, il faut employer « solides de Kepler-Poinsot ».

Le glossaire polyèdre étoilé élargit l’étude au caractère étoilé sans imposer l’appartenance aux quatre solides de Kepler-Poinsot.

La fiche polyèdre régulier approfondit la régularité des faces et des sommets, au cœur de la définition.

Le glossaire solide de Platon présente la famille convexe à laquelle la définition source compare ces quatre polyèdres étoilés.