We first consider the generating function for Bernoulli numbers (
):
and therefore:
We can easily calculate the first three Bernoulli numbers and the remaining numbers can be calculated via contour integration and expressed in terms of the zeta function at the negative integers. We find:
where all even Bernoulli numbers are non-zero and
for
. Now, add
to both sides of the generating expression:
but
and the remaining odd Bernoulli numbers are zero. Thus:
We can then write the expression as:
Now note the left size can be written as:
so therefore:
Letting
then:
which simplifies to:
or:
we now use the identity:
and therefore:
which then simplifies to: