Καλωσόρισες στην πόλη των σχημάτων!  Εδώ τα τρίγωνα θα προσπαθήσουν να σε μπερδέψουν αφού χωρίζονται σε πολλά και περίπλοκα σχήματα. Ψάξε καλά και δώσε φως στο μυστήριο που κρύβει η γεωμετρία 🔦

Γεωμετρία Α' Λυκείου

# Το τμήμα των μέσων δύο πλευρών 📐

Πάρε ένα οποιοδήποτε τρίγωνο ΑΒΓ και σημείωσε τα μέσα Δ και Ε των πλευρών ΑΒ και ΑΓ. Το τμήμα ΔΕ που τα ενώνει δεν είναι ένα τυχαίο τμήμα: έχει δεμένη και τη διεύθυνσή του και το μήκος του με την τρίτη πλευρά ΒΓ.

**Θεώρημα Ι:** Το ευθύγραμμο τμήμα που ενώνει τα μέσα δύο πλευρών ενός τριγώνου είναι παράλληλο προς την τρίτη πλευρά και ίσο με το μισό της.

\[
ΔΕ // ΒΓ \quad \text{και} \quad ΔΕ = \frac{ΒΓ}{2}
\]

### Ο συμβολισμός // =

Στη Γεωμετρία γράφουμε συνοπτικά \(ΔΕ // = \frac{ΒΓ}{2}\). Το σύμβολο αυτό συμπυκνώνει **δύο** ξεχωριστά συμπεράσματα ταυτόχρονα:

| Σύμβολο | Τι δηλώνει |
|---|---|
| \(//\) | παραλληλία των δύο τμημάτων |
| \(=\) | ισότητα των μηκών τους |

Γι' αυτό το θεώρημα είναι τόσο δυνατό: με μία μόνο κατασκευή (τα δύο μέσα) κερδίζεις μαζί διεύθυνση και μήκος.

:::alert{title="Το τμήμα των μέσων δεν είναι διάμεσος"}
Μη μπερδεύεις το ΔΕ με τη :tooltip[διάμεσο]{content="Το ευθύγραμμο τμήμα που ενώνει μια κορυφή με το μέσο της απέναντι πλευράς."} του τριγώνου. Το τμήμα του θεωρήματος ενώνει **δύο μέσα** πλευρών, ενώ η διάμεσος ενώνει μια **κορυφή** με ένα μέσο. Μόνο το πρώτο είναι παράλληλο προς την τρίτη πλευρά και ίσο με το μισό της.
:::

# Η απόδειξη του θεωρήματος των μέσων 🔍

Η ιδέα της απόδειξης είναι απλή αλλά έξυπνη: **μεγαλώνουμε** το τμήμα ΔΕ ώστε να φτιάξουμε παραλληλόγραμμα, και μετά αφήνουμε τις ιδιότητες του παραλληλογράμμου να κάνουν τη δουλειά.

Δεδομένα: τρίγωνο ΑΒΓ, Δ μέσο της ΑΒ, Ε μέσο της ΑΓ. Ζητούμενο: \(ΔΕ // = \frac{ΒΓ}{2}\).

### Τα βήματα

1. Προεκτείνουμε τη ΔΕ κατά τμήμα \(ΕΖ = ΔΕ\).
2. Το τετράπλευρο ΑΔΓΖ είναι παραλληλόγραμμο, αφού οι :tooltip[διαγώνιοί]{content="Ευθύγραμμο τμήμα που ενώνει δύο μη διαδοχικές κορυφές ενός πολυγώνου."} του ΑΓ και ΔΖ :tooltip[διχοτομούνται]{content="Χωρίζονται σε δύο ίσα μέρη· εδώ, κάθε διαγώνιος περνά από το μέσο της άλλης."} (\(ΑΕ = ΕΓ\) από υπόθεση, \(ΔΕ = ΕΖ\) από κατασκευή).
3. Άρα \(ΑΔ // ΓΖ\) και \(ΑΔ = ΓΖ\).
4. Επειδή \(ΑΔ = ΔΒ\) (Δ μέσο του ΑΒ), έπεται ότι \(ΔΒ = ΓΖ\).
5. Αφού \(ΑΔ // ΓΖ\) και τα Δ, Β είναι σημεία της ΑΒ, τότε και \(ΔΒ // ΓΖ\).
6. Άρα το τετράπλευρο ΔΖΓΒ έχει δύο απέναντι πλευρές παράλληλες και ίσες, οπότε είναι παραλληλόγραμμο.

### Τα δύο συμπεράσματα

- **(i)** \(ΔΖ // ΒΓ\), άρα και το τμήμα ΔΕ που περιέχεται σε αυτήν είναι παράλληλο στη ΒΓ, δηλαδή \(ΔΕ // ΒΓ\). ✅
- **(ii)** \(ΔΖ = ΒΓ\). Επειδή \(ΔΖ = ΔΕ + ΕΖ = 2ΔΕ\), προκύπτει \(2ΔΕ = ΒΓ\), δηλαδή \(ΔΕ = \frac{ΒΓ}{2}\). ✅

:::fact{title="Δύο παραλληλόγραμμα, μία απόδειξη"}
Η απόδειξη χρησιμοποιεί δύο διαφορετικά κριτήρια παραλληλογράμμου, το ένα μετά το άλλο: πρώτα το κριτήριο των διαγωνίων που διχοτομούνται (για το ΑΔΓΖ) και ύστερα το κριτήριο των δύο απέναντι πλευρών που είναι παράλληλες και ίσες (για το ΔΖΓΒ). 🔗
:::

# Η παράλληλη από το μέσο μιας πλευράς 🎯

Το θεώρημα των μέσων απαντά στο ερώτημα «τι ιδιότητες έχει το τμήμα των δύο μέσων». Εδώ ρωτάμε το αντίστροφο: αν ξέρω **ένα** μέσο και μια παραλληλία, τι κερδίζω;

**Θεώρημα ΙΙ:** Αν από το μέσο μιας πλευράς ενός τριγώνου φέρουμε ευθεία παράλληλη προς μια άλλη πλευρά του, τότε η ευθεία αυτή διέρχεται από το μέσο της τρίτης πλευράς του.

### Η απόδειξη με άτοπο

Η απόδειξη γίνεται με :tooltip[εις άτοπον απαγωγή]{content="Μέθοδος απόδειξης όπου υποθέτουμε το αντίθετο από αυτό που θέλουμε να αποδείξουμε και καταλήγουμε σε λογική αντίφαση."}:

1. Στο τρίγωνο ΑΒΓ φέρνουμε από το μέσο Δ της ΑΒ την παράλληλη προς τη ΒΓ, που τέμνει την ΑΓ στο Ε.
2. Υποθέτουμε ότι το Ε **δεν** είναι μέσο της ΑΓ, και έστω Ζ το πραγματικό μέσο της ΑΓ.
3. Τότε το ΔΖ ενώνει τα μέσα των ΑΒ και ΑΓ, οπότε από το Θεώρημα Ι θα ισχύει \(ΔΖ // ΒΓ\).
4. Έχουμε λοιπόν από το ίδιο σημείο Δ **δύο** παράλληλες προς τη ΒΓ: τη ΔΕ (από υπόθεση) και τη ΔΖ. Αυτό είναι άτοπο, γιατί από σημείο εκτός ευθείας διέρχεται **μία μόνο** παράλληλη προς αυτήν. 🤯
5. Άρα η υπόθεση ήταν λανθασμένη και το Ε είναι το μέσο της ΑΓ. ✅

:::fact{title="Το αξίωμα που κάνει τη δουλειά"}
Ολόκληρη η απόδειξη στηρίζεται σε ένα και μόνο σημείο: την **μοναδικότητα της παραλλήλου**. Αν από ένα σημείο μπορούσαν να περνούν δύο διαφορετικές παράλληλες προς την ίδια ευθεία, το θεώρημα αυτό απλώς δεν θα ίσχυε. 🧭
:::

# Παράλληλες ευθείες και ίσα τμήματα 📏

Οι παράλληλες ευθείες λειτουργούν σαν «μεταφορείς» ισότητας: ό,τι ίσα κομμάτια κόβουν σε μία ευθεία, τα ίδια ίσα κομμάτια κόβουν και σε κάθε άλλη.

**Θεώρημα ΙΙΙ:** Αν τρεις (τουλάχιστον) παράλληλες ευθείες ορίζουν σε μία ευθεία ίσα τμήματα, θα ορίζουν ίσα τμήματα και σε κάθε άλλη ευθεία που τις τέμνει.

### Η απόδειξη

1. Οι παράλληλες \(ε_1, ε_2, ε_3\) τέμνουν την \(δ_1\) στα Α, Β, Γ με \(ΑΒ = ΒΓ\).
2. Μια άλλη ευθεία \(δ_2\) τις τέμνει στα Δ, Ε, Ζ. Θα δείξουμε ότι \(ΔΕ = ΕΖ\).
3. Από το Α φέρνουμε \(ΑΚ // δ_2\), που τέμνει την \(ε_2\) στο Η και την \(ε_3\) στο Κ. Τα τετράπλευρα ΑΔΕΗ και ΗΕΖΚ έχουν τις απέναντι πλευρές τους παράλληλες, άρα είναι παραλληλόγραμμα, οπότε \(ΑΗ = ΔΕ\) και \(ΗΚ = ΕΖ\).
4. Στο τρίγωνο ΑΚΓ το Β είναι μέσο της ΑΓ και \(ΒΗ // ΓΚ\), άρα από το Θεώρημα ΙΙ το Η είναι μέσο της ΑΚ, δηλαδή \(ΑΗ = ΗΚ\).
5. Συνδυάζοντας τα τρία, προκύπτει \(ΔΕ = ΕΖ\). ✅

:::alert{title="Δεν αρκεί να είναι παράλληλες"}
Το θεώρημα επεκτείνεται και σε περισσότερες από τρεις παράλληλες, αλλά μόνο **με την προϋπόθεση ότι τα τμήματα που ορίζουν στην πρώτη ευθεία είναι ίσα μεταξύ τους**. Αν εκεί τα τμήματα είναι άνισα, θα είναι άνισα και στην άλλη ευθεία — η παραλληλία από μόνη της δεν εξασφαλίζει τίποτα. 🚦
:::

# Η μεσοπαράλληλος δύο παραλλήλων ✨

Ανάμεσα σε δύο παράλληλες ευθείες \(ε_1\) και \(ε_2\) υπάρχουν σημεία που απέχουν το ίδιο και από τις δύο. Ποια είναι όλα αυτά τα σημεία μαζί; Η απάντηση είναι ένας :tooltip[γεωμετρικός τόπος]{content="Το σύνολο όλων των σημείων που ικανοποιούν μια συγκεκριμένη ιδιότητα."}.

Παίρνουμε τμήμα ΑΒ κάθετο προς τις δύο παράλληλες, με τα άκρα του πάνω σε αυτές· το μήκος του είναι η απόσταση \(υ\) των παραλλήλων.

### Ευθύ: κάθε σημείο της ε ισαπέχει

Φέρνουμε από το μέσο Μ της ΑΒ την ευθεία ε παράλληλη προς τις \(ε_1, ε_2\). Οι τρεις παράλληλες \(ε_1\), ε, \(ε_2\) ορίζουν ίσα τμήματα στην ΑΒ, άρα από το Θεώρημα ΙΙΙ ορίζουν ίσα τμήματα και σε κάθε τέμνουσα:

\[
Μ'Γ = Μ'Δ = \frac{ΓΔ}{2}
\]

### Αντίστροφο: κάθε σημείο που ισαπέχει ανήκει στην ε

Αν ένα σημείο Μ ισαπέχει από τις δύο παράλληλες, βρίσκεται ανάμεσά τους και ισχύει \(ΜΓ + ΜΔ = ΓΔ = υ\), οπότε \(ΜΓ = ΜΔ = \frac{υ}{2}\). Τα τετράπλευρα ΜΓΑΚ και ΜΔΒΚ βγαίνουν παραλληλόγραμμα, άρα \(ΜΚ // ε_1\) και \(ΜΚ // ε_2\), δηλαδή το Μ ανήκει στην ε.

### Το συμπέρασμα

Ο γεωμετρικός τόπος των σημείων του επιπέδου που ισαπέχουν από δύο παράλληλες ευθείες \(ε_1\) και \(ε_2\) είναι μία ευθεία ε παράλληλη προς αυτές, η οποία διέρχεται από τα μέσα των τμημάτων που έχουν τα άκρα τους στις δύο παράλληλες. Η ε λέγεται :tooltip[μεσοπαράλληλος]{content="Η ευθεία που είναι παράλληλη προς δύο άλλες παράλληλες ευθείες και ισαπέχει από αυτές."} των \(ε_1\) και \(ε_2\).

:::fact{title="Γιατί χρειάζονται δύο αποδείξεις"}
Ένας γεωμετρικός τόπος δεν αποδεικνύεται με μία μόνο πρόταση. Πρέπει να δείξουμε και ότι **κάθε σημείο της ε έχει την ιδιότητα** και ότι **κάθε σημείο με την ιδιότητα ανήκει στην ε**. Χωρίς το δεύτερο, δεν θα ξέραμε αν κρύβονται κι άλλα σημεία που ισαπέχουν έξω από την ε. 🔍
:::

# Τα μέσα των πλευρών τετραπλεύρου 🔶

Πάρε ένα εντελώς τυχαίο τετράπλευρο και ένωσε διαδοχικά τα μέσα των πλευρών του. Το σχήμα που προκύπτει δεν είναι ποτέ τυχαίο.

**Πρόταση:** Τα μέσα των πλευρών ενός τετραπλεύρου είναι :tooltip[κορυφές]{content="Τα σημεία όπου συναντώνται οι πλευρές ενός σχήματος."} παραλληλογράμμου.

### Η απόδειξη

1. Θεωρούμε τετράπλευρο ΑΒΓΔ και τα μέσα Ε, Ζ, Η, Θ των πλευρών ΑΒ, ΒΓ, ΓΔ, ΔΑ αντίστοιχα.
2. Φέρνουμε τη διαγώνιο ΒΔ — αυτή είναι η κρίσιμη κίνηση, γιατί σπάει το τετράπλευρο σε δύο τρίγωνα.
3. Στο τρίγωνο ΑΒΔ τα Ε και Θ είναι μέσα δύο πλευρών, οπότε από το Θεώρημα Ι: \(ΕΘ // = \frac{ΒΔ}{2}\).
4. Όμοια, στο τρίγωνο ΒΓΔ προκύπτει \(ΖΗ // = \frac{ΒΔ}{2}\).
5. Άρα \(ΕΘ // = ΖΗ\): το ΕΖΗΘ έχει δύο απέναντι πλευρές παράλληλες και ίσες, οπότε είναι παραλληλόγραμμο. 🎉

**Σημείωση:** Ανάλογο συμπέρασμα ισχύει και σε μη :tooltip[κυρτό]{content="Ένα σχήμα είναι κυρτό αν οποιοδήποτε ευθύγραμμο τμήμα που ενώνει δύο σημεία του σχήματος περιέχεται ολόκληρο μέσα στο σχήμα."} τετράπλευρο.

:::fact{title="Ένα αποτέλεσμα που δεν εξαρτάται από το σχήμα"}
Δεν έχει καμία σημασία τι είδους τετράπλευρο ξεκινάς — κυρτό ή μη κυρτό, εντελώς ακανόνιστο. Το κλειδί είναι ότι οι πλευρές του νέου σχήματος «κληρονομούν» τη διεύθυνση της διαγωνίου ΒΔ: και η ΕΘ και η ΖΗ βγαίνουν παράλληλες προς αυτήν, γι' αυτό είναι παράλληλες και μεταξύ τους. 🔷
:::

# Διαίρεση τμήματος σε τρία ίσα μέρη ✂️

Πώς χωρίζεις ένα ευθύγραμμο τμήμα ΑΒ σε τρία ακριβώς ίσα κομμάτια, χωρίς να μετρήσεις το μήκος του; Η απάντηση αξιοποιεί το θεώρημα των παραλλήλων και των ίσων τμημάτων.

### Η κατασκευή

1. Φέρνουμε μια ημιευθεία Αx διαφορετική από την ΑΒ και παίρνουμε πάνω της τρία ίσα διαδοχικά τμήματα: \(ΑΓ = ΓΔ = ΔΕ\).
2. Ενώνουμε το Ε με το Β και από τα Γ και Δ φέρνουμε παράλληλες προς τη ΒΕ, οι οποίες τέμνουν την ΑΒ στα σημεία Ζ και Η αντίστοιχα.
3. Έχουμε τώρα τρεις παράλληλες ευθείες — τη ΓΖ, τη ΔΗ και τη ΒΕ — που ορίζουν στην Αx τα ίσα τμήματα ΓΔ και ΔΕ.
4. Από το Θεώρημα ΙΙΙ (γενικευμένο), θα ορίζουν ίσα τμήματα και στην ΑΒ:

\[
ΑΖ = ΖΗ = ΗΒ
\]

### Γιατί δουλεύει

| Βήμα | Τι εξασφαλίζει |
|---|---|
| Ίσα τμήματα στην Αx | Δίνει το «μέτρο» της ισότητας σε βοηθητική γραμμή |
| Παράλληλες προς τη ΒΕ | Μεταφέρει την ισότητα στην ΑΒ |
| Θεώρημα ΙΙΙ | Δικαιολογεί λογικά τη μεταφορά |

:::alert{title="Η διαίρεση δεν γίνεται με τον χάρακα"}
Ο λόγος για όλη αυτή τη διαδικασία είναι ότι με κανόνα και διαβήτη δεν μπορούμε να διαιρέσουμε άμεσα ένα τμήμα σε τρία ίσα μέρη «μετρώντας» — μπορούμε όμως πολύ εύκολα να πάρουμε τρία ίσα διαδοχικά τμήματα σε μια βοηθητική ημιευθεία με τον διαβήτη. Με τον ίδιο ακριβώς τρόπο διαιρείται ένα τμήμα σε οποιοδήποτε πλήθος ίσων μερών. 📌
:::

01. Βασική Θεωρία

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

Το τμήμα που ενώνει τα μέσα δύο πλευρών

Το αντίστροφο ερώτημα: πού καταλήγει η ευθεία που φεύγει από ένα μέσο παράλληλα σε άλλη πλευρά, και γιατί η απόδειξη γίνεται με άτοπο.

Παράλληλη από το μέσο μιας πλευράς

Πώς τρεις ή περισσότερες παράλληλες μεταφέρουν την ισότητα τμημάτων από τη μία τέμνουσα ευθεία σε κάθε άλλη που τις συναντά.

Παράλληλες ευθείες και ίσα τμήματα

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

Η μεσοπαράλληλος δύο παραλλήλων

Μια εντυπωσιακή εφαρμογή: ό,τι τετράπλευρο κι αν πάρεις, τα μέσα των πλευρών του σχηματίζουν πάντα παραλληλόγραμμο.

Τα μέσα των πλευρών τετραπλεύρου

Μια κατασκευή με βοηθητική ημιευθεία και παράλληλες, που χωρίζει ένα ευθύγραμμο τμήμα σε τρία ακριβώς ίσα κομμάτια.

Διαίρεση τμήματος σε τρία ίσα μέρη

# Εφαρμογές στα Παραλληλόγραμμα και Τρίγωνα 📐

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

**Θεώρημα Ι.** Το τμήμα που ενώνει τα μέσα δύο πλευρών ενός τριγώνου είναι παράλληλο προς την τρίτη πλευρά και ίσο με το μισό της: \(ΔΕ // ΒΓ\) και \(ΔΕ = \frac{ΒΓ}{2}\). Ο συνοπτικός συμβολισμός \(ΔΕ // = \frac{ΒΓ}{2}\) κρύβει δύο συμπεράσματα μαζί — διεύθυνση και μήκος. Η απόδειξη προεκτείνει τη ΔΕ κατά \(ΕΖ = ΔΕ\) και εντοπίζει δύο διαδοχικά παραλληλόγραμμα.

**Θεώρημα ΙΙ (αντίστροφη λογική).** Αν από το μέσο μιας πλευράς φέρουμε παράλληλη προς άλλη πλευρά, αυτή περνά από το μέσο της τρίτης. Αποδεικνύεται :tooltip[εις άτοπον απαγωγή]{content="Μέθοδος απόδειξης όπου υποθέτουμε το αντίθετο από αυτό που θέλουμε να αποδείξουμε και καταλήγουμε σε λογική αντίφαση."}, με μοχλό το ότι από σημείο εκτός ευθείας περνά **μία μόνο** παράλληλη.

**Θεώρημα ΙΙΙ.** Αν τρεις (ή περισσότερες) παράλληλες ορίζουν ίσα τμήματα σε μία ευθεία, ορίζουν ίσα τμήματα σε **κάθε** ευθεία που τις τέμνει.

:::alert{title="Η παραλληλία από μόνη της δεν αρκεί"}
Το Θεώρημα ΙΙΙ απαιτεί τα τμήματα στην πρώτη ευθεία να είναι **ίσα μεταξύ τους**. Αν οι παράλληλες ορίζουν άνισα τμήματα, άνισα θα είναι και στην άλλη ευθεία. Επίσης, μη συγχέεις το τμήμα των μέσων με τη διάμεσο: το πρώτο ενώνει **δύο μέσα**, η δεύτερη μια **κορυφή** με ένα μέσο — μόνο το πρώτο είναι παράλληλο προς την τρίτη πλευρά.
:::

**Μεσοπαράλληλος.** Ο :tooltip[γεωμετρικός τόπος]{content="Το σύνολο όλων των σημείων που ικανοποιούν μια συγκεκριμένη ιδιότητα."} των σημείων που ισαπέχουν από δύο παράλληλες \(ε_1, ε_2\) είναι μια ευθεία ε παράλληλη προς αυτές, που περνά από τα μέσα των τμημάτων με άκρα στις δύο παράλληλες. Κάθε σημείο της απέχει \(\frac{υ}{2}\), όπου \(υ\) η απόσταση των παραλλήλων. Ως γεωμετρικός τόπος απαιτεί **δύο** αποδείξεις — ευθύ και αντίστροφο.

:::fact{title="Δύο εφαρμογές που δείχνουν τη δύναμη των θεωρημάτων"}
Τα **μέσα των πλευρών οποιουδήποτε τετραπλεύρου** — κυρτού ή μη, όσο ακανόνιστο κι αν είναι — σχηματίζουν πάντα παραλληλόγραμμο: οι απέναντι πλευρές του «κληρονομούν» τη διεύθυνση της ίδιας διαγωνίου. Και ένα τμήμα **διαιρείται σε τρία (ή οσαδήποτε) ίσα μέρη** χωρίς μέτρηση: παίρνουμε ίσα διαδοχικά τμήματα σε βοηθητική ημιευθεία με τον διαβήτη και οι παράλληλες «μεταφέρουν» την ισότητα, ακριβώς όπως ορίζει το Θεώρημα ΙΙΙ. 🔷
:::
