直角の球面が各端点の内積を球への所属条件に変換する。
両方のベクトル P−AP-AP−A と P-B の符号を変えても内積は同じである。タレスの定理より (P−A)⋅(P−B)≤0(P-A)\cdot(P-B)\le0(P−A)⋅(P−B)≤0 は PPP が直径 ABABAB の閉球内にあることを意味し、ACACAC についても同様である。