Maths Olympiad Prep

Library / /79 of 86

Combinatorics Difficulty 7.6 National Olympiad, round 2 Prove it United States

Problem:
A lattice point is a point (x,y)(x, y) with both xx and yy integers. Find, with proof, the smallest nn such that every set of nn lattice points contains three points that are the vertices of a triangle with integer area. (The triangle may be degenerate, in other words, the three points may lie on a straight line and hence form a triangle with area zero.)

Solution

Solution:
Clearly, n=4n=4 is too small, for the 4 points could be vertices of a unit square, and all the possible triangles will have areas of 1/21/2. We will show that n=5n=5 works. Every lattice point falls into one of four parity classes: (even, even), (even, odd), (odd, even), and (odd, odd). For example the point (9,8)(9,8) is in the (odd, even) class. By the pigeonhole principle, among the 5 lattice points there will be at least two points, AA and BB, in the same parity class. We claim that if CC is any other lattice point, the triangle ABCA B C will have integral area.

We will use the following simple lemma:
If the vertices of a triangle are all lattice points, and one side is horizontal or vertical with even length, then the triangle must have integer area.
To see why the lemma is true, let PQRP Q R be the triangle with PQP Q even, and, say, horizontal. Let hh be the length of the altitude from RR to PQP Q. Clearly, hh is an integer, since it is equal to the absolute value of the difference in yy-coordinates of RR and PP. Then [PQR]=PQh/2[P Q R] = P Q \cdot h / 2, and the lemma follows. (We are using the notation [PQR][P Q R] to denote the area of triangle PQRP Q R.)

Now we will show that [ABC][A B C] must be an integer. If ABA B is horizontal or vertical, then the length of ABA B is even (since the endpoints are in the same parity class), so the lemma immediately implies that [ABC][A B C] is an integer.
If ABA B is neither horizontal nor vertical, choose the lattice point DD such that ADBA D B is a right triangle with right angle at DD (there may be more than one choice).

Figure 1

Then
[ABC]=[ACBD][ADB]. [A B C] = [A C B D] - [A D B].

Since ADA D and DBD B both have even length, [ABC][A B C] is an integer. Furthermore,
[ACBD]=[CAD]+[CDB], [A C B D] = [C A D] + [C D B],
and by the same reasoning [CAD][C A D] and [CDB][C D B] are both integers.

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.