Skip to content

Mathematics · Ch 13 — Methods of Induction and Binomial Theorem

Binomial Coefficients

13.6

Binomial Coefficients

Naming the coefficients. The coefficients nC0,nC1,nC2,…,nCn^nC_0,{}^nC_1,{}^nC_2,\ldots,{}^nC_n occurring in the expansion of (a+b)n(a+b)^n are called the binomial coefficients, and for brevity are written C0,C1,C2,…,CnC_0,C_1,C_2,\ldots,C_n.

Sum of all the binomial coefficients equals 2n2^n. Start from (1+x)n=nC0x0+nC1x1+nC2x2+⋯+nCnxn(1+x)^n={}^nC_0x^0+{}^nC_1x^1+{}^nC_2x^2+\cdots+{}^nC_nx^n ... (i). Substituting x=1x=1: (1+1)n=nC0+nC1+⋯+nCn(1+1)^n={}^nC_0+{}^nC_1+\cdots+{}^nC_n, i.e. 2n=C0+C1+C2+⋯+Cn2^n=C_0+C_1+C_2+\cdots+C_n. So the sum of all the binomial coefficients is 2n2^n.

Sum of the even-placed coefficients equals the sum of the odd-placed coefficients, each equal to 2n−12^{n-1}. Substituting x=−1x=-1 into (i): (1−1)n=nC0−nC1+nC2−⋯+(−1)nnCn(1-1)^n={}^nC_0-{}^nC_1+{}^nC_2-\cdots+(-1)^n{}^nC_n, i.e. 0=C0−C1+C2−C3+⋯+(−1)nCn0=C_0-C_1+C_2-C_3+\cdots+(-1)^nC_n, so C0+C2+C4+⋯=C1+C3+C5+⋯C_0+C_2+C_4+\cdots=C_1+C_3+C_5+\cdots. Call the even-indexed coefficients C0,C2,C4,…C_0,C_2,C_4,\ldots and the odd-indexed ones C1,C3,C5,…C_1,C_3,C_5,\ldots, and let their common value be kk: C0+C2+C4+⋯=C1+C3+C5+⋯=kC_0+C_2+C_4+\cdots=C_1+C_3+C_5+\cdots=k. Adding the two sums gives every coefficient once, so k+k=C0+C1+C2+⋯+Cn=2nk+k=C_0+C_1+C_2+\cdots+C_n=2^n (from above), i.e. 2k=2n2k=2^n, so k=2n−1k=2^{n-1}. Hence the sum of the even coefficients equals the sum of the odd coefficients equals 2n−12^{n-1}.

Solved Example 1. Show that C0+C1+C2+⋯+C10=1024C_0+C_1+C_2+\cdots+C_{10}=1024. Solution. Using C0+C1+⋯+Cn=2nC_0+C_1+\cdots+C_n=2^n with n=10n=10: C0+C1+⋯+C10=210=1024C_0+C_1+\cdots+C_{10}=2^{10}=1024.

Solved Example 2. Show that C0+C2+C4+⋯+C12=C1+C3+C5+⋯+C11=2048C_0+C_2+C_4+\cdots+C_{12}=C_1+C_3+C_5+\cdots+C_{11}=2048. Solution. With n=12n=12: C0+C1+⋯+C12=212=4096C_0+C_1+\cdots+C_{12}=2^{12}=4096 ... (i). By the even/odd-coefficient identity, C0+C2+⋯+C12=C1+C3+⋯+C11=kC_0+C_2+\cdots+C_{12}=C_1+C_3+\cdots+C_{11}=k ... (ii). Adding the two sums in (ii) accounts for every term in (i), so 2k=40962k=4096, k=2048k=2048. Hence both sums equal 20482048.

Solved Example 3. Prove C1+2C2+3C3+⋯+nCn=n⋅2n−1C_1+2C_2+3C_3+\cdots+nC_n=n\cdot2^{n-1}. Solution. For each r≥1r\ge1, r⋅nCr=r⋅n!r!(n−r)!=n⋅(n−1)!(r−1)!(n−r)!=n⋅n−1Cr−1r\cdot{}^nC_r=r\cdot\dfrac{n!}{r!(n-r)!}=n\cdot\dfrac{(n-1)!}{(r-1)!(n-r)!}=n\cdot{}^{n-1}C_{r-1} (a standard combination identity — pulling a factor of nn out of nCr^nC_r leaves n−1Cr−1^{n-1}C_{r-1}, since rr cancels one factor of r!r! in the denominator against the top). So L.H.S. =C1+2C2+⋯+nCn=n[n−1C0+n−1C1+⋯+n−1Cn−1]=n[C0+C1+⋯+Cn−1]=C_1+2C_2+\cdots+nC_n=n\left[{}^{n-1}C_0+{}^{n-1}C_1+\cdots+{}^{n-1}C_{n-1}\right]=n\left[C_0+C_1+\cdots+C_{n-1}\right] (now reading these as the binomial coefficients of the smaller power n−1n-1) =n⋅2n−1==n\cdot2^{n-1}= R.H.S., using the sum-of-all-coefficients identity applied to n−1n-1 in place of nn. …