Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated

Problem 606

../

claims/: The 2 claim pages of Problem 606, one per claimant's result; the problem's standing derives from them.


Statement. Given any nn distinct points in R2\mathbb{R}^2 let f(n)f(n) count the number of distinct lines determined by these points. What are the possible values of f(n)f(n)?

Statement (corrected). Given any nn distinct points in R2\mathbb{R}^2 let f(n)f(n) count the number of distinct lines determined by these points. What are the possible values of f(n)f(n), for all sufficiently large nn?

Notes. The site's wording asks for the possible values of f(n)f(n) for every nn, as Grünbaum's question is stated in Erdős's 1972 paper (p. 23) and in Salamon and Erdős [ErSa88]. The site labels the problem SOLVED and its commentary says "Solved (for all sufficiently large nn) completely by Erdős and Salamon [ErSa88]; the full description is too complicated to be given here". The curator's reading is the question for all sufficiently large nn, and the corrected Statement adds those words; nothing else changes. The evidence for the discrepancy is the paper itself. Salamon and Erdős write (p. 137) that their formulas give "a complete answer to Grünbaum's problem for n≥n∗n\ge n^*" but leave "the problem for n<n∗n<n^* open", that this case "requires a detailed analysis of the lower end of the high kk bands and appears to be difficult", and that "the size of n∗n^* is unknown but it is likely to be small"; their figure 5 shows, for n≤12n\le12, values at the lower end of the continuum below (n2)\binom n2 that the large-nn formulas omit. The answer under each reading: the corrected Statement is answered by [ErSa88], which determines the set of values of f(n)f(n) for every n≥n∗n\ge n^* band by band, with Erdős's 1972 theorem supplying the values above c1n3/2c_1n^{3/2} and the paper fixing the best constant c=1c=1 for the lower end of the continuum; the question for every nn, as printed, is open for n<n∗n<n^*, a threshold the paper does not compute, so no finite list of exceptional nn is on record. No result about the site's wording beyond these two papers is known here. [Er85], the site's source key, records Grünbaum's question of which values the number of lines can take, and reports without proof that every value above cn3/2cn^{3/2} occurs except (n2)−1\binom n2-1 and (n2)−3\binom n2-3 (pp. 2-3, source page).

Status. Solved, in the site's label, which its commentary qualifies as holding for all sufficiently large nn, so the label describes the corrected Statement. The accepted full claim Salamon–Erdős 1988 determines the possible values for every n≥n∗n\ge n^*, which answers the corrected Statement. The accepted partial claim Erdős 1972 determines the values above c1n3/2c_1n^{3/2}.

Source. erdosproblems.com/606, accessed 2026-09-04. Cite as: T. F. Bloom, Erdős Problem #606, https://www.erdosproblems.com/606.

References.

  • [ErSa88] Salamon, Peter and Erdős, Paul, The solution to a problem of Grünbaum. Canad. Math. Bull. (1988), 129-138.

Formalization. None recorded.

Progress

Not yet compiled.

Known Results

Not yet compiled.

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.