Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. Among points of the plane with diameter one, at most pairs are at distance one, and for every some -point set of diameter one has exactly such pairs. In the notation of Problem 223, for , while two points give the single pair .
Covers. The case of the problem: the exact value of for every , namely for and for . Nothing is claimed about .
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 planar points occurs at most 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 , by the vertices of a regular -gon, whose longest diagonals form a cycle of length . 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.