Τι σχέση μπορεί να έχει ο αριθμός \(\pi\), που γνωρίσαμε μέσα από τους κύκλους, με το άθροισμα των αντιστρόφων των τετραγώνων;
\[ 1+\frac{1}{2^2}+\frac{1}{3^2}+\frac{1}{4^2}+\frac{1}{5^2}+\cdots \]
Για πολλές δεκαετίες, μερικοί από τους σημαντικότερους μαθηματικούς της Ευρώπης προσπάθησαν να βρουν την ακριβή τιμή αυτής της άπειρης σειράς. Το ερώτημα έμεινε γνωστό ως Πρόβλημα της Βασιλείας και η λύση του έγινε μία από τις πρώτες μεγάλες επιτυχίες του Leonhard Euler.
Πώς γεννήθηκε το πρόβλημα;
Το πρόβλημα τέθηκε από τον Ιταλό μαθηματικό Pietro Mengoli. Πολλές αναφορές το χρονολογούν στο 1644, όμως η ασφαλώς τεκμηριωμένη έντυπη εμφάνισή του βρίσκεται στο έργο του Novae quadraturae arithmeticae, που εκδόθηκε στην Μπολόνια το 1650.
Το 1689 ο Jakob Bernoulli το έκανε ευρύτερα γνωστό, χωρίς να καταφέρει να το λύσει. Με το άθροισμα ασχολήθηκαν επίσης ο Johann Bernoulli, ο Leibniz και άλλοι κορυφαίοι μαθηματικοί της εποχής. Ο John Wallis είχε υπολογίσει αριθμητικά μια καλή προσέγγιση, περίπου \(1{,}645\), αλλά το ζητούμενο δεν ήταν μόνο ένας δεκαδικός αριθμός: χρειαζόταν μια ακριβής κλειστή μορφή και απόδειξη.
Η ονομασία προέρχεται από τη Βασιλεία της Ελβετίας, πόλη στενά συνδεδεμένη τόσο με την οικογένεια Bernoulli όσο και με τον ίδιο τον Euler.
Πρώτα απ’ όλα: συγκλίνει το άθροισμα;
Οι όροι γίνονται ολοένα μικρότεροι, αλλά αυτό από μόνο του δεν αρκεί για να εξασφαλίσει ότι μια άπειρη σειρά έχει πεπερασμένο άθροισμα. Εδώ όμως, για κάθε \(n\ge2\), ισχύει:
\[ \frac{1}{n^2}<\frac{1}{n(n-1)} =\frac{1}{n-1}-\frac{1}{n}. \]
Επομένως, για το μερικό άθροισμα \(S_N\):
\[ S_N <1 frac="" n="2}^{N}\left(\frac{1}{n-1}-\frac{1}{n}\right)" p="" sum_="">
Τα μερικά αθροίσματα αυξάνονται, αλλά παραμένουν μικρότερα από το 2. Άρα η σειρά συγκλίνει. Το δύσκολο ερώτημα παραμένει: σε ποια ακριβώς τιμή;
Μπορείτε να μαντέψετε το αποτέλεσμα;
Υπολογίστε μερικά ακόμη μερικά αθροίσματα και προσπαθήστε να προβλέψετε το όριο. Η παρουσία του \(\pi\) είναι κάθε άλλο παρά προφανής — και αυτή ακριβώς ήταν η μεγάλη έκπληξη της λύσης του Euler.
Εμφάνιση αποτελέσματος και απόδειξης
\[ \boxed{\displaystyle\sum_{n=1}^{\infty}\frac{1}{n^2}=\frac{\pi^2}{6}} \]
1. Η ανάπτυξη του ημιτόνου
Ο Euler ξεκίνησε από τη δυναμοσειρά της συνάρτησης \(\sin x\):
\[ \sin x=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+\cdots \]
Διαιρώντας με \(x\), παίρνουμε:
\[ \frac{\sin x}{x} =1-\frac{x^2}{3!}+\frac{x^4}{5!}-\frac{x^6}{7!}+\cdots. \]
2. Οι ρίζες του ημιτόνου
Η συνάρτηση \(\sin x\) μηδενίζεται στα ακέραια πολλαπλάσια του \(\pi\):
\[ 0,\ \pm\pi,\ \pm2\pi,\ \pm3\pi,\ldots \]
Ο Euler αντιμετώπισε τη συνάρτηση σαν ένα «πολυώνυμο με άπειρες ρίζες». Με σύγχρονη αυστηρή θεμελίωση, το γινόμενο του ημιτόνου γράφεται:
\[ \frac{\sin x}{x} =\prod_{n=1}^{\infty}\left(1-\frac{x^2}{n^2\pi^2}\right). \]
Δηλαδή:
\[ \frac{\sin x}{x} =\left(1-\frac{x^2}{\pi^2}\right) \left(1-\frac{x^2}{4\pi^2}\right) \left(1-\frac{x^2}{9\pi^2}\right)\cdots. \]
3. Συγκρίνουμε τους συντελεστές του \(x^2\)
Στη δυναμοσειρά, ο συντελεστής του \(x^2\) είναι:
\[ -\frac{1}{3!}=-\frac{1}{6}. \]
Στο άπειρο γινόμενο, ο όρος \(x^2\) προκύπτει επιλέγοντας τον όρο με \(x^2\) από έναν μόνο παράγοντα και το 1 από όλους τους άλλους. Ο συντελεστής του είναι επομένως:
\[ -\frac{1}{\pi^2} \left(1+\frac{1}{2^2}+\frac{1}{3^2}+\frac{1}{4^2}+\cdots\right). \]
Εξισώνοντας τους δύο συντελεστές:
\[ -\frac{1}{6} =-\frac{1}{\pi^2}\sum_{n=1}^{\infty}\frac{1}{n^2}. \]
Πολλαπλασιάζουμε με \(-\pi^2\) και καταλήγουμε:
\[ \boxed{\displaystyle 1+\frac14+\frac19+\frac1{16}+\cdots=\frac{\pi^2}{6}} \]
Ήταν αυστηρή η απόδειξη του Euler;
Η ιδέα του Euler ήταν σωστή και το αποτέλεσμα ακριβές, αλλά η αρχική του χρήση του άπειρου γινομένου δεν είχε ακόμη την αυστηρή θεμελίωση που απαιτεί η σύγχρονη Ανάλυση. Η λογική ότι μια συνάρτηση μπορεί να παραγοντοποιηθεί αποκλειστικά από τις ρίζες της είναι αυτονόητη για τα πολυώνυμα, όχι όμως αυτόματα για κάθε άπειρη σειρά ή ολόκληρη συνάρτηση.
Ο Euler έδωσε αργότερα και άλλες αποδείξεις. Τον 19ο αιώνα η θεωρία των άπειρων γινομένων και το θεώρημα παραγοντοποίησης του Weierstrass πρόσφεραν το πλήρες σύγχρονο πλαίσιο που δικαιολογεί τον παραπάνω υπολογισμό. Επομένως, η απόδειξη που παρουσιάσαμε είναι αυστηρή όταν χρησιμοποιείται η αποδεδειγμένη παραγοντοποίηση του ημιτόνου.
Από το Πρόβλημα της Βασιλείας στη συνάρτηση ζήτα
Με τη σύγχρονη σημειογραφία, το άθροισμα είναι η τιμή \(\zeta(2)\) της συνάρτησης ζήτα του Riemann:
\[ \zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^s}, \qquad \zeta(2)=\frac{\pi^2}{6}. \]
Ο Euler προχώρησε πολύ περισσότερο: υπολόγισε ακριβώς όλες τις τιμές \(\zeta(2k)\) για θετικούς ακεραίους \(k\), συνδέοντάς τες με δυνάμεις του \(\pi\) και τους αριθμούς Bernoulli. Για τις αντίστοιχες περιττές τιμές, όπως η \(\zeta(3)\), η εικόνα είναι πολύ δυσκολότερη.
Γιατί η λύση παραμένει τόσο εντυπωσιακή;
Η σειρά σχηματίζεται αποκλειστικά από φυσικούς αριθμούς και τετράγωνα. Τίποτε στη διατύπωσή της δεν αναφέρει κύκλους, γωνίες ή τριγωνομετρικές συναρτήσεις. Κι όμως, η ακριβής τιμή της περιέχει το \(\pi\).
Η ιδιοφυΐα του Euler ήταν ότι αναγνώρισε μια κρυμμένη γέφυρα: οι παρονομαστές \(1^2,2^2,3^2,\ldots\) συνδέθηκαν με τις ρίζες \(\pm\pi,\pm2\pi,\pm3\pi,\ldots\) του ημιτόνου. Ένα πρόβλημα άπειρων σειρών μετατράπηκε έτσι σε πρόβλημα παραγοντοποίησης μιας συνάρτησης.
Το \(\pi\) δεν ανήκει μόνο στους κύκλους. Εμφανίζεται όπου η Ανάλυση αποκαλύπτει βαθύτερες δομές.
Πηγές και ιστορικός έλεγχος: Pietro Mengoli, Novae quadraturae arithmeticae (1650), Euler, De summis serierum reciprocarum (E41), αγγλική μετάφραση της εργασίας του Euler.
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου