Maths Olympiad Prep

Library / /8 of 86

Geometry Difficulty 5.8 AIME, harder Prove it United States

Problem:

All vertices of a polygon PP lie at points with integer coordinates in the plane, and all sides of PP have integer lengths. Prove that the perimeter of PP must be an even number.

Solution

Solution:

Travel around the polygon in one orientation (say, counterclockwise), and let the vertices so visited be x1,x2,,xnx_{1}, x_{2}, \ldots, x_{n}. Define Δxi=xi+1xi\Delta x_{i} = x_{i+1} - x_{i}, for i=1,2,,n1i = 1, 2, \ldots, n-1 and Δxn=x1xn\Delta x_{n} = x_{1} - x_{n}. Define Δyi\Delta y_{i} in a similar way. Then the perimeter is equal to
i=1nΔxi2+Δyi2 \sum_{i=1}^{n} \sqrt{\Delta x_{i}^{2} + \Delta y_{i}^{2}}
Since each length Δxi2+Δyi2\sqrt{\Delta x_{i}^{2} + \Delta y_{i}^{2}} is an integer, then for each ii, either both Δxi\Delta x_{i} and Δyi\Delta y_{i} are even or exactly one is odd (they cannot both be odd using a mod-4 analysis). In the first case, we get an even length, and in the second case, we get an odd length.

So we need to show that the second case occurs an even number of times. This follows from the fact that
i=1nΔxi=i=1nΔyi=0 \sum_{i=1}^{n} \Delta x_{i} = \sum_{i=1}^{n} \Delta y_{i} = 0
Since 00 is even, there are an even number of odd Δxi\Delta x_{i}'s and there are an even number of odd Δyi\Delta y_{i}'s.

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.