En arithmétique géométrique, un nombre polytopique, ou nombre hyperpolyédrique, est un nombre figuré comptant des points disposés régulièrement dans un polytope, ou hyperpolyèdre.
Cas des trois familles de polytopes réguliers en toutes dimensions Pour un polytope de dimension possédant, pour , cellules de dimension qui sont toutes des polytopes équivalents () le nombre de points ajoutés à l'étape est où est le nombre, constant, de cellules de dimension aboutissant à un sommet, et le nombre polytopique d'ordre associé aux cellules de dimension , auquel on retranche le nombre de points situés sur leur frontière.
Nombres simpliciaux ou hypertétraédriques Ce sont des nombres figurés comptant des points répartis dans un simplexe, polytope généralisant le triangle et le tétraèdre. Le -ième nombre -simplicial ou hypertétraédrique de dimension est le nombre de points d'un -simplexe dont les arêtes comportent points. On l'obtient comme somme des nombres -simpliciaux d'indices 1 à , .Partant de , on obtient par récurrence, grâce à la formule d'itération de Pascal, de le calculer par récurrence :où est la factorielle de , est un coefficient binomial, et une factorielle croissante. vignette|350x350px|Triangle de Pascal avec indication des nombres hypertétraédriques. Les nombres -simpliciaux constituent donc la -ième colonne du triangle de Pascal. Par exemple, pour les dimensions de 1 à 6, ce sont :
(nombres linéaires) , nombres triangulaires, , nombres tétraédriques, , nombres pentatopiques, , , .
Nombres hypercubiques Ce sont des nombres figurés comptant des points répartis dans un hypercube, polytope généralisant le carré et le cube. Le -ième nombre - hypercubique ou hypercubique de dimension est le nombre de points répartis dans un hypercube de dimension dont les arêtes comportent points. Il est égal à la puissance parfaite .
Nombres hyperoctaédriques Ce sont des nombres figurés comptant des points répartis dans un hyperoctaèdre, polytope généralisant le carré et l'octaèdre. Le -ième nombre - hyperoctaédrique ou hyperoctaédrique de dimension est le nombre de points d'un hyperoctaèdre dont les arêtes comportent points. Il est égal à .
Par exemple, pour les dimensions de 1 à 6, ce sont :
(nombres linéaires) , nombres carrés : 1, 4, 9, 16, 25, ..., , nombres octaédriques : 1, 6, 19, 44, 85, ..., , nombres 4-hyperoctaédriques : 1, 8, 33, 96, 225, ..., , nombres 5-hyperoctaédriques : 1, 10, 51, 180, 501, ..., , nombres 6-hyperoctaédriques : 1, 12, 73, 304, 985, ..., . La suite double est répertoriée, avec inversion de et , comme .
Elle peut être définie par récurrence par :.
Ceci permet de construire facilement le triangle de ces nombres, les suites se lisant dans les diagonales descendantes : 1 1 2 1 4 3 1 6 9 4 1 8 19 16 5 1 10 33 44 25 6 1 12 51 96 85 36 7 Le triangle de Delannoy a la même définition, sauf que les deux bordures sont remplies de 1.
Il existe de plus une formule de symétrie : .
Cas des cinq polytopes réguliers exotiques
En dimension trois
En dimension quatre Pour les nombres hyperdodécaédriques ou hécatonicosachoriques, les nombres hypericosaédriques ou hexacosichoriques et les nombres hypergranatoédriques ou icositétrachoriques :
Voir aussi
Nombre polytopique centré
Notes et références
Figure, Nombre