Spherical geometry

Spherical geometry
Name	Spherical geometry
Field	Mathematics
Related	Geometry

Spherical geometry is the study of figures on the surface of a sphere and the relationships between points, lines, angles, and distances on that curved two-dimensional manifold. It contrasts with planar Euclidean geometry by replacing straight lines with great circles and introducing curvature-driven phenomena such as angle excess and antipodal symmetry. Developments in spherical geometry have driven practical advances in navigation, astronomy, cartography, and celestial mechanics.

Introduction

Spherical geometry examines the properties of shapes drawn on a sphere such as triangles, polygons, and circles, and relates to work by Claudius Ptolemy, Islamic Golden Age astronomers like Al-Battani, and later mathematicians including Giovanni Cassini, Leonhard Euler, and Carl Friedrich Gauss. The subject influenced institutions like the Royal Society and projects such as the Longitude problem, and it underpins technologies developed by organizations such as European Space Agency and NASA for applications in navigation, surveying, and astronomy.

Basic Concepts and Definitions

Points are locations on the spherical surface; great circles are intersections of the sphere with planes through the center, analogous to straight lines in Euclidean geometry. Antipodal points, poles, parallels, and meridians are core notions used by cartographers from Gerardus Mercator to Alexander von Humboldt. Key definitions connect to instruments and observatories like the Greenwich Observatory and techniques used in the Age of Discovery by explorers such as Ferdinand Magellan and James Cook.

Triangles and Polygons on the Sphere

Spherical triangles are bounded by three great-circle arcs; their angle sum exceeds 180°, with the excess proportional to area per formulas developed by Brahmagupta and refined by Nicolò Tartaglia and Adrien-Marie Legendre. Spherical polygons generalize to n-gons appearing in studies by Johannes Kepler on polyhedra and in mapping work by Alexander von Humboldt and John Snow. The Gauss–Bonnet connection, explored by Carl Friedrich Gauss and later by Henri Poincaré, links curvature to topological invariants relevant to tilings and polyhedral decompositions studied by Évariste Galois and Augustin-Jean Fresnel.

Geodesics and Distances

Geodesics on the sphere are great circles; shortest paths between non-antipodal points follow single great-circle arcs, a fact applied by navigators such as James Cook and mathematicians like Adrien-Marie Legendre. Distance formulas use central angles; measurement and coordinate transformations have been central to institutions like the Royal Geographical Society and projects including the Great Trigonometrical Survey led by figures such as George Everest.

Spherical Trigonometry

Spherical trigonometry provides relations among sides and angles of spherical triangles with laws analogous to planar sine and cosine rules developed by Nicolò Tartaglia, Menelaus of Alexandria, and systematized by Johann Heinrich Lambert and Leonhard Euler. Napier’s rules for right spherical triangles, named for John Napier, and formulas applied in astronomical tables used by Tycho Brahe and Johannes Kepler enable solutions to navigation problems confronted during voyages of Vasco da Gama and Christopher Columbus.

Models and Coordinate Systems

Common models and coordinates include latitude–longitude systems used in maps by Gerardus Mercator and projection techniques by Cyrus B. Baldwin, as well as the celestial sphere model central to Hipparchus and Ptolemy for cataloguing stars. Representations via stereographic projection, orthographic projection, and gnomonic projection are tools in cartography employed by Gerardus Mercator, Lewis Fry Richardson, and modern space programs like ESA and NASA.

Applications and Historical Context

Spherical geometry historically informed navigation and astronomy through contributions by Hipparchus, Claudius Ptolemy, and Islamic scholars such as Al-Khwarizmi, and later by European scientists including Pierre-Simon Laplace and Adrien-Marie Legendre. Practical applications include aircraft great-circle routing used by airlines such as Pan American World Airways, geodesy programs like the Great Trigonometrical Survey and the work of George Everest, and celestial mechanics problems tackled by Isaac Newton and Henri Poincaré. Modern uses span global positioning systems developed by Navstar GPS and space missions of NASA and European Space Agency that rely on spherical models for attitude, orbit, and mapping tasks.

Category:Geometry