In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, a great circle or orthodrome is the
circular intersection
In mathematics, the intersection of two or more objects is another object consisting of everything that is contained in all of the objects simultaneously. For example, in Euclidean geometry, when two lines in a plane are not parallel, their ...
of a
sphere
A sphere (from Ancient Greek, Greek , ) is a surface (mathematics), surface analogous to the circle, a curve. In solid geometry, a sphere is the Locus (mathematics), set of points that are all at the same distance from a given point in three ...
and a
plane passing through the sphere's
center point.
Discussion
Any
arc of a great circle is a
geodesic of the sphere, so that great circles in
spherical geometry are the natural analog of
straight lines in
Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...
. For any pair of distinct non-
antipodal points on the sphere, there is a unique great circle passing through both. (Every great circle through any point also passes through its antipodal point, so there are infinitely many great circles through two antipodal points.) The shorter of the two great-circle arcs between two distinct points on the sphere is called the ''minor arc'', and is the shortest surface-path between them. Its
arc length
Arc length is the distance between two points along a section of a curve. Development of a formulation of arc length suitable for applications to mathematics and the sciences is a problem in vector calculus and in differential geometry. In the ...
is the
great-circle distance between the points (the
intrinsic distance on a sphere), and is proportional to the
measure of the
central angle formed by the two points and the center of the sphere.
A great circle is the largest circle that can be drawn on any given sphere. Any
diameter
In geometry, a diameter of a circle is any straight line segment that passes through the centre of the circle and whose endpoints lie on the circle. It can also be defined as the longest Chord (geometry), chord of the circle. Both definitions a ...
of any great circle coincides with a diameter of the sphere, and therefore every great circle is
concentric with the sphere and shares the same
radius
In classical geometry, a radius (: radii or radiuses) of a circle or sphere is any of the line segments from its Centre (geometry), center to its perimeter, and in more modern usage, it is also their length. The radius of a regular polygon is th ...
. Any other
circle of the sphere is called a
small circle, and is the intersection of the sphere with a plane not passing through its center. Small circles are the spherical-geometry analog of circles in Euclidean space.
Every circle in Euclidean 3-space is a great circle of exactly one sphere.
The
disk bounded by a great circle is called a ''great disk'': it is the intersection of a
ball and a plane passing through its center.
In higher dimensions, the great circles on the
''n''-sphere are the intersection of the ''n''-sphere with 2-planes that pass through the origin in the
Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...
.
Half of a great circle may be called a ''great
semicircle'' (e.g., as in parts of a
meridian in astronomy).
Derivation of shortest paths
To prove that the minor arc of a great circle is the shortest path connecting two points on the surface of a sphere, one can apply
calculus of variations
The calculus of variations (or variational calculus) is a field of mathematical analysis that uses variations, which are small changes in Function (mathematics), functions
and functional (mathematics), functionals, to find maxima and minima of f ...
to it.
Consider the class of all regular paths from a point
to another point
. Introduce
spherical coordinates so that
coincides with the north pole. Any curve on the sphere that does not intersect either pole, except possibly at the endpoints, can be parametrized by
:
provided
is allowed to take on arbitrary real values. The infinitesimal arc length in these coordinates is
:
So the length of a curve
from
to
is a
functional of the curve given by
:
According to the
Euler–Lagrange equation,