Misplaced Pages

Fibonomial coefficient

Article snapshot taken from[REDACTED] with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (September 2021) (Learn how and when to remove this message)

In mathematics, the Fibonomial coefficients or Fibonacci-binomial coefficients are defined as

( n k ) F = F n F n 1 F n k + 1 F k F k 1 F 1 = n ! F k ! F ( n k ) ! F {\displaystyle {\binom {n}{k}}_{F}={\frac {F_{n}F_{n-1}\cdots F_{n-k+1}}{F_{k}F_{k-1}\cdots F_{1}}}={\frac {n!_{F}}{k!_{F}(n-k)!_{F}}}}

where n and k are non-negative integers, 0 ≤ k ≤ n, Fj is the j-th Fibonacci number and n!F is the nth Fibonorial, i.e.

n ! F := i = 1 n F i , {\displaystyle {n!}_{F}:=\prod _{i=1}^{n}F_{i},}

where 0!F, being the empty product, evaluates to 1.

Special values

The Fibonomial coefficients are all integers. Some special values are:

( n 0 ) F = ( n n ) F = 1 {\displaystyle {\binom {n}{0}}_{F}={\binom {n}{n}}_{F}=1}
( n 1 ) F = ( n n 1 ) F = F n {\displaystyle {\binom {n}{1}}_{F}={\binom {n}{n-1}}_{F}=F_{n}}
( n 2 ) F = ( n n 2 ) F = F n F n 1 F 2 F 1 = F n F n 1 , {\displaystyle {\binom {n}{2}}_{F}={\binom {n}{n-2}}_{F}={\frac {F_{n}F_{n-1}}{F_{2}F_{1}}}=F_{n}F_{n-1},}
( n 3 ) F = ( n n 3 ) F = F n F n 1 F n 2 F 3 F 2 F 1 = F n F n 1 F n 2 / 2 , {\displaystyle {\binom {n}{3}}_{F}={\binom {n}{n-3}}_{F}={\frac {F_{n}F_{n-1}F_{n-2}}{F_{3}F_{2}F_{1}}}=F_{n}F_{n-1}F_{n-2}/2,}
( n k ) F = ( n n k ) F . {\displaystyle {\binom {n}{k}}_{F}={\binom {n}{n-k}}_{F}.}

Fibonomial triangle

The Fibonomial coefficients (sequence A010048 in the OEIS) are similar to binomial coefficients and can be displayed in a triangle similar to Pascal's triangle. The first eight rows are shown below.

n = 0 {\displaystyle n=0} 1
n = 1 {\displaystyle n=1} 1 1
n = 2 {\displaystyle n=2} 1 1 1
n = 3 {\displaystyle n=3} 1 2 2 1
n = 4 {\displaystyle n=4} 1 3 6 3 1
n = 5 {\displaystyle n=5} 1 5 15 15 5 1
n = 6 {\displaystyle n=6} 1 8 40 60 40 8 1
n = 7 {\displaystyle n=7} 1 13 104 260 260 104 13 1

The recurrence relation

( n k ) F = F n k + 1 ( n 1 k 1 ) F + F k 1 ( n 1 k ) F {\displaystyle {\binom {n}{k}}_{F}=F_{n-k+1}{\binom {n-1}{k-1}}_{F}+F_{k-1}{\binom {n-1}{k}}_{F}}

implies that the Fibonomial coefficients are always integers.

The fibonomial coefficients can be expressed in terms of the Gaussian binomial coefficients and the golden ratio φ = 1 + 5 2 {\displaystyle \varphi ={\frac {1+{\sqrt {5}}}{2}}} :

( n k ) F = φ k ( n k ) ( n k ) 1 / φ 2 {\displaystyle {\binom {n}{k}}_{F}=\varphi ^{k\,(n-k)}{\binom {n}{k}}_{-1/\varphi ^{2}}}

Applications

Dov Jarden proved that the Fibonomials appear as coefficients of an equation involving powers of consecutive Fibonacci numbers, namely Jarden proved that given any generalized Fibonacci sequence G n {\displaystyle G_{n}} , that is, a sequence that satisfies G n = G n 1 + G n 2 {\displaystyle G_{n}=G_{n-1}+G_{n-2}} for every n , {\displaystyle n,} then

j = 0 k + 1 ( 1 ) j ( j + 1 ) / 2 ( k + 1 j ) F G n j k = 0 , {\displaystyle \sum _{j=0}^{k+1}(-1)^{j(j+1)/2}{\binom {k+1}{j}}_{F}G_{n-j}^{k}=0,}

for every integer n {\displaystyle n} , and every nonnegative integer k {\displaystyle k} .

References

Categories:
Fibonomial coefficient Add topic