Menelao de Alejandria, fue un matemático y astrónomo griego, que trabajó en Alejandría y en Roma a finales del siglo I después de Jesucristo. Su nombre ha quedado ligado al teorema de geometría plana o esférica relativo a un triángulo cortado por una recta o un gran círculo, un teorema de una gran importancia en la trigonometría antigua. También fue un defensor entusiasta de la geometría clásica. Los comentaristas griegos y árabes antiguos mencionan obras matemáticas y astronómicas de Menelao como "Cuerdas en un círculo" o "Elementos de geometría", pero la única que ha sobrevivido, y sólo en su versión árabe, es su "Esférica".

1. En el Libro I de ese tratado establece Menelao las bases para un estudio de los triángulo esféricos análogo al que hace Euclides en su Libro I para los triángulos planos. Se incluye ahí un teorema que no tiene analogía en Euclides, el que dice que dos triángulos esféricos son congruentes si tienen sus ángulos iguales dos a dos.

2. El Libro II trata de las aplicaciones de la geometría esférica a los fenómenos astronómicos y tiene poco interés matemático.

3. El Libro III cuenta el famoso "teorema de Menelao", que para el caso plano afirma que si cortamos los lados AB, BC y CA de un triángulo ABC por una recta transversal en los puntos D, E y F respectivamente, entonces se verifica que AD·BE·CF=BD·CE·AF. En otras palabras, una recta cualquiera corta el lado de un triángulo de tal manera que el producto de los tres segmentos no adyacentes es igual al producto de los otros tres, como puede demostrarse fácilmente por métodos de geometría elemental o aplicando relaciones trigonométricas sencillas. Menelao daba por descontado que sus contemporáneos ya conocían este teorema, y se dedicó a generalizarlo a triángulos esféricos de una manera análoga a la formulación moderna:

Si utilizamos segmentos orientados en lugar de absolutos, entonces los dos productos en cuestión son iguales, en valor absoluto, pero tienen distinto signo. También demostró que si una recta corta a los lados AB, BC y CA de un triángulo ABC (o a sus prolongaciones) en los puntos P,Q y R, y llamamos a'=AP, b'=BP, c'=CR y a''=AR, b''=BP, c''=CQ, entonces se verifica que a'·b'·c' = a''·b''·c''.