球面 （英語：sphere ）是三维空间 中完全圆形的几何 物体，它是圆球 的表面（类似于在二维空间中，“圆 ”包围着“圆盘 ”那样）。
就像在二维空间中的圆的定义一样，球面在数学上定义为三维空间中离给定的点距离相同的点的集合 r [ 1] r 半径 ，球（ball）则是由离给定点距离小于 r 直径 。
尽管在数学之外，术语“球面”和“球”有时可互换使用，但在数学 中是明确区分的：球面 是一种嵌在三维欧几里得空间 内的二维封闭曲面，而球 是一种三维图形，其包括球面和球面内部 的一切（闭球 ），不过更常见的定义是只包括球面内部 的所有点，不包括 球面上的点（开球 ）。这种区别并不总是保持不变，尤其是在旧的数学文献里，sphere（球面）被当作固体。这与在平面 上混用术语“圆”（circle）和“圆盘”（disk）的情况类似。
在解析几何 中，球心为 (x 0 , y 0 , z 0 ) r (x , y , z ) 轨迹
(
x
−
x
0
)
2
+
(
y
−
y
0
)
2
+
(
z
−
z
0
)
2
=
r
2
.
{\displaystyle (x-x_{0})^{2}+(y-y_{0})^{2}+(z-z_{0})^{2}=r^{2}.}
令 a, b, c, d, e a ≠ 0
x
0
=
−
b
a
,
y
0
=
−
c
a
,
z
0
=
−
d
a
,
ρ
=
b
2
+
c
2
+
d
2
−
a
e
a
2
.
{\displaystyle x_{0}={\frac {-b}{a}},\quad y_{0}={\frac {-c}{a}},\quad z_{0}={\frac {-d}{a}},\quad \rho ={\frac {b^{2}+c^{2}+d^{2}-ae}{a^{2}}}.}
如果
ρ
<
0
{\displaystyle \rho <0}
f
(
x
,
y
,
z
)
=
a
(
x
2
+
y
2
+
z
2
)
+
2
(
b
x
+
c
y
+
d
z
)
+
e
=
0
{\displaystyle f(x,y,z)=a(x^{2}+y^{2}+z^{2})+2(bx+cy+dz)+e=0}
没有实数根，称为虚球面 的方程。如果
ρ
=
0
{\displaystyle \rho =0}
f
(
x
,
y
,
z
)
=
0
{\displaystyle f(x,y,z)=0}
P
0
=
(
x
0
,
y
0
,
z
0
)
{\displaystyle P_{0}=(x_{0},y_{0},z_{0})}
点球面 的方程。还有一种，就是在
ρ
>
0
{\displaystyle \rho >0}
f
(
x
,
y
,
z
)
=
0
{\displaystyle f(x,y,z)=0}
P
0
{\displaystyle P_{0}}
ρ
{\displaystyle {\sqrt {\rho }}}
[ 1]
如果上述等式中的 a f (x , y , z ) = 0无穷远点 的球面。[ 2]
半径
r
>
0
{\displaystyle r>0}
(
x
0
,
y
0
,
z
0
)
{\displaystyle (x_{0},y_{0},z_{0})}
x
=
x
0
+
r
sin
φ
cos
θ
y
=
y
0
+
r
sin
φ
sin
θ
(
0
≤
φ
≤
π
,
0
≤
θ
<
2
π
)
z
=
z
0
+
r
cos
φ
{\displaystyle {\begin{aligned}x&=x_{0}+r\sin \varphi \;\cos \theta \\y&=y_{0}+r\sin \varphi \;\sin \theta \qquad (0\leq \varphi \leq \pi ,\;0\leq \theta <2\pi )\\z&=z_{0}+r\cos \varphi \,\end{aligned}}}
[ 3] 以原点为中心的任意半径的球面是以下微分形式 的积分曲面：
x
d
x
+
y
d
y
+
z
d
z
=
0.
{\displaystyle x\,\mathrm {d} x+y\,\mathrm {d} y+z\,\mathrm {d} z=0.}
这个方程反映了在球面上行进的点的位置 (x , y , z ) (dx , dy , dz ) 正交 的。
球面还可以通过以任何直径 为轴，把圆旋转一周 形成的表面来构造。由于圆是一种特殊的椭圆 ，所以球面也是一种特殊的椭球面。椭圆围绕其长轴旋转形成的曲面，就是长球面 ；如果绕短轴旋转，就会形成一个扁球面。[ 4]
将圆柱外接到一个球面上 在三维中，球面内包围的体积 （即球 的体积）是
V
=
4
3
π
r
3
{\displaystyle V={\frac {4}{3}}\pi r^{3}}
其中 r 阿基米德 首先推导出了这个公式，他通过证明球体内的体积是球体内部与外接圆柱体 （具有与球体直径相等的高度和直径）内部之间的体积差值的两倍而得出该公式。[ 5] 祖暅原理 得到。该公式也可以使用积分得出，即用截面积分（定积分）对无穷多的厚度无穷小的圆盘沿 x x = −r x = r r
在任何给定的 x ΔV x Δx
Δ
V
≈
π
y
2
⋅
Δ
x
.
{\displaystyle \Delta V\approx \pi y^{2}\cdot \Delta x.}
当最厚的那一个圆盘厚度趋近0时，总体积是所有增量的总和：
V
=
lim
|
|
T
|
|
→
0
∑
π
y
2
⋅
Δ
x
.
{\displaystyle V=\lim _{||T||\to 0}\sum \pi y^{2}\cdot \Delta x.}
其中 ||T T
V
=
∫
−
r
r
π
y
2
d
x
.
{\displaystyle V=\int _{-r}^{r}\pi y^{2}\mathrm {d} x.}
在任何给定的 x x y r 勾股定理 得出：
y
2
=
r
2
−
x
2
.
{\displaystyle y^{2}=r^{2}-x^{2}.}
将上式代入得到
V
=
∫
−
r
r
π
(
r
2
−
x
2
)
d
x
,
{\displaystyle V=\int _{-r}^{r}\pi (r^{2}-x^{2})\mathrm {d} x,}
积分之后就可以得出结果
V
=
π
[
r
2
x
−
x
3
3
]
−
r
r
=
π
(
r
3
−
r
3
3
)
−
π
(
−
r
3
+
r
3
3
)
=
4
3
π
r
3
.
{\displaystyle V=\pi \left[r^{2}x-{\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}.}
另外，此公式也可以用球坐标系计算，体积元可以写成
d
V
=
ρ
2
sin
φ
d
ρ
d
θ
d
φ
{\displaystyle \mathrm {d} V=\rho ^{2}\sin \varphi \,\mathrm {d} \rho \,\mathrm {d} \theta \,\mathrm {d} \varphi }
因此得到三重积分 ，并算出结果如下：
V
=
∫
0
2
π
d
θ
∫
0
π
d
φ
∫
0
r
ρ
2
sin
θ
d
ρ
=
4
3
π
r
3
.
{\displaystyle V=\int _{0}^{2\pi }\mathrm {d} \theta \,\int _{0}^{\pi }\mathrm {d} \varphi \,\int _{0}^{r}\rho ^{2}\sin \theta \mathrm {d} \rho ={\frac {4}{3}}\pi r^{3}.}
对于大多数实际用途而言，立方体的内接球的体积可以近似为立方体体积的52.4％，这是因为 V = π / 6 d 3 d π / 6 3 。
半径为r 表面積 为：
A
=
4
π
r
2
.
{\displaystyle A=4\pi r^{2}.}
阿基米德 首先根据“外接圆柱体侧面的投影是保持面积的”这个事实推导出这个公式[ 6] [ 7] r 导数 ，因为半径为 r r r r
在任何给定半径 r [ 8] ΔV r A (r )Δr
Δ
V
≈
A
(
r
)
⋅
Δ
r
.
{\displaystyle \Delta V\approx A(r)\cdot \Delta r.}
总体积是所有球壳体积的总和：
V
≈
∑
A
(
r
)
⋅
Δ
r
.
{\displaystyle V\approx \sum A(r)\cdot \Delta r.}
该等式在最厚的那一个圆盘的 Δr [ 9]
V
=
∫
0
r
A
(
r
)
d
r
.
{\displaystyle V=\int _{0}^{r}A(r)\,\mathrm {d} r.}
代入 V
4
3
π
r
3
=
∫
0
r
A
(
r
)
d
r
.
{\displaystyle {\frac {4}{3}}\pi r^{3}=\int _{0}^{r}A(r)\,\mathrm {d} r.}
将等式两边对 r A r
4
π
r
2
=
A
(
r
)
.
{\displaystyle 4\pi r^{2}=A(r).}
这通常写为：
A
=
4
π
r
2
,
{\displaystyle A=4\pi r^{2},}
其中 r
再来看一种方法，球面上的面积元可以用球坐标系给出：dA = r 2 sin φ dθ dφ
d
S
=
r
r
2
−
∑
i
≠
k
x
i
2
∏
i
≠
k
d
x
i
,
∀
k
.
{\displaystyle \mathrm {d} S={\frac {r}{\sqrt {r^{2}-{\displaystyle \sum _{i\neq k}x_{i}^{2}}}}}\prod _{i\neq k}\mathrm {d} x_{i},\;\forall k.}
更一般性的表达，请参阅面积元 条目。
因此总面积可以通过积分 得到：
A
=
∫
0
2
π
d
θ
∫
0
π
r
2
sin
φ
d
φ
=
∫
0
2
π
[
−
r
2
cos
φ
]
0
π
d
θ
=
4
π
r
2
.
{\displaystyle A=\int _{0}^{2\pi }\mathrm {d} \theta \,\int _{0}^{\pi }r^{2}\sin {\varphi }\mathrm {d} \varphi =\int _{0}^{2\pi }[-r^{2}\cos {\varphi }]_{0}^{\pi }\,\mathrm {d} \theta =4\pi r^{2}.}
上图中的球体被认为是最精确的人造球体之一，它折射 出背景中爱因斯坦 的画像。这个球体是引力探测器B 实验中所用的熔融石英 陀螺仪 ，它在形状上和完美球体之间的误差不超过40颗原子（不到10纳米 ）厚度。2008年7月1日，一些来自澳大利亚 的科学家宣称他们制造出了更加接近完美的球体，准确率为0.3纳米，它的创造背景是当年科学家们在寻求一千克 的新标准。[ 10] 球面是包围给定体积的所有曲面中面积最小的，球面还是给定表面积的所有闭合曲面中包围体积最大的。因此球面在自然界中出现：例如，气泡和小水滴大致为球形，因为表面张力 会局部最小化表面积。
球的质量与表面积之比称为比表面积，可以由上述等式表示出来
S
S
A
=
A
V
ρ
=
3
r
ρ
,
{\displaystyle \mathrm {SSA} ={\frac {A}{V\rho }}={\frac {3}{r\rho }},}
其中 ρ 密度 （质量与体积之比）。
球面由四个不共面的点唯一确定。更一般地说，球面由四个条件唯一确定，例如通过一个点、与一个平面相切，等等。 [ 11]
因此，一个球体由一个圆和一个不在该圆平面内的点唯一确定。
通过检查两个球面方程的共同解，可以看出两个球相交于一个圆，包含该圆的平面称作相交球的基本平面 。[ 12] [ 13]
在实交点处的两个球面之间的夹角是由该点处的球体的切面确定的二面角 。两个球面在相交圆的所有点处的夹角都是相同的。[ 14] 正交 ）。[ 2]
如果 f (x , y , z ) = 0g (x , y , z ) = 0
s
f
(
x
,
y
,
z
)
+
t
g
(
x
,
y
,
z
)
=
0
{\displaystyle sf(x,y,z)+tg(x,y,z)=0}
当参数 s t 球面束 。在这个定义中，允许球面是一个平面（无限半径，球心在无穷远处），而如果两个原始球面都是平面，那么束的所有球面都是平面，否则在球面束中只会有一个平面（基本平面）。[ 2]
如果球面束不是由所有平面组成，那么有三种类型的束：[ 13]
若球面相交于一个实圆 C C C
若球面相交于一个虚圆，球面束的所有球面也会通过这个虚圆，但是其实这些普通球面不相交（没有真正的公共点）。中心线垂直于这个基本平面，这是一个真实的平面，但其中包含了一个假想的圆。
如果球面相交于一点 A A A 所有从基本平面的固定点到球面束的一个球面的切线的长度都是相同的。 [ 13]
基本平面是与球面束中所有球面正交的所有球面的中心的轨迹。而且，与球体束的任何两个球体正交的球体，与球面束的所有球面正交，并且其中心位于球面束的基本平面中。 [ 13]
穿过球心的一条直线与球面相交，这两个相对称的交点称为对径点。大圆 是球面上的一个圆，与球面具有相同的中心和半径，大圆所在的平面能将球面分成两个相同的部分。球面的截面称为圆面截口 （spheric sections）。圆面截口均为圆，除了大圆以外的其他圆称为小圆 。 [ 15]
球面上两个不同非对径点之间的最短距离是过这两个点的唯一大圆上的两个圆弧中劣弧的长度。有了这个“大圆距离”，大圆就成为了黎曼圆。
若将球面上任意一点设为该球面的北极 ，与该点相对应的对径点则被称为南极 ，而赤道 则是与这两个极点等距的大圆。 过这两个极点的大圆被称为子午线 或经线 ，过这两个极点的直线被称为旋转轴。而纬度 则是球面上与赤道平行的圆。这个术语也同样适用于那些与地球 表面一样近似于球面 的天体 （见大地水准面 ）。
球体的对径商空间是实射影平面 ，它也可以被看作是北半球，赤道的对映点被确定。
有猜想认为半球是黎曼圆的最佳（最小面积）等长填充。
球面可以推广到任意维数的空间 。对于任意自然数 n n S n n + 1r r
S 0 [−r , r ] S 1 r 的圆 S 2 S 3 3-球面 是四维欧氏空间中的球面。n > 2
以原点为中心的单位半径n S n n
单位(n -1
2
π
n
2
Γ
(
n
2
)
{\displaystyle {\frac {2\pi ^{\frac {n}{2}}}{\Gamma \left({\frac {n}{2}}\right)}}}
其中Γ(z ) 发现的伽马函数 。
表面积的另一种表达式为
{
(
2
π
)
n
/
2
r
n
−
1
2
⋅
4
⋯
(
n
−
2
)
,
if
n
is even
;
2
(
2
π
)
(
n
−
1
)
/
2
r
n
−
1
1
⋅
3
⋯
(
n
−
2
)
,
if
n
is odd
.
{\displaystyle {\begin{cases}\displaystyle {\frac {(2\pi )^{n/2}\,r^{n-1}}{2\cdot 4\cdots (n-2)}},&{\text{if }}n{\text{ is even}};\\\\\displaystyle {\frac {2(2\pi )^{(n-1)/2}\,r^{n-1}}{1\cdot 3\cdots (n-2)}},&{\text{if }}n{\text{ is odd}}.\end{cases}}}
体积等于表面积乘以r / n
{
(
2
π
)
n
/
2
r
n
2
⋅
4
⋯
n
,
if
n
is even
;
2
(
2
π
)
(
n
−
1
)
/
2
r
n
1
⋅
3
⋯
n
,
if
n
is odd
.
{\displaystyle {\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 )^{(n-1)/2}\,r^{n}}{1\cdot 3\cdots n}},&{\text{if }}n{\text{ is odd}}.\end{cases}}}
对于n
更一般地，在度量空间 (E ,d ) x r > 0d (x ,y ) = r y
如果球心是位于E 赋范 空间中那样）的话，定义和符号中没有提及它。如果等于1，则半径也是如此，例如单位球体 的情况。
与球体 不同的是，即使是一个大球面也可能是一个空集。例如，在欧几里德度量 Z n r 2 整数 的n r
在拓扑学 中，n (n + 1) n 度量 。
0-球面是一对具有离散拓扑的点。
1-球面是一个圆（同胚 意义下）。因此，例如（任何扭结的像）是1-球面。
2-球面就是普通的球面（同胚 意义下）。因此，例如，任何类球面 都是2-球面。 n Sn 边界 的紧致 拓扑流形的 一个例子。球面不必是光滑的；如果它是光滑的，它就不需要与欧几里得球面微分同胚 。
海涅－博雷尔定理 表明欧几里德n ||x Sn
值得注意的是，在三维空间 中是可以把普通的球面内外翻转过来的，这个过程称作球面外翻，过程中可能会发生自交，但不会产生任何折痕。
球面上的大圆 欧几里得平面几何的基本要素是点 和线。在球面上，点以通常的意义来定义。“线”的类似物是测地线 ，测地线是一个大圈 ；大圆的界定性特征是含有其所有点的平面也穿过球心。弧长 测量表明，球面上两点之间的最短路径是过这两点的大圆 的较短的那一段圆弧。
经典几何的许多定理也适用于球面几何，但并非所有的定理都是这样，因为球面不能满足一些经典几何的假设，包括平行假设 。在球面三角学 中，角 是在大圆之间定义的。球面三角学在许多方面与普通的三角学 不同。例如，球形三角形的内角之和总是超过180度。而且，任何两个相似的球面三角形都是全等的。
球面的一个法向量，一个法平面及其正截面。交叉曲线的曲率是截面曲率。对于球面，通过给定点的每个法线段将是一个半径相同的圆（半径为球的半径）。这意味着球面上的每个点都是脐点。 在David Hilbert 和Stephan Cohn-Vossen的著作《几何与想象》 [ 16]
球面上任意点与球心的距离都是相同的。同时，它和某两个固定点之间的距离之比是恒定的。
第一句一般是球面的定义，可以唯一确定球面。而第二句的结论与阿波罗尼斯圆 类似，很容易被推导出，第二句的结论也适用于平面。 球面的外轮廓和用平面截出的截面都是圆。
该性质是球面独有的性质。 球面的径长和周长保持不变。
曲面的径长是指两个与该曲面相切的互相平行的平面的距离。除了球面之外，还有很多的闭合凸面的径长也是恒定不变的，例如迈斯纳结构 。而曲面的周长 是在平面上的正交投影的边界长度。从这两者中任意性质出发都可以推出另一个性质。 球面的所有点都是脐点 。
因为球面上的法线是由球心向外辐射的，所以在球面上任意一点的 法线与其外表面的夹角都成直角。过法线的平面与曲面的交线形成的曲线称为法曲线 ，法曲线的曲率为也被称为法曲率 。对于大多数曲面上大部分的点，不同的法曲线的法曲率也不同；而这些法曲率的最大值和最小值被称为主曲率 。任何闭合的曲面上至少有四个脐点 。脐点上所有的法曲率是相等的;包括其主曲率 也是相等的。脐点可以被认为是曲面上最像球面的点。
球面上所有法曲线的曲率都是相等的，所以每个点都是脐点。曲面中，只有球面和平面具有此性质。 球体是没有中心表面的。
对于一个给定的法曲线，存在一个曲率等于截面曲率的曲率圆与曲面相切，圆心位于其法线上。例如，对应其最大和最小截面曲率的两个圆心被称为焦点 ，所有这些圆心的集合形成的面叫做焦面 。
对于大多数曲面来说，焦面会形成两个曲面在脐点处相交。一下几种特殊的情况：
对于管道曲面，一层焦面形成曲线，另一层焦面形成为曲面
对于圆锥体 ，圆柱体， 环面 和环形曲线两层焦面都形成曲面。
在球面上，每一个大圆的圆心都在球体的球心，而焦面形成一个点该性质是球面独有的。 球面上的所有测地线都是闭合曲线。
测地线是球面表面上的曲线，也是两点之间的最短距离。它们是平面几何中直线概念的一种概括性表达。对于球面来说，测地线是一个大的圆。许多其他的曲面都有这种性质。 在体积大小一定的情况下，球面的表面积最小；而在表面积的大小固定的情况下，球面则能包围最大的体积。
这个性质源自自等周不等式 。这些性质唯一地定义了球面，例如在肥皂泡 中：肥皂泡包围的体积不变， 其表面张力 使得其表面积最小。一个自由浮动的肥皂泡因此近似于一个球体(尽管由于重力这样的外力会轻微使得肥皂泡的形状变得扭曲)。 在所有已经给定表面积的凸固体中，球面的总平均曲率是最小的。
平均曲率 是两个主曲率的平均值，这是恒定的一个数值，因为球面上的所有点的主曲率都是相等的。球面的平均曲率是恒定的。
球面是唯一没有边界和奇异点而有恒定正平均曲率的嵌入面。其他如最小曲面这样的沉浸面的平均曲率也是恒定的。 球面的高斯曲率是一个常数。
高斯曲率 是两个主曲率的乘积。它是一种可以通过测量长度和角度来确定的固有性质，与曲面如何嵌入这个空间无关。因此，折弯曲面并不会改变高斯曲率，而其他高斯曲率不变的曲面则可以通过在球面上切割一个小狭缝并折弯来得到。所有其他的曲面都有边界，球面是唯一没有边界的曲面，因为它的高斯曲率是一个常数。伪球面 是一个高斯曲率为负且不变的曲面的例子。球面是由一个由三参数所组成的刚性运动所构成的。
围绕任何轴旋转，在原点处的单位球会将球面阴影映射到其自身上。任何绕着过原点的直线的旋转都可以表示为在三坐标轴上旋转的组合 （详见欧拉角 ）。因此，存在一个三参数的旋转族，使得每次旋转将球面转换成自身；这个族被称为旋转组SO(3)。该平面是唯一具有三参数变换族的一个曲面（沿原点周围的x y 旋转表面 和螺旋面是具有单参数系列的表面。
演示工程仪器的扑克牌，英格兰，1702。黑桃K：球体
Albert, Abraham Adrian, Solid Analytic Geometry, Dover, 2016 [1949], ISBN 978-0-486-81026-3 Dunham, William. The Mathematical Universe: An Alphabetical Journey Through the Great Proofs, Problems and Personalities. : 28, 226. ISBN 0-471-17661-3 Kreyszig, Erwin, Advanced Engineering Mathematics 3rd, New York: Wiley , 1972, ISBN 0-471-50728-8 Steinhaus, H., Mathematical Snapshots Third American, Oxford University Press, 1969 Woods, Frederick S., Higher Geometry / An Introduction to Advanced Methods in Analytic Geometry, Dover, 1961 [1922] 
![{\displaystyle V=\pi \left[r^{2}x-{\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}.}](http://wikimedia.org/api/rest_v1/media/math/render/svg/4c081de9760153a5ab7e59be1b9de1aa97d08dec)
![{\displaystyle A=\int _{0}^{2\pi }\mathrm {d} \theta \,\int _{0}^{\pi }r^{2}\sin {\varphi }\mathrm {d} \varphi =\int _{0}^{2\pi }[-r^{2}\cos {\varphi }]_{0}^{\pi }\,\mathrm {d} \theta =4\pi r^{2}.}](http://wikimedia.org/api/rest_v1/media/math/render/svg/b4a27c8ea81d50d501df7fb3bb0bff593f198ad3)
