Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Source. K. Vesztergombi, On large distances in planar sets, Discrete Math. 67 (1987), no. 2, 191--198, doi:10.1016/0012-365X(87)90027-6; the construction on pp. 197--198 with Fig. 7 (p. 197), read on the page images of the print. The edition is identified on the source card.
Read depth. Claims checked: the construction was read clause by clause on the page images. The paper asserts the count and gives no verification; none was carried out here. Nothing here is independently reviewed.
Statement
The notation is that of the Theorem on p. 192: is the second-largest distance of a planar set and the number of pairs at distance .
Construction (pp. 197--198, unnumbered). Let . The outer points are the vertices of a regular -gon, among which, the paper states, occurs times. Points are placed inside the circumscribed circle of the so that
indices taken modulo . The paper concludes (p. 198) that these points have , equality in the bound .
The paper states no range for , and Fig. 7 (p. 197) draws the case . The clause that occurs times among the needs a regular -gon with at least two distinct distances, so . The paper does not check that the added points leave and the two largest distances of the whole set.
Dependencies
None within the paper beyond the definitions of and (p. 191).
Bears on
- Problem 132: as asserted, the construction gives sets of points whose second-largest distance occurs between pairs, more than , so the two largest distances do not in general give the two distances the problem's first question asks for. It is not a counterexample to that question: the paper does not count the pairs at the smaller distances of these sets.