Math 2.0

Convex and discrete geometry Discrete and combinatorial geometry Problem

No-three-in-line problem

Builds on Collinear pointsPigeonhole principle

Problem

For an integer n≥1n \ge 1, consider the n×nn \times n grid {1,…,n}2\set{1, \dots, n}^2 of points in the plane. Find the largest number of points of the grid that can be chosen so that no three chosen points are collinear. In particular, decide for which nn this number equals 2n2n.

Remarks

Henry Dudeney posed the problem in 1900. Each of the nn rows can contain at most 22 chosen points, so by the pigeonhole principle at most 2n2n points can be chosen. The bound 2n2n is attained for all nn up to at least 4646, by solutions found with computer searches. For a prime pp, the pp points (x,x2 mod p)(x, x^2 \bmod p) with 0≤x<p0 \le x < p have no three in a line, an observation of Erdős. Indeed, three of them on a line would give three roots in the field 𝔽p\F_p of a nonzero polynomial of degree at most 22. Hall, Jackson, Sudbery and Wild refined such constructions in 1975. They showed that for every ε>0\varepsilon > 0 and all large nn, at least (3/2−ε)n(3/2 - \varepsilon)n points can be chosen. It is conjectured that for large nn the maximum is strictly less than 2n2n.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Cardinality of a finite set definition
  2. Collinear points concept
  3. Pigeonhole principle statement
  4. No-three-in-line problem problem

Further reading

  1. Web https://en.wikipedia.org/wiki/No-three-in-line_problem
About this page
TagTS442VKWAG
URIm2://TS442VKWAG
Kindproblem
WritingW0 stub
MSC52C10, 51M04
StatusThis copy of the site has no build data. Run m2 status TS442VKWAG.
AboutCollinear points
UsesCollinear points, Pigeonhole principle
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.