Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Claim. Among n≥2n\ge2 points of the plane with diameter one, at most nn pairs are at distance one, and for every n≥3n\ge3 some nn-point set of diameter one has exactly nn such pairs. In the notation of Problem 223, f2(n)=nf_2(n)=n for n≥3n\ge3, while two points give the single pair f2(2)=1f_2(2)=1.

Covers. The case d=2d=2 of the problem: the exact value of f2(n)f_2(n) for every n≥2n\ge2, namely nn for n≥3n\ge3 and 11 for n=2n=2. Nothing is claimed about d≥3d\ge3.

The argument. The result is Aufgabe 167 of the Jahresbericht der Deutschen Mathematiker-Vereinigung 43 (1934), 114, a posed problem whose published solutions followed, cited with its volume as the bibliography of [[../library/distance_problems/swanepoel_2009_unit_distances_diameters_euclidean_spaces/_index|Swanepoel's 2009 paper]] gives it; the site records that Erdős's 1946 note describes a short proof. That note's Theorem 3, that the maximum distance among nn planar points occurs at most nn times, is summarized on the library's [[../library/distance_problems/erdos_1946_sets_distances_points/_index|card for Erdős's note]]; the bound is attained, for odd nn, by the vertices of a regular nn-gon, whose longest diagonals form a cycle of length nn. Erdős also records there Vázsonyi's conjecture for the three-dimensional case.

Acceptance. The curator of erdosproblems.com, Thomas Bloom, marks the problem solved and credits the planar case to Hopf and Pannwitz, with Erdős's 1946 Monthly note (Amer. Math. Monthly 53 (1946), 248–250) as the published exposition of the proof. The 1934 item itself is a problem posting, so no refereed publication of the claimants' own proof is listed.