1. Βασική Θεωρία
ΔΙΑΒΑΣΕ ΤΟ
Κάτι δεν κατάλαβες; Επίλεξε το κομμάτι και πάτα «Ρώτα τον Ευκλείδη». Σου το εξηγεί αμέσως.

Παράρτημα — Γεωμετρική Κατασκευή

Εισαγωγή 🛠️

Η κατασκευή γεωμετρικών σχημάτων, όταν δίνονται ορισμένα στοιχεία τους ή συγκεκριμένες γεωμετρικές ιδιότητες, είναι ένα θέμα που μας απασχολεί συχνά στη Γεωμετρία. Η κατασκευή όμως δεν είναι πάντα απλή υπόθεση, ούτε πάντοτε εφικτή. 📐

Η σύνδεση με τους γεωμετρικούς τόπους είναι άμεση: πολλές κατασκευές στηρίζονται στην τομή γεωμετρικών τόπων (π.χ. δύο κύκλων, ενός κύκλου και μιας ευθείας). 🎯

Βασικοί Ορισμοί 📜

Προσοχή στον «κανόνα»

Στη γεωμετρική κατασκευή, ο κανόνας που χρησιμοποιούμε είναι αβαθμολόγητος (δεν έχει σημάδια μήκους). Χρησιμεύει μόνο για να τραβάμε ευθείες γραμμές, όχι για να μετράμε. 📏

Βήματα επίλυσης ενός γεωμετρικού προβλήματος 🔧

Όπως και στους γεωμετρικούς τόπους, η επίλυση ενός προβλήματος κατασκευής ακολουθεί μια συγκεκριμένη δομή:

Τα Τρία Άλυτα Προβλήματα της Αρχαιότητας 🏛️

Οι Αρχαίοι Έλληνες Μαθηματικοί, ως θεμελιωτές της Θεωρητικής Γεωμετρίας, παρατήρησαν ότι υπήρχαν προβλήματα γεωμετρικών κατασκευών που δεν μπορούσαν να λυθούν μόνο με κανόνα και διαβήτη.

Τα τρία περίφημα άλυτα προβλήματα
  1. Ο τετραγωνισμός του κύκλου 🔵: Κατασκευή τετραγώνου με εμβαδόν ίσο με αυτό δεδομένου κύκλου.
  2. Η τριχοτόμηση τυχαίας γωνίας 📐: Διαίρεση τυχαίας γωνίας (εκτός της ορθής) σε τρεις ίσες γωνίες.
  3. Ο διπλασιασμός του κύβου 🧊: Κατασκευή κύβου με διπλάσιο όγκο από δεδομένο κύβο.

Τον 16ο16^{\text{ο}} και 17ο17^{\text{ο}} αιώνα αποδείχθηκε ότι αυτά τα προβλήματα δεν έχουν λύση με αποκλειστική χρήση κανόνα και διαβήτη. 🚫

Άλλα προβλήματα χωρίς γεωμετρική λύση
  • Η κατασκευή τριγώνου αν γνωρίζουμε μόνο τα μήκη των διχοτόμων των γωνιών του.
  • Η κατασκευή ευθείας από δεδομένο σημείο που να τέμνει δύο γνωστούς κύκλους, ώστε η διαφορά των χορδών που αποκόπτονται από τους δύο κύκλους να είναι ίση με δεδομένο λ∈R\lambda \in \mathbb{R}.
Ιστορική διαδρομή
  • Ο Ευκλείδης στα «Στοιχεία» του δέχεται ως έγκυρες κατασκευές μόνο εκείνες με κανόνα και διαβήτη, επηρεασμένος από τον δάσκαλό του Πλάτωνα (427–347427–347 π.Χ.).
  • Τον 16ο16^{\text{ο}} και 17ο17^{\text{ο}} αιώνα αποδείχθηκε ότι «οτιδήποτε μπορεί να κατασκευαστεί με κανόνα και διαβήτη, μπορεί να κατασκευαστεί και μόνο με διαβήτη».
  • Η ιδέα ξεκίνησε από τον Ιταλό Giovanni Batista Benedetti (1530–15901530–1590) και αργότερα ο Δανός Γεωμέτρης Georg Mohr (1640–16971640–1697) απέδειξε ότι κάθε πρόβλημα κατασκευής που ανάγεται σε δευτεροβάθμια εξίσωση, μπορεί να κατασκευαστεί μόνο με διαβήτη. Έναν αιώνα μετά ο Ιταλός Lorenzo Mascheroni (1750–18001750–1800) διατύπωσε ξανά το πρόβλημα — γι' αυτό και το αποτέλεσμα είναι γνωστό ως Θεώρημα των Mohr – Mascheroni. 📖

Βασικές Κατασκευές Γεωμετρικών Αντικειμένων 📐

Παρακάτω δίνονται οι έξι βασικές κατασκευές που μπορούμε να εκτελέσουμε με κανόνα και διαβήτη, μαζί με την αιτιολόγηση για την καθεμία.

