Sphere
A sphere (from Greek σφαῖρα — sphaira, "globe, ball"^{[1]}) is a perfectly round geometrical and circular object in threedimensional space that resembles the shape of a completely round ball. Like a circle, which, in geometric contexts, is in two dimensions, a sphere is defined mathematically as the set of points that are all the same distance r from a given point in threedimensional space. This distance r is the radius of the sphere, and the given point is the centre (geometry) of the sphere. The maximum straight distance through the sphere passes through the center and is thus twice the radius; it is the diameter.
In mathematics, a distinction is made between the sphere (a twodimensional closed surface embedded in threedimensional Euclidean space) and the ball (a threedimensional shape that includes the interior of a sphere).
Contents
 Area 1
 Enclosed volume 2
 Equations in \mathbb{R}^3 3
 Terminology 4
 Hemisphere 5
 Generalization to other dimensions 6
 Generalization to metric spaces 7
 Topology 8
 Spherical geometry 9
 Eleven properties of the sphere 10
 Cubes in relation to spheres 11
 See also 12
 References 13
 External links 14
Area
The surface area of a sphere is:
 A = 4\pi r^2.
Archimedes first derived this formula^{[2]} from the fact that the projection to the lateral surface of a circumscribed cylinder (i.e. the Lambert cylindrical equalarea projection) is areapreserving; 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, the incremental volume (δV) equals the product of the surface area at radius r (A(r)) and the thickness of a shell (δr):
 \delta V \approx A(r) \cdot \delta r. \,
The total volume is the summation of all shell volumes:
 V \approx \sum A(r) \cdot \delta r.
In the limit as δr approaches zero^{[3]} this equation becomes:
 V = \int_0^r A(r) \, dr.
Substitute V:
 \frac{4}{3}\pi r^3 = \int_0^r A(r) \, dr.
Differentiating both sides of this equation with respect to r yields A as a function of r:
 \!4\pi r^2 = A(r).
Which is generally abbreviated as:
 \!A = 4\pi r^2
Alternatively, the area element on the sphere is given in spherical coordinates by dA = r^2 \sin\theta\, d\theta\, d\phi.. With Cartesian coordinates, the area element dS=\frac{r}{\sqrt{r^{2}\sum_{i\ne k}x_{i}^{2}}}\Pi_{i\ne k}dx_{i},\;\forall k. More generally, see area element.
The total area can thus be obtained by integration:
 A = \int_0^{2\pi} \int_0^\pi r^2 \sin\theta \, d\theta \, d\phi = 4\pi r^2.
Enclosed volume
In 3 dimensions, the volume inside a sphere (that is, the volume of a ball) is derived to be
 \!V = \frac{4}{3}\pi r^3
