Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Kelly and Moser prove that for every : points in the real plane, not all on one line, determine at least ordinary lines, lines through exactly two of the points. The bound is attained at . The proof works in the dissection of the plane by the lines not through a given point; the source card [[../library/discrete_geometry/kelly_1958_number_ordinary_lines_determined_points/_index|records the statement as Theorem 3.6]] together with Dirac's conjecture, restated in the paper, that for , which fails at (Crowe and McKee). The result is the first linear lower bound for Problem 210.
Covers. A linear lower bound valid for every , with the constant . It does not give the sharp constant, which Green and Tao later determine for large .
The result is refereed: L. M. Kelly and W. O. J. Moser, On the number of ordinary lines determined by points, Canadian J. Math. 10 (1958), 210-219. The site's page credits this paper with the bound ; its label, proved, rests on the later results, so the acceptance here stands on the refereed publication.