Wiki
Wiki

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

Updated

Problem 102

../


Statement. Let c>0c>0 and hc(n)h_c(n) be such that for any nn points in R2\mathbb{R}^2 such that there are ≥cn2\geq cn^2 lines each containing more than three points, there must be some line containing hc(n)h_c(n) many points. Estimate hc(n)h_c(n). Is it true that, for fixed c>0c>0, we have hc(n)→∞h_c(n)\to \infty?

Status. Open.

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

References.

  • [Er95] Erdős, Paul, Some of my favourite problems in number theory, combinatorics, and geometry. Resenhas (1995), 165-186.

Formalization. Statement in formal-conjectures.

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.