1. Κατασκευή διχοτόμου δεδομένης γωνίας ∠xOy\angle xOy 📐

Κατασκευή: Με κέντρο OO και τυχαία ακτίνα, γράφουμε κύκλο που τέμνει τις πλευρές στα σημεία A,BA, B. Στη συνέχεια, με ακτίνα μεγαλύτερη από το μισό της απόστασης ABAB, γράφουμε δύο τόξα με κέντρα τα A,BA, B τα οποία τέμνονται στο σημείο Γ\Gamma. Η ημιευθεία OΓO\Gamma είναι η διχοτόμος της γωνίας ∠xOy\angle xOy. Δες Σχήμα 1 στη σελίδα 136 του Β' Τεύχους.

Απόδειξη: Τα τρίγωνα AOΓAO\Gamma και BOΓBO\Gamma είναι ίσα, αφού:

  • OΓO\Gamma κοινή πλευρά,
  • OB=OAOB = OA (ακτίνες του ίδιου κύκλου),
  • BΓ=AΓB\Gamma = A\Gamma (ακτίνες των δύο ίσων τόξων).

Επομένως, ∠AOΓ=∠BOΓ\angle AO\Gamma = \angle BO\Gamma. Άρα, η ημιευθεία OΓO\Gamma είναι η διχοτόμος της γωνίας ∠xOy\angle xOy. ✅


2. Κατασκευή κάθετης σε σημείο AA ευθείας (ε)(\varepsilon) ⊥

Κατασκευή: Με κέντρο AA και τυχαία ακτίνα ρ\rho, γράφουμε κύκλο (A,ρ)(A, \rho) που τέμνει την (ε)(\varepsilon) στα σημεία BB και Γ\Gamma. Με ακτίνα μεγαλύτερη από ABAB, γράφουμε δύο τόξα με κέντρα τα BB και Γ\Gamma. Αν Δ\Delta είναι το σημείο τομής τους σε ένα ημιεπίπεδο που ορίζει η (ε)(\varepsilon), η ευθεία ΔA\Delta A είναι η ζητούμενη κάθετη. Δες Σχήμα 2 στη σελίδα 136 του Β' Τεύχους.

Απόδειξη: Από την κατασκευή είναι προφανές ότι ΔB=ΔΓ\Delta B = \Delta \Gamma. Επομένως, το τρίγωνο BΔΓB\Delta\Gamma είναι ισοσκελές. Το σημείο AA είναι το μέσον της βάσης BΓB\Gamma, άρα το ΔA\Delta A είναι διάμεσος του τριγώνου. Σε ισοσκελές τρίγωνο, η διάμεσος προς τη βάση είναι και ύψος, συνεπώς ΔA⊥BΓ\Delta A \perp B\Gamma. ✅


3. Κατασκευή μέσου και μεσοκαθέτου τμήματος ABAB 📏

Κατασκευή: Με κέντρα τα σημεία AA και BB και τυχαία ακτίνα ρ>AB2\rho > \dfrac{AB}{2}, γράφουμε δύο ίσους κύκλους. Έστω Γ,Δ\Gamma, \Delta τα σημεία τομής των κύκλων. Η ευθεία (ε)(\varepsilon) που ορίζεται από τα Γ,Δ\Gamma, \Delta είναι η ζητούμενη μεσοκάθετος του ABAB. Δες Σχήμα 3 στη σελίδα 137 του Β' Τεύχους.

Απόδειξη: Η ευθεία (ε)(\varepsilon), από την κατασκευή, είναι κοινή χορδή των δύο κύκλων και επομένως θα είναι κάθετη στη διάκεντρο ABAB. Επειδή οι κύκλοι είναι ίσοι, η ευθεία (ε)(\varepsilon) είναι μεσοκάθετος του ABAB. ✅

Διερεύνηση

Για να έχει λύση το πρόβλημα, θα πρέπει οι δύο κύκλοι να τέμνονται. Επειδή ρ−ρ<AB<ρ+ρ\rho - \rho < AB < \rho + \rho (δηλαδή 0<AB<2ρ0 < AB < 2\rho), ισχύει αν ρ>AB2\rho > \dfrac{AB}{2}. Συμπεραίνουμε ότι οι κύκλοι τέμνονται. ✅


4. Κατασκευή παράλληλης από σημείο AA εκτός ευθείας (ε)(\varepsilon) ↔️

Κατασκευή: Με κέντρο AA και τυχαία ακτίνα ρ\rho μεγαλύτερη της απόστασης του AA από την (ε)(\varepsilon), κατασκευάζουμε κύκλο (A,ρ)(A, \rho). Έστω BB ένα σημείο τομής του με την (ε)(\varepsilon). Με κέντρο BB και ακτίνα BABA γράφουμε τόξο που τέμνει την (ε)(\varepsilon) στο σημείο Γ\Gamma. Στη συνέχεια, με κέντρο BB και ακτίνα ίση με AΓA\Gamma γράφουμε τόξο, και έστω Δ\Delta το σημείο τομής του με τον κύκλο (A,ρ)(A, \rho) που βρίσκεται στο ίδιο ημιεπίπεδο με το AA. Η ευθεία AΔA\Delta είναι παράλληλη προς την (ε)(\varepsilon). Δες Σχήμα 4 στη σελίδα 137 του Β' Τεύχους.

