Problem 6
Let be a positive integer. Let be unit circles in the plane, with centers respectively. If no line meets more than two of the circles, prove that .
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.
Detailed analysis
For fixed , the arcs belonging to different are pairwise disjoint: a tangent at the same point meeting both and would meet three circles. Let be the total angular length of their union. Since each contributes two arcs of length , . Now let be the angular length of the points on 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 . The support arcs are disjoint from the pair-arcs. Therefore , and hence .