n n n维球面 S n = { x ∈ R n + 1 ∣ x 2 = 1 } \mathcal S^n=\{x\in\mathbb R^{n+1}|x^2=1\} Sn={x∈Rn+1∣x2=1}的齐次空间模型是 N p 0 n = { x ∈ N n ∣ x ⋅ 0 = − 1 } \mathbb N_{p_0}^n=\{x\in\mathbb N^n|x\cdotp_0=-1\} Np0n={x∈Nn∣x⋅0=−1},其中 p 0 p_0 p0为 R n + 1 , 1 \mathbb R^{n+1,1} Rn+1,1里面特征为负数的单位向量。 R n + 1 \mathbb R^{n+1} Rn+1是 p 0 p_0 p0的对偶空间, R n + 1 = p ~ 0 \mathbb R^{n+1}=\widetilde p_0 Rn+1=p 0,是一个 n + 1 n+1 n+1维Euclidean空间,单位球是 S n \mathcal S^n Sn。
x ∈ N p 0 n x\in\mathbb N_{p_0}^n x∈Np0n的正交分解是 x = P p 0 ( x ) + P p ~ 0 = p 0 + x x=P_{p_0}(x)+P_{\widetilde p_0}=p_0+\textbf{x} x=Pp0(x)+Pp 0=p0+x,其中 x ∈ S n \textbf{x}\in\mathcal S^n x∈Sn,这引申出一个双射 i p 0 : x ∈ S n ⟶ x ∈ N p 0 n i_{p_0}:\textbf{x}\in\mathcal S^n\longrightarrow x\in\mathbb N_{p_0}^n ip0:x∈Sn⟶x∈Np0n,逆映射是 P P 0 ⊥ = P p ~ 0 P_{P_0}^\perp=P_{\widetilde p_0} PP0⊥=Pp 0。
单位球面上两点 a , b \bf a,b a,b的球面距离是 d ( a , b ) = arccos ( a ⋅ b ) d({\bf a,b})=\arccos({\bf a\cdot b}) d(a,b)=arccos(a⋅b),弦 a , b \bf a,b a,b的距离是 d c ( a , b ) = ∣ a − b ∣ d_c({\bf a,b})=|{\bf a-b}| dc(a,b)=∣a−b∣,法向距离为 d n ( a , b ) = 1 − a ⋅ b = ∣ a − b ′ ∣ = − a ⋅ b d_n({\bf a,b})=1-{\bf a\cdot b}=|{\bf a-b'}|=-a\cdot b dn(a,b)=1−a⋅b=∣a−b′∣=−a⋅b,其中 b ′ \bf b' b′是 b \bf b b点在 a \bf a a法线上的正投影。
过球心 o \bf o o作与 a \bf a a处的切面的平行面,与 − a , b -\bf a,b −a,b的连线交于 a ′ \bf a' a′点,那么 o , a ′ \bf o,a' o,a′之间的距离就称为 a , b \bf a,b a,b之间的球极距离: d s ( a , b ) = ∣ a ∧ b ∣ 1 + a ⋅ b d_s({\bf a,b})=\dfrac{|\bf a\wedge b|}{1+\bf a\cdot b} ds(a,b)=1+a⋅b∣a∧b∣。
这各种距离之间的关系是: d c ( a , b ) = 2 sin d ( a , b ) 2 d n ( a , b ) = 1 − cos d ( a , b ) d s ( a , b ) = tan d ( a , b ) 2 d s 2 ( a , b ) = d n ( a , b ) 2 − d n ( a , b ) \begin{aligned}{} &d_c({\bf a,b})=2\sin\dfrac{d({\bf a,b})}{2}&d_n({\bf a,b})=1-\cos d({\bf a,b})\\ &d_s({\bf a,b})=\tan\dfrac{d({\bf a,b})}{2}&d_s^2({\bf a,b})=\dfrac{d_n({\bf a,b})}{2-d_n({\bf a,b})} \end{aligned} dc(a,b)=2sin2d(a,b)ds(a,b)=tan2d(a,b)dn(a,b)=1−cosd(a,b)ds2(a,b)=2−dn(a,b)dn(a,b)
两点 a , b \bf a,b a,b的法向距离,等于齐次点 a , b a,b a,b的内积的相反数。