Von Staudt–Clausen theorem

Template:Short description In number theory, the von Staudt–Clausen theorem is a result determining the fractional part of Bernoulli numbers, found independently by Karl von Staudt (1840) and Thomas Clausen (1840).

Specifically, if Template:Mvar is a positive integer and we add 1/p to the Bernoulli number B_2n for every prime Template:Mvar such that p − 1 divides 2n, then we obtain an integer; that is,

$B_{2n}+\sum _{(p-1)|2n}\frac{1}{p}\in \mathbb{\mathbb{Z}}.$

This fact immediately allows us to characterize the denominators of the non-zero Bernoulli numbers B_2n as the product of all primes Template:Mvar such that p − 1 divides 2n; consequently, the denominators are square-free and divisible by 6.

These denominators are

6, 30, 42, 30, 66, 2730, 6, 510, 798, 330, 138, 2730, 6, 870, 14322, 510, 6, 1919190, 6, 13530, ... (sequence A002445 in the OEIS).

The sequence of integers $B_{2n}+\sum _{(p-1)|2n}\frac{1}{p}$ is

1, 1, 1, 1, 1, 1, 2, -6, 56, -528, 6193, -86579, 1425518, -27298230, ... (sequence A000146 in the OEIS).

Proof

A proof of the Von Staudt–Clausen theorem follows from an explicit formula for Bernoulli numbers which is:

$B_{2n}=\sum _{j=0}^{2n}\frac{1}{j+1}\sum _{m=0}^j(-1{)}^m(\genfrac{}{}{0ex}{}{j}{m})m^{2n}$

and as a corollary:

$B_{2n}=\sum _{j=0}^{2n}\frac{j!}{j+1}(-1{)}^{j}S(2n,j)$

where S(n,j) are the Stirling numbers of the second kind.

Furthermore the following lemmas are needed:

Let Template:Mvar be a prime number; then

1. If p – 1 divides 2n, then

$\sum _{m=0}^{p-1}(-1{)}^m(\genfrac{}{}{0ex}{}{p-1}{m})m^{2n}\equiv -1(\mathrm{mod}p).$

2. If p – 1 does not divide 2n, then

$\sum _{m=0}^{p-1}(-1{)}^m(\genfrac{}{}{0ex}{}{p-1}{m})m^{2n}\equiv 0(\mathrm{mod}p).$

Proof of (1) and (2): One has from Fermat's little theorem,

$m^{p-1}\equiv 1(\mathrm{mod}p)$

for m = 1, 2, ..., p – 1.

If p – 1 divides 2n, then one has

$m^{2n}\equiv 1(\mathrm{mod}p)$

for m = 1, 2, ..., p – 1. Thereafter, one has

$\sum _{m=1}^{p-1}(-1{)}^m(\genfrac{}{}{0ex}{}{p-1}{m})m^{2n}\equiv \sum _{m=1}^{p-1}(-1{)}^m(\genfrac{}{}{0ex}{}{p-1}{m})(\mathrm{mod}p),$

from which (1) follows immediately.

If p – 1 does not divide 2n, then after Fermat's theorem one has

$m^{2n}\equiv m^{2n-(p-1)}(\mathrm{mod}p).$

If one lets ℘ = ⌊ 2n / (p – 1) ⌋, then after iteration one has

$m^{2n}\equiv m^{2n-\mathrm{\wp }(p-1)}(\mathrm{mod}p)$

for m = 1, 2, ..., p – 1 and 0 < 2n – ℘(p – 1) < p – 1.

Thereafter, one has

$\sum _{m=0}^{p-1}(-1{)}^m(\genfrac{}{}{0ex}{}{p-1}{m})m^{2n}\equiv \sum _{m=0}^{p-1}(-1{)}^m(\genfrac{}{}{0ex}{}{p-1}{m})m^{2n-\mathrm{\wp }(p-1)}(\mathrm{mod}p).$

Lemma (2) now follows from the above and the fact that S(n,j) = 0 for j > n.

(3). It is easy to deduce that for a > 2 and b > 2, Template:Mvar divides (ab – 1)!.

(4). Stirling numbers of the second kind are integers.

Now we are ready to prove the theorem.

If j + 1 is composite and j > 3, then from (3), j + 1 divides j!.

For j = 3,

$\sum _{m=0}^3(-1{)}^m(\genfrac{}{}{0ex}{}{3}{m})m^{2n}=3\cdot 2^{2n}-3^{2n}-3\equiv 0(\mathrm{mod}4).$

If j + 1 is prime, then we use (1) and (2), and if j + 1 is composite, then we use (3) and (4) to deduce

$B_{2n}=I_n-\sum _{(p-1)|2n}\frac{1}{p},$

where I_n is an integer, as desired.

See also

• Kummer's congruence