✨ Ένα Πανέμορφο Όριο που Ενώνει τα e, π και n!

Όταν το παραγοντικό συναντά τον κύκλο

✨ Ένα Πανέμορφο Όριο

Μια εξίσωση που ενώνει τα \(e\), \(\pi\), τις ρίζες και το άπειρο

🌟 Η εξίσωση

Η ακόλουθη έκφραση μοιάζει να συγκεντρώνει, σε μία μόνο γραμμή, μερικά από τα πιο χαρακτηριστικά σύμβολα των μαθηματικών:

\[ \boxed{\displaystyle \lim_{n\to\infty}\frac{e^n n!}{n^n\sqrt n}=\sqrt{2\pi}} \]

Γιατί ένα παραγοντικό, δύο δυνάμεις, μια τετραγωνική ρίζα και ένα όριο καταλήγουν ακριβώς στη σταθερά \(\sqrt{2\pi}\); Η απάντηση βρίσκεται σε έναν από τους σημαντικότερους ασυμπτωτικούς τύπους της ανάλυσης.

📈 Το παραγοντικό μεγαλώνει τρομακτικά γρήγορα

Το παραγοντικό ενός θετικού ακεραίου ορίζεται από:

\[ n!=1\cdot2\cdot3\cdots n \]

Ακόμη και για σχετικά μικρό \(n\), ο αριθμός γίνεται τεράστιος:

10! = 3.628.800
20! = 2.432.902.008.176.640.000

Αν θέλουμε να μελετήσουμε πιθανότητες, συνδυασμούς ή μεγάλα αθροίσματα, ο ακριβής υπολογισμός του \(n!\) δεν είναι πάντοτε πρακτικός. Χρειαζόμαστε μια απλούστερη έκφραση που να περιγράφει με μεγάλη ακρίβεια την αύξησή του.

🧩 Ο τύπος του Stirling

Για μεγάλες τιμές του \(n\), ο τύπος του Stirling λέει:

\[ n!\sim\sqrt{2\pi n}\left(\frac ne\right)^n \]

Το σύμβολο \(\sim\) δεν σημαίνει απλώς «περίπου ίσο». Σημαίνει ότι ο λόγος των δύο πλευρών τείνει στο 1:

\[ \lim_{n\to\infty} \frac{n!}{\sqrt{2\pi n}(n/e)^n}=1 \]

Η προσέγγιση γίνεται εντυπωσιακά ακριβής πολύ γρήγορα και μπορεί να βελτιωθεί με πρόσθετους διορθωτικούς όρους.

✅ Η απόδειξη σε λίγα βήματα

Ξεκινάμε από τον τύπο του Stirling:

\[ n!\sim\sqrt{2\pi n}\left(\frac ne\right)^n \]

Πολλαπλασιάζουμε με \(e^n\):

\[ e^n n!\sim e^n\sqrt{2\pi n}\frac{n^n}{e^n}=n^n\sqrt{2\pi n} \]

Διαιρούμε με \(n^n\sqrt n\):

\[ \frac{e^n n!}{n^n\sqrt n}\sim \frac{n^n\sqrt{2\pi n}}{n^n\sqrt n} =\sqrt{2\pi} \]

Επομένως:

\(\displaystyle \lim_{n\to\infty}\frac{e^n n!}{n^n\sqrt n}=\sqrt{2\pi}\)

🔬 Πώς πλησιάζει το όριο;

Ας ονομάσουμε:

\[ a_n=\frac{e^n n!}{n^n\sqrt n} \]

\(n\)	\(a_n\)
1	2,71828
2	2,61239
5	2,54868
10	2,52763
100	2,50872
Όριο	\(\sqrt{2\pi}\approx2,50663\)

Οι τιμές πλησιάζουν το \(\sqrt{2\pi}\) από πάνω. Ο πρώτος διορθωτικός όρος του Stirling εξηγεί και την ταχύτητα:

\[ n!=\sqrt{2\pi n}\left(\frac ne\right)^n \left(1+\frac{1}{12n}+\frac{1}{288n^2}+\cdots\right) \]

📜 De Moivre και Stirling: ποιος βρήκε τι;

Η ονομασία «τύπος του Stirling» κρύβει μια συνεργατική ιστορία. Ο Abraham de Moivre ανέπτυξε το 1730 την ουσιαστική ασυμπτωτική μορφή του παραγοντικού, αλλά άφησε έναν άγνωστο σταθερό παράγοντα.

Ο James Stirling αναγνώρισε ότι η σταθερά είναι ακριβώς \(\sqrt{2\pi}\). Ο de Moivre αναγνώρισε ρητά τη συμβολή του στη δεύτερη έκδοση του έργου του. Έτσι το όνομα του Stirling έμεινε συνδεδεμένο με ολόκληρο τον τύπο, παρότι η βασική ανάπτυξη οφείλεται σε μεγάλο βαθμό στον de Moivre.

🌐 Γιατί εμφανίζεται το π σε ένα παραγοντικό;

Το \(\pi\) δεν εμφανίζεται τυχαία. Η σταθερά \(\sqrt{2\pi}\) συνδέεται με το γινόμενο του Wallis και με το ολοκλήρωμα της καμπύλης Gauss:

\[ \int_{-\infty}^{\infty}e^{-x^2/2}\,dx=\sqrt{2\pi} \]

Η ίδια καμπύλη εμφανίζεται όταν προσεγγίζουμε μεγάλους συνδυαστικούς αριθμούς και διωνυμικές πιθανότητες. Το παραγοντικό ανήκει στη διακριτή καταμέτρηση· η κανονική κατανομή στη συνεχή ανάλυση. Ο τύπος του Stirling είναι μία από τις γέφυρες που ενώνουν αυτούς τους δύο κόσμους.

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

📚

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

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

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

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

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