Example 5 Let be a set of points in the plane, no four of which are collinear, and let be the set of all distinct distances between points in . Denote by the multiplicity of , i.e., the number of unordered pairs such that . Prove:
Problem 1122
Official solution
Notice that, .
Let denote the number of isosceles triangles (including degenerate cases of two points and their midpoint) formed by triples of points in the set , where each equilateral triangle is counted three times. For , let denote the number of points in the set that are at a distance from .
Since point lies on the perpendicular bisector of if and only if , we have
Notice that, .
Applying the Cauchy-Schwarz inequality to the right-hand side of (1), we get
Furthermore, each line segment can be the base of at most three isosceles triangles determined by the set , otherwise, the perpendicular bisector of would pass through at least four points in , which is a contradiction.
Therefore, .
From (2) and (3), we get .