The cross-ratio of four points is .
By taking we define the cross-ratio on (ordered) quadruples of points on the real line, and thereby, by interpreting the differences as signed distances, on ordered quadruples of collinear points in Euclidean space. We can extend this definition to the projective line or projective space by allowing .
By taking , we define the cross-ratio on quadruples of points in the Riemann sphere . (More generally, we can define the cross-ratio on quadruples of points in any field.)
The cross-ratio is interesting because it is the essential projective invariant (in 2 dimensions); indeed, this might be taken as the more “natural” or “universal” definition, or what Tim Gowers refers to when he says that [about tensor products in particular, but also mathematical objects in general] “exactly how they are defined is not important: what matters is the properties they have.”
More precisely, the cross-ratio is invariant under projective transformations, i.e. (in 2 dimensions) under . It is essentially the only projective invariant of ordered quadruples of points, in the sense of a universal property (any projective invariant can be bijectively transformed into the cross-ratio), since acts simply transitively on ordered triples of points in . [I feel like I don’t quite understand the details of the argument here yet.]
Furthermore, quadruples of points are the natural choice of objects to determine (2-8dimensional) projective invariants on: the Euclidean distance between 2 points is invariant under translations or rotations and the ratio of the distances between 3 points is invariant under Euclidean similarities, but acts transitively on ordered triples of points in .
This property of invariance of cross-ratio allows us to define hyperbolic distance in terms of the cross-ratio: more precisely, taking the Poincaré half-plane model of the hyperbolic plane, we have that where are the endpoints on of the geodesic between and (we may replace with the Poincaré disc model throughout.)
To prove this we conformally map our points to the imaginary axis and treat only this special case: note that and also that preserves the cross-ratio. Now WLOG let lie on the imaginary axis with and (where .) Then and , as desired.