For two spheres with positive radii and center separation , putExternally disjoint spheres have ; strictly nested disjoint spheres have . For unoriented spheres, the invariant under Möbius transformations is , provided both images remain finite spheres. The signed expression becomes invariant when the spheres carry consistently transported orientations and signed radii. Some authors use its negative.[ref]
Laguerre geometry in space forms and incircular nets by Alexander I. Bobenko and others. Appendix B.1, Definition B.2 and Proposition B.6, page 66; that source uses the opposite sign
The sign issue is visible without any general theory. Take unit spheres centered at and , so . Under , the first remains the unit sphere, while the second has center and radius , inside it. Substitution now gives . Thus the old positive-radius formula alone cannot be a signed conformal invariant. For disjoint unoriented spheres, is another common distance convention.
Articles by others on the same topic
Inversive distance is a mathematical concept used primarily in the fields of geometry and complex analysis. It is often employed in the context of circles or spherical geometry and is defined in relation to circles. The inversive distance between two circles is defined as the reciprocal of the distance between their respective centers, adjusted for the radii of the circles.