Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. For every , with ,
so in the notation of Problem 223. The same limit holds for the maximum number of times any single distance can occur among points of .
Covers. The order of growth and the leading constant of for every . The exact value of for finite is not claimed; Swanepoel's later result, on its own claim page in this folder, determines it for all large .
The argument. The lower bound places about points on a quarter arc (the points with nonnegative coordinates) of each of mutually orthogonal circles of radius , generalizing Lenz's construction: every two points on different circles are at distance one, and the restriction to a quarter arc keeps two points on the same circle within distance one, so the set has diameter one. The upper bound applies the Erdős–Stone theorem to the graph of unit-distance pairs: more than edges would force a complete -partite subgraph with parts of size three, ; its triangles lie in mutually orthogonal planes, which need dimensions. The library's [[../library/distance_problems/erdos_1960_sets_distances_points_euclidean_space/_index|card for the paper]] records the main theorem, the Lenz construction and the three-dimensional bounds the paper also proves.
Acceptance. The paper is a journal publication: P. Erdős, On sets of distances of points in Euclidean space, Magyar Tud. Akad. Mat. Kutató Int. Közl. 5 (1960), 165–169. The curator of erdosproblems.com, Thomas Bloom, marks the problem solved and credits the case to this paper.