🔢 Η όμορφη έκπληξη του Euler — Οι πενταγωνικοί αριθμοί μέσα σε ένα άπειρο γινόμενο

Ξεκινήστε με ένα φαινομενικά απλό άπειρο γινόμενο:

\[ \prod_{n=1}^{\infty}(1-x^n) =(1-x)(1-x^2)(1-x^3)(1-x^4)\cdots \]

Αν αρχίσουμε να το αναπτύσσουμε, θα περιμέναμε ίσως ένα χάος από δυνάμεις του \(x\). Πολλοί όροι όμως αλληλοαναιρούνται — και μέσα από τις απαλοιφές εμφανίζεται ένα εντυπωσιακό μοτίβο:

\[ \boxed{ \prod_{n=1}^{\infty}(1-x^n) = 1-x-x^2+x^5+x^7-x^{12}-x^{15}+x^{22}+x^{26}-\cdots } \]

Οι εκθέτες των μη μηδενικών όρων είναι

\[ 1,\;2,\;5,\;7,\;12,\;15,\;22,\;26,\ldots \]

✨ Η έκπληξη:

Δεν πρόκειται για τυχαίους αριθμούς. Είναι οι γενικευμένοι πενταγωνικοί αριθμοί.

Παράγονται από τους δύο τύπους

\[ \boxed{\frac{k(3k-1)}2} \qquad\text{και}\qquad \boxed{\frac{k(3k+1)}2}, \qquad k=1,2,3,\ldots \]

Πράγματι:

\[ \begin{aligned} k=1&:\quad 1,\;2\\ k=2&:\quad 5,\;7\\ k=3&:\quad 12,\;15\\ k=4&:\quad 22,\;26. \end{aligned} \]

Ακόμη πιο όμορφα, τα πρόσημα εμφανίζονται ανά ζεύγη:

\[ -,-,\; +,+,\; -,-,\; +,+,\ldots \]

Έτσι το θεώρημα του Euler γράφεται συνοπτικά:

\[ \boxed{ \prod_{n=1}^{\infty}(1-x^n) = \sum_{k=-\infty}^{\infty} (-1)^k x^{k(3k-1)/2} } \]

Ένα άπειρο αλγεβρικό γινόμενο αποκαλύπτει ξαφνικά ένα γεωμετρικό αριθμητικό μοτίβο.

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

Το αποτέλεσμα είναι γνωστό ως Θεώρημα των Πενταγωνικών Αριθμών του Euler (Euler's Pentagonal Number Theorem) και αποτελεί μία από τις κλασικές και ομορφότερες ταυτότητες της Θεωρίας Αριθμών.

📚

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

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

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

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