Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. A run of a convex -gon from a vertex is a sequence of successively adjacent vertices, going clockwise or counterclockwise, with ; its length is , and is the minimum over convex -gons of the longest run. The Theorem of P. Erdős and P. Fishburn, A postscript on distances in convex -gons, Discrete Comput. Geom. 11 (1994), 111--117 (p. 112), reads: "For all , ." The lower bound extends Moser's 1952 argument, and an explicit example gives the upper bound. A run of length from gives distinct distances from , so every convex -gon with has a vertex with at least distinct distances to the other vertices. The paper states this consequence itself, as the inequality for on p. 116, and calls it a tiny improvement on Moser's ; it is the bound the site's commentary credits to the paper. The paper's introduction (p. 111) names Moser's bound as the best previously known lower bound on the number of distances at one vertex.
Covers. The statement of Problem 982 for , where . For and every the bound is smaller than .
Depends on. Nothing in this wiki; the result rests on the cited paper.
Dating. The paper appeared in volume 11, number 1, the January 1994 issue (Crossref record); the day in the page name is a placeholder.
Source card. erdos_1994_postscript_distances_convex_gons.
Acceptance. Refereed: Discrete & Computational Geometry 11 (1994), no. 1, 111--117. The site's commentary credits the bound; its label, FALSIFIABLE, settles nothing, so the curator's credit is not counted as review.