Find the least possible area of a convex set in the plane that intersects both branches of the hyperbola and both branches of the hyperbola . (A set in the plane is called \emph{convex} if for any two points in the line segment connecting them is contained in .)
Solution
The minimum is 4, achieved by the square with vertices .
\textbf{First solution:}
To prove that 4 is a lower bound, let be a convex set of the desired form. Choose lying on the branches of the two hyperbolas, with in the upper right quadrant, in the upper left, in the lower left, in the lower right.
Then the area of the quadrilateral is a lower bound for the area of .
Write , , , with .
Then the area of the quadrilateral is
which by the arithmetic-geometric mean inequality is at least 4.
\textbf{Second solution:}
Choose as in the first solution.
Note that both the hyperbolas and the area of the convex hull of are invariant under the transformation for any . For small, the counterclockwise angle from the line to the line approaches 0; for large, this angle approaches . By continuity, for some this angle becomes , that is, and become perpendicular. The area of is then .
It thus suffices to note that (and similarly for ).
This holds because if we draw the tangent lines to the hyperbola at the points and , then and lie outside the region between these lines. If we project the segment orthogonally onto the line , the resulting projection has length at least , so must as well.
\textbf{Third solution:}
(by Richard Stanley)
Choose as in the first solution. Now fixing and , move and to the points at which the tangents to the curve are parallel to the line . This does not increase the area of the quadrilateral (even if this quadrilateral is not convex).
Note that and are now diametrically opposite; write and . If we thus repeat the procedure, fixing and and moving and to the points where the tangents are parallel to , then and must move to and , 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 and cross the positive and negative -axes, respectively, so the convex hull of contains . Then check that the area of triangle is at least 1, et cetera.