A sphere is defined as the set of all points in three-dimensional Euclidean space that are located at a distance
(the "radius")
from a given point (the "center").
Twice the radius is called the diameter,
and pairs of points on the sphere on opposite sides of
a diameter are called antipodes.
In the standard convention, an -sphere
has intrinsic dimension
and lies in
-dimensional Euclidean space
(Hocking and Young 1988, p. 17; Maunder 1997, p. 21). The ordinary sphere
is therefore a 2-sphere, denoted
when its radius is 1. A circle
is a 1-sphere, and a glome is a 3-sphere. Coxeter (1973,
p. 125) instead indexes spheres by the dimension
of the ambient Euclidean space, calling a circle
a 2-sphere and an ordinary sphere a 3-sphere. This alternative convention must be
considered when consulting older literature.
The term "sphere" refers to the surface only, so the ordinary sphere is a two-dimensional surface. The colloquial practice of using the term "sphere" to refer to the interior of a sphere is therefore discouraged, with the interior of the sphere (i.e., the "solid sphere") being more properly termed a "ball."
The sphere is implemented in the Wolfram Language as Sphere[x, y, z
, r].
The surface area of a sphere and volume of the ball of radius are given by
|
(1)
| |||
|
(2)
|
(Beyer 1987, p. 130). In On the Sphere and Cylinder (ca. 225 BC), Archimedes became the first to derive these equations (although he expressed in terms of the sphere's circular cross
section). The fact that
|
(3)
|
was also known to Archimedes (Steinhaus 1999, p. 223; Wells 1991, pp. 236-237).
Any nonempty cross section through a sphere is a circle (or, in the degenerate case where the slicing plane is tangent to the sphere, a point). The size of the circle is maximized when the plane defining the cross section passes through a diameter.
The equation of a sphere of radius centered at the origin
is given in Cartesian coordinates by
|
(4)
|
which is a special case of the ellipsoid
|
(5)
|
and spheroid
|
(6)
|
The Cartesian equation of a sphere centered at the point with radius
is given by
|
(7)
|
A sphere with center at the origin may also be specified in spherical coordinates by
|
(8)
| |||
|
(9)
| |||
|
(10)
|
where is an azimuthal coordinate running
from 0 to
(longitude),
is a polar coordinate running from 0 to
(colatitude), and
is the radius. Note that there
are several other notations sometimes used in which the symbols for
and
are interchanged or where
is used instead of
.
If
is allowed to run from 0 to a given
radius
, then a solid ball is obtained.
A sphere with center at the origin may also be represented parametrically by letting , so
|
(11)
| |||
|
(12)
| |||
|
(13)
|
where runs from 0 to
and
runs from
to
.
The generalization of a sphere to -dimensional Euclidean space
is a hypersphere. It is an
-sphere, and when centered at
the origin it is specified by
|
(14)
|
The volume of the enclosed ball, , can be found in Cartesian,
cylindrical, and spherical
coordinates, respectively, using the integrals
|
(15)
| |||
|
(16)
| |||
|
(17)
|
The interior of the sphere of radius and mass
has moment of inertia tensor
|
(18)
|
Converting to "standard" parametric variables ,
,
and
gives the coefficients of the first fundamental form
|
(19)
| |||
|
(20)
| |||
|
(21)
|
second fundamental form coefficients
|
(22)
| |||
|
(23)
| |||
|
(24)
|
|
(25)
|
|
(26)
|
and mean curvature
|
(27)
|
Given two points on a sphere, the shortest path on the surface of the sphere which connects them (the geodesic)
is an arc of a circle known as
a great circle. The equation of the sphere with points
and
lying on a diameter
is given by
|
(28)
|
Four noncoplanar points uniquely define a sphere. Given the points with
, 2, 3, and 4, the sphere containing them is given by the
beautiful determinant equation
|
(29)
|
(Beyer 1987, p. 210).