この項目では、三次元空間内の二次元図形について説明しています。一般の球面については「超球面」を、中身の詰まった立体図形については「球体」をご覧ください。
球面の二次元投影図

初等幾何学における球面（きゅうめん、英: sphere[注釈 1]）は、完全球体 (ball) の表面を成す三次元空間内のまったく丸い幾何学的対象である。二次元の場合に、円板の境界が円周であるという関係の三次元的な対応物と考えることができる。

二次元空間における円周がそうであったように、与えられた点からの距離が一定値 r をもつような点全体の成す集合（ただし今の場合は点は三次元空間内でとる）として球面を定義することができる[1]。このとき、与えられた点をこの球面あるいは球体（距離が r 以下の点全体）の中心といい、また距離 r をこの球面あるいは球体の半径と呼ぶ。球体の中を通り、球面上の二点を結ぶ最長の直線（球面の差し渡し）はかならずその中心を通り、半径の二倍に等しい。これを球面あるいは球体の直径と呼ぶ。

緩い言い方や数学以外の文脈では、「球」が「球面」と「球体」のどちらの意味でも用いられたり、"sphere" と "ball" の意味が入れ違っていたりすることもあるが、数学的には球面 (sphere) は三次元ユークリッド空間に埋め込まれた二次元閉曲面であり、球体 (ball) は三次元空間内の球面および球面の囲む「内側」を言うという区別は確立されたものである（いまのように球面を含める場合を特に「閉球体」と呼び、囲む領域に球面をまったく含めない場合には「開球体」と呼ぶ）。この区別は必ず守られるというようなものではないし、特に古い文献では中身の詰まった図形を「球」(sphere) としている。これは二次元の場合に、「円」が（中身の詰まった）「円板」の意味だったり（境界である）「円周」の意味だったりするのとちょうど同じである。
球面の方程式two orthogonal radii of a sphere「三角函数」および「球面座標系」も参照

解析幾何学において、(x0, y0, z0) を中心とする半径 r の球面（ユークリッド球面）は ( 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}} を満たす点 (x, y, z) 全体の軌跡である。

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}}}} と書けば、上記の方程式は 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} の形になる。一般にこの形の方程式（x2, y2, z2 の係数が等しく、xy, yz, zx の項を持たない三変数二次多項式方程式）が与えられたならば、以下の何れか一つのみが成り立つ:[1]

ρ < 0 のときは、この方程式に解となる実点は存在せず、虚球 (imaginary sphere) の方程式と呼ぶ。

ρ = 0 のとき、方程式 f(x, y, z) = 0 は中心となる一点 P0 ? (x0, y0, z0) のみを解とし、点球 (point sphere) の方程式と言う。

ρ > 0 のときには、f(x, y, z) = 0 は P0 を中心とする半径 r ? √ρ の球面の方程式となる（上のふたつと対照する場合、実球 (real sphere) の方程式と言う）。

上記の方程式で a = 0 としたならば f(x, y, z) = 0 は平面の方程式となる。そこで平面を無限遠点を中心とする半径無限大の球と考えることができる[2]。

(x0, y0, z0) を中心とする半径 r の球面上の点は　 { x = x 0 + r sin ⁡ ( φ ) cos ⁡ ( θ ) y = y 0 + r sin ⁡ ( φ ) sin ⁡ ( θ ) z = z 0 + r cos ⁡ ( φ ) ( 0 ≤ φ ≤ π , 0 ≤ θ < 2 π ) {\displaystyle {\begin{cases}x=x_{0}+r\sin(\varphi )\cos(\theta )\\y=y_{0}+r\sin(\varphi )\sin(\theta )\\z=z_{0}+r\cos(\varphi )\end{cases}}\qquad (0\leq \varphi \leq \pi ,\;0\leq \theta <2\pi )} と媒介表示できる[3]。

原点を中心とする任意の半径を持つ球面は微分形式 x d x + y d y + z d z = 0 x{\mathit {dx}}+y{\mathit {dy}}+z{\mathit {dz}}=0 の積分曲面である。