## Faulhaber’s Fabulous Formula

Tonight I’ll be telling the undergrad math club here about a nifty little thing I picked up from Scott Carter last week, who in turn picked it up from John Conway shortly before that: Faulhaber’s Fabulous Formula. The formula itself expresses the sum of the first -th powers as (sort of) an integral:

The question here is what this mysterious is, and the answer to that takes us into the shadowy netherworld of 19th-century analysis: the umbral calculus.

Our mysterious character is defined by a simple equation: . For this is trivially true, as both sides are . For this is clearly nonsense, as it says , or , so let’s just not apply the relation for this value of . For higher , it’s still nonsense, but of a subtler sort. So let’s dive in.

When we consider we get . The terms cancel, and what’s left tells us that . So ? Not quite, because that would make sense!

Let’s look at . Now the relation reads . Again the terms cancel, and now we know that . Thus we can solve to find . Huh?

Moving on to , we find . The terms cancel and we substitute in the values we know for and to find . As I told Scott, “you do realize that this is f___ing nuts, right?”

We can keep going on like this, spinning out values of for all — , , , , , — which have absolutely *nothing* to do with powers of any base . But we use them as powers in the relation. Remember: this is *prima facie* nonsense.

But onwards, mathematical soldiers, integrating as to war: we take the integral and break it up into pieces:

Even (most of) my calculus students can take the antiderivatives on the right to get

Now we use the binomial formula to expand each of the terms in the numerator.

and combine to find

But we said that unless ! That is, all these terms cancel except for one, which is just . And so the integral we started with is the sum of the first -th powers, as we wanted to show.

So how do we apply this? Well, we can evaluate the integral more directly rather than breaking it into a big sum.

And now we use the values we cranked out before. Let’s write it out for , which many of you already know the answer for.

What about ? It’s not as well-known, but some of you might recognize it when we write it out.

In fact, given the numbers we cranked out back at the start of the post, we can use this formula to easily write out the sum of the first 9th powers:

all thanks to Faulhaber’s Fabulous Formula.

Faulhaber’s formula is also discussed in Conway and Guy’s The Book of Numbers (p. 107 ff.).

I guess it’s well known, but what the hey: umbral calculus was made respectable by Gian-Carlo Rota and others. Some more information can be found here.

Comment by Todd Trimble | November 14, 2007 |

Yes, I found those references while we were trying to figure out what Conway meant when he told Carter about this. I’m not sure if “well-known” really applies. It used to be a lot better-known, sure, but nowadays it seems to occupy a certain backwater.

Of course, these are “secretly” the Bernoulli numbers (with a slight tweak), and their definition mirrors the relationship between Bernoulli numbers and the binomial coefficients. Naturally (well, natural for me) the question is what the Bernoulli numbers mean combinatorially. That is, how should we

categorifythe umbral calculus? Is there a nice structure type that’s hiding in the shadows here?Comment by John Armstrong | November 14, 2007 |

Great question, John — I was wondering the same thing. I’ll bet we’re not the first.

It just occurred to me that the proof that e and pi are transcendental given in Hardy and Wright’s An Introduction to the Theory of Numbers partakes of a certain “umbral spirit” as well (as I guess a lot of finite difference calculus does in the first place). Probably then this stuff used to be much better known.

Comment by Todd Trimble | November 14, 2007 |

nice post this time – the topology stuff was getting a bit thick … albeit still interesting.

keep up the good work.

don

Comment by d palahnuk | November 14, 2007 |

The case you refer to as p = 3 is actually p = 2, right?

The actual p = 3 case is nice, too; it turns out that

(1^3 + … + n^3) = (1 + 2 + … + n)^2

and there’s a “proof without words” of this, in which a square with sides 1 + 2 + … + n is dissected into one square with side 1, two squares of side 2, …, n squares of side n. (Or something like that; trying to dissect a square of side 3 into two squares of side 2 and a square of side 1 proves that you can’t actually do what I just said!)

Comment by Isabel | November 15, 2007 |

Ah, that’s right. Thanks for the catch, Isabel.

You’re right about expanding the sum of the first cubes as a polynomial in the sum of the first numbers. In fact,

allof the above sums can be expanded as polynomials in , and the polynomials we get are called the “Faulhaber polynomials”.Comment by John Armstrong | November 15, 2007 |

John,

that’s not quite true; the sum of the first n squares can’t be expanded as a polynomial in terms of the first n numbers, for the obvious reason that those are polynomials of degree 3 and 2, respectively.

I think what you meant is that any such sum is a polynomial in when is odd.

One might hope that the sum of th powers (which is a polynomial of degree p+1) is a polynomial in the sum of th powers (which is itself a polynomial of degree k+1) whenever k+1 divides p+1; unfortunately this is not true. (Let k=2, p=5.)

Comment by Isabel | November 15, 2007 |

Of course. It’s been a long day.

By the way, I tweaked your comment, adding “latex” to the opening “$” characters.

Comment by John Armstrong | November 15, 2007 |

Todd, I was just recently picking up where I last left off in John Baez’ QG lecture notes. It seems he discusses the Bernoulli numbers (and their categorification) in the homework for week 6 of Winter 2004, and there’s a particularly thorough coverage in Jeff Morton’s solution set to them.

Comment by John Armstrong | November 16, 2007 |

[…] Armstrong (definitely not a Fields medalist) provides us a discussion of Faulhaber’s Famous Formula. Those of you who who haven’t encountered its fame, might learn a little […]

Pingback by Carnival of Mathematics #21: Bar-hopping at last « Secret Blogging Seminar | December 6, 2007 |