Olympiad Maths Prep

Track / Stage 6 / 122 of 400 #1122 of 2000

Problem 1122

National olympiad, first round
Combinatorics Difficulty 6.2 Prove it

Example 5 Let SS be a set of nn points in the plane, no four of which are collinear, and let {d1,d2,,dk}\left\{d_{1}, d_{2}, \cdots, d_{k}\right\} be the set of all distinct distances between points in SS. Denote by mim_{i} the multiplicity of did_{i} (i=1,2,,k)(i=1,2, \cdots, k), i.e., the number of unordered pairs {P,Q}S\{P, Q\} \subseteq S such that PQ=di|P Q|=d_{i}. Prove:
i=1kmi2n3n2 \sum_{i=1}^{k} m_{i}^{2} \leqslant n^{3}-n^{2} \text {. }

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Notice that, i=1kmi=Cn2\sum_{i=1}^{k} m_{i}=\mathrm{C}_{n}^{2}.
Let Δ(S)\Delta(S) denote the number of isosceles triangles (including degenerate cases of two points and their midpoint) formed by triples of points in the set SS, where each equilateral triangle is counted three times. For DSD \in S, let mi(D)m_{i}(D) denote the number of points in the set SS that are at a distance di(i=1,2,,k)d_{i}(i=1,2, \cdots, k) from DD.

Since point DD lies on the perpendicular bisector of PQP Q if and only if DP=DQ|D P|=|D Q|, we have
Δ(S)=DSi=1kCmi(D)2=i=1kDSCmi(D)2. \Delta(S)=\sum_{D \in S} \sum_{i=1}^{k} \mathrm{C}_{m_{i}(D)}^{2}=\sum_{i=1}^{k} \sum_{D \in S} \mathrm{C}_{m_{i}(D)}^{2} .

Notice that, DSmi(D)=2mi\sum_{D \in S} m_{i}(D)=2 m_{i}.
Applying the Cauchy-Schwarz inequality to the right-hand side of (1), we get
Δ(S)=i=1kDSmi2(D)mi(D)22ni=1kmi2i=1kmi=2ni=1kmi2Cn2. Hence i=1kmi2n2(Δ(S)+Cn2). \begin{array}{l} \Delta(S)=\sum_{i=1}^{k} \sum_{D \in S} \frac{m_{i}^{2}(D)-m_{i}(D)}{2} \\ \geqslant \frac{2}{n} \sum_{i=1}^{k} m_{i}^{2}-\sum_{i=1}^{k} m_{i}=\frac{2}{n} \sum_{i=1}^{k} m_{i}^{2}-\mathrm{C}_{n}^{2} . \\ \text { Hence } \sum_{i=1}^{k} m_{i}^{2} \leqslant \frac{n}{2}\left(\Delta(S)+\mathrm{C}_{n}^{2}\right) . \end{array}

Furthermore, each line segment PQP Q can be the base of at most three isosceles triangles determined by the set SS, otherwise, the perpendicular bisector of PQP Q would pass through at least four points in SS, which is a contradiction.
Therefore, Δ(S)3Cn2\Delta(S) \leqslant 3 \mathrm{C}_{n}^{2}.
From (2) and (3), we get i=1kmi2n3n2\sum_{i=1}^{k} m_{i}^{2} \leqslant n^{3}-n^{2}.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.