MathLabs

Problem 6

Let n≥3n\ge3 be a positive integer. Let C1,C2,…,CnC_1,C_2,\ldots,C_n be unit circles in the plane, with centers O1,O2,…,OnO_1,O_2,\ldots,O_n respectively. If no line meets more than two of the circles, prove that ∑1≤i<j≤n1OiOj≤(n−1)π4\sum_{1\le i<j\le n}\frac1{O_iO_j}\le\frac{(n-1)\pi}{4}.
Step 2 of 3: Sum the disjoint arcs
In plain words

No tangent can belong to two pair-arcs, because then one line would meet three circles.

αi=∑j≠i2θij\alpha_i=\sum_{j\ne i}2\theta_{ij}
Detailed analysis

For fixed ii, the arcs belonging to different jj are pairwise disjoint: a tangent at the same point meeting both CjC_j and CkC_k would meet three circles. Let αi\alpha_i be the total angular length of their union. Since each jj contributes two arcs of length θij\theta_{ij}, αi=∑j≠i2θij\alpha_i=\sum_{j\ne i}2\theta_{ij}. Now let βi\beta_i be the angular length of the points on CiC_i whose tangent is a supporting line of the union of all the closed disks. As the direction of a supporting line makes one full turn, its contact point runs through these support arcs, so ∑iβi=2π\sum_i\beta_i=2\pi. The support arcs are disjoint from the pair-arcs. Therefore ∑i(αi+βi)≤2nπ\sum_i(\alpha_i+\beta_i)\le2n\pi, and hence ∑iαi≤2(n−1)π\sum_i\alpha_i\le2(n-1)\pi.