Points A, B, C, D and A', B', C', D' are related by a projective transformation so their cross ratios, (A, B; C, D) and (A', B'; C', D') are equal.
In geometry, the crossratio, also called double ratio and anharmonic ratio, is a number associated with a list of four collinear points, particularly points on a projective line. Given four points A, B, C and D on a line, their cross ratio is defined as

(A,B;C,D) = \frac {AC\cdot BD}{BC\cdot AD}
where an orientation of the line determines the sign of each distance and the distance is measured as projected into Euclidean space. (If one of the four points is the line's point at infinity, then the two distances involving that point are dropped from the formula.)
The quadruple of points (A, B, C, D) divides the line harmonically precisely if the crossratio of the quadruple is 1. The crossratio can therefore be regarded as measuring the quadruple's deviation from harmonic division; hence the name anharmonic ratio.
The crossratio is preserved by the fractional linear transformations and it is essentially the only projective invariant of a quadruple of collinear points, which underlies its importance for projective geometry. In the Cayley–Klein model of hyperbolic geometry, the distance between points is expressed in terms of a certain crossratio.
Crossratio 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.
Contents

Definition 1

Terminology and history 2

Properties 3

Projective geometry 4

Definition in homogeneous coordinates 5

Role in nonEuclidean geometry 6

Six crossratios and the anharmonic group 7

Role of Klein fourgroup 7.1

Exceptional orbits 7.2

Transformational approach 8

Differentialgeometric point of view 9

Higherdimensional generalizations 10

See also 11

Notes and references 12

External links 13
Definition
The crossratio of a 4tuple of distinct points on the real line with coordinates z_{1}, z_{2}, z_{3}, z_{4} is given by

(z_1,z_2;z_3,z_4) = \frac{(z_1z_3)(z_2z_4)}{(z_2z_3)(z_1z_4)}.
It can also be written as a "double ratio" of two division ratios of triples of points:

(z_1,z_2;z_3,z_4) = \frac{z_1z_3}{z_2z_3}:\frac{z_1z_4}{z_2z_4}.
The same formulas can be applied to four different complex numbers or, more generally, to elements of any field and can also be extended to the case when one of them is the symbol ∞, by removing the corresponding two differences from the formula. The formula shows that crossratio is a function of four points, generally four numbers z_1, \ z_2, \ z_3, \ z_4 taken from a field.
In geometry, if A, B, C and D are collinear points, then the cross ratio is defined similarly as

(A,B;C,D) = \frac {AC\cdot BD}{BC\cdot AD}
where each of the distances is signed according to a fixed orientation of the line.
Terminology and history
Pappus of Alexandria made implicit use of concepts equivalent to the crossratio in his Collection: Book VII. Early users of Pappus included Isaac Newton, Michel Chasles, and Robert Simson. In 1986 Alexander Jones made a translation of the original by Pappus, then wrote a commentary on how the lemmas of Pappus relate to modern terminology.
Modern use of the cross ratio in projective geometry began with Lazare Carnot in 1803 with his book Géométrie de Position. The term used was le rapport anharmonique (Fr: anharmonic ratio). German geometers call it das Doppelverhältnis (Ger: double ratio). However, in 1847 Karl von Staudt introduced the term Throw (Wurf) to avoid the metrical implication of a ratio. His construction of the Algebra of Throws provides an approach to numerical propositions, usually taken as axioms, but proven in projective geometry.^{[2]}
The English term "crossratio" was introduced in 1878 by William Kingdon Clifford.^{[3]}
Properties
The cross ratio of the four collinear points A, B, C, D can be written as

(A,B;C,D) = \frac {AC}{CB}:\frac {AD}{DB}
where \frac {AC}{CB} describes the ratio with which the point C divides the line segment AB, and \frac {AD}{DB} 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, 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 nonzero real number. We can easily deduce that

(A, B; C, D) < 0 if and only if one of the points C, D lies between the points A, B and the other does not

(A, B; C, D) = 1 / (A, B; D, C)

(A, B; C, D) = (C, D; A, B)
Projective geometry
D is the
harmonic conjugate of
C with respect to
A and
B, so that the crossratio (
A,
B;
C,
D) equals −1.
Crossratio 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 L in R^{2} then their crossratio is a welldefined quantity, because any choice of the origin and even of the scale on the line will yield the same value of the crossratio. Furthermore, let {L_{i}, 1 ≤ i ≤ 4}, be four distinct lines in the plane passing through the same point Q. Then any line L not passing through Q intersects these lines in four distinct points P_{i} (if L is parallel to L_{i} then the corresponding intersection point is "at infinity"). It turns out that the crossratio of these points (taken in a fixed order) does not depend on the choice of a line L, and hence it is an invariant of the 4tuple of lines {L_{i}}. This can be understood as follows: if L and L′ are two lines not passing through Q then the perspective transformation from L to L′ with the center Q is a projective transformation that takes the quadruple {P_{i}} of points on L into the quadruple {P_{i}′} of points on L′. Therefore, the invariance of the crossratio under projective automorphisms of the line implies (in fact, is equivalent to) the independence of the crossratio of the four collinear points {P_{i}} on the lines {L_{i}} from the choice of the line that contains them.
Definition in homogeneous coordinates
If four collinear points are represented in homogeneous coordinates by vectors a, b, c, d such that c = a + b and d = ka + b, then their crossratio is k.^{[4]}
Role in nonEuclidean geometry
Arthur Cayley and Felix Klein found an application of the crossratio to nonEuclidean geometry. Given a nonsingular conic C in the real projective plane, its stabilizer G_{C} in the projective group G = PGL(3,R) acts transitively on the points in the interior of C. However, there is an invariant for the action of G_{C} on pairs of points. In fact, every such invariant is expressible as a function of the appropriate cross ratio.
Explicitly, let the conic be the unit circle. For any two points in the unit disk, p, q, the line connecting them intersects the circle in two points, a and b. The points are, in order, a, p, q, b. Then the distance between p and q in the Cayley–Klein model of the plane hyperbolic geometry can be expressed as

d(p,q)=\frac{1}{2} \log \frac{qabp}{pabq}
(the factor one half is needed to make the curvature −1). Since the crossratio 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.
Six crossratios and the anharmonic group
The crossratio may be defined by any of these four expressions:

(z_1,z_2;z_3,z_4) = (z_2,z_1;z_4,z_3) = (z_3,z_4;z_1,z_2) = (z_4,z_3;z_2,z_1). \,
These differ by the following permutations of the variables:

(z_{1}z_{2}) (z_{3}z_{4})

(z_{1}z_{3}) (z_{2}z_{4})

(z_{1}z_{4}) (z_{2}z_{3})
These three and the identity permutation make up a realization of the Klein fourgroup, a group of order 4 in which the order of every nonidentity element is 2.
Other permutations of the four variables alter the crossratio so that it may take any of the following six values.

\begin{align} (z_1, z_2; z_3, z_4) & = \lambda & (z_1, z_2; z_4, z_3) & = \frac 1 \lambda \\[6pt] (z_1, z_3; z_4, z_2) & = \frac 1 {1\lambda} & (z_1, z_3; z_2, z_4) & = 1\lambda \\[6pt] (z_1, z_4; z_3, z_2) & = \frac \lambda {\lambda1} & (z_1, z_4; z_2, z_3) & = \frac{\lambda1} \lambda \end{align}
As functions of λ, these form a nonabelian group of order 6 with the operation of composition of functions. This is the anharmonic group. It is a subgroup of the group of all Möbius transformations. The six crossratios listed above represent torsion elements (geometrically, elliptic transforms) of PGL(2,Z). Namely, \frac{1}{\lambda}, 1\lambda\,, and \frac{\lambda}{\lambda1} are of order 2 in PGL(2,Z), with fixed points, respectively, −1, 1/2, and 2 (namely, the orbit of the harmonic crossratio). Meanwhile, elements \frac{1}{1\lambda} and \frac{\lambda1}{\lambda} are of order 3 in PGL(2, Z) – in fact in PSL(2, Z) (this corresponds to the subgroup A_{3} of even elements). Each of them fixes both values e^{\pm i\pi/3} of the "most symmetric" crossratio.
The anharmonic group is generated by λ ↦ 1/λ and λ ↦ 1 − λ. Its action on {0, 1, ∞} gives an isomorphism with S_{3}. It may also be realised as the six Möbius transformations mentioned,^{[5]} which yields a projective representation of S_{3} over any field (since it is defined with integer entries), and is always faithful/injective (since no two terms differ only by 1/−1). Over the field with two elements, the projective line only has three points, so this representation is an isomorphism, and is the exceptional isomorphism \mathrm{S}_3 \approx \mathrm{PGL}(2, 2). In characteristic 3, this stabilizes the point 1 = [1:1], which corresponds to the orbit of the harmonic crossratio being only a single point, since 2 = 1/2 = 1. Over the field with 3 elements, the projective line has only 4 points and \mathrm{S}_4 \approx \mathrm{PGL}(2, 3), and thus the representation is exactly the stabilizer of the harmonic crossratio, yielding an embedding \mathrm{S}_3 \hookrightarrow \mathrm{S}_4 equals the stabilizer of the point 1.
Role of Klein fourgroup
In the language of group theory, the symmetric group S_{4} acts on the crossratio by permuting coordinates. The kernel of this action is isomorphic to the Klein fourgroup K. This group consists of 2cycle permutations of type (ab)(cd) (in addition to the identity), which preserve the crossratio. The effective symmetry group is then the quotient group \mathrm{S}_4/\mathrm{K}, which is isomorphic to S_{3}.
Exceptional orbits
For certain values of λ there will be an enhanced symmetry and therefore fewer than six possible values for the crossratio. These values of λ correspond to fixed points of the action of S_{3} on the Riemann sphere (given by the above six functions); or, equivalently, those points with a nontrivial stabilizer in this permutation group.
The first set of fixed points is {0, 1, ∞}. However, the crossratio can never take on these values if the points {z_{i}} are all distinct. These values are limit values as one pair of coordinates approach each other:

(z,z_2;z,z_4) = (z_1,z;z_3,z) = 0

(z,z;z_3,z_4) = (z_1,z_2;z,z) = 1

(z,z_2;z_3,z) = (z_1,z;z,z_4) = \infty.
The second set of fixed points is {−1, 1/2, 2}. This situation is what is classically called the harmonic crossratio, and arises in projective harmonic conjugates. In the real case, there are no other exceptional orbits.
The most symmetric crossratio occurs when \lambda = e^{\pm i\pi/3}. These are then the only two possible values of the crossratio, and these are acted on according to the sign of the permutation.
Transformational approach
The crossratio is invariant under the projective transformations of the line. In the case of a complex projective line, or the Riemann sphere, these transformation are known as Möbius transformations. A general Möbius transformation has the form

f(z) = \frac{az+b}{cz+d}\;,\quad \mbox{where } a,b,c,d\in\Bbb{C} \mbox{ and } adbc \ne 0.
These transformations form a group acting on the Riemann sphere, the Möbius group.
The projective invariance of the crossratio means that

(f(z_1), f(z_2); f(z_3), f(z_4)) = (z_1, z_2; z_3, z_4).\
The crossratio 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, (z_{2},z_{3},z_{4}), 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 crossratio: since (z,z_{2},z_{3},z_{4}) must equal (f(z),1;0,∞) which in turn equals f(z), we obtain

f(z)=(z, z_2; z_3, z_4). \,
An alternative explanation for the invariance of the crossratio 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 z_{j} − z_{k} are invariant under the translations

z \mapsto z + a
where a is a constant in the ground field F. Furthermore, the division ratios are invariant under a homothety

z \mapsto b z
for a nonzero constant b in F. Therefore, the crossratio is invariant under the affine transformations.
In order to obtain a welldefined inversion mapping

T : z \mapsto z^{1},
the affine line needs to be augmented by the point at infinity, denoted ∞, forming the projective line P^{1}(F). Each affine mapping f: F → F can be uniquely extended to a mapping of P^{1}(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 P^{1}(F). In the case F = C, the complex plane, this results in the Möbius group. Since the crossratio is also invariant under T, it is invariant under any projective mapping of P^{1}(F) into itself.
Differentialgeometric point of view
The theory takes on a differential calculus aspect as the four points are brought into proximity. This leads to the theory of the Schwarzian derivative, and more generally of projective connections.
Higherdimensional generalizations
The crossratio 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 ktuples of points are not in general position.
While the projective linear group of the plane is 3transitive (any three distinct points can be mapped to any other three points), and indeed simply 3transitive (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 nspace \mathbf{P}^n=\mathbf{P}(K^{n+1}) has (n + 1)^{2} − 1 dimensions (because it is \mathrm{PGL}(n,K) = \mathbf{P}(\mathrm{GL}(n+1,K)), projectivization removing one dimension), but in other dimensions the projective linear group is only 2transitive – 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 6tuple 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.
See also
Notes and references

^ 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.

^ Harold Eves, A Survey of Geometry, Revised Edition. Allen an dBacon, Inc. 1972. p. 73

^ W.K. Clifford (1878) Elements of Dynamic, page 42, London: MacMillan & Co; online presentation from Cornell University Historical Mathematical Monographs

^ Irving Kaplansky (1969). Linear Algebra and Geometry: A Second Course.

^

Lars Ahlfors (1953,1966,1979) Complex Analysis, 1st edition, page 25; 2nd & 3rd editions, page 78, McGrawHill ISBN 0070006571 .

Viktor Blåsjö (2009) "Jakob Steiner’s Systematische Entwickelung: The Culmination of Classical Geometry", Mathematical Intelligencer 31(1): 21–9.

Alexander Jones (1986) Book 7 of the Collection, part 1: introduction, text, translation ISBN 0387962573, part 2: commentary, index, figures ISBN 3540962573, SpringerVerlag .

John J. Milne (1911) An Elementary Treatise on CrossRatio Geometry with Historical Notes, Cambridge University Press.

Dirk Struik (1953) Lectures on Analytic and Projective Geometry, page 7, AddisonWesley.

I. R. Shafarevich & A. O. Remizov (2012) Linear Algebra and Geometry, Springer ISBN 9783642309939.
External links

Pascal's Mystic HexagramMathPages – Kevin Brown explains the crossratio in his article about

Java Applet demonstrating the invariance of the cross ratio under a bilinear transformation

CrossRatio at cuttheknot

Weisstein, Eric W., "Crossratio", MathWorld.
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.