Spherical trigonometry is the branch of spherical geometry that deals with the relationships between trigonometric functions of the sides and angles of the spherical polygons (especially spherical triangles) defined by a number of intersecting great circles on the sphere. Spherical trigonometry is of great importance for calculations in astronomy, geodesy and navigation.
The origins of spherical trigonometry in Greek mathematics and the major developments in Islamic mathematics are discussed fully in History of trigonometry and Mathematics in medieval Islam. The subject came to fruition in Early Modern times with important developments by John Napier, Delambre and others, and attained an essentially complete form by the end of the nineteenth century with the publication of Todhunter's textbook Spherical trigonometry for the use of colleges and Schools. This book is now readily available on the web. The only significant developments since then have been the application of vector methods for the derivation of the theorems and the use of computers to carry through lengthy calculations.
A spherical polygon is a polygon on the surface of the sphere defined by a number of great-circle arcs, which are the intersection of the surface with planes through the centre of the sphere. Such polygons may have any number of sides. Two planes define a lune, also called a "digon" or bi-angle, the two-sided analogue of the triangle: a familiar example is the curved surface of a segment of an orange. Three planes define a spherical triangle, the principal subject of this article. Four planes define a spherical quadrilateral: such a figure, and higher sided polygons, can always be treated as a number of spherical triangles.