ich fasse's nochmal zusammen;
Für eine positive Primzahl \( p \in \mathbb{P} \subset \mathbb{Z} \) ist die Summe p aufeinanderfolgender natürlicher Zahlen ist durch p teilbar.
Beweis.
Induktionsanfang: \( p \mid \sum_{i = 1}^{p} i = (p\ über\ 2) \) ("p teilt ..."), denn es gilt
\( (p\ über\ 2) = \frac{p !}{ 2! (p - 2)!} = p \cdot \frac{(p-1)!}{2! (p-2)!} \), wobei \( \frac{(p-1)!}{2! (p-2)!} \) ganzzahlig ist, da weder Zähler noch Nenner den Faktor p enthalten.
Induktionsschritt: Sei \( x = \sum_{i=n}^{n+p-1} i \) durch p teilbar gemäß \( x = ap \) für ein \(a \in \mathbb{Z} \). Dann ist \( \sum_{i=n+1}^{n+1+p-1} i = p + \sum_{i=n}^{n+p-1} i = p + ap = p (1 + a) \) ebenso durch p teilbar.
q.e.d.
MfG
Mister