Cross Ratio
Cross Ratio
The cross-ratio had been defined in deep antiquity, possibly already by Euclid, and was considered by
Pappus, who noted its key invariance property. It was extensively studied in the 19th century.[1]
Variants of this concept exist for a quadruple of concurrent lines on the projective plane and a quadruple of
points on the Riemann sphere. In the Cayley–Klein model of hyperbolic geometry, the distance between
points is expressed in terms of a certain cross-ratio.
Modern use of the cross ratio in projective geometry began with Lazare Carnot in 1803 with his book
Géométrie de Position.[3] Chasles coined the French term rapport anharmonique [anharmonic ratio] in
1837.[4] German geometers call it das Doppelverhältnis [double ratio].
Carl von Staudt was unsatisfied with past definitions of the cross-ratio relying on algebraic manipulation of
Euclidean distances rather than being based purely on synthetic projective geometry concepts. In 1847, von
Staudt demonstrated that the algebraic structure is implicit in projective geometry, by creating an algebra
based on construction of the projective harmonic conjugate, which he called a throw (German: Wurf): given
three points on a line, the harmonic conjugate is a
fourth point that makes the cross ratio equal to −1 . His
algebra of throws provides an approach to numerical
propositions, usually taken as axioms, but proven in
projective geometry.[5]
Definition
If A, B, C, and D are four points on an oriented affine
line, their cross ratio is:
If the displacements themselves are taken to be signed real numbers, then the cross ratio between points can
be written
If is the projectively extended real line, the cross-ratio of four distinct numbers
in is given by
The same formulas can be applied to four distinct complex numbers or, more generally, to elements of any
field, and can also be projectively extended as above to the case when one of them is
Properties
The cross ratio of the four collinear points A, B, C, and D can be written as
where describes the ratio with which the point C divides the line segment AB, and
describes the ratio with which the point D divides that same line segment. The cross ratio then appears as a
ratio of ratios, describing how the two points C and D are situated with respect to the line segment AB. As
long as the points A, B, C, and D are distinct, the cross ratio (A, B; C, D) will be a non-zero real
number. We can easily deduce that
(A, B; C, D) < 0 if and only if one of the points C or D lies between the points A and B and
the other does not
(A, B; C, D) = 1 / (A, B; D, C)
(A, B; C, D) = (C, D; A, B)
(A, B; C, D) ≠ (A, B; C, E) ↔ D ≠ E
Six cross-ratios
Four points can be ordered in 4! = 4 × 3 × 2 × 1 = 24 ways, but there are only six ways for
partitioning them into two unordered pairs. Thus, four points can have only six different cross-ratios, which
are related as:
Projective geometry
The cross-ratio is a projective invariant in the sense that it is preserved by the projective transformations
of a projective line.
In particular, if four points lie on a straight line in then their cross-ratio is a well-defined quantity,
because any choice of the origin and even of the scale on the line will yield the same value of the cross-
ratio.
Furthermore, let be four distinct lines in the plane passing through the same point .
Then any line not passing through intersects these lines in four distinct points (if is parallel to
then the corresponding intersection point is "at infinity"). It turns out that the cross-ratio of these points
(taken in a fixed order) does not depend on the choice of a line , and hence it is an invariant of the 4-tuple
of lines
This can be understood as follows: if
and are two lines not passing
through then the perspective
transformation from to with the
center is a projective transformation
that takes the quadruple of points
on into the quadruple of points
on .
Hyperbolic geometry
Explicitly, let the conic be the unit circle. For any two points P and Q, inside the unit circle . If the line
connecting them intersects the circle in two points, X and Y and the points are, in order, X, P, Q, Y . Then
the hyperbolic distance between P and Q in the Cayley–Klein model of the hyperbolic plane can be
expressed as
(the factor one half is needed to make the curvature −1 ). Since the cross-ratio is invariant under projective
transformations, it follows that the hyperbolic distance is invariant under the projective transformations that
preserve the conic C.
Conversely, the group G acts transitively on the set of pairs of points (p, q) in the unit disk at a fixed
hyperbolic distance.
Later, partly through the influence of Henri Poincaré, the cross ratio of four complex numbers on a circle
was used for hyperbolic metrics. Being on a circle means the four points are the image of four real points
under a Möbius transformation, and hence the cross ratio is a real number. The Poincaré half-plane model
and Poincaré disk model are two models of hyperbolic geometry in the complex projective line.
These differ by the following permutations of the variables (in cycle notation):
We may consider the permutations of the four variables as an action of the symmetric group S 4 on
functions of the four variables. Since the above four permutations leave the cross ratio unaltered, they form
the stabilizer K of the cross-ratio under this action, and this induces an effective action of the quotient group
on the orbit of the cross-ratio. The four permutations in K make a realization of the Klein four-group
in S 4, and the quotient is isomorphic to the symmetric group S 3.
Thus, the other permutations of the four variables alter the cross-ratio to give the following six values,
which are the orbit of the six-element group :
As functions of these are examples of Möbius transformations, which under composition of functions
form the Mobius group PGL(2, Z). The six transformations form a subgroup known as the anharmonic
group, again isomorphic to S 3. They are the torsion elements (elliptic transforms) in PGL(2, Z).
Namely, , , and are of order 2 with respective fixed points and (namely, the orbit
of the harmonic cross-ratio). Meanwhile, the elements and are of order 3 in PGL(2, Z), and
each fixes both values of the "most symmetric" cross-ratio (the solutions to
, the primitive sixth roots of unity). The order 2 elements exchange these two elements (as they
do any pair other than their fixed points), and thus the action of the anharmonic group on gives the
quotient map of symmetric groups .
Further, the fixed points of the individual 2 -cycles are,
respectively, and and this set is also
preserved and permuted by the 3 -cycles.
Geometrically, this can be visualized as the rotation
group of the trigonal dihedron, which is isomorphic to
the dihedral group of the triangle D3, as illustrated at
right. Algebraically, this corresponds to the action of
S3 on the 2-cycles (its Sylow 2-subgroups) by
conjugation and realizes the isomorphism with the
group of inner automorphisms,
For certain values of there will be greater symmetry The fixed points of the 3 -cycles are
and therefore fewer than six possible values for the
exp(±iπ/3), corresponding under M to
the poles of the sphere: exp(iπ/3) is the
cross-ratio. These values of correspond to fixed
origin and exp(−iπ/3) is the point at
points of the action of S 3 on the Riemann sphere
infinity. Each 3 -cycle is a 1/3 turn rotation
(given by the above six functions); or, equivalently,
about their axis, and they are exchanged
those points with a non-trivial stabilizer in this by the 2 -cycles.
permutation group.
In the complex case, the most symmetric cross-ratio occurs when . These are then the only two
values of the cross-ratio, and these are acted on according to the sign of the permutation.
Transformational approach
The cross-ratio is invariant under the projective transformations of the line. In the case of a complex
projective line, or the Riemann sphere, these transformations are known as Möbius transformations. A
general Möbius transformation has the form
These transformations form a group acting on the Riemann sphere, the Möbius group.
The cross-ratio is real if and only if the four points are either collinear or concyclic, reflecting the fact that
every Möbius transformation maps generalized circles to generalized circles.
The action of the Möbius group is simply transitive on the set of triples of distinct points of the Riemann
sphere: given any ordered triple of distinct points, (z2, z3, z4), there is a unique Möbius transformation
f(z) that maps it to the triple (1, 0, ∞). This transformation can be conveniently described using the cross-
ratio: since (z, z2; z3, z4) must equal (f(z), 1; 0, ∞), which in turn equals f(z), we obtain
An alternative explanation for the invariance of the cross-ratio is based on the fact that the group of
projective transformations of a line is generated by the translations, the homotheties, and the multiplicative
inversion. The differences zj − zk are invariant under the translations
where a is a constant in the ground field F. Furthermore, the division ratios are invariant under a
homothety
for a non-zero constant b in F. Therefore, the cross-ratio is invariant under the affine transformations.
the affine line needs to be augmented by the point at infinity, denoted ∞ , forming the projective line
P1(F). Each affine mapping f : F → F can be uniquely extended to a mapping of P1(F) into itself that
fixes the point at infinity. The map T swaps 0 and ∞ . The projective group is generated by T and the affine
mappings extended to P1(F). In the case F = C, the complex plane, this results in the Möbius group.
Since the cross-ratio is also invariant under T , it is invariant under any projective mapping of P1(F) into
itself.
Co-ordinate description
The imaginary part must make use of the 2-dimensional cross product
Ring homography
The concept of cross ratio only depends on the ring operations of addition, multiplication, and inversion
(though inversion of a given element is not certain in a ring). One approach to cross ratio interprets it as a
homography that takes three designated points to 0, 1, and ∞ . Under restrictions having to do with
inverses, it is possible to generate such a mapping with ring operations in the projective line over a ring.
The cross ratio of four points is the evaluation of this homography at the fourth point.
Higher-dimensional generalizations
The cross-ratio does not generalize in a simple manner to higher dimensions, due to other geometric
properties of configurations of points, notably collinearity – configuration spaces are more complicated, and
distinct k-tuples of points are not in general position.
While the projective linear group of the projective line is 3-transitive (any three distinct points can be
mapped to any other three points), and indeed simply 3-transitive (there is a unique projective map taking
any triple to another triple), with the cross ratio thus being the unique projective invariant of a set of four
points, there are basic geometric invariants in higher dimension. The projective linear group of n -space
has (n + 1)2 − 1 dimensions (because it is
projectivization removing one dimension), but in other dimensions the projective linear group is only 2-
transitive – because three collinear points must be mapped to three collinear points (which is not a
restriction in the projective line) – and thus there is not a "generalized cross ratio" providing the unique
invariant of n 2 points.
Collinearity is not the only geometric property of configurations of points that must be maintained – for
example, five points determine a conic, but six general points do not lie on a conic, so whether any 6-tuple
of points lies on a conic is also a projective invariant. One can study orbits of points in general position – in
the line "general position" is equivalent to being distinct, while in higher dimensions it requires geometric
considerations, as discussed – but, as the above indicates, this is more complicated and less informative.
However, a generalization to Riemann surfaces of positive genus exists, using the Abel–Jacobi map and
theta functions.
See also
Hilbert metric
Notes
1. A theorem on the anharmonic ratio of lines appeared in the work of Pappus, but Michel
Chasles, who devoted considerable efforts to reconstructing lost works of Euclid, asserted
that it had earlier appeared in his book Porisms.
2. Alexander Jones (1986) Book 7 of the Collection, part 1: introduction, text, translation
ISBN 0-387-96257-3, part 2: commentary, index, figures ISBN 3-540-96257-3, Springer-
Verlag
3. Carnot, Lazare (1803). Géométrie de Position (https://archive.org/details/geometriedeposit00
carn). Crapelet.
4. Chasles, Michel (1837). Aperçu historique sur l'origine et le développement des méthodes
en géométrie (https://archive.org/details/aperuhistoriq00chas/page/35/). Hayez. p. 35. (Link
is to the reprinted second edition, Gauthier-Villars: 1875.)
5. Howard Eves (1972) A Survey of Geometry, Revised Edition, page 73, Allyn and Bacon
6. W.K. Clifford (1878) Elements of Dynamic, books I,II,III (http://ebooks.library.cornell.edu/cgi/t/t
ext/text-idx?c=math;cc=math;view=toc;subview=short;idno=04370002), page 42, London:
MacMillan & Co; on-line presentation by Cornell University Historical Mathematical
Monographs.
7. Irving Kaplansky (1969). Linear Algebra and Geometry: A Second Course (https://archive.or
g/details/linearalgebrageo0000kapl). ISBN 0-486-43233-5.
8. Chandrasekharan, K. (1985). Elliptic Functions. Grundlehren der mathematischen
Wissenschaften. Vol. 281. Springer-Verlag. p. 120. ISBN 3-540-15295-4. Zbl 0575.33001 (ht
tps://zbmath.org/?format=complete&q=an:0575.33001).
References
Lars Ahlfors (1953,1966,1979) Complex Analysis, 1st edition, page 25; 2nd & 3rd editions,
page 78, McGraw-Hill ISBN 0-07-000657-1 .
Viktor Blåsjö (2009) "Jakob Steiner's Systematische Entwickelung: The Culmination of
Classical Geometry (https://archive.today/20130104231533/http://www.springerlink.com/cont
ent/p01527115762n730/)", Mathematical Intelligencer 31(1): 21–9.
John J. Milne (1911) An Elementary Treatise on Cross-Ratio Geometry with Historical Notes
(https://archive.org/details/elementarytreati00milnuoft/page/11), Cambridge University Press.
Dirk Struik (1953) Lectures on Analytic and Projective Geometry, page 7, Addison-Wesley.
I. R. Shafarevich & A. O. Remizov (2012) Linear Algebra and Geometry, Springer ISBN 978-
3-642-30993-9.
External links
MathPages – Kevin Brown explains the cross-ratio in his article about Pascal's Mystic
Hexagram (http://www.mathpages.com/home/kmath543/kmath543.htm)
Cross-Ratio (http://www.cut-the-knot.org/pythagoras/Cross-Ratio.shtml) at cut-the-knot
Weisstein, Eric W. "Cross-ratio" (https://mathworld.wolfram.com/CrossRatio.html).
MathWorld.
Ardila, Federico. "The Cross Ratio" (https://www.youtube.com/watch?v=ffvojZONF_A)
(video). youtube. Brady Haran. Archived (https://ghostarchive.org/varchive/youtube/2021121
2/ffvojZONF_A) from the original on 2021-12-12. Retrieved 6 July 2018.