Maths Olympiad Prep

Library / /1152 of 1394

Geometry Difficulty 5.7 AIME, harder Prove it United States

Problem:

Let nn and mm be positive integers which are at most 101010^{10}. Let RR be the rectangle with corners at (0,0)(0,0), (n,0)(n, 0), (n,m)(n, m), (0,m)(0, m) in the coordinate plane. A simple non-self-intersecting quadrilateral with vertices at integer coordinates is called far-reaching if each of its vertices lie on or inside RR, but each side of RR contains at least one vertex of the quadrilateral. Show that there is a far-reaching quadrilateral with area at most 10610^{6}.

(A side of a rectangle includes the two endpoints.)

Solution

Solution:

Let g=gcd(n,m)g = \gcd(n, m), with n=gan = g \cdot a and m=gbm = g \cdot b. Note that the number of points on the diagonal of RR connecting (0,0)(0,0) and (n,m)(n, m) is g+1g+1.

We construct two far-reaching quadrilaterals and show that at least one of them has small area.

For our first quadrilateral, let (x1,y1)(x_1, y_1) and (x2,y2)(x_2, y_2) be the points with the shortest nonzero distances to the diagonal between (0,0)(0,0) and (n,m)(n, m) which lie above and below the diagonal, respectively. Now consider the quadrilateral with vertices (0,0)(0,0), (x1,y1)(x_1, y_1), (n,m)(n, m), (x2,y2)(x_2, y_2). Note that the only lattice points which can lie on or inside this quadrilateral are (x1,y1)(x_1, y_1), (x2,y2)(x_2, y_2), and points on the diagonal of RR, as otherwise we could find a closer point to the diagonal than (x1,y1)(x_1, y_1) and (x2,y2)(x_2, y_2). Thus by Pick's Theorem, the area of this quadrilateral is at most gg.

For our second quadrilateral, we will take as our vertices the points (0,0)(0,0), (n1,m)(n-1, m), (a,b)(a, b), and (n,m1)(n, m-1). This is a concave quadrilateral which can be split into two triangles of areas a2\frac{a}{2} and b2\frac{b}{2}, so the area of this quadrilateral is at most 12(a+b)\frac{1}{2}(a+b).

We have therefore shown that there is always a far-reaching quadrilateral with area at most min(g,12(a+b))\min\left(g, \frac{1}{2}(a+b)\right). Since g12(a+b)=12(n+m)1010g \cdot \frac{1}{2}(a+b) = \frac{1}{2}(n+m) \leq 10^{10}, we have that min(g,12(a+b))105\min\left(g, \frac{1}{2}(a+b)\right) \leq 10^{5}, so we can always find a far-reaching quadrilateral with area at most 10510^{5} as desired.

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.