Proof of the theorem of Clausen and von Staudt on Benoulli numbers (Q1545238)

Dieser ganz directe Beweis beruht auf der Fermat'schen Methode zur Summation der Potenzen der natürlichen Zahlen und auf dem Fermat'schen und dem Wilson'schen Satze. Den Ausgangspunkt bildet die Identität \[ X_p= x^p+ \Gamma_{p-1}^1\cdot x^{p-1}+ \Gamma_{p-1}^2\cdot x^{p-2}+\cdots+ \Gamma_{p-1}^{p-1}\cdot x, \] wo \(X_p\) das Product \(x(x+1)\cdots (x+p-1)\) und \(\Gamma_p^q\) die Summen der Producte von je \(q\) der ersten \(p\) Zahlen bedeutet. Setzt man \(p=1,2,\dots, n\), so ergiebt die Auflösung des entstehenden Systems von Gleichungen \[ x^n= X_n+ \Delta_1.X_{n-1} +\cdots+ \Delta_{n-p+1} X_{p-1} +\cdots+ \Delta_{n-1}X_1, \] wo die \(\Delta\) sich als Determinanten darstellen, die vermittelst der Formel \[ \Gamma_q^\nu= \Gamma_{q-1}^{\nu-1}+ q\Gamma_{q-1}^{\nu-2} \] vereinfacht werden. Die Fermat'sche Methode ergiebt dann \[ 1^n+ 2^n+\cdots+ x^n= \frac{X_{n+1}} {n+1}+ \Delta_1 \frac{X_n}{n} +\cdots+ \Delta_{n-1} \frac{x_2}{2} \] und für die Bernoulli'sche Zahl \(B_n\) als den Coefficienten von \(x\) in diesem Ausdruck: \[ B_n= \frac{n!}{n+1} +\cdots+ \Delta_{n-q+1} \frac{\Gamma_{q-1}^{q-1}}{q} +\cdots+ \Delta_{n-1}\cdot \frac12. \] Da für jede ungerade Primzahl \(p\) die Grösse \(\Gamma_{p-1}^{p-1}\equiv -1(\text{mod.}p)\) ist, während für \(i\neq p-1: \Gamma_{p-1}^i\equiv 0(\text{mod.}p)\), ist, so ergiebt der für die \(\Delta\) aufgestellte Determinantenausdruck \(\Delta_{n-p+1}\equiv 1\) oder 0 \((\text{mod.}p)\), jenachdem \(p-1\) Teiler von \(n\) ist, oder nicht. Daraus folgt dann weiter, dass das allgemeine Glied in der obigen Darstellung von \(B_n\) keine ganze Zahl ist, wenn \(q\) eine ungerade Primzahl und \(q-1\) ein Teiler von \(n\) ist; und es lautet dann der gebrochene Teil des Gliedes \(-\frac1q\). Dies ist aber das von Staudt-Clausen'sche Theorem.