Τι κοινό έχουν οι πρώτοι αριθμοί με τα αθροίσματα αντιστρόφων φυσικών αριθμών;
Το 1862, ο Βρετανός μαθηματικός Joseph Wolstenholme (1829–1891) απέδειξε ένα εντυπωσιακό θεώρημα της Θεωρίας Αριθμών.
Έστω \(p\geq5\) ένας πρώτος αριθμός.
Θεωρούμε το αρμονικό άθροισμα:
\[ H_{p-1}= 1+\frac12+\frac13+\cdots+\frac1{p-1}. \]
Αν γράψουμε το άθροισμα ως ανάγωγο κλάσμα, τότε ο αριθμητής του διαιρείται πάντοτε με \(p^2\).
Στη γλώσσα των ισοδυναμιών:
\[ \boxed{ \sum_{k=1}^{p-1}\frac1k \equiv0\pmod{p^2} } \]
Ακόμη πιο εντυπωσιακό είναι ότι το αντίστοιχο άθροισμα των αντιστρόφων τετραγώνων ικανοποιεί:
\[ \boxed{ \sum_{k=1}^{p-1}\frac1{k^2} \equiv0\pmod p } \]
Στις παραπάνω ισοδυναμίες, τα κλάσματα ερμηνεύονται μέσω των πολλαπλασιαστικών αντιστρόφων των παρονομαστών modulo \(p^2\) ή modulo \(p\), αντίστοιχα.
Ένα παράδειγμα για p = 5
Για τον πρώτο αριθμό \(p=5\), έχουμε:
\[ 1+\frac12+\frac13+\frac14 =\frac{25}{12}. \]
Ο αριθμητής είναι 25 = 5², όπως προβλέπει το θεώρημα.
Αντίστοιχα:
\[ 1+\frac1{2^2}+\frac1{3^2}+\frac1{4^2} =\frac{205}{144}. \]
Εδώ ο αριθμητής 205 = 5·41 διαιρείται με το 5.
Και οι δύο διαιρετότητες επιβεβαιώνονται!
Μια ισοδυναμία με διωνυμικούς συντελεστές
Μια άλλη περίφημη διατύπωση του Θεωρήματος του Wolstenholme είναι:
\[ \boxed{ \binom{2p-1}{p-1} \equiv1\pmod{p^3} } \]
για κάθε πρώτο αριθμό \(p\geq5\).
Για παράδειγμα, με \(p=5\):
\[ \binom94=126=1+5^3. \]
Επομένως:
\[ 126\equiv1\pmod{125}. \]
Το θεώρημα αποτελεί χαρακτηριστικό παράδειγμα της βαθιάς σχέσης ανάμεσα στις αρμονικές σειρές, τη Συνδυαστική και τη Θεωρία Αριθμών.
Αξιοσημείωτο: Ένας απλός περιορισμός, το ότι ο αριθμός \(p\) είναι πρώτος και μεγαλύτερος του 3, αρκεί για να επιβάλει ισχυρές αριθμητικές διαιρετότητες.
🧩 Μαθηματική πρόκληση
Μπορείτε να αποδείξετε, για κάθε πρώτο \(p\geq5\), ότι:
\[ \sum_{k=1}^{p-1}\frac1{k^2} \equiv0\pmod p\,? \]
Πηγές:
Wolfram MathWorld – Wolstenholme's Theorem
ProofWiki – Wolstenholme's Theorem
OEIS – Numerators of Harmonic Numbers in Wolstenholme's Theorem
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου