Es quizás el primer matemático de la antigüedad en tratar la trigonometría como una disciplina o rama separada del tronco de las matemáticas y así se desprende en su "Tratado sobre los cuadriláteros" fue el primero en enumerar la lista de los seis casos distintos de ángulo recto en un triángulo esférico (trigonometría esférica).