Difference between revisions of "1987 IMO Problems/Problem 5"
m |
|||
Line 14: | Line 14: | ||
− | All the points in | + | All the points in <math>S</math> lie on the parabola <math>y = x^2</math>. 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 <math>S</math> must be non-degenerate as desired. |
− | Since all the points are [[lattice points]], by [[Pick's Theorem]], the area of any triangle with all vertices in <math>S</math> must be in the form <math>A = I + \dfrac{B}{2} - 1</math> where <math>I</math> and <math>B</math> are integers. Thus, the area of the triangle must be rational as desired. | + | Since all the points in <math>S</math> are [[lattice points]], by [[Pick's Theorem]], the area of any triangle with all vertices in <math>S</math> must be in the form <math>A = I + \dfrac{B}{2} - 1</math> where <math>I</math> and <math>B</math> are integers. Thus, the area of the triangle must be rational as desired. |
Latest revision as of 13:37, 26 July 2009
Problem
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.
Solution
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 | ||
Preceded by Problem 4 |
1 • 2 • 3 • 4 • 5 • 6 | Followed by Problem 6 |
All IMO Problems and Solutions |