Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Problem 982
claims/: The 3 claim pages of Problem 982, one per claimant's result; the problem's standing derives from them.
Statement. If distinct points in form a convex polygon then some vertex has at least different distances to other vertices.
Status. Falsifiable: the site labels the problem FALSIFIABLE, a counterexample being a finite check, and its page was last edited on 19 October 2025. Three refereed lower bounds the site credits settle small cases and have accepted partial claim pages: Moser 1952, Erdős and Fishburn 1994 and Dumitrescu 2006. The proof-claims tab carries one partial claim, a lower bound submitted 2026-07-25 by Scott Duke Kominers, which has no claim page for the reason given under Current assessment; the label was unchanged on 2026-10-06.
Source. erdosproblems.com/982, accessed 2026-09-04. Cite as: T. F. Bloom, Erdős Problem #982, https://www.erdosproblems.com/982.
References.
- [BaRo13] Bárány, Imre and Roldán-Pensado, Edgardo, A question from a famous paper of Erdős. Discrete Comput. Geom. (2013), 253-261.
- [Du06b] Dumitrescu, Adrian, On distinct distances from a vertex of a convex polygon. Discrete Comput. Geom. 36 (2006), 503-509.
- [Er46b] Erdős, P., On sets of distances of points. Amer. Math. Monthly (1946), 248-250.
- [ErFi94] Erdős, Paul and Fishburn, Peter, A postscript on distances in convex -gons. Discrete Comput. Geom. (1994), 111-117.
- [Mo52] Moser, Leo, On the different distances determined by points. Amer. Math. Monthly (1952), 85-91.
- [NPPZ13] Nivasch, Gabriel and Pach, János and Pinchasi, Rom and Zerbib, Shira, The number of distinct distances from a vertex of a convex polygon. J. Comput. Geom. (2013), 1-12.
Formalization. Statement in formal-conjectures.
Current assessment
The claim pages record the cases the published lower bounds settle: the statement holds for every and for , is the smallest open case, and the problem is open. The statement is falsifiable: a convex polygon in which every vertex sees fewer than distinct distances would refute it by a finite computation, and none is known. The regular polygon shows that would be sharp.
Forum claim without a page. The site's proof-claims tab carries a partial claim by Scott Duke Kominers, posted under the forum account skominers on 2026-07-25 (tab entry), with a write-up and no formalization; the entry names GPT 5.6 Sol and Claude Fable 5 as the systems used. Writing for the largest number such that every convex -gon has a vertex with at least distinct distances to the other vertices, it claims
which improves the additive term in the coefficient of Nivasch, Pach, Pinchasi and Zerbib [NPPZ13] by a factor of about and leaves the leading term of Dumitrescu [Du06b] unchanged, by refining their iteration over good edges and witnesses. The claim has no page because it is a better lower bound on a falsifiable statement that settles no case of it: it proves the bound for no and for no class of polygons, and its author calls it a long way from the conjecture. No review of the write-up is recorded, and the site's page, last edited before the claim, does not mention it.
Known results. The site records the lower bounds of Moser [Mo52], of Erdős and Fishburn [ErFi94], of Dumitrescu [Du06b] and of Nivasch, Pach, Pinchasi and Zerbib [NPPZ13], and the counterexamples of Bárány and Roldán-Pensado [BaRo13] to Erdős's stronger conjecture about convex curves. The first three bounds have the claim pages named under Status; the last two results follow the site's remarks, and the bound of [NPPZ13], with its unspecified , settles no case and has no claim page.
Linked library material
These entries are derived from explicit links on library pages. They are navigation only and do not by themselves record mathematical progress.
- altman_1963_problem_p_erdos
- barany_2013_question_famous_paper_erdos
- barany_2013_question_famous_paper_erdos / theorem_1_1
- barany_2013_question_famous_paper_erdos / theorem_1_2
- barany_2013_question_famous_paper_erdos / theorem_1_3
- barany_2013_question_famous_paper_erdos / theorem_1_4
- dumitrescu_2006_distinct_distances_vertex_convex_polygon
- dumitrescu_2006_distinct_distances_vertex_convex_polygon / theorem_2
- erdos_1946_sets_distances_points
- erdos_1946_sets_distances_points / conjecture_p248
- erdos_1975_problems_elementary_combinatorial_geometry
- erdos_1975_problems_elementary_combinatorial_geometry / section_1_convex_polygons_p100
- erdos_1994_postscript_distances_convex_gons
- erdos_1994_postscript_distances_convex_gons / inequality_p116
- erdos_1994_postscript_distances_convex_gons / theorem_p112
- erdos_fishburn_1995_multiplicities_interpoint_distances_finite_planar_sets
- nivasch_2013_number_distinct_distances_vertex_convex_polygon
- nivasch_2013_number_distinct_distances_vertex_convex_polygon / lemma_2
- nivasch_2013_number_distinct_distances_vertex_convex_polygon / theorem_1
- nivasch_2013_number_distinct_distances_vertex_convex_polygon / theorem_9
- sheffer_2014_distinct_distances_open_problems_current_bounds
- sheffer_2014_distinct_distances_open_problems_current_bounds / problem_7