A sphere (from Greek σφαῖρα—sphaira, "globe, ball" [1] ) is a geometrical object in three-dimensional space that is the surface of a ball (viz., analogous to the circular objects in two dimensions, where a "circle" circumscribes its "disk").
Like a circle in a two-dimensional space, a sphere is defined mathematically as the set of points that are all at the same distance r from a given point in a three-dimensional space. [2] This distance r is the radius of the ball, which is made up from all points with a distance less than (or, for a closed ball, less than or equal to) r from the given point, which is the center of the mathematical ball. These are also referred to as the radius and center of the sphere, respectively. The longest straight line segment through the ball, connecting two points of the sphere, passes through the center and its length is thus twice the radius; it is a diameter of both the sphere and its ball.
While outside mathematics the terms "sphere" and "ball" are sometimes used interchangeably, in mathematics the above distinction is made between a sphere, which is a two-dimensional closed surface embedded in a three-dimensional Euclidean space, and a ball, which is a three-dimensional shape that includes the sphere and everything inside the sphere (a closed ball), or, more often, just the points inside, but not on the sphere (an 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. This is analogous to the situation in the plane, where the terms "circle" and "disk" can also be confounded.
In analytic geometry, a sphere with center (x0, y0, z0) and radius r is the locus of all points (x, y, z) such that
Let a, b, c, d, e be real numbers with a ≠ 0 and put
Then the equation
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. [3]
The points on the sphere with radius and center can be parameterized via
The parameter can be associated with the angle counted positive from the direction of the positive z-axis through the center to the radius-vector, and the parameter can be associated with the angle counted positive from the direction of the positive x-axis through the center to the projection of the radius-vector on the xy-plane.
A sphere of any radius centered at zero is an integral surface of the following differential form:
This equation reflects that position and velocity vectors of a point, (x, y, z) and (dx, dy, dz), traveling on the sphere are always orthogonal to each other.
A sphere can also be constructed as the surface formed by rotating a circle about any of its diameters. 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. [5]
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
where r is the radius and d is the diameter of the sphere. Archimedes first derived this formula by showing that the volume inside a sphere is twice the volume between the sphere and the circumscribed cylinder of that sphere (having the height and diameter equal to the diameter of the sphere). [6] This may be proved by inscribing a cone upside down into semi-sphere, noting that the area of a cross section of the cone plus the area of a cross section of the sphere is the same as the area of the cross section of the circumscribing cylinder, and applying Cavalieri's principle. [7] This formula can also be derived using integral calculus, i.e. disk integration to sum the volumes of an infinite number of circular disks of infinitesimally small thickness stacked side by side and centered along the x-axis from x = −r to x = r, assuming the sphere of radius r is centered at the origin.
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):
The total volume is the summation of all incremental volumes:
In the limit as δx approaches zero, [8] this equation becomes:
At any given x, a right-angled triangle connects x, y and r to the origin; hence, applying the Pythagorean theorem yields:
Using this substitution gives
which can be evaluated to give the result
An alternative formula is found using spherical coordinates, with volume element
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 = π/6d3, 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.
The surface area of a sphere of radius r is:
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 total volume is the summation of all shell volumes:
In the limit as δr approaches zero [8] this equation becomes:
Substitute V:
Differentiating both sides of this equation with respect to r yields A as a function of r:
This is generally abbreviated as:
where r is now considered to be the fixed radius of the sphere.
Alternatively, the area element on the sphere is given in spherical coordinates by dA = r2 sin θ dθ dφ. In Cartesian coordinates, the area element is[ citation needed ]
The total area can thus be obtained by integration:
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
where ρ is the density (the ratio of mass to volume).
In case of a circle the circle can described by a parametric equation : see plane section of an ellipsoid.
But more complicated surfaces may intersect a sphere in circles, too:
The diagram shows the case, where the intersection of a cylinder and a sphere consists of two circles. Would the cylinder radius be equal to the sphere's radius, the intersection would be one circle, where both surfaces are tangent.
In case of an spheroid with the same center and major axis as the sphere, the intersection would consist of two points (vertices), where the surfaces are tangent.
If the sphere is described by a parametric representation
one gets Clelia curves, if the angles are connected by the equation
Special cases are: Viviani's curve () and spherical spirals ().
In navigation, a rhumb line or loxodrome is an arc crossing all meridians of longitude at the same angle. A rhumb line is not a spherical spiral. There is no simple connection between the angles and .
If a sphere is intersected by another surface, there may be more complicated spherical curves.
Example: sphere – cylinder
The intersection of the sphere with equation and the cylinder with equation is not just one or two circles. It is the solution of the non linear system of equations
(see implicit curve and the diagram)
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. [12] 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. [13] 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). [14]
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. [15] 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. [3]
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. [3]
A great circle on the sphere has the same center and radius as the sphere—consequently dividing it into two equal parts. The plane sections of a sphere are called spheric sections—which are either great circles for planes through the sphere's center or small circles for all others. [16]
Any plane that includes the center of a sphere divides it into two equal hemispheres. Any two intersecting planes that include the center of a sphere subdivide the sphere into four lunes or biangles, the vertices of which coincide with the antipodal points lying on the line of intersection of the planes.
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 [note 4] shares many analogous properties to Euclidean once equipped with this "great-circle distance".
And a much more abstract generalization of geometry also uses the same distance concept in the Riemannian circle.
The hemisphere is conjectured to be the optimal (least area) isometric filling of the Riemannian circle.
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.
Terms borrowed directly from geography of the Earth, despite its spheroidal shape having greater or lesser departures from a perfect sphere (see geoid), are widely well-understood. 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.
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 not on the sphere but through its center connecting the two poles may be called the axis of rotation. Circles on the sphere that are parallel (i.e. not great circles) to the equator are lines of latitude.
Spheres can be generalized to spaces of any number of dimensions. For any natural number n, an "n-sphere," often written as Sn, 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:
Spheres for n > 2 are sometimes called hyperspheres.
The n-sphere of unit radius centered at the origin is denoted Sn and is often referred to as "the" n-sphere. Note that the ordinary sphere is a 2-sphere, because it is a 2-dimensional surface (which is embedded in 3-dimensional space).
The surface area of the unit (n-1)-sphere is
where Γ(z) is Euler's gamma function.
Another expression for the surface area is
and the volume is the surface area times r/n or
General recursive formulas also exist for the volume of an n-ball.
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.
In topology, an n-sphere is defined as a space homeomorphic to the boundary of an (n + 1)-ball; thus, it is homeomorphic to the Euclidean n-sphere, but perhaps lacking its metric.
The n-sphere is denoted Sn. 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 Heine–Borel theorem implies that a Euclidean n-sphere is compact. The sphere is the inverse image of a one-point set under the continuous function ||x||. Therefore, the sphere is closed. Sn is also bounded; therefore it is compact.
Remarkably, it is possible to turn an ordinary sphere inside out in a three-dimensional space with possible self-intersections but without creating any crease, in a process called sphere eversion.
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.
Many theorems from classical geometry hold true for spherical geometry as well, but not all do because the sphere fails to satisfy some of classical geometry's postulates, including the parallel postulate. In spherical trigonometry, angles are defined between great circles. Spherical trigonometry differs from ordinary trigonometry in many respects. For example, the sum of the interior angles of a spherical triangle always exceeds 180 degrees. Also, any two similar spherical triangles are congruent.
In their book Geometry and the Imagination [17] David Hilbert and Stephan Cohn-Vossen describe eleven properties of the sphere and discuss whether these properties uniquely determine the sphere. Several properties hold for the plane, which can be thought of as a sphere with infinite radius. These properties are:
In mathematics, a spherical coordinate system is a coordinate system for three-dimensional space where the position of a point is specified by three numbers: the radial distance of that point from a fixed origin, its polar angle measured from a fixed zenith direction, and the azimuthal angle of its orthogonal projection on a reference plane that passes through the origin and is orthogonal to the zenith, measured from a fixed reference direction on that plane. It can be seen as the three-dimensional version of the polar coordinate system.
In mathematics and physics, Laplace's equation is a second-order partial differential equation named after Pierre-Simon Laplace who first studied its properties. This is often written as
In mathematics, an n-sphere is a topological space that is homeomorphic to a standardn-sphere, which is the set of points in (n + 1)-dimensional Euclidean space that are situated at a constant distance r from a fixed point, called the center. It is the generalization of an ordinary sphere in the ordinary three-dimensional space. The "radius" of a sphere is the constant distance of its points to the center. When the sphere has unit radius, it is usual to call it the unit n-sphere or simply the n-sphere for brevity. In terms of the standard norm, the n-sphere is defined as
In geometry, a torus is a surface of revolution generated by revolving a circle in three-dimensional space about an axis that is coplanar with the circle.
In geometry, a solid angle is a measure of the amount of the field of view from some particular point that a given object covers. That is, it is a measure of how large the object appears to an observer looking from that point. The point from which the object is viewed is called the apex of the solid angle, and the object is said to subtend its solid angle from that point.
An ellipsoid is a surface that may be obtained from a sphere by deforming it by means of directional scalings, or more generally, of an affine transformation.
In mathematics and physical science, spherical harmonics are special functions defined on the surface of a sphere. They are often employed in solving partial differential equations in many scientific fields.
A surface of revolution is a surface in Euclidean space created by rotating a curve around an axis of rotation.
A cardioid is a plane curve traced by a point on the perimeter of a circle that is rolling around a fixed circle of the same radius. It can also be defined as an epicycloid having a single cusp. It is also a type of sinusoidal spiral, and an inverse curve of the parabola with the focus as the center of inversion.
A cone is a three-dimensional geometric shape that tapers smoothly from a flat base to a point called the apex or vertex.
In geometry, a nephroid is a specific plane curve whose name means 'kidney-shaped'. Although the term nephroid was used to describe other curves, it was applied to the curve in this article by Proctor in 1878.
In geometry, a spherical cap or spherical dome is a portion of a sphere or of a ball cut off by a plane. It is also a spherical segment of one base, i.e., bounded by a single plane. If the plane passes through the center of the sphere, so that the height of the cap is equal to the radius of the sphere, the spherical cap is called a hemisphere.
In classical geometry, a radius of a circle or sphere is any of the line segments from its center to its perimeter, and in more modern usage, it is also their length. The name comes from the Latin radius, meaning ray but also the spoke of a chariot wheel. The plural of radius can be either radii or the conventional English plural radiuses. The typical abbreviation and mathematical variable name for radius is r. By extension, the diameter d is defined as twice the radius:
In geometry, the area enclosed by a circle of radius r is πr2. Here the Greek letter π represents the constant ratio of the circumference of any circle to its diameter, approximately equal to 3.14159.
In classical mechanics, the shell theorem gives gravitational simplifications that can be applied to objects inside or outside a spherically symmetrical body. This theorem has particular application to astronomy.
In mathematics, Viviani's curve, also known as Viviani's window, is a figure eight shaped space curve named after the Italian mathematician Vincenzo Viviani. It is the intersection of a sphere with a cylinder that is tangent to the sphere and passes through the center of the sphere. Before Viviani this curve was studied by Simon de La Loubère and Gilles de Roberval.
The Lambert azimuthal equal-area projection is a particular mapping from a sphere to a disk. It accurately represents area in all regions of the sphere, but it does not accurately represent angles. It is named for the Swiss mathematician Johann Heinrich Lambert, who announced it in 1772. "Zenithal" being synonymous with "azimuthal", the projection is also known as the Lambert zenithal equal-area projection.
Geographical distance is the distance measured along the surface of the earth. The formulae in this article calculate distances between points which are defined by geographical coordinates in terms of latitude and longitude. This distance is an element in solving the second (inverse) geodetic problem.
In mathematics, a unit circle is a circle of unit radius—that is, a radius of 1. Frequently, especially in trigonometry, the unit circle is the circle of radius 1 centered at the origin in the Cartesian coordinate system in the Euclidean plane. In topology, it is often denoted as S1 because it is a one-dimensional unit n-sphere.
In the theory of Lorentzian manifolds, spherically symmetric spacetimes admit a family of nested round spheres. In such a spacetime, a particularly important kind of coordinate chart is the Schwarzschild chart, a kind of polar spherical coordinate chart on a static and spherically symmetric spacetime, which is adapted to these nested round spheres. The defining characteristic of Schwarzschild chart is that the radial coordinate possesses a natural geometric interpretation in terms of the surface area and Gaussian curvature of each sphere. However, radial distances and angles are not accurately represented.
![]() | Wikisource has the text of the 1911 Encyclopædia Britannica article Sphere . |