where r is the radius of the sphere and π is the constant pi. Archimedes first derived this formula, which shows that the volume inside a sphere is 2/3 that of a circumscribed cylinder. (This assertion follows from Cavalieri's principle.) In modern mathematics, this formula can 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 centered side by side along the x axis from x = 0 where the disk has radius r (i.e. y = r) to x = r where the disk has radius 0 (i.e. y = 0).
At any given x, the incremental volume (δV) equals the product of the crosssectional area of the disk at x and its thickness (δx):
 \!\delta V \approx \pi y^2 \cdot \delta x.
The total volume is the summation of all incremental volumes:
 \!V \approx \sum \pi y^2 \cdot \delta x.
In the limit as δx approaches zero^{[3]} this equation becomes:
 \!V = \int_{r}^{r} \pi y^2 dx.
At any given x, a rightangled triangle connects x, y and r to the origin; hence, applying the Pythagorean theorem yields:
 \!y^2 = r^2  x^2.
Thus, substituting y with a function of x gives:
 \!V = \int_{r}^{r} \pi (r^2  x^2)dx.
Which can now be evaluated as follows:
 \!V = \pi \left[r^2x  \frac{x^3}{3} \right]_{r}^{r} = \pi \left(r^3  \frac{r^3}{3} \right)  \pi \left(r^3 + \frac{r^3}{3} \right) = \frac{4}{3}\pi r^3.
Therefore the volume of a sphere is:
 \!V = \frac{4}{3}\pi r^3.
Alternatively this formula is found using spherical coordinates, with volume element
 \mathrm{d}V=r^2\sin\theta\,\mathrm{d}r\,\mathrm{d}\theta\,\mathrm{d}\varphi
so
 V=\int_0^{2\pi} \int_{0}^{\pi} \int_0^r r^2\sin\theta\,\mathrm{d}r\,\mathrm{d}\theta\,\mathrm{d}\varphi = \frac{4}{3}\pi r^3
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 \pi/6 \approx 0.5236. For example, a sphere with diameter 1m has 52.4% the volume of a cube with edge length 1m, or about 0.524m^{3}.
In higher dimensions, the sphere (or hypersphere) is usually called an nball. General recursive formulas exist for the volume of an nball.
Equations in \mathbb{R}^3
In analytic geometry, a sphere with center (x_{0}, y_{0}, z_{0}) and radius r is the locus of all points (x, y, z) such that
 \, (x  x_0 )^2 + (y  y_0 )^2 + ( z  z_0 )^2 = r^2.
The points on the sphere with radius r can be parameterized via
 \, x = x_0 + r \cos \theta \; \sin \varphi
 \, y = y_0 + r \sin \theta \; \sin \varphi \qquad (0 \leq \theta \leq 2\pi \mbox{ and } 0 \leq \varphi \leq \pi ) \,
 \, z = z_0 + r \cos \varphi \,
(see also trigonometric functions and spherical coordinates).
A sphere of any radius centered at zero is an integral surface of the following differential form:
 \, x \, dx + y \, dy + z \, dz = 0.
This equation reflects that position and velocity vectors of a point traveling on the sphere are always orthogonal to each other.
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. 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 sphere is called the specific surface area and can be expressed from the above stated equations as
 SSA = \frac{A}{V\rho} = \frac{3}{r\rho},
where \rho is the ratio of mass to volume.
A sphere can also be defined as the surface formed by rotating a circle about any diameter. 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.
Terminology
Pairs of points on a sphere that lie on a straight line through the sphere's center are called antipodal points. A great circle is a circle on the sphere that has the same center and radius as the sphere and consequently divides it into two equal parts. The shortest distance along the surface between two distinct nonantipodal points on the surface is on the unique great circle that includes the two points. Equipped with the greatcircle distance, a great circle becomes the Riemannian circle.
If a particular point on a sphere is (arbitrarily) designated as its north pole, then the corresponding antipodal point is called the south pole, and the equator is the great circle that is equidistant to them. Great circles through the two poles are called lines (or meridians) of longitude, and the line connecting the two poles is called the axis of rotation. Circles on the sphere that are parallel to the equator are lines of latitude. This terminology is also used for such approximately spheroidal astronomical bodies as the planet Earth (see geoid).
Hemisphere
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 all coincide with the antipodal points lying on the line of intersection of the planes.
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.
The round hemisphere is conjectured to be the optimal (least area) filling of the Riemannian circle.
The circles of intersection of any plane not intersecting the sphere's center and the sphere's surface are called spheric sections.^{[5]}
Generalization to other dimensions
Spheres can be generalized to spaces of any dimension. For any natural number n, an "nsphere," often written as 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:
 S^0 : a 0sphere is a pair of endpoints of an interval (−r, r) of the real line
 S^1 : a 1sphere is a circle of radius r
 S^2 : a 2sphere is an ordinary sphere
 S^3 : a 3sphere is a sphere in 4dimensional Euclidean space.
Spheres for n > 2 are sometimes called hyperspheres.
The nsphere of unit radius centered at the origin is denoted S^{n} and is often referred to as "the" nsphere. Note that the ordinary sphere is a 2sphere, because it is a 2dimensional surface (which is embedded in 3dimensional space).
The surface area of the (n − 1)sphere of radius 1 is
 \frac{2\pi^{n/2}}{\Gamma(n/2)}
where Γ(z) is Euler's Gamma function.
Another expression for the surface area is
 \begin{cases} \displaystyle \frac{(2\pi)^{n/2}\,r^{n1}}{2 \cdot 4 \cdots (n2)}, & \text{if } n \text{ is even}; \\ \\ \displaystyle \frac{2(2\pi)^{(n1)/2}\,r^{n1}}{1 \cdot 3 \cdots (n2)}, & \text{if } n \text{ is odd}. \end{cases}
and the volume is the surface area times {r \over n} or
 \begin{cases} \displaystyle \frac{(2\pi)^{n/2}\,r^n}{2 \cdot 4 \cdots n}, & \text{if } n \text{ is even}; \\ \\ \displaystyle \frac{2(2\pi)^{(n1)/2}\,r^n}{1 \cdot 3 \cdots n}, & \text{if } n \text{ is odd}. \end{cases}
Generalization to 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 Z^{n} with Euclidean metric, a sphere of radius r is nonempty only if r^{2} can be written as sum of n squares of integers.
Topology
In topology, an nsphere is defined as a space homeomorphic to the boundary of an (n + 1)ball; thus, it is homeomorphic to the Euclidean nsphere, but perhaps lacking its metric.
 a 0sphere is a pair of points with the discrete topology
 a 1sphere is a circle (up to homeomorphism); thus, for example, (the image of) any knot is a 1sphere
 a 2sphere is an ordinary sphere (up to homeomorphism); thus, for example, any spheroid is a 2sphere
The nsphere 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.
The Heine–Borel theorem implies that a Euclidean nsphere is compact. The sphere is the inverse image of a onepoint set under the continuous function x. Therefore, the sphere is closed. S^{n} is also bounded; therefore it is compact.
Smale's paradox shows that it is possible to turn an ordinary sphere inside out in a threedimensional space with possible selfintersections but without creating any crease, a process more commonly and historically called sphere eversion.
Spherical geometry
The basic elements of Euclidean plane geometry are points and lines. On the sphere, points are defined in the usual sense, but the analogue of "line" may not be immediately apparent. Measuring by arc length yields that the shortest path between two points that entirely lie in the sphere is a segment of the great circle the includes the points; see geodesic. Many, but not all (see parallel postulate) theorems from classical geometry hold true for this spherical geometry as well. In spherical trigonometry, angles are defined between great circles. Thus spherical trigonometry differs from ordinary trigonometry in many respects. For example, the sum of the interior angles of a spherical triangle exceeds 180 degrees. Also, any two similar spherical triangles are congruent.
Eleven properties of the sphere
In their book Geometry and the imagination^{[6]} David Hilbert and Stephan CohnVossen 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:

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.
 The first part is the usual definition of the sphere and determines it uniquely. The second part can be easily deduced and follows a similar result of Apollonius of Perga for the circle. This second part also holds for the plane.

The contours and plane sections of the sphere are circles.
 This property defines the sphere uniquely.

The sphere has constant width and constant girth.
 The width of a surface is the distance between pairs of parallel tangent planes. Numerous other closed convex surfaces have constant width, for example the Meissner body. The girth of a surface is the circumference of the boundary of its orthogonal projection on to a plane. Each of these properties implies the other.

All points of a sphere are umbilics.
 At any point on a surface a normal direction is at right angles to the surface because 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.

The sphere does not have a surface of centers.
 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.

All geodesics of the sphere are closed curves.
 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.

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).

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.

