For a finite planar point set , its distinct-distance set is . It includes zero for nonempty . Its cardinality measures how many different distances the configuration determines. Ordered point pairs can be grouped according to their distance, which relates the problem to incidences between points and curves.
For every positive distance, draw equal-radius circles centred at the points of . Their incidences between points and curves count the ordered pairs at that distance. The Szemerédi–Trotter theorem for unit circles bounds each distance class by . Summing over all classes accounts for pairs, proving .

Articles by others on the same topic (0)

There are currently no matching articles.