Generalization of Binomial Coefficients: Beta Function
📂FunctionsGeneralization of Binomial Coefficients: Beta Function
Theorem: Binomial Coefficients Expressed Through the Beta Function
0≤k≤n is satisfied for two natural numbers k,n, the following equation holds.
(kn)=nCk=C(n,k)=(n+1)B(n−k+1,k+1)1
For two natural numbers m,n, the following equation holds.
B(m,n)=[m+nmn(m+nn)]−1
Description
The beta function, defined by B(p,q):=∫01tp−1(1−t)q−1dt, can also be seen as a generalization of binomial coefficients. The proof is not difficult, but a lemma has to be proved first.
Proof
Lemma 1
B(p,q)=B(p+1,q)+B(p,q+1)
Proof of Lemma 1
B(p+1,q)+B(p,q+1)====∫01tp−1(1−t)q−1dt+∫01tp−1(1−t)p−1dt∫01tp−1(1−t)q−1[t+(1−t)]dt∫01tp−1(1−t)q−1dtB(p,q)
■
Lemma 2
- (a): B(p+1,q)=p+qpB(p,q)
- (b): B(p,q+1)=p+qqB(p,q)
Proof of Lemma 2
B(p+1,q)====∫01tp(1−t)q−1dt[−q1tp(1−t)q]01+∫01qptp−1(1−t)qdt0+qp∫01tp−1(1−t)qdtqpB(p,q+1)
Integration by parts was used for the second equality. Since by Lemma 1, (a), substituting this into the equation yields:
B(p+1,q)=qpB(p,q)−qpB(p+1,q)⇒qq+pB(p+1,q)=qpB(p,q)⇒B(p+1,q)=p+qpB(p,q)
Since by Lemma 1, (b), substituting this into the equation yields:
B(p,q)−B(p,q+1)=qpB(p,q+1)⇒B(p,q)=qp+qB(p,q+1)⇒B(p,q+1)=p+qqB(p,q)
■
Main Proof
First, let’s show that B(1,1)=1. This can be directly seen from the definition.
B(1,1)=∫01t0(1−t)0dt=1−0=1
Let’s say m,n∈N. Applying Lemma 2’s (a) repeatedly to B(m,n) yields:
B(m,n)====m+n−1m−1B(m−1,n)m+n−1m−1⋅m+n−2m−2B(m−2,n)m+n−1m−1⋅m+n−2m−2⋅⋯m+n−(m−1)1B(1,n)(m+n−1)(m+n−2)⋯(n+1)(m−1)!B(1,n)
Applying Lemma 2’s (b) repeatedly results in:
B(m,n)========(m+n−1)(m+n−2)⋯(n+1)(m−1)!B(1,n)(m+n−1)(m+n−2)⋯(n+1)(m−1)!nn−1B(1,n−1)(m+n−1)(m+n−2)⋯(n+1)(m−1)!nn−1⋅n−1n−2B(1,n−2)(m+n−1)(m+n−2)⋯(n+1)(m−1)!nn−1⋅n−1n−2⋯n+1−(n−1)1B(1,1)(m+n−1)(m+n−2)⋯(n+1)n(n−1)⋯2(m−1)!(n−1)!B(1,1)(m+n−1)!(m−1)!(n−1)!mnm+n(m+n)!m!n![m+nmn(m+nn)]−1
Substituting m=n−k+1, n=k+1 into the third equation from the bottom of the above sequence gives:
B(n−k+1,k+1)=(n+1)!(n−k)!k!=(n+1)n!(n−k)!k!
Therefore:
(n−k)!k!n!=(nk)=(n+1)B(n−k+1,k+1)1
■
See Also