🌟 Ramanujan: Μια Ταυτότητα που Ενώνει το π, το ln και τη Χρυσή Τομή

Άπειρες σειρές · Χρυσή τομή · Υπεργεωμετρικές συναρτήσεις

🌟 Δύο Μαθηματικά Κοσμήματα του Ramanujan

Μια ταυτότητα που ενώνει το ( pi ), τον λογάριθμο και τη χρυσή τομή

💎 Η ταυτότητα που ενώνει τρεις κόσμους

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

\[ \frac{\pi^2}{6}-3\left[\ln\!\left(\frac{1+\sqrt5}{2}\right)\right]^2 =\sum_{k=0}^{\infty} \frac{(-1)^k(k!)^2}{(2k)!(2k+1)^2}. \]

Η χρυσή τομή είναι:

\[ \varphi=\frac{1+\sqrt5}{2}\approx1{,}6180339887. \]

Επομένως, η αριστερή πλευρά γράφεται πιο κομψά ως:

\[ \frac{\pi^2}{6}-3(\ln\varphi)^2. \]

⚠️ Η σημαντική τυπογραφική λεπτομέρεια

Το τετράγωνο αφορά την τιμή του λογαρίθμου:

Σωστό: (3(\ln\varphi)^2)

Όχι: (3\ln(\varphi^2)=6\ln\varphi)

Η διάκριση είναι ουσιώδης. Η σειρά έχει θετικό άθροισμα περίπου (0{,}95024), και αυτό συμφωνεί μόνο με την πρώτη ερμηνεία:

\[ \frac{\pi^2}{6}-3(\ln\varphi)^2\approx0{,}9502396051. \]

🔢 Πώς ξεδιπλώνεται η σειρά

Αν αντικαταστήσουμε διαδοχικά (k=0,1,2,3,\ldots), παίρνουμε:

\[ 1-\frac{1}{2!\,3^2} +\frac{(2!)^2}{4!\,5^2} -\frac{(3!)^2}{6!\,7^2} +\frac{(4!)^2}{8!\,9^2}-\cdots \]

Οι παραγοντικοί αριθμοί κάνουν τους όρους να μικραίνουν γρήγορα, ενώ το ( (-1)^k ) εναλλάσσει τα πρόσημα. Το εντυπωσιακό δεν είναι απλώς ότι η σειρά συγκλίνει, αλλά ότι το άθροισμά της εκφράζεται με τις συγκεκριμένες σταθερές ( pi ) και ( arphi ).

🔐 Πώς μπορεί να αποδειχθεί η πρώτη ταυτότητα;

Χρησιμοποιούμε πρώτα το ολοκλήρωμα Beta:

\[ \int_0^1 t^k(1-t)^k\,dt =\frac{(k!)^2}{(2k+1)!}. \]

Επειδή ( (2k+1)!=(2k+1)(2k)! ), ο γενικός όρος γράφεται:

\[ \frac{(k!)^2}{(2k)!(2k+1)^2} =\int_0^1\!\int_0^1 t^k(1-t)^k u^{2k}\,du\,dt. \]

Αθροίζοντας τη γεωμετρική σειρά με τα εναλλασσόμενα πρόσημα:

\[ S=\int_0^1\!\int_0^1 \frac{du\,dt}{1+u^2t(1-t)}. \]

Με τις αντικαταστάσεις (t=(1+v)/2) και κατόπιν (u=2\sinh y), το διπλό ολοκλήρωμα ανάγεται στο:

\[ S=2\int_0^{\operatorname{arsinh}(1/2)}\frac{y}{\sinh y}\,dy. \]

Εδώ εμφανίζεται φυσικά η χρυσή τομή, επειδή:

\[ \operatorname{arsinh}\!\left(\frac12\right) =\ln\!\left(\frac{1+\sqrt5}{2}\right)=\ln\varphi. \]

Η τελική ολοκλήρωση —με ανάπτυξη του (1/\sinh y) σε εκθετική σειρά και τις αντίστοιχες σχέσεις του διλογαρίθμου— δίνει:

\[ S=\frac{\pi^2}{6}-3(\ln\varphi)^2. \]

Το ουσιαστικό σημείο: η χρυσή τομή δεν προστίθεται τεχνητά στον τύπο. Αναδύεται από το όριο (\operatorname{arsinh}(1/2)=\ln\varphi) κατά τον μετασχηματισμό του ολοκληρώματος.

🪜 Το δεύτερο κόσμημα: μια ακολουθία γινομένων

Η δεύτερη ταυτότητα του Ramanujan αφορά μια μεταβλητή (x):

\[ \frac{x}{2x-1} =1-\frac{x-1}{x+1} +\frac{(x-1)(x-2)}{(x+1)(x+2)} -\frac{(x-1)(x-2)(x-3)}{(x+1)(x+2)(x+3)}+\cdots \]

Κάθε νέος όρος αποκτά έναν επιπλέον παράγοντα στον αριθμητή και στον παρονομαστή, ενώ τα πρόσημα εναλλάσσονται. Για θετικό ακέραιο (x=m), η σειρά σταματά μόνη της, επειδή εμφανίζεται τελικά ο παράγοντας (m-m=0).

Για (x=3): \[ 1-\frac24+\frac{2\cdot1}{4\cdot5} =1-\frac12+\frac1{10} =\frac35 =\frac{3}{2\cdot3-1}. \]

🔐 Γιατί ισχύει η δεύτερη ταυτότητα;

Με το σύμβολο Pochhammer ( (a)_n=a(a+1)\cdots(a+n-1) ), ο (n)-οστός όρος γράφεται:

\[ (-1)^n\frac{(x-1)(x-2)\cdots(x-n)}{(x+1)(x+2)\cdots(x+n)} =\frac{(1-x)_n(1)_n}{(x+1)_n\,n!}. \]

Άρα ολόκληρη η σειρά είναι η υπεργεωμετρική συνάρτηση:

\[ {}_2F_1(1-x,1;x+1;1). \]

Το θεώρημα αθροίσεως του Gauss δίνει, για (\operatorname{Re}(x)>\tfrac12):

\[ {}_2F_1(1-x,1;x+1;1) =\frac{\Gamma(x+1)\Gamma(2x-1)}{\Gamma(2x)\Gamma(x)}. \]

Χρησιμοποιώντας τις σχέσεις (\Gamma(x+1)=x\Gamma(x)) και (\Gamma(2x)=(2x-1)\Gamma(2x-1)), παίρνουμε αμέσως:

\[ {}_2F_1(1-x,1;x+1;1)=\frac{x}{2x-1}. \]

✨ Γιατί αυτές οι ταυτότητες είναι τόσο χαρακτηριστικές;

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

Αυτό ακριβώς κάνει τις φόρμουλες του Ramanujan τόσο γοητευτικές: πίσω από μια φαινομενικά παιχνιδιάρικη ακολουθία συμβόλων βρίσκεται συχνά μια ολόκληρη περιοχή της ανώτερης ανάλυσης.

📚

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

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

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

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

Σχετικά άρθρα