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

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

# Το θεώρημα της εξωτερικής γωνίας 💡

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

### Η διατύπωση

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

Σε ένα τρίγωνο ΑΒΓ, η εξωτερική γωνία στην κορυφή Γ ξεπερνά **και** τη γωνία Α **και** τη γωνία Β. Αυτές είναι οι δύο εσωτερικές γωνίες που δεν βρίσκονται στην ίδια κορυφή με την εξωτερική.

### Γιατί έχει σημασία

Είναι η πρώτη πρόταση της Γεωμετρίας που δίνει **ανισότητα** αντί για ισότητα, και πάνω της στηρίζονται σχεδόν όλα τα υπόλοιπα ανισοτικά αποτελέσματα: τα πορίσματα για τα είδη των γωνιών, η αντιστοιχία πλευρών–γωνιών, ακόμη και η τριγωνική ανισότητα περνούν από αυτήν.

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

# Πόσες «μεγάλες» γωνίες χωράει ένα τρίγωνο ✅

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

### Πόρισμα 1 — Το πολύ μία ορθή ή αμβλεία

Κάθε τρίγωνο έχει **το πολύ μία** γωνία ορθή (90°) ή αμβλεία (μεγαλύτερη από 90°). Δεν υπάρχει τρίγωνο με:

| Συνδυασμός | Επιτρέπεται; |
|---|---|
| Δύο ορθές γωνίες | Όχι |
| Δύο αμβλείες γωνίες | Όχι |
| Μία ορθή και μία αμβλεία | Όχι |
| Μία ορθή και δύο οξείες | Ναι |
| Μία αμβλεία και δύο οξείες | Ναι |

Γι' αυτό ακριβώς ένα τρίγωνο χαρακτηρίζεται ως ορθογώνιο, αμβλυγώνιο ή οξυγώνιο χωρίς αμφισημία: η «μεγάλη» γωνία, αν υπάρχει, είναι μοναδική.

### Πόρισμα 2 — Δύο γωνίες κάτω από 180°

Το άθροισμα δύο **οποιωνδήποτε** γωνιών κάθε τριγώνου είναι πάντα **μικρότερο** από 180°. Δεν χρειάζεται να ξέρεις ποιες δύο διάλεξες — η ανισότητα ισχύει για κάθε ζευγάρι.

:::fact{title="Δύο διατυπώσεις, μία ουσία"}
Τα δύο πορίσματα λένε ουσιαστικά το ίδιο πράγμα με άλλα λόγια: αν δύο γωνίες ήταν ορθές, το άθροισμά τους θα ήταν ακριβώς 180°, που το δεύτερο πόρισμα απαγορεύει. Καθένα από τα δύο μπορεί να χρησιμοποιηθεί για να αποδείξεις το άλλο.
:::

# Άνισες πλευρές, άνισες γωνίες ⚖️

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

### Η ευθεία πρόταση

Απέναντι από **άνισες πλευρές** βρίσκονται **όμοια άνισες γωνίες**. Αν η πλευρά \(β\) είναι μεγαλύτερη από την \(γ\), τότε και η γωνία \(Β\) (απέναντι από τη \(β\)) είναι μεγαλύτερη από τη γωνία \(Γ\) (απέναντι από τη \(γ\)):

\[
β > γ \Rightarrow Β > Γ
\]

### Το αντίστροφο

Απέναντι από **άνισες γωνίες** βρίσκονται **όμοια άνισες πλευρές**:

\[
Β > Γ \Rightarrow β > γ
\]

Επειδή ισχύουν και οι δύο κατευθύνσεις, μπορείς να μεταφράζεις ελεύθερα μια πληροφορία για πλευρές σε πληροφορία για γωνίες και αντίστροφα. Με μια φράση που αξίζει να θυμάσαι: **στη μεγαλύτερη πλευρά αντιστοιχεί η μεγαλύτερη γωνία.**

