whose only surviving work is an important treatise on spherical geometry (see spherical trigonometry) with applications to astronomy. In this, he was the first to use great circles extensively and to consider the properties of spherical triangles. He extended to spherical triangles the theorem about planar triangles that is named after him.