1987 IMO Problems/Problem 5
Let be an integer greater than or equal to 3. Prove that there is a set of points in the plane such that the distance between any two points is irrational and each set of three points determines a non-degenerate triangle with rational area.
Consider the set of points in the -plane.
The distance between any two distinct points and in (with ) is:
Since is an integer and not a perfect square, is irrational. Since is a non-zero integer, is irrational as desired.
All the points in lie on the parabola . Thus, it is impossible of any set of three points to be collinear, since no line can intersect a parabola at more than two points. Therefore, any triangle with all vertices in must be non-degenerate as desired.
Since all the points in are lattice points, by Pick's Theorem, the area of any triangle with all vertices in must be in the form where and are integers. Thus, the area of the triangle must be rational as desired.
This completes the proof.
|1987 IMO (Problems) • Resources
|1 • 2 • 3 • 4 • 5 • 6
|All IMO Problems and Solutions