✨ Δύο Σειρές του Ramanujan που Οδηγούν στο π² και στο ln 2

Άπειρες σειρές · Τηλεσκοπικά αθροίσματα

✨ Δύο Εκπληκτικές Σειρές του Ramanujan

Πώς τα κλάσματα κρύβουν μέσα τους το ( pi^2 ) και το ( ln 2 )

🧠 Η υπογραφή του Ramanujan

Ο Srinivasa Ramanujan είχε μια μοναδική ικανότητα να αναγνωρίζει απροσδόκητες σχέσεις ανάμεσα σε άπειρες σειρές και σε θεμελιώδεις σταθερές. Οι δύο ταυτότητες του στιγμιοτύπου, που αποδίδονται στον Ινδό μαθηματικό, είναι χαρακτηριστικά παραδείγματα:

\[ 10-\pi^2=\sum_{k=1}^{\infty}\frac{1}{k^3(k+1)^3} \]

\[ \ln 2=\frac12+\sum_{k=1}^{\infty}\frac{1}{(2k)^3-2k} \]

Με την πρώτη ματιά, οι παρονομαστές τρίτου και έκτου βαθμού δεν φαίνεται να έχουν καμία σχέση με το ( pi ) ή τον φυσικό λογάριθμο. Το μυστικό βρίσκεται στη διάσπαση σε απλά κλάσματα: κάθε περίπλοκος όρος μετατρέπεται σε άθροισμα όρων που αλληλοαναιρούνται.

🔍 Τι σημαίνει «τηλεσκοπική» σειρά;

Μια σειρά ονομάζεται τηλεσκοπική όταν, αφού γράψουμε τους όρους της με κατάλληλο τρόπο, οι περισσότεροι ακυρώνονται ανά δύο. Για παράδειγμα:

\[ \sum_{k=1}^{N}\left(\frac1k-\frac1{k+1}\right) =1-\frac1{N+1} \]

Η σειρά «κλείνει» όπως ένα τηλεσκόπιο: το τεράστιο ενδιάμεσο τμήμα εξαφανίζεται και απομένουν μόνο μερικοί ακραίοι όροι. Στις ταυτότητες του Ramanujan η ίδια ιδέα συνδυάζεται με γνωστές σειρές, όπως:

\[ \sum_{k=1}^{\infty}\frac1{k^2}=\frac{\pi^2}{6} \qquad\text{και}\qquad \lim_{N\to\infty}(H_{2N}-H_N)=\ln 2 \]

🔐 Απόδειξη της πρώτης ταυτότητας: (10-\pi^2)

Ξεκινάμε με τη μερική κλασματική διάσπαση:

\[ \frac{1}{k^3(k+1)^3} =\frac6k-\frac3{k^2}+\frac1{k^3} -\frac6{k+1}-\frac3{(k+1)^2}-\frac1{(k+1)^3}. \]

Αθροίζοντας από (k=1) έως (N), ομαδοποιούμε τους όρους ίδιου τύπου:

\[ \begin{aligned} S_N={}&6\sum_{k=1}^{N}\left(\frac1k-\frac1{k+1}\right)\\ &-3\sum_{k=1}^{N}\left(\frac1{k^2}+\frac1{(k+1)^2}\right)\\ &+\sum_{k=1}^{N}\left(\frac1{k^3}-\frac1{(k+1)^3}\right). \end{aligned} \]

Η πρώτη και η τρίτη σειρά τηλεσκοπούν, ενώ στη δεύτερη εμφανίζεται η σειρά του προβλήματος της Βασιλείας. Περνώντας στο όριο:

\[ \begin{aligned} \sum_{k=1}^{\infty}\frac{1}{k^3(k+1)^3} &=6-3\left(2\sum_{k=1}^{\infty}\frac1{k^2}-1\right)+1\\ &=10-6\cdot\frac{\pi^2}{6}\\ &=10-\pi^2. \end{aligned} \]

Επειδή ( pi^2\approx9{,}8696 ), το αποτέλεσμα είναι θετικό και μικρό:

(10-\pi^2\approx0{,}1304)

🔐 Απόδειξη της δεύτερης ταυτότητας: (ln 2)

Παραγοντοποιούμε πρώτα τον παρονομαστή:

\[ (2k)^3-2k=2k(2k-1)(2k+1). \]

Η αντίστοιχη διάσπαση σε απλά κλάσματα είναι:

\[ \frac{1}{(2k)^3-2k} =-\frac1{2k}+\frac1{2(2k-1)}+\frac1{2(2k+1)}. \]

Αν (H_N=1+\frac12+\cdots+\frac1N) είναι ο (N)-οστός αρμονικός αριθμός, τότε για το μερικό άθροισμα προκύπτει:

\[ \sum_{k=1}^{N}\frac{1}{(2k)^3-2k} =H_{2N}-H_N-\frac12+\frac{1}{2(2N+1)}. \]

Καθώς (N\to\infty), γνωρίζουμε ότι:

\[ H_{2N}-H_N\longrightarrow\ln 2, \qquad \frac{1}{2(2N+1)}\longrightarrow0. \]

Άρα:

\[ \frac12+\sum_{k=1}^{\infty}\frac{1}{(2k)^3-2k}=\ln 2. \]

🌟 Η ομορφιά των δύο τύπων

Οι δύο ταυτότητες μοιάζουν διαφορετικές, αλλά στηρίζονται στην ίδια φιλοσοφία: ένας περίπλοκος όρος διασπάται σε απλούστερους, οι οποίοι είτε τηλεσκοπούν είτε οδηγούν σε μια ήδη γνωστή σειρά.

Αυτό ήταν ένα από τα μεγάλα χαρίσματα του Ramanujan: έβλεπε πίσω από τους δυσκίνητους παρονομαστές μια κρυμμένη δομή — και μέσα σε αυτή τη δομή αναγνώριζε σταθερές όπως το ( pi ) και το ( ln 2 ).

📚

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

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

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

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