Πάρτε μια κλειστή κυρτή καμπύλη και στο εσωτερικό της μια χορδή \(AB\). Πάνω στη χορδή επιλέγουμε ένα σημείο \(P\), έτσι ώστε
Τώρα αρχίζουμε να κινούμε τη χορδή γύρω από την καμπύλη, διατηρώντας συνεχώς τα δύο άκρα \(A\) και \(B\) πάνω σε αυτήν. Καθώς η χορδή κινείται, το σημείο \(P\) διαγράφει μια δεύτερη κλειστή καμπύλη στο εσωτερικό της αρχικής.
Και εδώ εμφανίζεται το εντυπωσιακό αποτέλεσμα.Η διαφορά ανάμεσα στο εμβαδόν της αρχικής καμπύλης και στο εμβαδόν της καμπύλης που διαγράφει το \(P\) είναι
Γιατί είναι τόσο παράξενο;
Το εκπληκτικό είναι ότι στον τύπο δεν εμφανίζεται καθόλου το σχήμα της αρχικής καμπύλης. Το αποτέλεσμα εξαρτάται μόνο από τις δύο αποστάσεις \(a\) και \(b\), στις οποίες το \(P\) χωρίζει τη χορδή. :
Η καμπύλη μπορεί να αλλάξει μορφή και μέγεθος, αλλά —υπό τις κατάλληλες προϋποθέσεις του θεωρήματος— η διαφορά των δύο εμβαδών παραμένει:
Και ξαφνικά εμφανίζεται μια... έλλειψη
Υπάρχει ακόμη μία όμορφη σύμπτωση. Το εμβαδόν μιας έλλειψης με ημιάξονες \(a\) και \(b\) είναι
Άρα η περιοχή που «χάνεται» κατά την κίνηση της χορδής έχει ακριβώς το ίδιο εμβαδόν με μια έλλειψη ημιαξόνων \(a\) και \(b\) — παρόλο που στην κατασκευή του θεωρήματος δεν υπάρχει καμία έλλειψη. :
Η τροχιά του \(P\) αλλάζει.
Αλλά η διαφορά των εμβαδών παραμένει πάντα
Ένας κύκλος ως ειδική περίπτωση
Υπάρχει μια ιδιαίτερα όμορφη περίπτωση. Αν η αρχική καμπύλη είναι κύκλος, πάρουμε ως χορδή μια διάμετρο και το \(P\) είναι το κέντρο της, τότε
Το \(P\) δεν διαγράφει πλέον καμπύλη — παραμένει στο κέντρο. Επομένως το Θεώρημα του Holditch δίνει:
Έτσι ο γνωστότερος ίσως τύπος εμβαδού της Γεωμετρίας εμφανίζεται ως μια πολύ απλή ειδική περίπτωση της ίδιας ιδέας.
Ποιος ήταν ο Holditch;
Το αποτέλεσμα δημοσιεύθηκε το 1858 από τον Βρετανό μαθηματικό Hamnet Holditch, ο οποίος διετέλεσε πρόεδρος του Caius College στο Cambridge. Η εργασία του εμφανίστηκε στο Quarterly Journal of Pure and Applied Mathematics. :
Περισσότερο από ενάμιση αιώνα αργότερα, το θεώρημα εξακολουθεί να εντυπωσιάζει για τον ίδιο λόγο: από μια κινούμενη χορδή μέσα σε μια σχεδόν αυθαίρετη καμπύλη προκύπτει ένας εξαιρετικά απλός και σταθερός τύπος.

Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου