Maths Olympiad Prep

Library / /47 of 64

Geometry Difficulty 8.1 Shortlist Find the answer

Find the least possible area of a convex set in the plane that intersects both branches of the hyperbola xy=1xy = 1 and both branches of the hyperbola xy=1xy = -1. (A set SS in the plane is called \emph{convex} if for any two points in SS the line segment connecting them is contained in SS.)

A number or a short expression. Spacing and $ signs are ignored.

Solution

The minimum is 4, achieved by the square with vertices (±1,±1)(\pm 1, \pm 1).

\textbf{First solution:}
To prove that 4 is a lower bound, let SS be a convex set of the desired form. Choose A,B,C,DSA,B,C,D \in S lying on the branches of the two hyperbolas, with AA in the upper right quadrant, BB in the upper left, CC in the lower left, DD in the lower right.
Then the area of the quadrilateral ABCDABCD is a lower bound for the area of SS.

Write A=(a,1/a)A = (a,1/a), B=(b,1/b)B = (-b,1/b), C=(c,1/c)C = (-c,-1/c), D=(d,1/d)D = (d, -1/d) with a,b,c,d>0a,b,c,d > 0.
Then the area of the quadrilateral ABCDABCD is
12(a/b+b/c+c/d+d/a+b/a+c/b+d/c+a/d), \frac{1}{2}(a/b + b/c + c/d + d/a + b/a + c/b + d/c + a/d),
which by the arithmetic-geometric mean inequality is at least 4.

\textbf{Second solution:}
Choose A,B,C,DA,B,C,D as in the first solution.
Note that both the hyperbolas and the area of the convex hull of ABCDABCD are invariant under the transformation (x,y)(xm,y/m)(x,y) \mapsto (xm, y/m) for any m>0m>0. For mm small, the counterclockwise angle from the line ACAC to the line BDBD approaches 0; for mm large, this angle approaches π\pi. By continuity, for some mm this angle becomes π/2\pi/2, that is, ACAC and BDBD become perpendicular. The area of ABCDABCD is then ACBDAC \cdot BD.

It thus suffices to note that AC22AC \geq 2 \sqrt{2} (and similarly for BDBD).
This holds because if we draw the tangent lines to the hyperbola xy=1xy=1 at the points (1,1)(1,1) and (1,1)(-1,-1), then AA and CC lie outside the region between these lines. If we project the segment ACAC orthogonally onto the line x=y=1x=y=1, the resulting projection has length at least 222 \sqrt{2}, so ACAC must as well.

\textbf{Third solution:}
(by Richard Stanley)
Choose A,B,C,DA,B,C,D as in the first solution. Now fixing AA and CC, move BB and DD to the points at which the tangents to the curve are parallel to the line ACAC. This does not increase the area of the quadrilateral ABCDABCD (even if this quadrilateral is not convex).

Note that BB and DD are now diametrically opposite; write B=(x,1/x)B = (-x, 1/x) and D=(x,1/x)D = (x, -1/x). If we thus repeat the procedure, fixing BB and DD and moving AA and CC to the points where the tangents are parallel to BDBD, then AA and CC must move to (x,1/x)(x, 1/x) and (x,1/x)(-x,-1/x), respectively, forming a rectangle of area 4.

\textbf{Remark:}
Many geometric solutions are possible. An example suggested by David Savitt (due to Chris Brewer): note that ADAD and BCBC cross the positive and negative xx-axes, respectively, so the convex hull of ABCDABCD contains OO. Then check that the area of triangle OABOAB is at least 1, et cetera.

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.