Cross-ratio construction of generalized-circle reflection
ID: cross-ratio-construction-of-generalized-circle-reflection
Normalize three distinct points on a generalized circle by a Möbius transformation taking them to . The inverse image of the extended real line is their generalized circle, and , with , fixes that circle pointwise and squares to the identity. Changing the three normalizing points replaces by with a real-coefficient Möbius map . Since commutes with conjugation, is unchanged. Thus this construction depends only on the circle. It is inversion in a circle for an ordinary circle and Euclidean reflection for a straight line, each extended to the Riemann sphere.
New to topics? Read the docs here!