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 1 of 6: Encode containments as ordered pairs
score⁡(C)=∣SC∣,SC={(i,j):Ci properly contains Cj}\operatorname{score}(C)=|S_C|,\qquad S_C=\{(i,j):C_i\text{ properly contains }C_j\}
Detailed analysis

Let SCS_C be the set of ordered pairs (i,j)(i,j) for which CiC_i properly contains CjC_j. Proper containment is irreflexive and transitive, and two disks cannot properly contain one another in both directions.