🔢 Το Θεώρημα του Wolstenholme — Ένα εκπληκτικό αποτέλεσμα για αρμονικά αθροίσματα και πρώτους αριθμούς

Το αρμονικό άθροισμα

\[ H_n=1+\frac12+\frac13+\cdots+\frac1n \]

είναι από τα πιο γνωστά αντικείμενα των Μαθηματικών. Όταν όμως θέσουμε \(n=p-1\), όπου \(p\) είναι πρώτος αριθμός, εμφανίζεται μια εντυπωσιακή αριθμητική ιδιότητα.

⭐ Το Θεώρημα του Wolstenholme

Για κάθε πρώτο αριθμό

\[ p\ge5, \]

ισχύει

\[ \boxed{ H_{p-1} = 1+\frac12+\cdots+\frac1{p-1} \equiv0\pmod{p^2}. } \]

Η παραπάνω γραφή με κλάσματα modulo \(p^2\) έχει νόημα επειδή οι παρονομαστές \(1,2,\ldots,p-1\) είναι όλοι πρώτοι προς το \(p\), άρα διαθέτουν αντίστροφο modulo \(p^2\).

🧩 Τι σημαίνει στην πράξη;

Αν γράψουμε το άθροισμα ως ανάγωγο κλάσμα

\[ H_{p-1}=\frac{a}{b}, \]

τότε το θεώρημα λέει ότι

\[ \boxed{p^2\mid a}. \]

Για παράδειγμα,

\[ H_{10} = 1+\frac12+\frac13+\cdots+\frac1{10} = \frac{7381}{2520}. \]

Επειδή \(11\) είναι πρώτος, το θεώρημα προβλέπει ότι ο αριθμητής πρέπει να διαιρείται από

\[ 11^2=121, \]

και πράγματι

\[ 7381=121\cdot61. \]

🔄 Το έξυπνο ζευγάρωμα

Η βασική ιδέα μιας πρώτης απόδειξης είναι να ζευγαρώσουμε τους όρους

\[ \frac1n \qquad\text{και}\qquad \frac1{p-n}. \]

Έτσι,

\[ H_{p-1} = \sum_{n=1}^{(p-1)/2} \left( \frac1n+\frac1{p-n} \right). \]

Και επειδή

\[ \frac1n+\frac1{p-n} = \frac{p}{n(p-n)}, \]

παίρνουμε

\[ H_{p-1} = p\sum_{n=1}^{(p-1)/2} \frac1{n(p-n)}. \]

Για να αποδείξουμε λοιπόν ότι \(H_{p-1}\equiv0\pmod{p^2}\), αρκεί να δείξουμε ότι

\[ \sum_{n=1}^{(p-1)/2} \frac1{n(p-n)} \equiv0\pmod p. \]

✨ Η κρίσιμη παρατήρηση

Modulo \(p\) έχουμε

\[ p-n\equiv-n\pmod p, \]

οπότε

\[ \frac1{n(p-n)} \equiv -\frac1{n^2} \pmod p. \]

Άρα το πρόβλημα ανάγεται στο άθροισμα

\[ \sum_{n=1}^{(p-1)/2}\frac1{n^2}. \]

💡 Το τελευταίο τέχνασμα

Modulo \(p\), κάθε μη μηδενικό υπόλοιπο έχει μοναδικό αντίστροφο. Επομένως οι αριθμοί

\[ \frac1{1^2},\frac1{2^2},\ldots, \frac1{\left(\frac{p-1}{2}\right)^2} \]

είναι, με διαφορετική σειρά, τα ίδια τετραγωνικά υπόλοιπα με

\[ 1^2,2^2,\ldots, \left(\frac{p-1}{2}\right)^2. \]

Έτσι, \[ \sum_{n=1}^{(p-1)/2}\frac1{n^2} \equiv \sum_{n=1}^{(p-1)/2}n^2 = \frac{p(p^2-1)}{24} \equiv0\pmod p, \] για \(p\ge5\).

Και επομένως

\[ \boxed{ H_{p-1}\equiv0\pmod{p^2} }. \]

🌟 Γιατί είναι όμορφο;

Ένα άθροισμα συνηθισμένων κλασμάτων αποκτά μια εντελώς απροσδόκητη σχέση με το τετράγωνο ενός πρώτου αριθμού. Το Θεώρημα του Wolstenholme είναι ένα χαρακτηριστικό παράδειγμα του πόσο βαθιά μπορούν να συνδεθούν τα αρμονικά αθροίσματα με τη θεωρία αριθμών.

Απλά κλάσματα, πρώτοι αριθμοί
και μια απροσδόκητη διαιρετότητα από \(p^2\).

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →