Coefficients binomiaux intervenant dans le théorème de l'étoile de David (les lignes du triangle de Pascal sont représentées ici verticalement).
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.
Cette identité a été conjecturée par Henry W. Gould en 1971[1], démontrée par Hoggatt et Hillman en 1972[2], puis par Singmaster en 1973[3], et par Hitotumatu et Sato en 1975[4].
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).
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.
Hoggatt et Hansell ont remarqué en 1971 que les deux ensembles de trois nombres de l'étoile de David ont des produits égaux [6] :
.
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 = 26 × 33 × 5 × 72 = 56 × 210 × 36.
Ce résultat se démontre facilement en écrivant chaque coefficient binomial sous forme factorielle :.
Il en existe cependant une démonstration combinatoire, moins simple :
Démonstration
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 : façons.
on coupe la partie de taille b en : façons.
on coupe la partie de taille c en : façons.
Total : façons.
Méthode 2
on coupe la partie de taille a en (car ) : façons.
on coupe la partie de taille b en (car ) : façons.
on coupe la partie de taille c en (car ) : façons
Total : façons.
On obtient .
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 : .
Cette démonstration est une traduction/adaptation de celle publiée sur ce site.
On peut généraliser au cas où est une suite quelconque dans un groupe commutatif noté multiplicativement. Par exemple, dans le groupe , , voir la suite A004247 de l'OEIS.
↑(en) Henry W. Gould,, « A New Greatest Common Divisor Property of The Binomial Coefficients », Fibonacci Quarterly, vol. 10, , p. 579-584 (lire en ligne).
↑(en) A. P. Hillman et V. E. Hoggatt, Jr., « A Proof of Gould's Pascal Hexagon Conjecture », The Fibonacci Quarterly, vol. 10, no 6, , p. 565-568, 598 (lire en ligne).
↑ a et b(en) David Singmaster, « Notes on Binomial Coefficients: IV—Proof of a Conjecture of Gould on the G.C.D.'s of Two Triples of Binomial Coefficients », The Fibonacci Quarterly, vol. 11, no 3, , p. 282-284.
↑(en) Sin Hitotumatu et Daihachiro Sato, « Star of David theorem », Fibonacci Quarterly, vol. 13, , p. 70.