📐 Το πρόβλημα
Η τριχοτόμηση της γωνίας — η διαίρεση μιας δοθείσας γωνίας σε τρία ίσα μέρη — είναι ένα από τα τρία κλασικά προβλήματα της αρχαιότητας (μαζί με τον τετραγωνισμό του κύκλου και τον διπλασιασμό του κύβου). Για αιώνες, οι μαθηματικοί προσπαθούσαν να το λύσουν χρησιμοποιώντας μόνο κανόνα (χωρίς σημάδια) και διαβήτη.
Το 1837, ο Γάλλος μαθηματικός Πιερ-Λωράν Βαντσέλ (1814–1848) απέδειξε ότι αυτό είναι αδύνατο — το πρόβλημα είναι άλυτο με αυτά τα εργαλεία.
Ωστόσο, ο Αρχιμήδης (287–212 π.Χ.) είχε βρει μια κομψή λύση χρησιμοποιώντας μια επιπλέον κίνηση: τη λεγόμενη «κατασκευή με νεύση» (από το αρχαίο ελληνικό νεῦσις, που σημαίνει «κλίση» ή «προσέγγιση»). Αυτή η μέθοδος επιτρέπει την ολίσθηση ενός τμήματος δεδομένου μήκους μέχρι τα άκρα του να βρεθούν σε δύο δεδομένες καμπύλες.
🌀 Η κατασκευή με «zigonnage»
Το άρθρο του Accromath παρουσιάζει τη μέθοδο του Αρχιμήδη μέσα από έναν διάλογο μεταξύ της Ιουλιέτας και του Ρωμέου. Ο Ρωμέος περιγράφει την κατασκευή:
Ξεκινάμε με μια γωνία \( AOB \) με κορυφή \( O \). Σχεδιάζουμε έναν κύκλο με κέντρο \( O \) και ακτίνα \( r \). Στη συνέχεια, «ζιγκονάροντας» (zigonnant), χρησιμοποιούμε μια «μαγική ράβδο» (την άβαθμη χάρακα) πάνω στην οποία έχουμε σημειώσει δύο σημεία σε απόσταση \( r \) (ίση με την ακτίνα).
Με την κίνηση αυτή, τα σημεία \( B, C, D \) είναι ευθυγραμμισμένα, με \( C \) στο τόξο και \( D \) στην προέκταση της \( AO \), και \( CD = OC = r \).
Η Ιουλιέτα παρατηρεί: «Όταν χειρίζεσαι τη ράβδο, είναι πραγματικά zigonnage, γιατί πρέπει να διαχειριστείς ταυτόχρονα τρία σημεία και τη γωνία που κάνει η ράβδος με την \( AO \). Είναι σαν η ράβδος να έχει εισαχθεί στο \( B \) σε έναν περιστρεφόμενο δακτύλιο, και προσπαθείς να την προσαρμόσεις, περιστρέφοντας γύρω από το \( B \), γλιστρώντας τη ράβδο μπρος-πίσω... Πρόοδος, οπισθοχώρηση, περιστροφή... Zigonne, zigonne!»
Ο Αρχιμήδης απέδειξε ότι η γωνία \( \angle DOC \) (ή \( \angle AOC \)) είναι ακριβώς το ένα τρίτο της αρχικής γωνίας \( AOB \).
📏 Η απόδειξη
Η απόδειξη του Αρχιμήδη είναι εξαιρετικά κομψή και βασίζεται σε δύο ισοσκελή τρίγωνα.
- \( OC = OD \) (ακτίνες του κύκλου) ⇒ το τρίγωνο \( OCD \) είναι ισοσκελές.
- \( CD = OC \) (από την κατασκευή) ⇒ το τρίγωνο \( OCD \) είναι στην πραγματικότητα ισόπλευρο.
Αλλά \( CD = OC = OD \), άρα το τρίγωνο \( OCD \) είναι ισόπλευρο.
- \( OC = OB \) (ακτίνες) ⇒ \( \triangle OCB \) ισοσκελές.
- Η γωνία \( \angle OCB \) είναι εξωτερική του τριγώνου \( OCD \) και ισούται με \( \angle COD + \angle CDO \).
- Επειδή \( \triangle OCD \) είναι ισοσκελές, \( \angle CDO = \angle COD \).
- Επειδή \( B, C, D \) είναι ευθυγραμμισμένα, η \( \angle OCB \) είναι εξωτερική και ισούται με \( 2 \angle COD \).
- Όμως \( \triangle OCB \) είναι ισοσκελές, άρα \( \angle OBC = \angle OCB = 2 \angle COD \).
- Από το τρίγωνο \( OBD \) (με \( B, C, D \) ευθυγραμμισμένα), η γωνία \( \angle AOB \) (που είναι η αρχική γωνία) ισούται με \( \angle OBD = \angle OBC + \angle CBD = 2 \angle COD + \angle COD = 3 \angle COD \).
Έτσι, η γωνία \( \angle COD \) είναι ακριβώς το ένα τρίτο της αρχικής γωνίας \( \angle AOB \) — η τρισέκτηση επιτεύχθηκε!
📜 Η σημασία της μεθόδου
Η μέθοδος του Αρχιμήδη (που βρίσκεται στην Πρόταση 8 του Βιβλίου των Λημμάτων) είναι ένα λαμπρό παράδειγμα του πώς μια μικρή χαλάρωση των κανόνων μπορεί να λύσει ένα πρόβλημα που διαφορετικά είναι άλυτο.
Η «κατασκευή με νεύσις» — η δυνατότητα να σύρουμε ένα τμήμα συγκεκριμένου μήκους μέχρι τα άκρα του να ακουμπήσουν σε δύο δεδομένες καμπύλες — δεν επιτρέπεται στην κλασική ευκλείδεια γεωμετρία. Όμως, η εισαγωγή της ανοίγει τον δρόμο για μια ολόκληρη σειρά λύσεων.
Η απόδειξη του Βαντσέλ (1837) ότι η τρισέκτηση είναι αδύνατη με κανόνα και διαβήτη μόνο, είναι ένα από τα πρώτα παραδείγματα της θεωρίας Galois σε δράση, συνδέοντας τη γεωμετρία με την άλγεβρα και αποδεικνύοντας ότι ορισμένα προβλήματα είναι εγγενώς άλυτα.
Το άρθρο του Accromath, με τον διάλογο της Ιουλιέτας και του Ρωμέου, είναι μια υπέροχη απόδειξη του πώς τα μαθηματικά μπορούν να είναι παιχνιδιάρικα, προσιτά και βαθιά ταυτόχρονα.
🧠 Μια σκέψη για το μέλλον
Η τριχοτόμηση της γωνίας μας θυμίζει ότι τα μαθηματικά δεν είναι απλώς μια συλλογή λύσεων, αλλά ένα σύστημα κανόνων που ορίζουν τι είναι δυνατό και τι όχι. Η αδυναμία λύσης με δεδομένα εργαλεία είναι συχνά εξίσου σημαντική με μια λύση, γιατί αποκαλύπτει τα όρια της σκέψης μας — και μας προκαλεί να αναζητήσουμε νέους δρόμους.
Όπως λένε και η Ιουλιέτα και ο Ρωμέος στο άρθρο: «Restons calmes: cela ne se peut pas, avec nos outils.» (Μείνετε ήρεμοι: αυτό δεν γίνεται, με τα εργαλεία μας.) Και όμως, με λίγη «ζιγκονάδα» (zigonnage), η λύση εμφανίζεται.
— Με αφορμή το άρθρο του Accromath, η ομάδα του eisatopon.gr
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου