Skip to content

Mathematics · Ch 5 — Binomial Theorem, Sequences and Series

Particular cases of Binomial Theorem

5.3

Particular cases of Binomial Theorem

Three substitutions into Theorem 5.1 give the working forms used throughout the rest of the chapter.

(i) Replacing bb by −b-b:

(a−b)n=nC0 anb0−nC1 an−1b1+nC2 an−2b2−⋯+(−1)r nCr an−rbr+⋯+(−1)n nCn a0bn,(a-b)^n = {}^nC_0\,a^nb^0-{}^nC_1\,a^{n-1}b^1+{}^nC_2\,a^{n-2}b^2-\cdots+(-1)^r\,{}^nC_r\,a^{n-r}b^r+\cdots+(-1)^n\,{}^nC_n\,a^0b^n,

so the signs alternate +,−,+,−,…+,-,+,-,\ldots throughout.

(ii) Replacing aa by 11 and bb by xx:

(1+x)n=nC0+nC1x+nC2x2+⋯+nCrxr+⋯+nCnxn.(1+x)^n = {}^nC_0+{}^nC_1x+{}^nC_2x^2+\cdots+{}^nC_rx^r+\cdots+{}^nC_nx^n.

Setting x=1x=1 gives the subset-count identity

nC0+nC1+⋯+nCn=2n^nC_0+{}^nC_1+\cdots+{}^nC_n=2^n

— since nCr^nC_r counts the rr-element subsets of an nn-element set XX, summing over r=0,…,nr=0,\ldots,n counts every subset of XX exactly once, and a set of nn elements has 2n2^n subsets total.

(iii) (1−x)n=nC0−nC1x+nC2x2−⋯+(−1)n nCnxn(1-x)^n={}^nC_0-{}^nC_1x+{}^nC_2x^2-\cdots+(-1)^n\,{}^nC_nx^n; setting x=1x=1 gives the odd/even split

nC0+nC2+nC4+⋯=nC1+nC3+nC5+⋯=2n−1.^nC_0+{}^nC_2+{}^nC_4+\cdots = {}^nC_1+{}^nC_3+{}^nC_5+\cdots = 2^{n-1}. …