➗ Το π, χωρίς γεωμετρία ή λογισμό
Το γινόμενο του Wallis είναι ένας τύπος άπειρου γινομένου που αναπαριστά το π:
Επαληθεύσαμε αριθμητικά: υπολογίζοντας τα δύο πρώτα εκατομμύρια όρους του γινομένου, το αποτέλεσμα πλησιάζει το π/2 με ακρίβεια πέντε δεκαδικών ψηφίων. Το εντυπωσιακό είναι ότι ο τύπος χρησιμοποιεί αποκλειστικά απλά κλάσματα ζυγών και μονών αριθμών — καμία γεωμετρία κύκλου, κανένα ολοκλήρωμα.
🎓 Ένα «άλμα πίστης» που δικαιώθηκε
Ο John Wallis (1616-1703), καθηγητής γεωμετρίας στην Οξφόρδη, ανακάλυψε τον τύπο το 1655 και τον δημοσίευσε το 1656, στο εμβληματικό του έργο Arithmetica Infinitorum. Ήταν μόλις η δεύτερη φορά στην ιστορία που το π εκφραζόταν ως άπειρο γινόμενο — η πρώτη ανήκε στον Γάλλο μαθηματικό François Viète, το 1593.
Η μέθοδος του Wallis ήταν εντυπωσιακά τολμηρή: υπολόγισε συγκεκριμένα ολοκληρώματα για ακέραιες τιμές μιας παραμέτρου, παρατήρησε ένα μοτίβο, και στη συνέχεια υπέθεσε ότι το ίδιο μοτίβο θα ίσχυε ακόμη κι όταν η παράμετρος γινόταν κλάσμα (συγκεκριμένα, 1/2) — ένα «άλμα πίστης» χωρίς αυστηρή απόδειξη κατά τα σύγχρονα πρότυπα, το οποίο όμως έδωσε το σωστό αποτέλεσμα. Χαρακτηριστικά, ο ίδιος ο Wallis είχε γράψει ότι συνήθιζε να συνάγει γενικά θεωρήματα από πίνακες απλών περιπτώσεων, μέσω επαγωγής.
👦 Ο έφηβος Newton το διάβασε
Το Arithmetica Infinitorum γράφτηκε όταν ο Isaac Newton ήταν μόλις 13 ετών, και ο Gottfried Leibniz μόλις 10 — μια υπενθύμιση ότι μεγάλο μέρος όσων σήμερα αποκαλούμε «λογισμό» είχε ήδη ανακαλυφθεί πριν καν υπάρξει επίσημα ο ίδιος ο κλάδος. Το 1665, σε ηλικία 22 ετών, ο Newton μελέτησε προσεκτικά το βιβλίο του Wallis ως φοιτητής, και το χρησιμοποίησε ως άμεση αφορμή για μία από τις πρώτες μεγάλες του ανακαλύψεις: το γενικευμένο διωνυμικό θεώρημα. Το ίδιο αντίτυπο του βιβλίου, με τα χειρόγραφα σχόλια του νεαρού Newton στο περιθώριο, σώζεται μέχρι σήμερα.
Ο Wallis είναι επίσης ο άνθρωπος στον οποίο οφείλουμε το ίδιο το σύμβολο ∞ για το άπειρο, καθώς και ένα από τα ιδρυτικά μέλη της Βασιλικής Εταιρείας του Λονδίνου (Royal Society).
📐 Μια χρήσιμη κληρονομιά
Το γινόμενο του Wallis δεν παρέμεινε απλώς ιστορική περιέργεια — χρησιμοποιείται μέχρι σήμερα σε αποδείξεις θεμελιωδών αποτελεσμάτων, όπως ο τύπος του Stirling για την προσέγγιση του παραγοντικού, και το περίφημο ολοκλήρωμα Gauss ∫e^(−x²)dx = √π σε όλη την πραγματική ευθεία — μια σχέση θεμελιώδη για την κανονική κατανομή στη στατιστική και την κανονικοποίηση κυματοσυναρτήσεων στην κβαντική μηχανική.
.jpg)
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου