MathLabs

Problem 3

Consider nn disks C1,C2,…,CnC_1,C_2,\ldots,C_n in the plane such that for each 1≤i<n1\le i<n, the center of CiC_i lies on the circumference of Ci+1C_{i+1}, and the center of CnC_n lies on the circumference of C1C_1. Define the score to be the number of pairs (i,j)(i,j) for which CiC_i properly contains CjC_j. Determine the maximum possible score.
Step 3 of 6: Use transitivity
Ci⊊Cj, Cj⊊Ck⟹Ci⊊CkC_i\subsetneq C_j,\ C_j\subsetneq C_k\Longrightarrow C_i\subsetneq C_k
Detailed analysis

Suppose a set of ordered pairs satisfying the preceding rules had more than (n−1)(n−2)2\frac{(n-1)(n-2)}2 elements, and choose the least such nn. If no forward pair (i,i+1)(i,i+1) and no wrap pair (n,1)(n,1) belonged to it, there would be at most n(n−3)2\frac{n(n-3)}2, which is smaller. Thus one forbidden-direction boundary pair occurs; by cyclic relabeling assume (n,1)(n,1) occurs.