Another Wolstenholme-type congruence (Q2295605)

Summary: Der sogenannte erste Fall des Satzes von Fermat besagt, dass \(x^p+y^p\neq z^p\) für Primzahlen \(p\) mit \(p\nmid xyz \) gilt. Bereits im Jahre 1847 realisierte Cauchy (siehe [\textit{P. Ribenboim}, 13 lectures on Fermat's Last Theorem. New York etc.: Springer-Verlag (1979; Zbl 0456.10006), p. 155]), daß \(\sum^{(p-1)/2}_{i=1} i^{p-4} \equiv 0\pmod p\) folgt, wenn dieser erste Fall für eine Primzahl \(p\) nicht gilt. Diese Summe wiederum ist über den kleinen Satz von Fermat verknüpft mit den Bernoulli-Zahlen und einem Resultat von Genocchi: \[ \sum^{(p-1)/2}_{i=1} \frac{1}{i^3}\equiv -2B_{p-3} \pmod p.\] Derartige Summen wurden zu einer Quelle der Inspiration für Sylvester, Wolstenholme, Morley, Glaisher, Mirimanoff, Vandiver und Lehmer. In der vorliegenden Arbeit zeigt der Autor \[ \sum_{\substack {0<i<j<p \\ i \text{ odd},\ j\text{ even}}}\frac{1}{ij} \equiv -\frac{7}{48}pB_{p-3} \pmod {p^2}. \] Eine Version dieser Summe modulo \(p\) war vor kurzem die Grundlage für einen elementaren Beweis der Kongruenz von Morley.