Solution

ID: past-exam-of-the-short-options-course-of-the-university-of-oxford/2015/3/e/solution

The cross-ratio permutation orbit is generated by the two operations and from part (d). The full list is
These are all the possibilities: the four permutations generated by interchanging both pairs and by exchanging the two pairs leave the cross-ratio unchanged. They form the Klein four-group inside the symmetric group on four symbols, leaving at most different values; the displayed operations attain all six rational expressions.
There are fewer than six values exactly when a nonidentity operation in this six-element action fixes : if two operations give the same value, composing one with the inverse of the other gives such a fixed point. For real , the fixed-point equations are
The other two equations reduce to , which has no real root. Hence
Each exceptional value has the same three-element orbit . Every other permitted real value gives six different values.
For the geometric interpretation, put and for . Then
The three exceptional cases become
Thus the three finite points are collinear and equally spaced, with one their midpoint, even when the are viewed as points of the complex plane. Equivalently they form an arithmetic progression in some order. These are the harmonic conjugate points configurations with the fourth point equal to the point at infinity of the complex projective line.

New to topics? Read the docs here!