title: Théorème de l'étoile de David
text: # Théorème de l'étoile de David
  
  Le théorème de l'étoile de David est un résultat mathématique donnant deux identités concernant les coefficients binomiaux, disposés dans le triangle de Pascal en forme de deux triangles imbriqués.
  
  ## Première identité
  
  ### Énoncé
  
  Les PGCD des coefficients binomiaux situés aux sommets de deux triangles d'une étoile de David dans le triangle de Pascal sont égaux :
  
      ${\begin{aligned}&{\text{PGCD}}{\biggl{\binom {n-1}{k-1}},{\binom {n}{k+1}},{\binom {n+1}{k}}{\biggr )}\\[8pt]=&{\text{PGCD}}{\biggl{\binom {n-1}{k}},{\binom {n}{k-1}},{\binom {n+1}{k+1}}{\biggr )}\end{aligned}}$
  
  ### Historique
  
  Cette identité a été conjecturée par Henry W. Gould en 1971, démontrée par Hoggatt et Hillman en 1972, puis par Singmaster en 1973, et par Hitotumatu et Sato en 1975.
  
  ### Exemples
  
  Pour n = 9, k = 3 ou n = 9, k = 6, le nombre 84 est entouré successivement par les nombres 28, 56, 126, 210, 120, 36. En prenant un terme sur deux, on obtient : PGCD (28, 126, 120) = 2 = PGCD (56, 210, 36) (voir ci-contre).
  
  De même, le terme précédent 36 est entouré par les éléments 8, 28, 84, 120, 45, 9, et en prenant un terme sur deux, on obtient : PGCD (8, 84, 45)= 1 = PGCD (28, 120, 9).
  
  ### Démonstration de Hitotumatu et Sato
  
  La formule :
  
  ${\begin{bmatrix}{\binom {n-1}{k-1}}\\{\binom {n}{k+1}}\\{\binom {n+1}{k}}\end{bmatrix}}={\begin{bmatrix}k+1&k-n-1&-n-1\\-k&n-k+1&n\\k+1&k-n&-n\end{bmatrix}}{\begin{bmatrix}{\binom {n+1}{k+1}}\\{\binom {n}{k-1}}\\{\binom {n-1}{k}}\end{bmatrix}}$
  
  et la formule inverse :
  
  ${\begin{bmatrix}{\binom {n+1}{k+1}}\\{\binom {n}{k-1}}\\{\binom {n-1}{k}}\end{bmatrix}}={\begin{bmatrix}-n&-k&n-k+1\\n&k+1&k-n\\-n-1&-k-1&n-k+1\end{bmatrix}}{\begin{bmatrix}{\binom {n-1}{k-1}}\\{\binom {n}{k+1}}\\{\binom {n+1}{k}}\end{bmatrix}}$
  
  montrent que chaque élément d'un triangle est combinaison linéaire entière des éléments de l'autre triangle, ce qui implique que les diviseurs communs aux élément d'un triangle, sont des diviseurs communs aux éléments de l'autre triangle et vice versa. Ceci prouve l'égalité des PGCD.
  
  ### Généralisations
  
  Singmaster a complété cette identité en montrant que les PGCD ci-dessus sont également égaux à ${\text{PGCD}}{\biggl{n-1 \choose k-2},{n-1 \choose k-1},{n-1 \choose k},{n-1 \choose k+1}{\biggr )}$ .
  
  Ainsi, dans l'exemple ci-dessus pour l'élément 84, on a également PGCD {8, 28, 56, 70} = 2.
  
  Ces égalités persistent aussi pour des étoiles plus grandes. Par exemple,
  
      ${\begin{aligned}&{\text{PGCD}}{\biggl{\binom {n-2}{k-2}},{\binom {n-1}{k}},{\binom {n}{k+2}},{\binom {n+1}{k+1}},{\binom {n+2}{k}},{\binom {n}{k-1}}{\biggr )}\\[8pt]=&{\text{PGCD}}{\biggl{\binom {n-2}{k}},{\binom {n-1}{k-1}},{\binom {n}{k-2}},{\binom {n+1}{k}},{\binom {n+2}{k+2}},{\binom {n}{k+1}}{\biggr )}.\end{aligned}}$
  
  ## Deuxième identité
  
  ### Énoncé
  
  Hoggatt et Hansell ont remarqué en 1971 que les deux ensembles de trois nombres de l'étoile de David ont des produits égaux :
  
      ${\binom {n-1}{k-1}}{\binom {n}{k+1}}{\binom {n+1}{k}}={\binom {n-1}{k}}{\binom {n}{k-1}}{\binom {n+1}{k+1}}$.
  
  Par exemple, en observant à nouveau que l'élément 84 est entouré successivement par les éléments 28, 56, 126, 210, 120, 36, et en prenant un terme sur deux, on a : 28 × 126 × 120 = $2^6$ × $3^3$ × 5 × $7^2$ = 56 × 210 × 36.
  
  Ce résultat se démontre facilement en écrivant chaque coefficient binomial sous forme factorielle :${n \choose k}={\frac {n!}{(n-k)!k!}}$.
  
  Il en existe cependant une démonstration combinatoire, moins simple :
  
  Soient a, b, c, x, y, z six entiers naturels vérifiant x, y, z ≤ min(a, b, c) et (b-a, c-b, a-c) = (y-z, z-x, x-y).
  
  Comptons le nombre de façons de partitionner un ensemble de taille a + b + c en six parties :
  
  * A, de taille x, B, de taille y, C, de taille z
  * A', de taille a - x, B', de taille b - y, C', de taille c - z.
  
  On commence par partitionner l'ensemble en trois parties, de tailles respectives a, b et c. Il y a un certain nombre N de façons de le faire.
  
  **Méthode 1**
  
  * on coupe la partie de taille a en $A\sqcup A'$ : ${\binom {a}{x}}$ façons.
  * on coupe la partie de taille b en $B\sqcup B'$ : ${\binom {b}{y}}$ façons.
  * on coupe la partie de taille c en $C\sqcup C'$ : ${\binom {c}{z}}$ façons.
  
  Total : $N\times {\binom {a}{x}}{\binom {b}{y}}{\binom {c}{z}}$ façons.
  
  **Méthode 2**
  
  * on coupe la partie de taille a en $C\sqcup B'$ (car $z+b-y=a$) : ${\binom {a}{z}}$ façons.
  * on coupe la partie de taille b en $A\sqcup C'$ (car $x+c-z=b$) : ${\binom {b}{x}}$ façons.
  * on coupe la partie de taille c en $B\sqcup A'$ (car $y+a-x=c$) : ${\binom {c}{y}}$ façons
  
  Total : $N\times {\binom {a}{z}}{\binom {b}{x}}{\binom {y}{z}}$ façons.
  
  On obtient ${\binom {a}{x}}{\binom {b}{y}}{\binom {c}{z}}={\binom {a}{z}}{\binom {b}{x}}{\binom {c}{y}}$.
  
  Posant maintenant (a, b, c) = (n-1, n, n+1) et (x, y, z) = (k-1, k+1, k), on vérifie que (b-a, c-b, a-c) = (1, 1, -2) = (y-z, z-x, x-y).
  
  On en déduit l'identité de l'étoile de David : ${\binom {n-1}{k-1}}{\binom {n}{k+1}}{\binom {n+1}{k}}={\binom {n-1}{k}}{\binom {n}{k-1}}{\binom {n+1}{k+1}}$.
  
  Cette démonstration est une traduction/adaptation de celle publiée sur ce site.
  
  ### Généralisation
  
  On peut remplacer ${n \choose k}$ par ${\binom {n}{k}}_{(a_{n})}={\frac {f(n)}{f(n-k)f(k)}}$, où $f(n)=\coprod _{k=1}^{n}a_{k}$, $(a_{n})$ étant une suite de réels non nuls.
  
  En particulier, si $(a_{n})$ est la suite de Fibonacci $(F_{n})$, ${\binom {n}{k}}_{(a_{n})}$ est le coefficient fibonomial ${\binom {n}{k}}_{F}$ ; le deuxième théorème de l'étoile de David est donc valable dans le triangle fibonomial.
  
  Si $(a_{n})$ est le q-analogue de n : $[n]_{q}=1+q+...+q^{n-1}$, ${\binom {n}{k}}_{(a_{n})}$ est le coefficient binomial de Gauss ${\binom {n}{k}}_{q}$ ; le deuxième théorème de l'étoile de David est donc valable dans le triangle q-binomial.
  
  On peut généraliser au cas où $(a_{n})$ est une suite quelconque dans un groupe commutatif noté multiplicativement. Par exemple, dans le groupe $(\mathbb {Z} ,+)$, ${\binom {n}{k}}_{(n)}=k(n-k)$, voir la suite A004247 de l'OEIS.
  
  