Maths Olympiad Prep

Library / /45 of 94

Geometry Difficulty 6.0 AIME, harder Prove it Hong Kong

A lattice point on the coordinate plane is a point with integer coordinates. Find all positive integer n3n \ge 3 such that there exists an nn-sided polygon having lattice points as vertices and all sides have equal length.

Solution

nn can be any even integer larger than 22.

We first consider the case when nn is odd. Let (xj,yj)(x_j, y_j), where j=1,2,,nj = 1, 2, \dots, n, be the vertices of the polygon in anticlockwise direction. WLOG assume x1=y1=0x_1 = y_1 = 0. By using the homothety (xj,yj)(xjd,yjd)(x_j, y_j) \mapsto \left(\frac{x_j}{d}, \frac{y_j}{d}\right), we may assume the greatest common divisor of x1,x2,,xn,y1,y2,,ynx_1, x_2, \dots, x_n, y_1, y_2, \dots, y_n is 11. In particular, not all coordinates are even numbers.

Let aj=xj+1xja_j = x_{j+1} - x_j and bj=yj+1yjb_j = y_{j+1} - y_j for j=1,2,,nj = 1, 2, \dots, n, where the indices are taken modulo nn. It is given that aj2+bj2=ca_j^2 + b_j^2 = c for some constant cc.

* If c0(mod4)c \equiv 0 \pmod{4}, then both aj,bja_j, b_j are even. Since x0,y0x_0, y_0 are even, we easily deduce that all xj,yjx_j, y_j are even. This contradicts our assumption.
* If cc is odd, then aj+bj1(mod2)a_j + b_j \equiv 1 \pmod{2}. Thus, we have
1j=1n(aj+bj)=j=1n(xj+1xj+yj+1yj)=0(mod2), 1 \equiv \sum_{j=1}^{n} (a_j + b_j) = \sum_{j=1}^{n} (x_{j+1} - x_j + y_{j+1} - y_j) = 0 \pmod{2},
which is a contradiction.
* If c2(mod4)c \equiv 2 \pmod{4}, then aj,bja_j, b_j are odd. Thus, we have
1j=1naj=j=1n(xj+1xj)=0(mod2), 1 \equiv \sum_{j=1}^{n} a_j = \sum_{j=1}^{n} (x_{j+1} - x_j) = 0 \pmod{2},
which is a contradiction.

Therefore, it is impossible that nn is odd.

For even n4n \ge 4, we provide the following construction. The following quadrilaterals have the properties that each side has length 55, and two of the sides are vertical.
* (type I) a square with vertices (0,0),(5,0),(5,5),(0,5)(0,0), (5,0), (5,5), (0,5)
* (type II) a rhombus with vertices (0,0),(4,3),(4,8),(0,5)(0,0), (4,3), (4,8), (0,5)
* (type III) a rhombus with vertices (0,0),(4,3),(4,2),(0,5)(0,0), (4,-3), (4,2), (0,5)

We can place n21\frac{n}{2}-1 copies of these quadrilaterals in the order types I, II, III, II, III, II, III, ... by translating them to the position such that the left edge of the next quadrilateral overlaps with the right edge of the previous one as shown. This gives an nn-sided polygon whose every side has length 55.

Figure 1

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.