Unit-circle method for a distinct-distance lower bound

ID: unit-circle-method-for-a-distinct-distance-lower-bound

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 .

New to topics? Read the docs here!