Olympiad Maths Prep

Library / /20 of 45

Geometry Difficulty 5.9 AIME, harder Prove it Ukraine

Does there exist a convex 2023-gon on the Cartesian plane with vertices at points whose coordinates are both integers, such that all its side lengths are equal?

Solution

Suppose such a 2023-gon exists.
Let its side be denoted by aa, so a2a^2 is an integer, and its vertices as (x1,y1)(x_1, y_1), (x2,y2)(x_2, y_2), ..., (x2023,y2023)(x_{2023}, y_{2023}). Consider the 2023-gon with the smallest value of a2a^2. We have (xixi+1)2+(yiyi+1)2=a2(x_i - x_{i+1})^2 + (y_i - y_{i+1})^2 = a^2 for each ii, where x2024=x1x_{2024} = x_1, y2024=y1y_{2024} = y_1.
If a2a^2 is a multiple of 4, then since if the sum of two squares of integers is a multiple of 4, then both numbers are even, we have xixi+1(mod2)x_i \equiv x_{i+1} \pmod{2}, yiyi+1(mod2)y_i \equiv y_{i+1} \pmod{2} for each ii. But then we can consider a polygon with half the number of vertices with vertices at (xix12,yiy12)(\frac{x_i-x_1}{2}, \frac{y_i-y_1}{2}), whose vertices are also all integer points, and whose side length is a2\frac{a}{2}, obtaining a contradiction.

If a22(mod4)a^2 \equiv 2 \pmod 4, then xix_i and xi+1x_{i+1} have different parity for each ii, which leads to a contradiction, since we obtain that x1x_1 and x1x_1 have different parity.
If a21(mod2)a^2 \equiv 1 \pmod 2, then xi+yix_i + y_i and xi+1+yi+1x_{i+1} + y_{i+1} have different parity for each ii, which leads to a contradiction, since we obtain that x1+y1x_1 + y_1 and x1+y1x_1 + y_1 have different parity.

Looking for a route rather than 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 and solution reproduced as published; topic and difficulty added by this site.