Points on a Plane: Does n/2 Lines Exist?

  • Context: Graduate 
  • Thread starter Thread starter Dragonfall
  • Start date Start date
  • Tags Tags
    Plane Points
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
6 replies · 3K views
Dragonfall
Messages
1,023
Reaction score
5
If you put n points on a plane, not all on a line, is there always a point with at least n/2 lines incident? The lines in question are determined by the points themselves.
 
Mathematics news on Phys.org
Dragonfall said:
If you put n points on a plane, not all on a line, is there always a point with at least n/2 lines incident? The lines in question are determined by the points themselves.

Hi Dragonfall! :smile:

If don't get it :confused: … n-1 lines are always incident at each original point;

or if you exclude the original n points, then eg it's not even true for a regular pentagon.
 
If 3 points are on a line, then you count it as one line, not 3. If every point "sees" every other point, then yes, each point has n-1 lines incident. However it's possible that some points are "blocked" by others. Take a pencil; there is a point with n-1 lines incident, but all others have only 2.
 
If you replace it with [tex]\lfloor n/2\rfloor[/tex], it still holds.
 
ah, I understand now …

this is a 1951 conjecture of G.A.Dirac (stepson of the Dirac :wink:) "for any arrangements of n points, not all on a line, the maximum number of incident lines through a point can not be less than [n/2], and he claimed it is true for n ≤ 14."

He had a similar conjecture (see http://en.wikipedia.org/wiki/Sylvester–Gallai_theorem#The_existence_of_many_ordinary_lines") …
for any collection of n points, not all collinear, there exist at least n⁄2 lines containing exactly two points.

The first conjecture has 4 similar exceptions for n = 11 (in Tedjn's :smile: link), and the second has a very easy exception for n = 7 (and an exception for n = 13 in the projective plane).

Neither conjecture (even with those exceptions) has been proved.
 
Last edited by a moderator:
Ah, this explains why I've failed to prove it. Thanks.