### Πώς το χρησιμοποιείς στην πράξη

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

:::alert{title="Πρόσεξε ποια γωνία είναι «απέναντι»"}
Η γωνία \(Β\) είναι απέναντι από την πλευρά \(β\), δηλαδή από την ΑΓ, όχι από κάποια πλευρά που την ακουμπάει. Ένα μπέρδεμα εδώ αντιστρέφει όλο το συμπέρασμα, γι' αυτό σημείωσε πρώτα ποια πλευρά «βλέπει» κάθε γωνία και μετά εφάρμοσε το θεώρημα.
:::

# Η απόδειξη της αντιστοιχίας 🤔

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

### Η ευθεία πρόταση: ένα βοηθητικό ισοσκελές

Έστω τρίγωνο ΑΒΓ με \(β > γ\), δηλαδή ΑΓ > ΑΒ. Τα βήματα:

1. Πάνω στη **μεγαλύτερη** πλευρά \(β\) (την ΑΓ) παίρνουμε σημείο Δ ώστε ΑΔ = ΑΒ = \(γ\). Αυτό γίνεται επειδή ΑΓ > ΑΒ, άρα το Δ πέφτει ανάμεσα στα Α και Γ.
2. Το τρίγωνο ΑΒΔ έχει τώρα δύο ίσες πλευρές, άρα είναι :tooltip[ισοσκελές]{content="Τρίγωνο που έχει δύο πλευρές ίσες."}, οπότε οι γωνίες του στη βάση ΒΔ είναι ίσες.
3. Στο τρίγωνο ΒΔΓ εφαρμόζουμε την ιδιότητα της εξωτερικής γωνίας.
4. Συνδυάζοντας τα δύο, καταλήγουμε ότι \(Β > Γ\).

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

### Το αντίστροφο: απαγωγή σε άτοπο

Για το αντίστροφο χρησιμοποιούμε :tooltip[εις άτοπον απαγωγή]{content="Μέθοδος απόδειξης όπου υποθέτουμε το αντίθετο από αυτό που θέλουμε να αποδείξουμε και καταλήγουμε σε λογική αντίφαση."}. Υποθέτουμε ότι το \(β\) δεν είναι μεγαλύτερο του \(γ\) — δηλαδή είναι ίσο ή μικρότερο — και κάθε μία από αυτές τις δύο περιπτώσεις οδηγεί, μέσω της ευθείας πρότασης, σε αντίφαση με τη δοσμένη \(Β > Γ\).

:::fact{title="Γιατί το αντίστροφο ζητά άλλη μέθοδο"}
Στην ευθεία πρόταση ξεκινάμε από πλευρές και μπορούμε να κατασκευάσουμε πάνω τους. Στο αντίστροφο ξεκινάμε από γωνίες, όπου δεν υπάρχει αντίστοιχη φυσική κατασκευή — γι' αυτό στρεφόμαστε στη λογική: αποκλείουμε όλες τις άλλες δυνατότητες και μένει μόνο η ζητούμενη.
:::

# Τι μας δίνουν τα πορίσματα ✅

Από την αντιστοιχία πλευρών–γωνιών προκύπτουν τρία συμπεράσματα που χρησιμοποιούνται συνεχώς στις ασκήσεις.

### 1. Η μεγαλύτερη πλευρά

Αν μια γωνία τριγώνου είναι **ορθή ή αμβλεία**, η απέναντι πλευρά της είναι η **μεγαλύτερη** πλευρά του τριγώνου. 💪

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

### 2. και 3. Ίσες γωνίες, ίσες πλευρές

| Υπόθεση | Συμπέρασμα |
|---|---|
| Δύο γωνίες ίσες | Το τρίγωνο είναι :tooltip[ισοσκελές]{content="Τρίγωνο που έχει δύο πλευρές ίσες."} — ίσες είναι οι πλευρές απέναντι από τις ίσες γωνίες |
| Και οι τρεις γωνίες ίσες | Το τρίγωνο είναι ισόπλευρο, δηλαδή έχει και τις τρεις πλευρές ίσες |

