Sphere
Sphere
A great circle on the sphere has the same center and radius as the
sphere, and divides it into two equal hemispheres.
Two orthogonal radii of a sphere
Although the Earth is not perfectly spherical, terms borrowed from
geography are convenient to apply to the sphere. If a particular point
on a sphere is (arbitrarily) designated as its north pole, its antipodal
point is called the south pole. The great circle equidistant to each is then the equator. Great circles through the
poles are called lines of longitude or meridians. A line connecting the two poles may be called the axis of
rotation. Small circles on the sphere that are parallel to the equator are lines of latitude. In geometry unrelated
to astronomical bodies, geocentric terminology should be used only for illustration and noted as such, unless
there is no chance of misunderstanding.[3]
Mathematicians consider a sphere to be a two-dimensional closed surface embedded in three-dimensional
Euclidean space. They draw a distinction a sphere and a ball, which is a three-dimensional manifold with
boundary that includes the volume contained by the sphere. An open ball excludes the sphere itself, while a
closed ball includes the sphere: a closed ball is the union of the open ball and the sphere, and a sphere is the
boundary of a (closed or open) ball. The distinction between ball and sphere has not always been maintained
and especially older mathematical references talk about a sphere as a solid. The distinction between "circle"
and "disk" in the plane is similar.
Equations
In analytic geometry, a sphere with center (x0, y0, z0) and radius r is the locus of all points (x, y, z) such
that
Since it can be expressed as a quadratic polynomial, a sphere is a quadric surface, a type of algebraic
surface.[3]
has no real points as solutions if and is called the equation of an imaginary sphere. If , the only
solution of is the point and the equation is said to be the equation of a
point sphere. Finally, in the case , is an equation of a sphere whose center is and
whose radius is . [2]
If a in the above equation is zero then f(x, y, z) = 0 is the equation of a plane. Thus, a plane may be thought
of as a sphere of infinite radius whose center is a point at infinity.[4]
Parametric
A parametric equation for the sphere with radius and center can be parameterized using
trigonometric functions.
[5]
The symbols used here are the same as those used in spherical coordinates. r is constant, while θ varies from 0
to π and varies from 0 to 2π .
Properties
Enclosed volume
In three dimensions, the volume inside a sphere (that is, the volume of
a ball, but classically referred to as the volume of a sphere) is
At any given x, the incremental volume (δV) equals the product of the cross-sectional area of the
disk at x and its thickness (δx):
At any given x, a right-angled triangle connects x, y and r to the origin; hence, applying the
Pythagorean theorem yields:
so
For most practical purposes, the volume inside a sphere inscribed in a cube can be approximated as 52.4% of
π
the volume of the cube, since V = 6 d 3, where d is the diameter of the sphere and also the length of a side of
π
the cube and 6 ≈ 0.5236. For example, a sphere with diameter 1 m has 52.4% the volume of a cube with edge
length 1 m, or about 0.524 m3 .
Surface area
Archimedes first derived this formula[9] from the fact that the projection to the lateral surface of a
circumscribed cylinder is area-preserving.[10] Another approach to obtaining the formula comes from the fact
that it equals the derivative of the formula for the volume with respect to r because the total volume inside a
sphere of radius r can be thought of as the summation of the surface area of an infinite number of spherical
shells of infinitesimal thickness concentrically stacked inside one another from radius 0 to radius r. At
infinitesimal thickness the discrepancy between the inner and outer surface area of any given shell is
infinitesimal, and the elemental volume at radius r is simply the product of the surface area at radius r and the
infinitesimal thickness.
At any given radius r,[note 1] the incremental volume (δV) equals the product of the surface
area at radius r (A(r)) and the thickness of a shell (δr):
The sphere has the smallest surface area of all surfaces that enclose a given volume, and it encloses the largest
volume among all closed surfaces with a given surface area.[11] The sphere therefore appears in nature: for
example, bubbles and small water drops are roughly spherical because the surface tension locally minimizes
surface area.
The surface area relative to the mass of a ball is called the specific surface area and can be expressed from the
above stated equations as
A sphere can be constructed as the surface formed by rotating a circle about any of its diameters; this is
essentially the traditional definition of a sphere as given in Euclid's Elements. Since a circle is a special type of
ellipse, a sphere is a special type of ellipsoid of revolution. Replacing the circle with an ellipse rotated about its
major axis, the shape becomes a prolate spheroid; rotated about the minor axis, an oblate spheroid.[12]
A sphere is uniquely determined by four points that are not coplanar. More generally, a sphere is uniquely
determined by four conditions such as passing through a point, being tangent to a plane, etc.[13] This property
is analogous to the property that three non-collinear points determine a unique circle in a plane.
Consequently, a sphere is uniquely determined by (that is, passes through) a circle and a point not in the plane
of that circle.
By examining the common solutions of the equations of two spheres, it can be seen that two spheres intersect
in a circle and the plane containing that circle is called the radical plane of the intersecting spheres.[14]
Although the radical plane is a real plane, the circle may be imaginary (the spheres have no real point in
common) or consist of a single point (the spheres are tangent at that point).[15]
The angle between two spheres at a real point of intersection is the dihedral angle determined by the tangent
planes to the spheres at that point. Two spheres intersect at the same angle at all points of their circle of
intersection.[16] They intersect at right angles (are orthogonal) if and only if the square of the distance between
their centers is equal to the sum of the squares of their radii.[4]
Pencil of spheres
If f(x, y, z) = 0 and g(x, y, z) = 0 are the equations of two distinct spheres then
is also the equation of a sphere for arbitrary values of the parameters s and t. The set of all spheres satisfying
this equation is called a pencil of spheres determined by the original two spheres. In this definition a sphere is
allowed to be a plane (infinite radius, center at infinity) and if both the original spheres are planes then all the
spheres of the pencil are planes, otherwise there is only one plane (the radical plane) in the pencil.[4]
1. The points on the sphere are all the same distance from a
fixed point. Also, the ratio of the distance of its points from
two fixed points is constant.
At any point on a surface a normal direction is at right angles to the surface because on
the sphere these are the lines radiating out from the center of the sphere. The intersection
of a plane that contains the normal with the surface will form a curve that is called a
normal section, and the curvature of this curve is the normal curvature. For most points on
most surfaces, different sections will have different curvatures; the maximum and
minimum values of these are called the principal curvatures. Any closed surface will have
at least four points called umbilical points. At an umbilic all the sectional curvatures are
equal; in particular the principal curvatures are equal. Umbilical points can be thought of
as the points where the surface is closely approximated by a sphere.
For the sphere the curvatures of all normal sections are equal, so every point is an
umbilic. The sphere and plane are the only surfaces with this property.
For a given normal section exists a circle of curvature that equals the sectional curvature,
is tangent to the surface, and the center lines of which lie along on the normal line. For
example, the two centers corresponding to the maximum and minimum sectional
curvatures are called the focal points, and the set of all such centers forms the focal
surface.
For most surfaces the focal surface forms two sheets that are each a surface and meet at
umbilical points. Several cases are special:
* For channel surfaces one sheet forms a curve and the other sheet is a surface
* For cones, cylinders, tori and cyclides both sheets form curves.
* For the sphere the center of every osculating circle is at the center of the sphere and the
focal surface forms a single point. This property is unique to the sphere.
Geodesics are curves on a surface that give the shortest distance between two points.
They are a generalization of the concept of a straight line in the plane. For the sphere the
geodesics are great circles. Many other surfaces share this property.
7. Of all the solids having a given volume, the sphere is the one with the smallest surface area; of
all solids having a given surface area, the sphere is the one having the greatest volume.
It follows from isoperimetric inequality. These properties define the sphere uniquely and
can be seen in soap bubbles: a soap bubble will enclose a fixed volume, and surface
tension minimizes its surface area for that volume. A freely floating soap bubble therefore
approximates a sphere (though such external forces as gravity will slightly distort the
bubble's shape). It can also be seen in planets and stars where gravity minimizes surface
area for large celestial bodies.
8. The sphere has the smallest total mean curvature among all convex solids with a given surface
area.
The mean curvature is the average of the two principal curvatures, which is constant
because the two principal curvatures are constant at all points of the sphere.
Gaussian curvature is the product of the two principal curvatures. It is an intrinsic property
that can be determined by measuring length and angles and is independent of how the
surface is embedded in space. Hence, bending a surface will not alter the Gaussian
curvature, and other surfaces with constant positive Gaussian curvature can be obtained
by cutting a small slit in the sphere and bending it. All these other surfaces would have
boundaries, and the sphere is the only surface that lacks a boundary with constant,
positive Gaussian curvature. The pseudosphere is an example of a surface with constant
negative Gaussian curvature.
11. The sphere is transformed into itself by a three-parameter family of rigid motions.
Rotating around any axis a unit sphere at the origin will map the sphere onto itself. Any
rotation about a line through the origin can be expressed as a combination of rotations
around the three-coordinate axis (see Euler angles). Therefore, a three-parameter family
of rotations exists such that each rotation transforms the sphere onto itself; this family is
the rotation group SO(3). The plane is the only other surface with a three-parameter
family of transformations (translations along the x- and y-axes and rotations around the
origin). Circular cylinders are the only surfaces with two-parameter families of rigid
motions and the surfaces of revolution and helicoids are the only surfaces with a one-
parameter family.
Spherical geometry
The basic elements of Euclidean plane geometry are points and lines.
On the sphere, points are defined in the usual sense. The analogue of
the "line" is the geodesic, which is a great circle; the defining
characteristic of a great circle is that the plane containing all its points
also passes through the center of the sphere. Measuring by arc length
shows that the shortest path between two points lying on the sphere is
the shorter segment of the great circle that includes the points.
Any pair of points on a sphere that lie on a straight line through the sphere's center (i.e. the diameter) are called
antipodal points—on the sphere, the distance between them is exactly half the length of the
circumference.[note 2] Any other (i.e. not antipodal) pair of distinct points on a sphere
Spherical geometry is a form of elliptic geometry, which together with hyperbolic geometry makes up non-
Euclidean geometry.
Differential geometry
The sphere is a smooth surface with constant Gaussian curvature at each point equal to 1/r2.[9] As per Gauss's
Theorema Egregium, this curvature is independent of the sphere's embedding in 3-dimensional space. Also
following from Gauss, a sphere cannot be mapped to a plane while maintaining both areas and angles.
Therefore, any map projection introduces some form of distortion.
A sphere of radius r has area element . This can be found from the volume element in
spherical coordinates with r held constant.[9]
A sphere of any radius centered at zero is an integral surface of the following differential form:
This equation reflects that the position vector and tangent plane at a point are always orthogonal to each other.
Furthermore, the outward-facing normal vector is equal to the position vector scaled by 1/r.
In Riemannian geometry, the filling area conjecture states that the hemisphere is the optimal (least area)
isometric filling of the Riemannian circle.
Topology
The n -sphere is denoted S n. It is an example of a compact topological manifold without boundary. A sphere
need not be smooth; if it is smooth, it need not be diffeomorphic to the Euclidean sphere (an exotic sphere).
The sphere is the inverse image of a one-point set under the continuous function || x||, so it is closed; S n is
also bounded, so it is compact by the Heine–Borel theorem.
Remarkably, it is possible to turn an ordinary sphere inside out in a three-dimensional space with possible self-
intersections but without creating any creases, in a process called sphere eversion.
The antipodal quotient of the sphere is the surface called the real projective plane, which can also be thought
of as the Northern Hemisphere with antipodal points of the equator identified.
Curves on a sphere
Circles
Clelia curves
A Clelia curve is a curve on a sphere for which the longitude and the colatitude Loxodrome
satisfy the equation
as the intersection of a sphere with a quadratic cone whose vertex is the sphere center;
as the intersection of a sphere with an elliptic or hyperbolic cylinder whose axis passes
through the sphere center;
as the locus of points whose sum or difference of great-circle distances from a pair of foci is a
constant.
Many theorems relating to planar conic sections also extend to spherical conics.
Example
sphere – cylinder
Generalizations
Ellipsoids
An ellipsoid is a sphere that has been stretched or compressed in one or more directions. More exactly, it is the
image of a sphere under an affine transformation. An ellipsoid bears the same relationship to the sphere that an
ellipse does to a circle.
Dimensionality
Spheres can be generalized to spaces of any number of dimensions. For any natural number n , an n -sphere,
often denoted S n, is the set of points in (n + 1 )-dimensional Euclidean space that are at a fixed distance r
from a central point of that space, where r is, as before, a positive real number. In particular:
Metric spaces
More generally, in a metric space (E,d), the sphere of center x and radius r > 0 is the set of points y such that
d(x,y) = r.
If the center is a distinguished point that is considered to be the origin of E, as in a normed space, it is not
mentioned in the definition and notation. The same applies for the radius if it is taken to equal one, as in the
case of a unit sphere.
Unlike a ball, even a large sphere may be an empty set. For example, in Zn with Euclidean metric, a sphere of
radius r is nonempty only if r2 can be written as sum of n squares of integers.
An octahedron is a sphere in taxicab geometry, and a cube is a sphere in geometry using the Chebyshev
distance.
History
The geometry of the sphere was studied by the Greeks. Euclid's Elements defines the sphere in book XI,
discusses various properties of the sphere in book XII, and shows how to inscribe the five regular polyhedra
within a sphere in book XIII. Euclid does not include the area and volume of a sphere, only a theorem that the
volume of a sphere varies as the third power of its diameter, probably due to Eudoxus of Cnidus. The volume
and area formulas were first determined in Archimedes's On the Sphere and Cylinder by the method of
exhaustion. Zenodorus was the first to state that, for a given surface area, the sphere is the solid of maximum
volume.[3]
Archimedes wrote about the problem of dividing a sphere into segments whose volumes are in a given ratio,
but did not solve it. A solution by means of the parabola and hyperbola was given by Dionysodorus.[19] A
similar problem — to construct a segment equal in volume to a given segment, and in surface to another
segment — was solved later by al-Quhi.[3]
Gallery
Regions
Hemisphere Spherical sector
Spherical cap Spherical segment
Spherical lune Spherical wedge
Spherical polygon Spherical zone
See also
3-sphere Hand with Reflecting Sphere, M.C. Escher
Affine sphere self-portrait drawing illustrating reflection
and the optical properties of a mirror sphere
Alexander horned sphere
Celestial spheres Hoberman sphere
Curvature Homology sphere
Directional statistics Homotopy groups of spheres
Homotopy sphere
Dyson sphere
Lenart Sphere
Gauss map
Napkin ring problem Spherical cow
Orb (optics) Spherical helix, tangent indicatrix of a curve
Pseudosphere of constant precession
Riemann sphere Spherical polyhedron
Solid angle Sphericity
Sphere packing Tennis ball theorem
Spherical coordinates Zoll sphere
Notes
1. r is being considered as a variable in this computation.
2. It does not matter which direction is chosen, the distance is the sphere's radius × π.
3. The distance between two non-distinct points (i.e. a point and itself) on the sphere is zero.
References
1. σφαῖρα (https://www.perseus.tufts.edu/hopper/text?doc=Perseus%3Atext%3A1999.04.0057%3
Aentry%3Dsfai%3Dra^), Henry George Liddell, Robert Scott, A Greek-English Lexicon, on
Perseus.
2. Albert 2016, p. 54.
3. Chisholm, Hugh, ed. (1911). "Sphere" (https://en.wikisource.org/wiki/1911_Encyclop%C3%A6
dia_Britannica/Sphere). Encyclopædia Britannica. Vol. 25 (11th ed.). Cambridge University
Press. pp. 647–648.
4. Woods 1961, p. 266.
5. Kreyszig (1972, p. 342).
6. Steinhaus 1969, p. 223.
7. "The volume of a sphere – Math Central" (http://mathcentral.uregina.ca/QQ/database/QQ.09.0
1/rahul1.html). mathcentral.uregina.ca. Retrieved 10 June 2019.
8. E.J. Borowski; J.M. Borwein (1989). Collins Dictionary of Mathematics. pp. 141, 149.
ISBN 978-0-00-434347-1.
9. Weisstein, Eric W. "Sphere" (https://mathworld.wolfram.com/Sphere.html). MathWorld.
10. Steinhaus 1969, p. 221.
11. Osserman, Robert (1978). "The isoperimetric inequality" (https://www.ams.org/journals/bull/197
8-84-06/S0002-9904-1978-14553-4/). Bulletin of the American Mathematical Society. 84 (6):
1187. doi:10.1090/S0002-9904-1978-14553-4 (https://doi.org/10.1090%2FS0002-9904-1978-1
4553-4). Retrieved 14 December 2019.
12. Albert 2016, p. 60.
13. Albert 2016, p. 55.
14. Albert 2016, p. 57.
15. Woods 1961, p. 267.
16. Albert 2016, p. 58.
17. Hilbert, David; Cohn-Vossen, Stephan (1952). Geometry and the Imagination (https://archive.or
g/details/geometryimaginat00davi_0) (2nd ed.). Chelsea. ISBN 978-0-8284-1087-8.
18. Weisstein, Eric W. "Spheric section" (https://mathworld.wolfram.com/SphericSection.html).
MathWorld.
19. Fried, Michael N. (25 February 2019). "conic sections" (https://oxfordre.com/view/10.1093/acref
ore/9780199381135.001.0001/acrefore-9780199381135-e-8161). Oxford Research
Encyclopedia of Classics. doi:10.1093/acrefore/9780199381135.013.8161 (https://doi.org/10.1
093%2Facrefore%2F9780199381135.013.8161). ISBN 978-0-19-938113-5. Retrieved
4 November 2022. "More significantly, Vitruvius (On Architecture, Vitr. 9.8) associated conical
sundials with Dionysodorus (early 2nd century bce), and Dionysodorus, according to Eutocius
of Ascalon (c. 480–540 ce), used conic sections to complete a solution for Archimedes'
problem of cutting a sphere by a plane so that the ratio of the resulting volumes would be the
same as a given ratio."
20. New Scientist | Technology | Roundest objects in the world created (https://www.newscientist.c
om/article/dn14229-roundest-objects-in-the-world-created.html).
Further reading
Albert, Abraham Adrian (2016) [1949], Solid Analytic Geometry, Dover, ISBN 978-0-486-81026-
3.
Dunham, William (1997). The Mathematical Universe: An Alphabetical Journey Through the
Great Proofs, Problems and Personalities (https://archive.org/details/mathematicaluniv00dun
h). Wiley. New York. pp. 28 (https://archive.org/details/mathematicaluniv00dunh/page/n34),
226. Bibcode:1994muaa.book.....D (https://ui.adsabs.harvard.edu/abs/1994muaa.book.....D).
ISBN 978-0-471-17661-9.
Kreyszig, Erwin (1972), Advanced Engineering Mathematics (https://archive.org/details/advanc
edengineer00krey) (3rd ed.), New York: Wiley, ISBN 978-0-471-50728-4.
Steinhaus, H. (1969), Mathematical Snapshots (Third American ed.), Oxford University Press.
Woods, Frederick S. (1961) [1922], Higher Geometry / An Introduction to Advanced Methods in
Analytic Geometry, Dover.
John C. Polking (15 April 1999). "The Geometry of the Sphere" (https://www.math.csi.cuny.edu/
~ikofman/Polking/sphere.html#basic). www.math.csi.cuny.edu. Retrieved 21 January 2022.
External links
Mathematica/Uniform Spherical Distribution
Surface area of sphere proof (http://mathschallenge.net/index.php?section=faq&ref=geometry/s
urface_sphere)