🥮 Η άρβυλος και η ατέρμονη αλυσίδα
Η Αλυσίδα του Πάππου είναι ένα γοητευτικό γεωμετρικό αντικείμενο: μια ατέρμονη ακολουθία κύκλων \(k_0, k_1, k_2, \ldots\) εγγεγραμμένων μέσα στην άρβυλο — το σχήμα «μαχαιριού τσαγκάρη» που σχηματίζεται ανάμεσα σε δύο κύκλους \(C_1\) (κέντρου \(O_1\)) και \(C_2\) (κέντρου \(O_2\)), εσωτερικά εφαπτόμενους στον μεγάλο κύκλο \(\Omega\) (κέντρου O, διαμέτρου AC). Ο \(C_2\) εφάπτεται στον \(\Omega\) στο σημείο A, ο \(C_1\) στο σημείο C, ενώ οι \(C_1\) και \(C_2\) εφάπτονται μεταξύ τους στο σημείο B. Κάθε κύκλος \(k_n\) της αλυσίδας εφάπτεται στους \(C_1\), \(C_2\), και στον προηγούμενό του κύκλο — ξεκινώντας από τον \(k_0\), τον κύκλο που εφάπτεται και στην ίδια την ευθεία AC.
Το εκπληκτικό: τα κέντρα όλων αυτών των άπειρων κύκλων της αλυσίδας βρίσκονται πάνω σε μία και μοναδική έλλειψη, με εστίες ακριβώς τα σημεία \(O_1\) και \(O_2\). Δηλαδή, για το κέντρο \(K_n\) κάθε κύκλου \(k_n\) της αλυσίδας, ισχύει η θεμελιώδης ιδιότητα της έλλειψης:
📏 Μια εκπληκτικά απλή σχέση
Αν ορίσουμε \(h_n\) ως το ύψος του κέντρου του κύκλου \(k_n\) πάνω από τη βασική διάμετρο AC, και \(d_n\) ως τη διάμετρο του ίδιου κύκλου, τότε ισχύει η εκπληκτικά απλή σχέση:
Δηλαδή, το ύψος του κέντρου κάθε κύκλου ισούται ακριβώς με το γινόμενο της τάξης του επί τη διάμετρό του — μια σχέση τόσο απλή, που δύσκολα θα περίμενε κανείς να προκύπτει από μια τόσο πολύπλοκη γεωμετρική διάταξη.
📜 Από τον Πάππο στον Steiner
Το θεώρημα το είχε ήδη αποδείξει ο Πάππος της Αλεξάνδρειας, τον 4ο αιώνα μ.Χ., ονομάζοντάς το ο ίδιος «αρχαίο θεώρημα» — υπονοώντας πως ήταν ήδη γνωστό πολύ πριν από τον ίδιο. Η δική του απόδειξη βασιζόταν αποκλειστικά σε κλασική ευκλείδεια γεωμετρία, με όμοια τρίγωνα και το Πυθαγόρειο θεώρημα, και ήταν εξαιρετικά μακροσκελής.
Μια πολύ πιο κομψή απόδειξη ήρθε αιώνες αργότερα, στη δεκαετία του 1820, μέσω της αντιστροφής κύκλων (circle inversion) του Jacob Steiner. Η αντιστροφή ως προς κύκλο κέντρου O και ακτίνας r απεικονίζει κάθε σημείο P σε σημείο P′ πάνω στην ίδια ακτίνα OP, έτσι ώστε:
Επιλέγοντας ως κέντρο αντιστροφής το κοινό σημείο επαφής A, οι δύο κύκλοι \(C_1\), \(C_2\) της άρβυλου μετατρέπονται σε δύο παράλληλες ευθείες, και όλοι οι κύκλοι της αλυσίδας γίνονται ίσοι μεταξύ τους κύκλοι, τακτοποιημένοι σε ευθεία γραμμή ανάμεσά τους — καθιστώντας τη σχέση \(h_n = nd_n\) σχεδόν αυτονόητη.
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου