PRELIMINARY ALGEBRA
The first is a further application of the method of induction. Consider theproposal that, for anyn≥1andk≥0,
∑n−^1s=0k+sC
k=n+kC
k+1. (1.53)Notice that heren, the number of terms in the sum, is the parameter that varies,
kis a fixed parameter, whilstsis a summation index and does not appear on the
RHS of the equation.
Now we suppose that the statement (1.53) about the value of the sum of thebinomial coefficientskCk,k+1Ck,...,k+n−^1 Ckis true forn=N.Wenextwritedown
a series with an extra term and determine the implications of the supposition for
the new series:
N∑+1− 1s=0k+sC
k=N∑− 1s=0k+sC
k+k+NC
k=N+kCk+1+N+kCk=N+k+1Ck+1.But this is just proposal (1.53) withnnow set equal toN+ 1. To obtain the last
line, we have used (1.52), withnset equal toN+k.
It only remains to consider the casen= 1, when the summation only containsone term and (1.53) reduces to
kC
k=1+kC
k+1.This is trivially valid for anyksince both sides are equal to unity, thus completing
the proof of (1.53) for all positive integersn.
The second result, which gives a formula for combining terms from two setsof binomial coefficients in a particular way (a kind of ‘convolution’, for readers
who are already familiar with this term), is derived by applying the binomial
expansion directly to the identity
(x+y)p(x+y)q≡(x+y)p+q.Written in terms of binomial expansions, this reads
∑ps=0pC
sxp−sys∑qt=0qC
txq−tyt=∑p+qr=0p+qC
rxp+q−ryr.We now equate coefficients ofxp+q−ryron the two sides of the equation, noting
that on the LHS all combinations ofsandtsuch thats+t=rcontribute. This
gives as an identity that
∑rt=0pC
r−tqC
t=p+qC
r=∑rt=0pC
tqC
r−t. (1.54)