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 4 of 6: Delete the last index
G′=G∩{1,…,n−1}2,∣G∖G′∣≤n−2G'=G\cap\{1,\ldots,n-1\}^2,\qquad |G\setminus G'|\le n-2
Detailed analysis

Because (n,1)∈G(n,1)\in G, transitivity forbids (1,n−1)(1,n-1). If more than n−2n-2 pairs involved index nn, then all n−1n-1 possible such boundary pairs would occur; starting from (n,1)(n,1) and using transitivity would force (1,n)(1,n), contradicting the wrap prohibition. Hence ∣G∖G′∣≤n−2|G\setminus G'|\le n-2.