球面

球面 （）是三维空间中完全圆形的几何物体，它是圆球的表面（类似于在二维空间中，“圆 ”包围着“圆盘”那样）。
就像在二维空间中的圆的定义一样，球面在数学上定义为三维空间中离给定的点距离相同的点的集合 。 这个距离 是球的半径 ，球（ball）则是由离给定点距离小于 的所有点构成的几何体，而这个给定点就是球心。球的半径和球心也是球面的半径和中心。两端都在球面上的最长线段通过球心，其长度是其半径的两倍；它是球面和球体的直径 。
尽管在数学之外，术语“球面”和“球”有时可互换使用，但在数学中是明确区分的："球面"是一种嵌在三维欧几里得空间内的二维封闭曲面，而"球"是一种三维图形，其包括球面和球面"内部"的一切（闭球），不过更常见的定义是只包括球面"内部"的所有点，"不包括"球面上的点（开球）。这种区别并不总是保持不变，尤其是在旧的数学文献里，sphere（球面）被当作固体。这与在平面上混用术语“圆”（circle）和“圆盘”（disk）的情况类似。
三维空间中的方程.
在解析几何中，球心为 formula_1，半径为 formula_2 的球面是满足下面方程的所有点 formula_3 的轨迹
令 formula_5, formula_6, formula_7, formula_8, formula_9 为实数，formula_10，并且
如果 formula_12，则那么下面的方程
没有实数根，称为虚球面的方程。如果 formula_14，则 formula_15 的唯一解是点 formula_16，此时该方程称作点球面的方程。还有一种，就是在 formula_17 的情况下，formula_15 是球面的方程，其中心是formula_19，半径是formula_20。
如果上述等式中的 formula_5 是零，那么 formula_22 就成为了平面方程。因此，平面可以认为是球心在无穷远点的球面。
半径 formula_23，中心在 formula_1 的球面上的点可以写成参数方程
以原点为中心的任意半径的球面是以下微分形式的积分曲面：
这个方程反映了在球面上行进的点的位置 formula_3 和速度向量 formula_28 总是彼此正交的。
球面还可以通过以任何直径为轴，把圆旋转一周形成的表面来构造。由于圆是一种特殊的椭圆 ，所以球面也是一种特殊的椭球面。椭圆围绕其长轴旋转形成的曲面，就是长球面；如果绕短轴旋转，就会形成一个扁球面。
包围的体积.
在三维中，球面内包围的体积 （即球的体积）是
其中 formula_2 是球面的半径。阿基米德首先推导出了这个公式，他通过证明球体内的体积是球体内部与外接圆柱体（具有与球体直径相等的高度和直径）内部之间的体积差值的两倍而得出该公式。这个说法可以根据祖暅原理得到。该公式也可以使用积分得出，即用截面积分（定积分）对无穷多的厚度无穷小的圆盘沿 formula_31 轴从 formula_32 到 formula_33 堆积起来的体积求和，假设该球面半径为 formula_2，以原点为球心。
在任何给定的 formula_31 处，体积增量（formula_36）近似等于 formula_31 处圆盘的面积与其厚度（formula_38）的乘积：
当最厚的那一个圆盘厚度趋近0时，总体积是所有增量的总和：
其中 formula_41 表示当取分割 formula_42 时，最厚的那个圆盘的厚度。此时体积为：
在任何给定的 formula_31 处，formula_31、formula_46、formula_2 都可以构成一个直角三角形；因此，应用勾股定理得出：
将上式代入得到
积分之后就可以得出结果
另外，此公式也可以用球坐标系计算，体积元可以写成
因此得到三重积分，并算出结果如下：
对于大多数实际用途而言，立方体的内接球的体积可以近似为立方体体积的52.4％，这是因为 formula_53，其中 formula_8 是球面的直径，也是立方体的边长，formula_55。例如，直径1m的球的体积是边长为1m的立方体体积的52.4％，或约0.524 m3。
表面积.
半径为 formula_2 的球体的表面积为：
阿基米德首先根据“外接圆柱体侧面的投影是保持面积的”这个事实推导出这个公式。另一种得到这个公式的方法基于如下事实，即球的表面积等于其体积公式关于 formula_2 的导数 ，因为半径为 formula_2 的球体的体积可以认为是从半径0到半径 formula_2 嵌套在一起的无穷小厚度的无穷多个同心球壳的表面积的总和。在无穷小的厚度下，任何给定球壳的内外表面面积是相等的，半径 formula_2 处的体积元可以简单地认为是半径 formula_2 处的表面积与无穷小厚度的乘积。
在任何给定半径 formula_2 处，体积增量（formula_36）等于半径 formula_2 处表面积（formula_66）与球壳厚度（formula_67）的乘积：
总体积是所有球壳体积的总和：
该等式在最厚的那一个圆盘的 formula_67 趋近于 0 时为：
代入 formula_72：
将等式两边对 formula_2 求导就会得到 formula_75 关于 formula_2 的函数：
这通常写为：
其中 formula_2 是球面的半径。
再来看一种方法，球面上的面积元可以用球坐标系给出：formula_80。用笛卡尔坐标来表示的话，面积元就会写成
更一般性的表达，请参阅面积元条目。
因此总面积可以通过积分得到：
球面是包围给定体积的所有曲面中面积最小的，球面还是给定表面积的所有闭合曲面中包围体积最大的。因此球面在自然界中出现：例如，气泡和小水滴大致为球形，因为表面张力会局部最小化表面积。
球的质量与表面积之比称为比表面积，可以由上述等式表示出来
其中 为密度（质量与体积之比）。
几何性质.
球面由四个不共面的点唯一确定。更一般地说，球面由四个条件唯一确定，例如通过一个点、与一个平面相切，等等。 该性质类似于三个非共线的点确定平面中的唯一圆的性质。
因此，一个球体由一个圆和一个不在该圆平面内的点唯一确定。
通过检查两个球面方程的共同解，可以看出两个球相交于一个圆，包含该圆的平面称作相交球的基本平面 。虽然基本平面是一个实平面，但这个圆可能是虚圆（两个球面没有实的公共点），也可能由单个点组成（两个球面在该点相切）。
在实交点处的两个球面之间的夹角是由该点处的球体的切面确定的二面角。两个球面在相交圆的所有点处的夹角都是相同的。当且仅当它们的球心之间的距离的平方等于其半径的平方和时，它们的交角才是直角（相互正交）。
球面束.
如果 formula_15 和 formula_85 是两个不同球面的方程，那么
当参数 formula_87 和 formula_88 是任意值时，也是球面方程。满足该等式的所有球体的集合称为由原始两个球体确定的球面束。在这个定义中，允许球面是一个平面（无限半径，球心在无穷远处），而如果两个原始球面都是平面，那么束的所有球面都是平面，否则在球面束中只会有一个平面（基本平面）。
如果球面束不是由所有平面组成，那么有三种类型的束：
所有从基本平面的固定点到球面束的一个球面的切线的长度都是相同的。 
基本平面是与球面束中所有球面正交的所有球面的中心的轨迹。而且，与球体束的任何两个球体正交的球体，与球面束的所有球面正交，并且其中心位于球面束的基本平面中。 
术语.
穿过球心的一条直线与球面相交，这两个相对称的交点称为对径点。大圆是球面上的一个圆，与球面具有相同的中心和半径，大圆所在的平面能将球面分成两个相同的部分。球面的截面称为圆面截口（spheric sections）。圆面截口均为圆，除了大圆以外的其他圆称为小圆。 
球面上两个不同非对径点之间的最短距离是过这两个点的唯一大圆上的两个圆弧中劣弧的长度。有了这个“大圆距离”，大圆就成为了黎曼圆。
若将球面上任意一点设为该球面的"北极"，与该点相对应的对径点则被称为"南极"，而赤道则是与这两个极点等距的大圆。 过这两个极点的大圆被称为子午线或经线，过这两个极点的直线被称为旋转轴。而纬度则是球面上与赤道平行的圆。这个术语也同样适用于那些与地球表面一样近似于球面的天体 （见大地水准面）。
半球面.
任何过球心的平面都把它分成两个相等的半球面。过球心的任何两个相交平面都将球体细分为四个球面二角形，其顶点全部与位于平面交线上的对径点重合。
球体的对径商空间是实射影平面，它也可以被看作是北半球，赤道的对映点被确定。
有猜想认为半球是黎曼圆的最佳（最小面积）等长填充。
推广.
维数.
球面可以推广到任意维数的空间。对于任意自然数formula_95，formula_95-球面（常写为formula_97）是(formula_98)维欧几里得空间中离该空间的一个中心点距离固定为 formula_2 的点的集合，其中 formula_2 与前面一样是正实数。特别地：
formula_107的球面有时称作超球面 。
以原点为中心的单位半径 formula_95 球面表示为 formula_97，通常称为“ formula_95 球面”。请注意，普通球面是一个2-球面，因为它是一个二维曲面（它嵌入在三维空间中）。
单位(formula_111)-球面的表面积是
其中formula_113是欧拉发现的伽马函数 。
表面积的另一种表达式为
体积等于表面积乘以formula_115，或者说
对于formula_95球的体积也存在一般递归公式。
度量空间.
更一般地，在度量空间 formula_118 中，中心 formula_119 、半径 formula_120 的球面是使得 formula_121 的点 formula_122 的集合。
如果球心是位于 formula_123 的原点（如在赋范空间中那样）的话，定义和符号中没有提及它。如果等于1，则半径也是如此，例如单位球体的情况。
与球体不同的是，即使是一个大球面也可能是一个空集。例如，在欧几里德度量 formula_124 中，只有 formula_125 可以写成整数的 formula_126 平方和时，半径 formula_127 的球面才是非空的。
拓扑学.
在拓扑学中，formula_95球面定义为与formula_129球体的边界同胚的空间；因此它与欧几里德 formula_95 球体同胚 ，但可能缺少其度量 。
formula_95 球面记为 formula_132 。它是没有边界的紧致拓扑流形的一个例子。球面不必是光滑的；如果它是光滑的，它就不需要与欧几里得球面微分同胚 。
海涅－博雷尔定理表明欧几里德 formula_95 球面是紧致的。球面是连续函数formula_134下单点集的逆象。因此，球面是闭合的。formula_132 也是有界的；所以它是紧致的。
值得注意的是，在三维空间中是可以把普通的球面内外翻转过来的，这个过程称作球面外翻，过程中可能会发生自交，但不会产生任何折痕。
球面几何.
欧几里得平面几何的基本要素是点和线。在球面上，点以通常的意义来定义。“线”的类似物是测地线，测地线是一个大圈；大圆的界定性特征是含有其所有点的平面也穿过球心。弧长测量表明，球面上两点之间的最短路径是过这两点的大圆的较短的那一段圆弧。
经典几何的许多定理也适用于球面几何，但并非所有的定理都是这样，因为球面不能满足一些经典几何的假设，包括平行假设。在球面三角学中，角是在大圆之间定义的。球面三角学在许多方面与普通的三角学不同。例如，球形三角形的内角之和总是超过180度。而且，任何两个相似的球面三角形都是全等的。
球面的十一种性质.
在David Hilbert和Stephan Cohn-Vossen的著作《几何与想象》 一书中，统一描述了球面的11种性质，并讨论了这些性质是否仅仅存在于确定球面之中。一些性质对于平面来说也是成立的，因为平面可以视作半径无限大的球面。这些性质为：
（详见欧拉角）。因此，存在一个三参数的旋转族，使得每次旋转将球面转换成自身；这个族被称为旋转组SO(3)。该平面是唯一具有三参数变换族的一个曲面（沿原点周围的轴旋转和平移）。圆柱体是唯一具有双参数系列刚性运动的表面，并且旋转表面和螺旋面是具有单参数系列的表面。