Von Staudt–Clausen theorem

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 we add 1/p to B_n for every prime p such that p − 1 divides n, we obtain an integer.

This fact immediately allows us to characterize the denominators of the non-zero Bernoulli numbers B_n as the product of all primes p such that p − 1 divides n; 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 OEIS)

Formulation

The von Staudt–Clausen theorem has two parts. The first one describes how the denominators of the Bernoulli numbers can be computed. Paraphrasing the words of Clausen it can be stated as:

“The denominator of the 2nth Bernoulli number can be found as follows: Add to all divisors of 2n, 1, 2, a, a', ..., 2n the unity, which gives the sequence 2, 3, a + 1, a' + 1, ..., 2n + 1. Select from this sequence only the prime numbers 2, 3, p, p', etc. and build their product.”

The second part of the von Staudt–Clausen theorem is a representation of the Bernoulli numbers. This representation is given for the first few nonzero Bernoulli numbers in the next table.

Von Staudt–Clausen representation of Bn
B0	=	1
B1	=	− 1/2
B2	=	1 − 1/2 − 1/3
B4	=	1 − 1/2 − 1/3 − 1/5
B6	=	1 − 1/2 − 1/3 − 1/7
B8	=	1 − 1/2 − 1/3 − 1/5
B10	=	1 − 1/2 − 1/3 − 1/11

See also

• Kummer's congruence

References

• Clausen, Thomas (1840), "Theorem", Astronomische Nachrichten 17 (22): 351–352, doi:10.1002/asna.18400172204 
• Rado, R. (1934), "A New Proof of a Theorem of V. Staudt", J. London Math. Soc. 9 (2): 85–88, doi:10.1112/jlms/s1-9.2.85 
• von Staudt, Ch. (1840), "Beweis eines Lehrsatzes, die Bernoullischen Zahlen betreffend", Journal für Reine und Angewandte Mathematik 21: 372–374, ISSN 0075-4102, JFM 021.0672cj, http://resolver.sub.uni-goettingen.de/purl?GDZPPN002142562 

External links

• Weisstein, Eric W., "von Staudt-Clausen Theorem" from MathWorld.