Spherical geometry is the geometry of the two-dimensional surface of a sphere. It is an example of a geometry which is not Euclidean. Two practical applications of the principles of spherical geometry are to navigation and astronomy.
In plane geometry the basic concepts are points and (straight) lines. On the sphere, points are defined in the usual sense. The equivalents of lines are not defined in the usual sense of "straight line" in Euclidean geometry but in the sense of "the shortest paths between points," which are called geodesics. On the sphere the geodesics are the great circles; other geometric concepts are defined as in plane geometry but with straight lines replaced by great circles. Thus, in spherical geometry angles are defined between great circles, resulting in a spherical trigonometry that differs from ordinary trigonometry in many respects; for example, the sum of the interior angles of a triangle exceeds 180 degrees.
Spherical geometry is not elliptic geometry but shares with that geometry the property that a line has no parallels through a given point. Contrast this with Euclidean geometry, in which a line has one parallel through a given point, and hyperbolic geometry, in which a line has two parallels and an infinite number of ultraparallels through a given point.
An important geometry related to that of the sphere is that of the real projective plane; it is obtained by identifying antipodal points (pairs of opposite points) on the sphere. (This is elliptic geometry.) Locally, the projective plane has all the properties of spherical geometry, but it has different global properties. In particular, it is non-orientable, or one-sided.
Concepts of spherical geometry may also be applied to the oblong sphere, though minor modifications must be implemented on certain formulas.
Higher-dimensional spherical geometries exist; see elliptic geometry.
Muslims, according to Carra de Vaux, were "unquestionably the inventors of plane and spherical geometry, which did not, strictly speaking, exist among the Greeks". The book of unknown arcs of a sphere written by Islamic mathematician Al-Jayyani is considered to be the first treatise on spherical trigonometry. The book contains formulae for right-handed triangles, the general law of sines, and the solution of a spherical triangle by means of the polar triangle.
The book On Triangles by Regiomontanus, written around 1463, is the first pure trigonometrical work in Europe. However, Gerolamo Cardano noted a century later that much of the material there on spherical trigonometry was taken from the twelfth-century work of the Spanish Islamic scholar Jabir ibn Aflah.
Relation to Euclid's postulates
Spherical geometry obeys two of Euclid's postulates: the second postulate ("to produce [extend] a finite straight line continuously in a straight line") and the fourth postulate ("that all right angles are equal to one another"). However, it violates the other three: contrary to the first postulate, there is not a unique shortest route between any two points (antipodal points such as the north and south poles on a spherical globe are counterexamples); contrary to the third postulate, a sphere does not contain circles of arbitrarily great radius; and contrary to the fifth (parallel) postulate, there is no point through which a line can be drawn that never intersects a given line.
A statement that is logically equivalent to the parallel postulate is that there exists a triangle whose angles add up to 180°. Since spherical geometry violates the parallel postulate, there exists no such triangle on the surface of a sphere. The sum of the angles of a triangle on a sphere is 180°(1 + 4f), where f is the fraction of the sphere's surface that is enclosed by the triangle. For any positive value of f, this exceeds 180°.
- O'Connor, John J.; Robertson, Edmund F., "Menelaus of Alexandria", MacTutor History of Mathematics archive, University of St Andrews.
- Ali, Ahmed Essa with Othman (2010). Studies in Islamic civilization : the Muslim contribution to the Renaissance. Herndon, VA: International Institute of Islamic Thought. p. 99. ISBN 1-56564-350-X.
- School of Mathematical and Computational Sciences University of St Andrews
- Victor J. Katz-Princeton University Press
- Gowers, Timothy, Mathematics: A Very Short Introduction, Oxford University Press, 2002: pp. 94 and 98.
|Wikimedia Commons has media related to Spherical geometry.|