Nombre polytopique

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

$k$

possédant, pour

$0⩽i⩽k$

,

$N_i$

cellules de dimension

$i$

qui sont toutes des polytopes équivalents (

$N_0=S,N_1=A$

) le nombre de points ajoutés à l'étape

$n$

est

$P(n)-P(n-1)=\sum _{i=0}^k(N_i-D_i)P_{n,i}^{*}=S-1+(A-D_1)(n-2)+\cdots +(N_k-D_k)P_{n,k}^{*}$

où

$D_i$

est le nombre, constant, de cellules de dimension

$i$

aboutissant à un sommet, et

$P_{n,i}^{*}$

le nombre polytopique d'ordre

$n$

associé aux cellules de dimension

$i$

, 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

$n$

-ième nombre

$k$

-simplicial ou hypertétraédrique de dimension

$k$

est le nombre de points d'un

$k$

-simplexe dont les arêtes comportent

$n$

points. On l'obtient comme somme des nombres

$(k-1)$

-simpliciaux d'indices 1 à

$n$

,

$\mathrm{\forall }n\in {\mathbb{N}}^{*}{S}_k(n)=S_{k-1}(1)+S_{k-1}(2)+\cdots +S_{k-1}(n)$.

Partant de

$S_1(n)=n=(\genfrac{}{}{0ex}{}{n}{1})$

, on obtient par récurrence, grâce à la formule d'itération de Pascal, de le calculer par récurrence :

$\mathrm{\forall }n\in {\mathbb{N}}^{*}{S}_k(n)=(\genfrac{}{}{0ex}{}{n+k-1}{k})=\frac{n(n+1)\cdots (n+k-1)}{k!}=\frac{n^{\bar{k}}}{k!}$

où

$k!$

est la factorielle de

$k$

,

$(\genfrac{}{}{0ex}{}{n}{k})=C_n^k$

est un coefficient binomial, et

$n^{\bar{k}}$

une factorielle croissante.

Triangle de Pascal avec indication des nombres hypertétraédriques.

Les nombres $k$-simpliciaux constituent donc la $(k+1)$-ième colonne du triangle de Pascal. Par exemple, pour les dimensions de 1 à 6, ce sont :

• $S_1(n)=n$ (nombres linéaires)
• $S_2(n)=\frac{n(n+1)}{2}$ , nombres triangulaires, Modèle:OEIS
• $S_3(n)=\frac{n(n+1)(n+2)}{6}$ , nombres tétraédriques, Modèle:OEIS
• $S_4(n)=\frac{n(n+1)(n+2)(n+3)}{24}$ , nombres pentatopiques, Modèle:OEIS
• $S_5(n)=\frac{n(n+1)(n+2)(n+3)(n+4)}{120}$, Modèle:OEIS
• $S_6(n)=\frac{n(n+1)(n+2)(n+3)(n+4)(n+5)}{720}$, Modèle:OEIS.

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 $n$-ième nombre $k$- hypercubique ou hypercubique de dimension $k$ est le nombre de points répartis dans un hypercube de dimension $k$ dont les arêtes comportent $n$ points. Il est égal à la puissance parfaite $C_k(n)=n^k$.

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 $n$-ième nombre $k$- hyperoctaédrique ou hyperoctaédrique de dimension $k$ est le nombre de points d'un hyperoctaèdre dont les arêtes comportent $n$ points. Il est égal à $O_k(n)=\sum _{i=0}^{k-1}(\genfrac{}{}{0ex}{}{k-1}{i})(\genfrac{}{}{0ex}{}{n+i}{k})$Modèle:,.

Par exemple, pour les dimensions de 1 à 6, ce sont :

• $O_1(n)=n$ (nombres linéaires)
• $O_2(n)=(\genfrac{}{}{0ex}{}{n}{2})+(\genfrac{}{}{0ex}{}{n+1}{2})=n^2$ , nombres carrés : 1, 4, 9, 16, 25, ..., Modèle:OEIS
• $O_3(n)=(\genfrac{}{}{0ex}{}{n}{3})+2(\genfrac{}{}{0ex}{}{n+1}{3})+(\genfrac{}{}{0ex}{}{n+2}{3})=\frac{n(2n^2+1)}{3}$ , nombres octaédriques : 1, 6, 19, 44, 85, ..., Modèle:OEIS
• $O_4(n)=(\genfrac{}{}{0ex}{}{n}{4})+3(\genfrac{}{}{0ex}{}{n+1}{4})+3(\genfrac{}{}{0ex}{}{n+2}{4})+(\genfrac{}{}{0ex}{}{n+3}{4})=\frac{n^2(n^2+2)}{3}$, nombres 4-hyperoctaédriques : 1, 8, 33, 96, 225, ..., Modèle:OEIS
• $O_5(n)=\frac{n(2n^4+10n^2+3)}{15}$, nombres 5-hyperoctaédriques : 1, 10, 51, 180, 501, ..., Modèle:OEIS
• $O_6(n)=\frac{n^2(2n^4+20n^2+23)}{45}$, nombres 6-hyperoctaédriques : 1, 12, 73, 304, 985, ..., Modèle:OEIS.

La suite double $(O_k(n))$ est répertoriée, avec inversion de $k$ et $n$, comme Modèle:OEIS.

Elle peut être définie par récurrence par :$\{\begin{array}{cc}{O}_k(1)=1,O_1(n)=n,& \\ O_k(n)=O_k(n-1)+O_{k-1}(n-1)+O_{k-1}(n),& \text{pour }2⩽k⩽n\end{array}$.

Ceci permet de construire facilement le triangle de ces nombres, les suites $(O_k(n){)}_n$ 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 : $k{O}_k(n)=n{O}_n(k)$.

Cas des cinq polytopes réguliers exotiques

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 : Modèle:Article détaillé

Voir aussi

• Nombre polytopique centré