Three substitutions into Theorem 5.1 give the working forms used throughout the rest of the chapter.
(i) Replacing b by −b:
(a−b)n=nC0anb0−nC1an−1b1+nC2an−2b2−⋯+(−1)rnCran−rbr+⋯+(−1)nnCna0bn,
so the signs alternate +,−,+,−,… throughout.
(ii) Replacing a by 1 and b by x:
(1+x)n=nC0+nC1x+nC2x2+⋯+nCrxr+⋯+nCnxn.
Setting x=1 gives the subset-count identity
nC0+nC1+⋯+nCn=2n
— since nCr counts the r-element subsets of an n-element set X, summing over r=0,…,n counts every subset of X exactly once, and a set of n elements has 2n subsets total.
(iii) (1−x)n=nC0−nC1x+nC2x2−⋯+(−1)nnCnxn; setting x=1 gives the odd/even split
nC0+nC2+nC4+⋯=nC1+nC3+nC5+⋯=2n−1. …