:::fact{title="Ισοδυναμία, όχι μονόδρομος"}
Το πόρισμα «δύο ίσες γωνίες ⟹ ισοσκελές» μαζί με το γνωστό θεώρημα «ισοσκελές ⟹ ίσες γωνίες βάσης» δίνουν έναν πλήρη χαρακτηρισμό: ένα τρίγωνο είναι ισοσκελές **αν και μόνο αν** έχει δύο γωνίες ίσες. Στις αποδείξεις αυτό σημαίνει ότι μπορείς να ξεκινήσεις από όποια από τις δύο πλευρές της ισοδυναμίας σού δίνει η άσκηση.
:::

# Η τριγωνική ανισότητα ❗️

Δεν φτιάχνουν κάθε τρία μήκη τρίγωνο. Αν πάρεις τρία ραβδάκια 2, 3 και 10 εκατοστών, τα δύο μικρά δεν φτάνουν να ενωθούν πάνω από το μεγάλο. Η τριγωνική ανισότητα διατυπώνει ακριβώς αυτόν τον περιορισμό.

### Οι δύο πλευρές του θεωρήματος

Κάθε πλευρά ενός τριγώνου είναι:

1. **Μικρότερη** από το **άθροισμα** των δύο άλλων πλευρών.
2. **Μεγαλύτερη** από την **απόλυτη διαφορά** των δύο άλλων πλευρών.

Για τρίγωνο με πλευρές \(α\), \(β\), \(γ\) οι δύο ανισότητες γράφονται μαζί:

\[
|β - γ| < α < β + γ
\]

Το κάτω φράγμα δεν είναι ξεχωριστό θεώρημα: προκύπτει από το πάνω. Από \(β < α + γ\) παίρνουμε \(β - γ < α\), και από \(γ < α + β\) παίρνουμε \(γ - β < α\)· μαζί δίνουν \(|β - γ| < α\).

### Πώς την εφαρμόζεις

Η τυπική χρήση είναι ο **εγκλωβισμός** μιας άγνωστης πλευράς: αν οι δύο άλλες είναι 5 και 8, τότε η τρίτη κινείται αυστηρά ανάμεσα στο 3 και το 13.

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

# Χορδή και διάμετρος του κύκλου ⭕

Η τριγωνική ανισότητα δεν αφορά μόνο τρίγωνα· δίνει και ένα βασικό αποτέλεσμα για τον κύκλο.

### Το πόρισμα

Κάθε :tooltip[χορδή]{content="Ευθύγραμμο τμήμα που συνδέει δύο σημεία της περιφέρειας ενός κύκλου."} ενός κύκλου είναι **μικρότερη ή ίση** της :tooltip[διαμέτρου]{content="Η μεγαλύτερη χορδή ενός κύκλου, που περνά από το κέντρο του."}. Γίνεται ίση **μόνο** όταν η χορδή είναι η ίδια η διάμετρος.

### Πώς προκύπτει

Πάρε μια χορδή ΑΒ και ένωσε τα άκρα της με το κέντρο Ο. Αν το Ο δεν βρίσκεται πάνω στη χορδή, τα Α, Β και Ο σχηματίζουν τρίγωνο, οπότε η τριγωνική ανισότητα δίνει

\[
ΑΒ < ΟΑ + ΟΒ
\]

Όμως τα ΟΑ και ΟΒ είναι ακτίνες, άρα το άθροισμά τους είναι ακριβώς η διάμετρος. Αν πάλι το Ο βρίσκεται πάνω στη χορδή, δεν σχηματίζεται τρίγωνο: η χορδή περνά από το κέντρο και **είναι** η διάμετρος, οπότε ισχύει η ισότητα.

### Τι κρατάς

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

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

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

