Problem 6
In the plane, let a set of points, , be given, and join every pair by a segment. Let be the length of the longest segment. A diameter is any joining segment of length . Prove that the number of diameters is at most .
Step 1 of 4: Prove the crossing lemma
In plain words
Maximum-length chords cannot sit apart: one cross-connection would become even longer.
Detailed analysis
Suppose diameter segments and are disjoint. At the endpoint , the angle between and is less than ; otherwise by the cosine law. The same argument at each endpoint makes all four angles of the quadrilateral acute, which is impossible. Hence any two diameter segments intersect or share an endpoint.