### Five Lattice Points: What is that about?

A Mathematical Droodle

The blue dots below are draggable.

What if applet does not run? |

|Contact| |Front page| |Contents| |Algebra| |Eye opener|

Copyright © 1996-2018 Alexander Bogomolny

### Discussion

If five nodes of a plane lattice are chosen at random, some two of them define a line that contains other lattice points, and more specifically, the midpoint of the segment between the two points is necessarily a lattice point. Four points may not possess such a pair. The applet above illustrates this statement in case of the square grid.

The validity of the statement for four points is easily established with the help of the applet. The case of five points is also simple.

The midpoint of the segment joining points _{1}, y_{1})_{2}, y_{2})_{1} + x_{2})/2, (y_{1} + y_{2})/2)_{1} and x_{2} are of the same parity and so are y_{1} and y_{2}. With 2 coordinates, there are four different parity pairs: odd/odd, odd/even, even/odd and even/even. Among five points, at least two are bound to have the same parity combination. The line joining any two such points is bound to contain other lattice nodes.

The proof makes use of the Pigeonhole Principle: If n objects are distributed between fewer than n boxes, at least one box must contain at least two of the objects.

### References

- M. Aigner, G. Ziegler,
*Proofs from THE BOOK*, Springer, 2000 - B. Averbach, O. Chein,
*Problem Solving Through Recreatinoal Mathematics*, Dover, 2000 - M. Gardner,
*The Last Recreation*, Copernicus, 1997 - R. Graham, D. Knuth, O. Patashnik,
*Concrete Mathematics*, 2nd edition, Addison-Wesley, 1994.

|Contact| |Front page| |Contents| |Algebra| |Eye opener|

Copyright © 1996-2018 Alexander Bogomolny