Menelaoksen lause eli poikittaislause tai kokonaisen nelikulmion lause on affiinin geometrian klassinen lause .
Jos pisteet ja ovat vastaavasti sivuilla ja kolmion tai niiden jatkeilla [1] , niin ne ovat kollineaarisia silloin ja vain jos
missä , ja osoittavat suunnattujen segmenttien suhteita .
TodistePiirretään pisteen läpi kulkevan suoran kanssa yhdensuuntainen viiva ja merkitään tämän suoran ja suoran leikkauspiste . Koska kolmiot ja ovat samanlaisia (kahdessa kulmassa), niin
.Koska kolmiot ovat myös samanlaisia Ja näin
.Ilman , saamme
.On vielä huomattava, että kaksi pisteiden järjestelyä ja ovat mahdollisia : joko kaksi niistä on kolmion vastaavilla sivuilla ja kolmas on jatkeella tai kaikki kolme sijaitsevat vastaavien sivujen jatkeilla. Tästä syystä meillä on suunnattujen segmenttien suhteille
Tämä lause on todistettu Menelaus Aleksandrialaisen (noin 100 jKr.) kolmannessa Sfäärit-kirjassa . Menelaus todistaa ensin lauseen tasotapaukselle ja siirtää sen sitten pallolle keskusprojektiolla. On mahdollista, että lauseen litteää tapausta on käsitelty aiemmin Eukleideen säilyneissä porismeissa.
Menelaoksen palloteoreema oli tärkein työkalu, jolla ratkaistiin erilaisia myöhäisen antiikin ja keskiajan tähtitieteen ja geodesian soveltavia ongelmia. Hän on omistettu useille teoksille nimeltä "Sekantin hahmon kirja", jonka ovat laatineet sellaiset keskiaikaisen idän matemaatikot kuten Sabit ibn Korra , an-Nasavi , al-Maghribi , as-Sijizi , as-Salar , Jabir . ibn Aflah , Nasir ad-Din at-Tusi .
Italialainen matemaatikko Giovanni Ceva vuonna 1678 ehdotti todistusta Menelaus-lauseesta ja siihen liittyvästä Ceva-lauseesta tasotapaukselle , joka perustuu kolmen pisteen painon järjestelmän painopisteen huomioimiseen. [2]