The sphere has constant mean curvature.
 The sphere is the only imbedded surface that lacks boundary or singularities with constant positive mean curvature. Other such immersed surfaces as minimal surfaces have constant mean curvature.

The sphere has constant positive Gaussian curvature.
 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.

The sphere is transformed into itself by a threeparameter 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 threecoordinate axis (see Euler angles). Therefore a threeparameter 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 threeparameter family of transformations (translations along the x and y axis and rotations around the origin). Circular cylinders are the only surfaces with twoparameter families of rigid motions and the surfaces of revolution and helicoids are the only surfaces with a oneparameter family.
Cubes in relation to spheres
For every sphere there are multiple cuboids that may be inscribed within the sphere. The largest cuboid which can be inscribed within a sphere is a cube.
See also

References
 ^ σφαῖρα, Henry George Liddell, Robert Scott, A GreekEnglish Lexicon, on Perseus
 ^ Weisstein, Eric W., "Sphere", MathWorld.
 ^ ^{a} ^{b} Pages 141, 149. E.J. Borowski, J.M. Borwein. Collins Dictionary of Mathematics.
 ^ New Scientist  Technology  Roundest objects in the world created
 ^ Weisstein, Eric W., "Spheric section", MathWorld.
 ^
 William Dunham. "Pages 28, 226", The Mathematical Universe: An Alphabetical Journey Through the Great Proofs, Problems and Personalities, ISBN 0471176613.
External links
 Sphere (PlanetMath.org website)
 Weisstein, Eric W., "Sphere", MathWorld.
 Mathematica/Uniform Spherical Distribution
 Outside In. 20071114. Retrieved 20071124. (computer animation showing how the inside of a sphere can turn outside.)
 Program in C++ to draw a sphere using parametric equation
 Surface area of sphere proof.