What's the Point?
by David Rutter
Abstract: How do you place integer lattic points into the smallest area possible such that no more than 2 are on any line?

This problem is based on a problem from last year's United States of America Mathematical Talent Search (USAMTS).  While that problem had a simple solution, I have chosen to extend it to a more general problem that is as yet, open-ended.  After creating this problem, I realized its complexity and would appreciate input or advances toward a solution beyond the work I have included.  I do not know how to classify this problem.  It is most likely a combinatorics ("combinatorture") problem.  Let me describe the problem.

 

There are n integer lattice points (any point with integer coordinates). You must place these points in the smallest dimensional box possible such that no more than 2 points are on any line in any direction.  For example:

 

is a solution for 6 points, but and are not, because three points lie on the same line. 

How do you know that you have found the smallest box possible?  It's easy enough for n=1 to 14.  We know that we cannot place more than 2 points in any row, so the number of horizontal lines in the box cannot be less than n/2.  We know that we cannot place more than 2 points in any column, so the number of of vertical lines in the box cannot be less than n/2.  Thus, the minimum number of horizontal and vertical lines in the grid has to be the least integer greater than or equal to n/2.  These grids are examples of how you can place n points so that there are no more than 2 on any row or column. 

I am ignoring diagonal lines for a time to demonstrate that this can be extended to as many points you want, but actual solutions to the problem may not have three points in a line:

3


4


5


6


7


8

So, for n up to 14, the smallest box is the square I just described.  When you try to do the same for 15 and 16, there is a problem.  I have not been able to place 15 or 16 points on a 7x7 square (i.e. 8x8 lattice points) such that no more than 2 are on any line.  I have not been able to prove its impossibility either, although I ran a computer program written in C all night testing possible combinations.  The program did not complete, and did not find any solutions.  I conjecture that there are no solutions for 16 points.  The ultimate course of this conjecture would be to construct a function that would return the number of solutions possible in the smallest square given n points.  I have proven that there are only two solutions for n=6 in the smallest square (they are actually the same solution rotated 90˚), but have not found a method for doing so in the general case.

Here are solutions in the smallest possible square for up to 14 points.  Some of these may have other unique solutions, I am only using the solutions which have a diagonal line of symmetry and a point in the upper left corner.  If the grids are completely drawn and the segments are extended, none of them have more than 2 points on each segment:

3


4


5


6


7


8


9


10


11


12


13


14

You can see why the solutions get harder to find, and why there may be no solution for n=15 and 16.  Look at the number of slopes possible for each of the square grid sizes.  The red lines on these grids are examples of  lines with a slope that is able to intersect three or more lattice points.  In other words, when placing new points, these are the only slopes that will cause you trouble.  Their number appears to be increasing in increments of four, but I have not proved that this continues forever.

1x1: 0 slopes (3 or 4 point)


2x2: 4 slopes (5 or 6 points)


3x3: 4 slopes (7 or 8 points)


4x4: 8 slopes (9 or 10 points)


5x5: 8 slopes (11 or 12 points)


6x6: 16 slopes (13 or 14 points)


7x7: 16 slopes (15 or 16 points)


8x8: 20 slopes (17 or 18 points)

 

Since a solution or a proof of nonexistence of such a solution for 15 and 16 points on a 7x7 square would shed some light on the original problem, this special case should be the first thing to be solved.  An easy way to examine this particular problem is to look at it like trying to place all 16 pawns on a chessboard such that no more than 2 are in a line.  This makes it easier to manipulate the points and look at why certain combinations don't work.  It is possible to place 16 such that the first 14 do not cause a problem, and only the bottom three rows contain the offending three-to-a-line points.  You will notice that the last few points are forced to be in certain places, and those places happen to be right in line with one another. 

Thank you, and please send any ideas or solutions to quintopia@quintopia.net