Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Statement
Notation (pp. 134--135, Section 5), as on the conjecture's page: are distinct points in the plane, their distinct distances, and the number of unordered pairs at distance , so that .
What the paper prints on p. 135, in the corpus's words:
- The regular -gon. Its vertices give , with every equal to .
- Pannwitz's bound. By an old result of Pannwitz (cited by name only, with no reference), the diameter of occurs at most times; hence , with equality when is odd and the points form a regular polygon.
- The question. Suppose all the are equal, to a common value . The paper notes that is possible and that is possible if and only if is odd, both without proof, and that by Pannwitz's result and . It asks: "What values are possible for ?"
The paper prints no statement that among points some two distances, or some unbounded number of distances, each occur between at most pairs.
Source. P. Erdős, Some old and new problems in combinatorial geometry, Annals of Discrete Math. 20 (1984), North-Holland Math. Stud. 87, pp. 129--136; the notation at the foot of p. 134, the rest on p. 135. The copy read is identified on the source card.
Read depth. Claims checked: the paragraph on p. 135 was read clause by clause on the page image. Pannwitz's bound is quoted by the paper without a reference or proof and was not checked against Pannwitz's work here. Nothing here is independently reviewed.
Proof pointer
A question. The bound is the paper's one-line consequence of Pannwitz's diameter result, since the diameter is one of the ; the claims possible and possible exactly for odd are asserted without proof.
Dependencies
Pannwitz's result that the diameter of planar points occurs at most times, cited without a reference.
Bears on
- Problem 132: the site and Clemen, Dumitrescu and Liu attribute that problem to this paper ([Er84c]). The paper holds the facts above, among them the diameter bound that makes one distance of multiplicity at most always exist, and the regular -gon, in which every distance occurs exactly times; it prints no statement of the problem's question, so the attribution is not confirmed by this paper.