Μετάβαση στο περιεχόμενο

Θεώρημα Μενελάου

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

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

Πιο συγκεκριμένα, αν μία ευθεία τέμνει τις πλευρές , , του τριγώνου (ή τις προεκτάσεις τους) στα σημεία αντίστοιχα (που είναι διαφορετικά από τα ), τότε[1]:161-168[2]

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

Ισχύει επίσης το αντίστροφο, δηλαδή αν για τα σημεία των πλευρών , , (ή των προεκτάσεων τους) ισχύει ότι

,

τότε τα είναι συνευθειακά.

Το θεώρημα παίρνει το όνομά του από τον Μενέλαο τον Αλεξανδρέα, στου οποίου το έργο Σφαιρικά γίνεται η παλαιότερη γνωστή αναφορά. Το θεώρημα είναι στενά συνδεδεμένο με το θεώρημα Τσέβα.[3][4][5][6]

Απόδειξη  
Τα τρίγωνα και είναι όμοια. Αντίστοιχα, τα και , και τα και .

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

Θεωρούμε τις προβολές των τριών κορυφών στην ευθεία . Έπειτα, τα τρίγωνα και έχουν μία γωνία ορθή και (ως κατακορυφήν γωνίες), άρα είναι όμοια. Επομένως,

.

 

 

 

 

(1)

Έπειτα, τα τρίγωνα και έχουν μία γωνία ορθή και (ως κατακορυφήν γωνίες), άρα είναι όμοια. Συνεπώς,

.

 

 

 

 

(2)

Αντίστοιχα, τα και έχουν την κοινή και τις ορθές, άρα είναι όμοια και

.

 

 

 

 

(3)

Πολλαπλασιάζοντας τις (1), (2) και (3) κατά μέλη έχουμε ότι

Απόδειξη αντιστρόφου

[Επεξεργασία | επεξεργασία κώδικα]
Απόδειξη  

Το αντίστροφο προκύπτει χρησιμοποιώντας το ευθύ θεώρημα. Έστω τρία σημεία των πλευρών (ή των προεκτάσεων τους) που ικανοποιούν

Έστω η τομή του φορέα της με την . Τότε από το ευθύ έχουμε ότι

Από αυτές τις δύο σχέσεις προκύπτει ότι

.

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

Η πιο παλιά γνωστή αναφορά του θεωρήματος είναι στο έργο Σφαιρικά του Μενελάου.[7] Εκεί εμφανίζεται η εκδοχή του θεωρήματος στο επίπεδο ως λήμμα, για την απόδειξη της εκδοχής του θεωρήματος στη σφαίρα.

Στο έργο Μαθηματική σύνταξις, ο Κλαύδιος Πτολεμαίος εφαρμόζει το θεώρημα σε πολλές περιπτώσεις της σφαιρικής γεωμετρίας. Κατά τη χρυσή εποχή του Ισλάμ (8ος-14ος αι.) οι Μουσουλμάνοι λόγιοι αφιέρωσαν έναν αριθμό από έργα, που σχετίζονται με τη σπουδή του θεωρήματος του Πτολεμαίου και αναφέρονται ως η πρόταση η σχετική με τις τέμνουσες (shakl al-qatta). Το πλήρες τετράπλευρο εκαλείτο το σχήμα των τεμνουσών στην ορολογία τους. Στο έργο Τα κλειδιά της Αστρονομίας ο Αλ-Μπιρουνί έχει έναν κατάλογο αυτών των εργασιών, που μπορεί να ταξινομηθούν είτε ως σπουδές σαν μέρος των σχολίων στην Αλμαγέστη του Πτολεμαίου (όπως είναι οι εργασίες του αλ-Ναϋρίζι και του αλ-Καζίν, οι οποίες δείχνουν ειδικές περιπτώσεις του θεωρήματος του Μενελάου, όπως ο νόμος των ημιτόνων), είτε ως ανεξάρτητες εργασίες όπως:

  1. Πιο απλά γνωστό ως Το βιβλίο επί των τεμνουσών (Kitab al-shakl al-qatta) ή στην Ευρώπη ως Η μελέτη επί του πλήρους τετραπλεύρου.
  1. Στεργίου, Μπάμπης (2012). Γεωμετρία 2: Μετρικές σχέσεις σε τρίγωνα, πολύγωνα - εμβαδά. Αθήνα: Σαββάλας. ISBN 978-960-493-159-0. 
  2. Russell, John Wellesley (1905). «Ch. 1 §6 "Menelaus' Theorem""». Pure Geometry. Clarendon Press. σελ. 6. 
  3. Pollard, John M. (Ιουλίου 2000). «84.30 Ceva = (Menelaus) 2». The Mathematical Gazette 84 (500): 268–271. doi:10.2307/3621658. https://archive.org/details/sim_mathematical-gazette_2000-07_84_500/page/268. 
  4. Benıtez, Julio (2007). «A Unified Proof of Ceva and Menelaus’ Theorems Using Projective Geometry». Journal for Geometry and Graphics 11 (1): 39-44. https://www.heldermann-verlag.de/jgg/jgg11/j11h1beni.pdf. 
  5. Green, H. G. (Μαΐου 1957). «On the Theorems of Ceva and Menelaus». The American Mathematical Monthly 64 (5): 354. doi:10.2307/2309603. https://archive.org/details/sim_american-mathematical-monthly_1957-05_64_5/page/354. 
  6. Klamkin, Murray S.; Liu, Andy (1 Φεβρουαρίου 1992). «Simultaneous Generalizations of the Theorems of Ceva and Menelaus». Mathematics Magazine 65 (1): 48. doi:10.2307/2691362. https://archive.org/details/sim_mathematics-magazine_1992-02_65_1/page/48. 
  7. Roshdi Rashed· Αθανάσιος Παπαδόπουλος (2017). Τα σφαιρικά του Μενελάου: πρώιμη μετάφραση και η έκδοση του al-Mahani'/al-Harawi. Scientia Graeco-Arabica. De Gruyter. ISBN 978-3-11-057142-4.