MathLabs
TheoremProved

Cross-Ratio Invariance Under Projective Transformations

Statement

If a projective transformation φ\varphi of RP2\mathbb{RP}^2 maps four collinear points A,B,C,DA, B, C, D to A′,B′,C′,D′A', B', C', D' on the image line, then the cross-ratios agree: (A,B;C,D)=(A′,B′;C′,D′)(A,B;C,D) = (A',B';C',D').

Why is it true?

A projective transformation is represented by an invertible linear map on homogeneous coordinates, and the cross-ratio is built only from coefficients expressing two of the points as linear combinations of the other two; since a linear map preserves linear combinations exactly, it cannot change those coefficients, so the cross-ratio survives.

Proof sketch

Represent the four collinear points by homogeneous coordinate vectors A,B,C,D∈R3A, B, C, D \in \mathbb{R}^3 lying in a common 2-dimensional subspace, and represent φ\varphi by an invertible 3×33\times 3 matrix MM, so that φ\varphi applied to a point with vector PP has homogeneous coordinates MPMP.

Because A,B,C,DA, B, C, D are collinear, representatives can be chosen so that C=λ1A+μ1BC = \lambda_1 A + \mu_1 B and D=λ2A+μ2BD = \lambda_2 A + \mu_2 B for scalars λ1,μ1,λ2,μ2\lambda_1, \mu_1, \lambda_2, \mu_2; the cross-ratio (A,B;C,D)(A,B;C,D) is defined purely in terms of these four scalars, specifically as μ1/λ1μ2/λ2\dfrac{\mu_1/\lambda_1}{\mu_2/\lambda_2}.

Applying the linear map MM gives MC=λ1(MA)+μ1(MB)MC = \lambda_1(MA) + \mu_1(MB) and MD=λ2(MA)+μ2(MB)MD = \lambda_2(MA) + \mu_2(MB), because matrix multiplication distributes over linear combinations; so the very same scalars λ1,μ1,λ2,μ2\lambda_1, \mu_1, \lambda_2, \mu_2 express φ(C)\varphi(C) and φ(D)\varphi(D) in terms of φ(A)\varphi(A) and φ(B)\varphi(B).

Since the cross-ratio depends only on these scalars and they are unchanged by MM, we conclude (φ(A),φ(B);φ(C),φ(D))=(A,B;C,D)(\varphi(A),\varphi(B);\varphi(C),\varphi(D)) = (A,B;C,D), which is exactly the claimed invariance.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. H. S. M. Coxeter (1974). Projective Geometry
  2. Jürgen Richter-Gebert (2011). Perspectives on Projective Geometry: A Guided Tour Through Real and Complex Geometry
  3. Wikipedia contributors (2026). Pascal's theorem — Wikipedia
  4. Wikipedia contributors (2026). Lam's problem — Wikipedia