---

Claim. Among $n\ge4$ points of $\mathbb R^3$ with diameter one, at most $2n-2$ pairs are at distance one, and this is attained. In the notation of Problem 223, $f_3(n)=2n-2$. This is Vázsonyi's conjecture as Erdős recorded it in 1946; see the library's [[../library/distance_problems/erdos_1946_sets_distances_points/_index|card for Erdős's 1946 note]].

Covers. The case $d=3$ of the problem: the exact value $f_3(n)=2n-2$ for every $n\ge4$; the values for $n=2,3$ ($1$ and $3$) are trivial. Nothing is claimed about the plane or about $d\ge4$.

Independent proofs. Grünbaum and Straszewicz proved the same theorem independently; each has his own claim page in this folder, and the site credits all three.

Acceptance. The paper is refereed: A. Heppes, Beweis einer Vermutung von A. Vázsonyi, Acta Mathematica Academiae Scientiarum Hungaricae 7 (1956), no. 3–4, 463–466, as its publisher's record gives it. The curator of erdosproblems.com, Thomas Bloom, marks the problem solved and credits the three-dimensional case to this paper among the three.