Coefficient fibonomial

De testwiki
Aller à la navigation Aller à la recherche

En mathématiques, les coefficients fibonomiaux ou Fibonacci-binomiaux sont définis, pour Modèle:Mvar et Modèle:Mvar, deux entiers naturels tels que 0kn par :

(nk)F=n!Fk!F(nk)!F

Modèle:Math est la Modèle:MvarModèle:E factorielle de Fibonacci , à savoir

n!F=i=1nFi,

Modèle:Mvar est le Modèle:MvarModèle:E nombre de Fibonacci (avec la convention Modèle:Math).

Pour 1kn, on peut écrire (nk)F=FnFn1Fnk+1FkFk1F1.

Valeurs particulières

Les coefficients fibonomiaux sont entiers comme le montrera la relation de récurrence ci-dessous.

Voici quelques valeurs particulières :

(n0)F=(nn)F=1
(n1)F=(nn1)F=Fn
(n2)F=(nn2)F=FnFn1F2F1=FnFn1,
(n3)F=(nn3)F=FnFn1Fn2F3F2F1=FnFn1Fn2/2,
(nk)F=(nnk)F.

Triangle fibonomial

De même que les coefficients binomiaux, disposés en triangle, forment le triangle de Pascal, les coefficients fibonomiaux, forment un triangle dit fibonomial, répertorié comme Modèle:OEIS.

En voici les huit premières lignes :

Modèle:Math 1
Modèle:Math 1 1
Modèle:Math 1 1 1
Modèle:Math 1 2 2 1
Modèle:Math 1 3 6=2×3 3 1
Modèle:Math 1 5 15=3×5 15 5 1
Modèle:Math 1 8 40=5×8 60 40 8 1
Modèle:Math 1 13 104=8×13 260 260 104 13 1

Relation de récurrence similaire à la relation de Pascal, permettant de construire le triangle, connaissant ses bords remplis de 1 :

(nk)F=Fn(k1)(n1k1)F+Fk1(n1k)F=Fn(k+1)(n1k1)F+Fk+1(n1k)F.

Autre relation, similaire à la formule du pion, permettant de construire le triangle :

(nk)F=FnFk(n1k1)F.

Les coefficients fibonomiaux sont reliés aux coefficients q-binomiaux par la formule :

(nk)F=φk(nk)(nk)1/φ2, où Modèle:Mvar est le nombre d'or, φ=1+52 .

Ils vérifient le deuxième théorème de l'étoile de David :

(n1k1)F(nk+1)F(n+1k)F=(n1k)F(nk1)F(n+1k+1)F

Application

Dov Jarden a prouvé que les coefficients fibonomiaux apparaissent comme coefficients d'une relation entre puissances de nombres de Fibonacci généralisés consécutifs. Plus précisément, pour toute suite de Fibonacci généralisée (Gn) (c'est-à-dire satisfaisant à Gn=Gn1+Gn2 pour tout entier n), on a :

i=0k+1(1)i(i+1)/2(k+1i)F(Gni)k=0,

pour tout entier n et tout entier naturel k[1].

Références

Modèle:Traduction/Référence Modèle:Références

Modèle:Portail