MathLabs

Problem 6

In the plane, let a set of nn points, nge3n\\ge3, be given, and join every pair by a segment. Let dd be the length of the longest segment. A diameter is any joining segment of length dd. Prove that the number of diameters is at most nn.
Step 1 of 4: Prove the crossing lemma
In plain words

Maximum-length chords cannot sit apart: one cross-connection would become even longer.

PQ=RS=d,quadPQcapRS=varnothingLongrightarrowsome cross-distance is >d.PQ=RS=d,\\quad PQ\\cap RS=\\varnothing\\Longrightarrow\text{some cross-distance is }>d.
Detailed analysis

Suppose diameter segments PQPQ and RSRS are disjoint. At the endpoint QQ, the angle between QPQP and QRQR is less than 90∘90^\circ; otherwise PR>dPR>d 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.