An equilateral polygon is one which has all sides of equal length. Examples are the equilateral triangle, and the rhombus.

An equiangular polygon is one which has all angles the same size. Examples are the equilateral triangle and the rectangle.

A regularpolygon is a polygon which is equilateral and equiangular. Simple examples are the square and the equilateral triangle.

In terms of lattice points, an obvious question to ask is: are there any equilateral, equiangular or regular (convex) lattice polygons? That is, are there any polygons of each type for which every vertex is a lattice point. What if the lattice is not the integer lattice, but for example the triangular lattice?

Suppose that n is odd, and that an equilateral lattice n-gon is constructible. In this case, there will be such a polygon for which the sides have minimal length. Consider this one. [This is a not uncommon strategy in showing something is not true.]

= nl2 + 2K (say) where K is the sum of the products of the as and the bs.

So nl2 =  2K (4)

Now since n is assumed to be odd, by (4) l2 must be even. Hence from (3), each the coordinates of each pair (a1, b1), ... , (an, bn) are either both even or both odd.

If l2 is divisible by 4, then from the Lemma, each of the ai, bi are both even, for each value of i. But this would mean that our polygon was not minimal, because there would be a similar polygon half the size. Hence l2 is not divisible by 4.

So l2 must be divisible by 2, but not by 4, and from the Lemma, each of the ai, bi are both odd, for each value of i. Now looking at the definition of K, each of the contributing products is odd, and there is an even number of them (each a product has a corresponding b product). Therefore K must be even. So, the right hand side of (4) is divisible by 4, and since n is odd, this means that l2 is divisible by 4. We now have a contradiction.

We conclude that for odd n, an equilateral lattice n-gon is not constructible.
This completes the proof of the theorem.

Corollary A regular lattice n-gon can only exist if n is even.

Proof For if there was a regular lattice n-gon with odd n, that n-gon would be equilateral. We have shown that this is impossible.

Theorem 2 Suppose it is not possible to construct a regular m-gon on the integer lattice. Then if n = km, it is not possible to construct a regular n-gon on the integer lattice either.

Proof For if we could construct the larger n-gon, a subset of the polygon vertices would give us the smaller regular m-gon as a regular lattice polygon.

Example In the figure, suppose we could construct the regular lattice hexagon (n = 6). Then taking every second polygon vertex, we generate the equilateral lattice triangle (m = 3). In general, we would expect to choose every n/m th vertex.

Theorems 1 and 2 together tell us that it is not possible to construct a regular n-gon on the integer lattice if n has an odd factor. This leaves us with possible regular lattice polygons with 2k vertices.

Theorem 3 It is not possible to construct a regular octagon on the integer lattice.

Proof This is easy to prove, but we need a trigonometric formula. To find the angle between vectors (a, b) and (c, d) (from the origin, say), let the vectors make angles 1 and 2 respectively with the x-axis. Suppose 1 is the larger angle. Then the angle between the two vectors has tangent given by

In fact, all we need from this is the observation that the tangent of any lattice angle is a rational number or fraction. Now suppose we have a regular lattice octagon (right). The green shaded isosceles triangle has vertex angle 2/8 (why?), so each base angle (a lattice angle) measures 3/8.

Finally, tan (3/8) = 1 + 2 (see Figure) which is definitely not a rational number. This contradiction shows that our assumption about the existence of a regular lattice octagon is false. This proves our theorem.

From Theorems 2 and 3 we now deduce that no regular lattice polygon with 2k sides exists for k 3. Hence we have established the

Regularity Theorem The only regular polygon with vertices in the integer lattice is the square.

We have already observed that there are many different ways of placing such a square. This is rather a disappointing result! However we can now easily establish the following:

Theorem 4 If n is even, then there exists an equilateral n-gon with vertices in the integer lattice.

Notice that this theorem, along with Theorem 1 almost gives the Equilateral Theorem, except that we have dropped the convexity condition.

Proof of Theorem 4

Consider the equilateral lattice hexagon and square at the right. By adjoining (copies of) these along a common edge, we can obtain non-convex lattice polygons with 8, 10, 12, ... edges  in fact, any even number of edges.

To establish the Equilateral Theorem (with the convexity condition included) requires a little more work.

We might mention that an ingenious shorter proof of the Regularity Theorem was published (in German) by Scherrer [Sch] in 1946. An account in English is given in Hadwiger, Debrunner and Klee [HDK].

Scherrer first disposes of the equilateral triangle case. Using the well-known determinant formula for the area of a triangle (right), he observes that a lattice triangle must have rational area. On the other hand, a equilateral triangle of sidelength s has area 3 s2/4, which is clearly irrational for a lattice triangle. Therefore no lattice equilateral triangle can exist, and hence no regular lattice hexagon can exist.

Now suppose that for n 5 and n 6, a regular lattice n-gon exists. Choose one that has smallest size, and label its vertices P1, P2, ... , Pn say. Take the pentagon (n = 5) at right as an example. Draw in the diagonals. They determine a smaller (green) regular pentagon. We claim that this is also a lattice pentagon. For example, the vector P1Q1 is equal to the lattice vector P2P3. We deduce that Q1 is a lattice point (if P2P3 is a lattice vector, then so is P1Q1). Similarly, the other vertices are lattice points. But P1P2P3P4P5(P1) was chosen to be the smallest regular lattice pentagon. This contradiction shows that no regular lattice pentagon exists. A similar argument holds for the other values of n. Hence the square is the only regular lattice polygon.

Further results

(1) Honsberger [H] looks at the equiangular case, and shows that there exists an equiangular polygon with vertices in the integer lattice if and only if n = 4 or n = 8. It is a simple matter to find lattice polygons which satisfy this condition.

(2) We might ask similar questions about polygons having vertices in the (equilateral) triangular lattice. It is easy to see that a (regular) equilateral triangle and a regular hexagon can be constructed. Klamkin [K] asks for, and receives a proof that no lattice square exists with vertices belonging to an equilateral triangular lattice.

(3) Klamkin observed that an equilateral triangle can be embedded in a 3-dimensional cubic lattice. He asked if any regular polygon might be embedded in a cubic lattice of high enough dimension. Chrestenson [KC] showed that a regular n-gon can be embedded in a cubic lattice if and only if n = 3, 4 or 6, and for these, the 3-dimensional lattice suffices.

(4) Are there any regular lattice polyhedra in 3-space? Ehrhart [E] shows that is is not possible to embed a regular dodecahedron or icosahedron in a cubic lattice. However, it is easy to see that we can embed a regular tetrahedron, a cube, and an octahedron. Can you do it? Check.

(5) A further thought along this lines is to ask whether there are any semiregular lattice polyhedra in 3-space. There are 13 semiregular polyhedra, but since any face of such a polyhedron must be a lattice polygon, by (2) we only need consider polyhedra whose faces are triangles, squares or hexagons. This leaves just five possibilities:

in order, the truncated tetrahedron, the truncated octahedron, the cuboctahedron, the rhombicuboctahedron and the snub cuboctahedron. Scott [S] shows that only the first three of these are possible. Notice that the rhombicuboctahedron is quickly ruled out because it contains lattice octagons.