Problem 6
Let be an integer, and consider a circle with equally spaced points marked on it. Consider all labellings of these points with the numbers such that each label is used exactly once; two such labellings are considered the same if one can be obtained from the other by a rotation of the circle. A labelling is called beautiful if, for any four labels with , the chord joining the points labelled and does not intersect the chord joining the points labelled and . Let be the number of beautiful labellings, and let be the number of ordered pairs of positive integers such that and . Prove that .
Step 4 of 5: Count extensions of nonlinear and linear rings
In plain words
A nonlinear ring has one insertion position for n, while a linear ring has the two positions adjacent to 0; the linear rings are counted by Euler's totient.
Detailed analysis
For a nonlinear ring, pseudo-parallel n-chords leave at most one possible position for n; inserting it there is beautiful, since any forbidden crossing would reflect across the n-chords to a forbidden crossing already present. For a linear ring, n must be immediately clockwise or counter-clockwise from 0, and both insertions are beautiful. A linear ring on is determined by a step coprime to n, so there are of them. If is their number, then .