Απόδειξη: Από την κατασκευή προκύπτει ότι △AΔB=△ABΓ\triangle A \Delta B = \triangle ABΓ (αφού AB=ABAB = AB κοινή, AΔ=BΓA\Delta = B\Gamma, AΓ=BΔA\Gamma = B\Delta). Επομένως, ∠ΔAB=∠ABΓ\angle \Delta AB = \angle AB\Gamma. Αυτές οι δύο είναι εντός εναλλάξ γωνίες της τέμνουσας ABAB με τις ευθείες AΔA\Delta και (ε)(\varepsilon). Επομένως, AΔ∥(ε)A\Delta \parallel (\varepsilon). ✅


5. Κατασκευή εφαπτομένης κύκλου (K,ρ)(K, \rho) σε σημείο του AA 🔵

Κατασκευή: Στην προέκταση της ακτίνας KAKA παίρνουμε σημείο BB τέτοιο ώστε KA=ABKA = AB. Κατασκευάζουμε τη μεσοκάθετο (ε)(\varepsilon) του τμήματος KBKB. Η (ε)(\varepsilon) είναι η ζητούμενη εφαπτομένη του κύκλου στο σημείο AA. Δες Σχήμα 5 στη σελίδα 138 του Β' Τεύχους.

Απόδειξη: Η ευθεία (ε)(\varepsilon), από την κατασκευή, είναι κάθετη στην ακτίνα KAKA στο άκρο της AA. Μία ευθεία που διέρχεται από άκρο ακτίνας ενός κύκλου και είναι κάθετη σε αυτήν, είναι εφαπτομένη του κύκλου στο AA. ✅


6. Κατασκευή εφαπτομένων από σημείο AA εκτός κύκλου (K,ρ)(K, \rho) 🎯

Κατασκευή: Αρχικά βρίσκουμε το μέσο MM του τμήματος AKAK. Στη συνέχεια, κατασκευάζουμε τον κύκλο διαμέτρου KAKA (με κέντρο MM και ακτίνα MAMA). Έστω Γ\Gamma και Δ\Delta τα σημεία τομής αυτού του κύκλου με τον κύκλο (K,ρ)(K, \rho). Οι ευθείες AΓA\Gamma και AΔA\Delta είναι οι ζητούμενες εφαπτομένες. Δες Σχήμα 6 στη σελίδα 139 του Β' Τεύχους.

Απόδειξη: Οι γωνίες ∠AΓK\angle A\Gamma K και ∠AΔK\angle A\Delta K είναι εγγεγραμμένες γωνίες στον κύκλο διαμέτρου KAKA, και βαίνουν σε ημικύκλιο. Από γνωστό θεώρημα, ∠AΓK=∠AΔK=90°\angle A\Gamma K = \angle A\Delta K = 90°. Άρα, οι ακτίνες KΓK\Gamma και KΔK\Delta του κύκλου (K,ρ)(K, \rho) είναι κάθετες στις AΓA\Gamma, AΔA\Delta αντίστοιχα. Επομένως, οι AΓA\Gamma, AΔA\Delta είναι εφαπτόμενες του κύκλου (K,ρ)(K, \rho) στα σημεία Γ\Gamma και Δ\Delta αντίστοιχα. ✅

Διερεύνηση

Το πρόβλημα έχει πάντοτε λύση. Πράγματι, οι δύο κύκλοι (K,ρ)(K, \rho) και (M,MA)(M, MA) είναι πάντα τεμνόμενοι, αφού ο κύκλος (M,MA)(M, MA) διέρχεται από τα A,KA, K, με το ένα σημείο (AA) εξωτερικό και το άλλο (KK) εσωτερικό του κύκλου (K,ρ)(K, \rho). ✅


Πίνακας κατασκευών 📊

#ΚατασκευήΚλειδί απόδειξης
1Διχοτόμος γωνίας 📐Ίσα τρίγωνα AOΓ,BOΓAO\Gamma, BO\Gamma
2Κάθετη σε σημείο ⊥Ισοσκελές τρίγωνο — διάμεσος = ύψος
3Μεσοκάθετος τμήματος 📏Κοινή χορδή δύο ίσων κύκλων
4Παράλληλη από εκτός σημείο ↔️Εντός εναλλάξ γωνίες ίσες
5Εφαπτομένη σε σημείο του κύκλου 🔵Κάθετη σε ακτίνα στο άκρο της
6Εφαπτομένες από εκτός σημείο 🎯Εγγεγραμμένη γωνία σε ημικύκλιο =90°= 90°

Σύνοψη 🧾