"Triple-ratios" are also projectively invariant
Source: 5th QEDMO problem 8, proposed by me but apparently known before
November 10, 2007
invariantratiogeometry theoremsgeometry
Problem Statement
Let , , , , , , , , , , , and be pairwise distinct points in space such that
.
Prove that
\frac {BA^{\prime}}{A^{\prime}C}\cdot\frac {CB^{\prime}}{B^{\prime}A}\cdot\frac {AC^{\prime}}{C^{\prime}B} \equal{} \frac {YX^{\prime}}{X^{\prime}Z}\cdot\frac {ZY^{\prime}}{Y^{\prime}X}\cdot\frac {XZ^{\prime}}{Z^{\prime}Y}.