Maths Olympiad Prep

Track / Stage 6 / 333 of 400 #1333 of 1964

Problem 1333

National olympiad, first round
Geometry Difficulty 6.6 Find the answer

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

A number or a short expression. Spacing, $ signs and \frac vs / are all fine.

Official solution

1. Identify the problem and the constraints:
We need to find the least possible area of a convex set in the plane that intersects both branches of the hyperbolas xy=1xy = 1 and xy=1xy = -1. A convex set is defined such that for any two points in the set, the line segment connecting them is also contained in the set.

2. Determine the points of intersection:
The convex set must contain at least one point on each of the four branches of the hyperbolas. Let these points be:
(x1,y1),(x2,y2),(x3,y3),(x4,y4) (x_1, y_1), (-x_2, y_2), (-x_3, -y_3), (x_4, -y_4)
where x1,x2,x3,x4,y1,y2,y3,y4x_1, x_2, x_3, x_4, y_1, y_2, y_3, y_4 are positive numbers and satisfy the hyperbola equations:
x1y1=1,x2y2=1,x3y3=1,x4y4=1 x_1 y_1 = 1, \quad x_2 y_2 = 1, \quad x_3 y_3 = 1, \quad x_4 y_4 = 1

3. Calculate the area of the convex hull:
The smallest convex set containing these points is the convex hull, which in this case is a quadrilateral. The area AA of a quadrilateral with vertices (x1,y1),(x2,y2),(x3,y3),(x4,y4)(x_1, y_1), (-x_2, y_2), (-x_3, -y_3), (x_4, -y_4) can be calculated using the shoelace formula:
A=12x1y2+(x2)y3+(x3)(y4)+x4y1(y1(x2)+y2(x3)+y3x4+y4x1) A = \frac{1}{2} \left| x_1 y_2 + (-x_2) y_3 + (-x_3) (-y_4) + x_4 y_1 - (y_1 (-x_2) + y_2 (-x_3) + y_3 x_4 + y_4 x_1) \right|

4. Simplify the area expression:
Substitute yi=1xiy_i = \frac{1}{x_i} for i=1,2,3,4i = 1, 2, 3, 4:
A=12x11x2+(x2)1x3+(x3)1x4+x41x1(1x1(x2)+1x2(x3)+1x3x4+1x4x1) A = \frac{1}{2} \left| x_1 \frac{1}{x_2} + (-x_2) \frac{1}{x_3} + (-x_3) \frac{1}{x_4} + x_4 \frac{1}{x_1} - \left( \frac{1}{x_1} (-x_2) + \frac{1}{x_2} (-x_3) + \frac{1}{x_3} x_4 + \frac{1}{x_4} x_1 \right) \right|
=12x1x2x2x3x3x4+x4x1(x2x1x3x2+x4x3+x1x4) = \frac{1}{2} \left| \frac{x_1}{x_2} - \frac{x_2}{x_3} - \frac{x_3}{x_4} + \frac{x_4}{x_1} - \left( -\frac{x_2}{x_1} - \frac{x_3}{x_2} + \frac{x_4}{x_3} + \frac{x_1}{x_4} \right) \right|
=12x1x2+x2x1+x2x3+x3x2+x3x4+x4x3+x4x1+x1x4 = \frac{1}{2} \left| \frac{x_1}{x_2} + \frac{x_2}{x_1} + \frac{x_2}{x_3} + \frac{x_3}{x_2} + \frac{x_3}{x_4} + \frac{x_4}{x_3} + \frac{x_4}{x_1} + \frac{x_1}{x_4} \right|

5. Apply the AM-GM inequality:
For any positive uu, we have u+1u2u + \frac{1}{u} \geq 2. Applying this to each term:
x1x2+x2x12,x2x3+x3x22,x3x4+x4x32,x4x1+x1x42 \frac{x_1}{x_2} + \frac{x_2}{x_1} \geq 2, \quad \frac{x_2}{x_3} + \frac{x_3}{x_2} \geq 2, \quad \frac{x_3}{x_4} + \frac{x_4}{x_3} \geq 2, \quad \frac{x_4}{x_1} + \frac{x_1}{x_4} \geq 2
Summing these inequalities:
x1x2+x2x1+x2x3+x3x2+x3x4+x4x3+x4x1+x1x48 \frac{x_1}{x_2} + \frac{x_2}{x_1} + \frac{x_2}{x_3} + \frac{x_3}{x_2} + \frac{x_3}{x_4} + \frac{x_4}{x_3} + \frac{x_4}{x_1} + \frac{x_1}{x_4} \geq 8

6. Determine the minimum area:
Therefore, the minimum area is:
A12×8=4 A \geq \frac{1}{2} \times 8 = 4
Equality holds when x1=x2=x3=x4x_1 = x_2 = x_3 = x_4, meaning the quadrilateral is a rectangle with sides parallel to the axes.

The final answer is 4\boxed{4}.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.