Γιατί κάθε εξωτερική γωνία τριγώνου ξεπερνά τις απέναντι εσωτερικές του γωνίες, και ποια όρια βάζει αυτό στο σχήμα.

Εξωτερική και απέναντι γωνίες

Δύο άμεσα συμπεράσματα: το πολύ μία μεγάλη γωνία ανά τρίγωνο και το άθροισμα δύο γωνιών πάντα κάτω από 180 μοίρες.

Πόσες ορθές ή αμβλείες γωνίες χωράει ένα τρίγωνο

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

Άνισες πλευρές και άνισες γωνίες

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

Η απόδειξη της αντιστοιχίας

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

Πορίσματα για τα είδη τριγώνων

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

Η τριγωνική ανισότητα

Πώς η τριγωνική ανισότητα εξηγεί ότι καμία χορδή δεν ξεπερνά τη διάμετρο και πότε γίνεται ίση με αυτήν.

Χορδή και διάμετρος κύκλου

# Ανισοτικές Σχέσεις — Σύνοψη ⚖️

Όταν τα στοιχεία ενός τριγώνου δεν είναι ίσα, τρία εργαλεία μάς λένε ποιο είναι μεγαλύτερο.

**Εξωτερική γωνία.** Κάθε :tooltip[εξωτερική γωνία]{content="Η γωνία που σχηματίζεται από μία πλευρά ενός τριγώνου και την προέκταση μιας άλλης πλευράς του."} τριγώνου είναι μεγαλύτερη από καθεμία από τις **απέναντι** εσωτερικές γωνίες. Από αυτό προκύπτει ότι κάθε τρίγωνο έχει **το πολύ μία** ορθή ή αμβλεία γωνία, και ότι το άθροισμα δύο οποιωνδήποτε γωνιών του είναι πάντα μικρότερο από 180°.

**Πλευρές και γωνίες.** Σε κάθε τρίγωνο, απέναντι από άνισες πλευρές βρίσκονται όμοια άνισες γωνίες, και αντίστροφα: αν \(β > γ\) τότε \(Β > Γ\), και αν \(Β > Γ\) τότε \(β > γ\). Με μια φράση, στη μεγαλύτερη πλευρά αντιστοιχεί η μεγαλύτερη γωνία. Η απόδειξη της ευθείας πρότασης στηρίζεται σε ένα βοηθητικό :tooltip[ισοσκελές]{content="Τρίγωνο που έχει δύο πλευρές ίσες."} τρίγωνο και στο θεώρημα της εξωτερικής γωνίας, ενώ το αντίστροφο αποδεικνύεται με :tooltip[εις άτοπον απαγωγή]{content="Μέθοδος απόδειξης όπου υποθέτουμε το αντίθετο από αυτό που θέλουμε να αποδείξουμε και καταλήγουμε σε λογική αντίφαση."}. Τα πορίσματα: η πλευρά απέναντι από ορθή ή αμβλεία γωνία είναι η μεγαλύτερη του τριγώνου (γι' αυτό η :tooltip[υποτείνουσα]{content="Η μεγαλύτερη πλευρά σε ένα ορθογώνιο τρίγωνο, απέναντι από την ορθή γωνία."} είναι η μεγαλύτερη πλευρά ορθογωνίου τριγώνου)· δύο ίσες γωνίες κάνουν το τρίγωνο ισοσκελές· τρεις ίσες γωνίες το κάνουν ισόπλευρο.

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

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

\[
|β - γ| < α < β + γ
\]

Πόρισμα: κάθε :tooltip[χορδή]{content="Ευθύγραμμο τμήμα που συνδέει δύο σημεία της περιφέρειας ενός κύκλου."} κύκλου είναι μικρότερη ή ίση της :tooltip[διαμέτρου]{content="Η μεγαλύτερη χορδή ενός κύκλου, που περνά από το κέντρο του."}, με ισότητα μόνο όταν η χορδή είναι η ίδια η διάμετρος.

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