Binomial coefficient identities are normally proved by combinatorial arguments, by manipulation of other known binomial coefficient identities, by generating functions, or even sometimes by finding the right integral representation. This post is going to look at a couple of binomial identities that have nice proofs using complex numbers. (Well, we’re going to use the binomial theorem, too, but that’s it.)

In my paper “Combinatorial Sums and Finite Differences” [4] I use the techniques presented therein to prove the (known) identities

and

Two variations on these sums that I did not consider are

(1)

and

(2) .

While the techniques used in my paper can be extended to handle these sums, both of them can be evaluated easily using complex numbers, too.

Let’s take (1) first. Since the binomial theorem applies to complex numbers, we have

.

Equating real and imaginary parts gives us not only a formula for (1) but also a bonus binomial coefficient identity:

and

.

(Proving the latter identity via complex numbers is Problem 32 in Chapter 1 of Tristan Needham’s *Visual Complex Analysis* [3], which is a good read in its own right.)

Now, what about (2)?

Let be a primitive third root of unity, such as . Thus , and .

Applying the binomial theorem, we have

and

Now, is either 0, if *k* is not divisible by 3, or is 3, if *k* is divisible by 3. Thus

(In general, we have with a primitive *r*th root of unity. See, for example, Gould’s *Combinatorial Identities* [2] or the beautiful combinatorial proof in the recent paper [1] by Benjamin, Chen, and Kindred. Also related is this math.SE question of Qiaochu Yuan’s.)

**References**

- Arthur T. Benjamin, Bob Chen, and Kimberly Kindred, “Sums of Evenly Spaced Binomial Coefficients,”
*Mathematics Magazine*83 (5): 370-373, December 2010. - H. W. Gould,
*Combinatorial Identities*, 2nd ed. Published by the author, Morgantown, WV, 1972. See also Gould’s web site. - Tristan Needham,
*Visual Complex Analysis*, Clarendon Press, Oxford, 1997. - Michael Z. Spivey, “Combinatorial Sums and Finite Differences,”
*Discrete Mathematics*, 307 (24): 3130-3146, 2007.