Fou el primer a separar la trigonometria de l’estereometria i l’astronomia. Féu la primera definició de triangle esfèric i utilitzà la relació entre els triangles esfèrics i els plans per a resoldre els triangles esfèrics (teorema de Menelau). Escriví el tractat Esfèrica, on establí els fonaments de la trigonometria esfèrica.