In this post we’re going to prove the following identity for the sum of the reciprocals of the numbers in column k of Pascal’s triangle, valid for integers :
The standard way to prove Identity 1 is is to convert the binomial coefficient in the denominator of the left side to an integral expression using the beta function, swap the integral and the summation, and pull some algebraic tricks with derivatives to sum the infinite series and then evaluate the integral. (See, for example, the proof of Identity 107 on pages 77-78 of my upcoming Art of Proving Binomial Identities.) In this post, though, we’re going to show how one can prove this identity using just three simple binomial identities:
Identity 4: .
Identity 2 is your basic partial fractions decomposition formula when the factors in the denominator are consecutive integers. Identity 3 gives the formula for the partial alternating row sum of the binomial coefficients. Identity 4 is perhaps less well-known, but it does have a nice interpretation as two different ways of expressing the probability of drawing the red ball from a jar containing one red ball and n numbered blue balls. (These are Identities 109, 20, and 24, respectively, in The Art of Proving Binomial Identities.)
On to the proof.
Proof of Identity 1.
First, let’s rewrite the summand of Identity 1 as a fraction with consecutive integer factors and apply Identity 2:
This gives the left side of Identity 1 as
Now, let’s transform the region of summation (just as we might transform the region of integration in a double integral) from an space to an space, where . The idea here is that we want to see what happens when we fix a particular denominator and sum over all the numerator expressions for that denominator. The original region of summation in space looks like an infinite rectangle whose three finite sides are , and . The transformed region of summation looks like an infinite trapezoid whose three finite sides are , and . With the diagonal side , we have to split the infinite series into two parts, one with i running from 1 to and one with i running from k to infinity.
Thus, we have
Identity 3 tells us how to evaluate the two inner sums, leaving us (as the second inner sum is zero) with
where the last step follows from Identity 4.