Professional Documents
Culture Documents
Ξαναδιαβάζοντας την τριγωνική ανισότητα
Ξαναδιαβάζοντας την τριγωνική ανισότητα
Καλυκάκης Δημήτρης
kalikakis1@sch.gr
Περίληψη
Στην εργασία αυτή αποδεικνύουμε ότι η τριγωνική ανισότητα, ως
ιδιότητα της απόλυτης τιμής πραγματικού αριθμού, είναι ισοδύναμη με την
γνωστή τριγωνική ανισότητα στο Ευκλείδειο επίπεδο και αναλύουμε την
σπουδαιότητα των δύο αυτών ανισοτήτων στο πλαίσιο των σχολικών
Μαθηματικών.
Abstact
In this article we prove that the triangle inequality as a property of the
absolute value of real numbers is equivalent to the well-known triangle
inequality at the Euclidean plane. We also comment on the importance of
these two inequalities in the context of school Mathematics.
Λέξεις κλειδιά: τριγωνική ανισότητα, απόλυτη τιμή, ισοδυναμία
1. Εισαγωγή
Μία από τις σημαντικότερες ιδιότητες της απόλυτης τιμής πραγματικού
αριθμού είναι η λεγόμενη τριγωνική ανισότητα:
ΠΡΟΤΑΣΗ 1. (προσδιορισμός της τιμής του |𝛼 𝛽| συναρτήσει των |𝛼| και |𝛽|)
Για κάθε α, β ∈ ℝ ισχύει:
|α| |β|, αν α, β είναι ομόσημοι ή τουλάχιστον ένα είναι μηδέν
|α β| |α| |β|, αν α, β είναι ετερόσημοι και |α| |β|
|β| |α|, αν α, β είναι ετερόσημοι και |α| |β|
ή ισοδύναμα
|α| |β|, αν α, β είναι ομόσημοι ή τουλάχιστον ένα είναι μηδέν
|α β| .
|α| |β| , αν α, β είναι ετερόσημοι
1ον) Συσχετίζει τα μήκη των πλευρών σε κάθε τρίγωνο. Για μεν τις γωνίες
του τριγώνου η σχέση που τις συνδέει είναι σχέση ισότητας (Α Β Γ
π), για δε τις πλευρές η αντίστοιχη σχέση είναι τριπλή ανισοτική σχέση
(α β γ και β α γ και γ α β).
2ον) Η τριπλή τριγωνική ανισότητα α β γ και β α γ και γ α β,
η οποία ισοδύναμα μπορεί να εκφραστεί από την ανισοτική σχέση |β
γ| α β γ, αποτελεί ικανή και αναγκαία συνθήκη
κατασκευασιμότητας τριγώνου δοθέντων τμημάτων με μήκη α, β, γ.
3ον) Η τριγωνική ανισότητα είναι ο λόγος που ο συντομότερος δρόμος
μεταξύ δύο σημείων του Ευκλείδειου επιπέδου είναι το ευθύγραμμο τμήμα
που τα ενώνει. Πράγματι, η τριγωνική ανισότητα βεβαιώνει ότι το
ευθύγραμμο τμήμα που ενώνει δύο σημεία έχει μήκος μικρότερο από κάθε
τεθλασμένη γραμμή που ξεκινάει από το ένα σημείο και καταλήγει στο
άλλο και έχει 2 πλευρές. Με επαγωγή στο πλήθος των πλευρών της
τεθλασμένης γραμμής, προκύπτει άνετα ότι η ανισοτική αυτή σχέση ισχύει
για κάθε τεθλασμένη γραμμή που ξεκινάει από το ένα σημείο και καταλήγει
στο άλλο. Το ζητούμενο έπεται από τον ορισμό του μήκους καμπύλης ως το
ελάχιστο άνω φράγμα των μηκών όλων των τεθλασμένων γραμμών που
ξεκινούν από το ένα σημείο και καταλήγουν στο άλλο.
4ον) Με την τριγωνική ανισότητα είναι δυνατόν να επιλυθούν κλασικά
προβλήματα φυσικής, ή προβλήματα βελτιστοποίησης όπως λ.χ. το
φαινόμενο της ανάκλασης του φωτός, ή προβλήματα εύρεσης διαδρομών
ελάχιστου μήκους.
Η διανυσματική έκδοση της τριγωνικής ανισότητας στο Ευκλείδειο
επίπεδο, την οποία θα χρησιμοποιήσουμε στην απόδειξη της ισοδυναμίας
των Θεωρημάτων 1 και 2 σε επόμενη ενότητα, ως γνωστόν, έχει ως εξής.
ΘΕΩΡΗΜΑ 2΄ (η τριγωνική ανισότητα στο Ευκλείδειο επίπεδο – διανυσματική έκδοση)
Για κάθε α⃗, β⃗ ∈ ℝ ισχύει |α⃗ β⃗| |α⃗| β⃗ , όπου |α⃗| x y , αν
α⃗ x, y .
ΘΕΩΡΗΜΑ 3.
Τα παρακάτω είναι ισοδύναμα:
(i) Για κάθε α, β ∈ ℝ ισχύει |α β| |α| |β|.
(ii) Στο Ευκλείδειο επίπεδο, κάθε πλευρά τριγώνου είναι μικρότερη από το
άθροισμα των δύο άλλων.
Απόδειξη
(ii)⟹(i)
Υποθέτουμε ότι ισχύει η τριγωνική ανισότητα στο Ευκλείδειο επίπεδο και
θα αποδείξουμε την τριγωνική ανισότητα ως ιδιότητα την απόλυτης τιμής
πραγματικού αριθμού.
Έχουμε λοιπόν ότι |Α⃗ Β⃗| Α⃗ Β⃗ , για κάθε δύο διανύσματα Α⃗, Β⃗ στο
Ευκλείδειο επίπεδο (η
ισότητα περιγράφει την περίπτωση των
εκφυλισμένων τριγώνων). Αν Α⃗ x ,y και Β⃗ x , y , τότε η
παραπάνω σχέση γράφεται
| x x ,y y | | x ,y | | x ,y |
38ο Πανελλήνιο Συνέδριο Μαθηματικής Παιδείας 309
ή ισοδύναμα
x x y y x y x y
η οποία ισχύει για κάθε x , x , y , y ∈ ℝ.
Θέτουμε y y 0 και αφήνουμε τα x , x να παίρνουν οποιαδήποτε
τιμή στο σύνολο των πραγματικών αριθμών. Οπότε έχουμε,
x x 0 x 0 x 0 , για κάθεx , x ∈ ℝ
δηλαδή
x x x x , για κάθεx , x ∈ ℝ
επομένως,
|x x | |x | |x |, για κάθε x , x ∈ ℝ
και συνεπώς το ζητούμενο έπεται.
(i)⟹(ii)
Υποθέτουμε ότι ισχύει η τριγωνική ανισότητα ως ιδιότητα την απόλυτης
τιμής πραγματικού αριθμού και θα αποδείξουμε την τριγωνική ανισότητα
στο Ευκλείδειο επίπεδο.
Ας είναι ΑΒΓ ένα τρίγωνο στο Ευκλείδειο επίπεδο. Χωρίς περιορισμό
της γενικότητας, μπορούμε να υποθέσουμε ότι το τρίγωνο είναι όπως
φαίνεται στο παρακάτω σχήμα, δηλαδή με βάση στον θετικό x-ημιάξονα,
μία κορυφή στην αρχή των αξόνων και την τρίτη κορυφή στο άνω
ημιεπίπεδο.
6. Συμπεράσματα
Όλη η παραπάνω συζήτηση οδηγεί στα ακόλουθα συμπεράσματα:
1. Η τριγωνική ανισότητα, ως ιδιότητα της απόλυτης τιμής πραγματικού
αριθμού, είναι μία πραγματικά «προφανής» ιδιότητα, διότι αν πατήσουμε
πάνω στη γραμμή σκέψης που χρησιμοποιούμε για τον υπολογισμό του
αθροίσματος δύο αριθμών, όπως τον μαθαίνουμε στο Γυμνάσιο, προκύπτει
ότι η απόλυτη τιμή |α β| μπορεί να πάρει τρεις δυνατές τιμές: |α| |β| ή
|α| |β| ή |β| |α|, οι οποίες και οι τρεις είναι μικρότερες ή ίσες από το
|α| |β|! Αυτό αποδεικνύει τη τριγωνική ανισότητα και ταυτόχρονα
σημαίνει ότι στην γενικευμένη τριγωνική ανισότητα:
|α| |β| |α β| |α| |β|
ο μεσαίος όρος μπορεί πάρει ως τιμή μόνο τις ακραίες τιμές. Καμία ενδιάμεση.
2. Η τριγωνική ανισότητα της απόλυτης τιμής εκ πρώτης όψεως δεν
φαίνεται να σχετίζεται με κάποιο τρίγωνο. Αν όμως θεωρηθεί από τη
σκοπιά της ισοδύναμής της έκφρασης:
|x y| |x z| |z y|
και ειδικότερη κάτω από την προοπτική της απόσταση, δηλαδή ως
d x, y d x, z d z, y
38ο Πανελλήνιο Συνέδριο Μαθηματικής Παιδείας 311
Βιβλιογραφικές αναφορές
[1] Ανδρεαδάκης, Σ., Κατσαργύρης, Β., Παπασταυρίδης, Σ., Πολύζος, Γ.,
Σβέρκος, Α., Αδαμόπουλος, Λ., Δαμιανού, Χ. (Αναθεωρημένη Έκδοση 22-
0284). Άλγεβρα και στοιχεία πιθανοτήτων Α΄ Γενικού Λυκείου. Πάτρα:
Ινστιτούτο Τεχνολογίας και Εκδόσεων «Διόφαντος»
[2] Αργυρόπουλος, Η., Βλάμος, Π., Κατσούλης, Γ., Μαρκάτης, Σ., Σίδερης, Π.
(Αναθεωρημένη Έκδοση 22-0236). Ευκλείδεια Γεωμετρία, Τεύχος Α΄, Α΄
Γενικού Λυκείου. Πάτρα: Ινστιτούτο Τεχνολογίας και Εκδόσεων «Διόφαντος»
312 38ο Πανελλήνιο Συνέδριο Μαθηματικής Παιδείας