proof of Faulhaber's formula
proof of Faulhaber’s formula
Theorem 0.1.
If , then
|
|
|
where the are the Bernoulli numbers and the Bernoulli polynomials.
The exponential generating function for the Bernoulli numbers is
|
|
|
We develop an equation involving sums of Bernoulli numbers on one side, and a simple generating involving powers of that gives us the appropriate sum of powers on the other side. Equating coefficients of powers of then gives the result.
To get a generating function where the coefficient of is , we can use
|
|
|
|
|
|
|
|
But this is also a geometric series, so
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Equating coefficients of we get
|
|
|
|
|
|
|
|
which proves the first equality.
If is a polynomial, write for the coefficient of in . Then
|
|
|
and thus if , iterating, we get
|
|
|
Then using the fact that , we have
|
|
|
|
|
|
|
|
Now reverse the order of summation (i.e. replace by ) to get
|
|
|
Mathematics Subject Classification
11B68
Bernoulli and Euler numbers and polynomials