MathLabs

Problem 6

Let n≥2n\ge2 be an integer, and consider a circle with n+1n+1 equally spaced points marked on it. Consider all labellings of these points with the numbers 0,1,…,n0,1,\ldots,n 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 a<b<c<da<b<c<d with a+d=b+ca+d=b+c, the chord joining the points labelled aa and dd does not intersect the chord joining the points labelled bb and cc. Let MM be the number of beautiful labellings, and let NN be the number of ordered pairs (x,y)(x,y) of positive integers such that x+y≤nx+y\le n and gcd⁡(x,y)=1\gcd(x,y)=1. Prove that M=N+1M=N+1.
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.

Ln−1=φ(n),Mn=Mn−1+φ(n)L_{n-1}=\varphi(n),\qquad M_n=M_{n-1}+\varphi(n)
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 {0,…,n−1}\{0,\ldots,n-1\} is determined by a step coprime to n, so there are φ(n)\varphi(n) of them. If Ln−1L_{n-1} is their number, then Mn=Mn−1+Ln−1=Mn−1+φ(n)M_n=M_{n-1}+L_{n-1}=M_{n-1}+\varphi(n).