Find the maximum number of rectangles with sides equal to and and parallel to the coordinate axes such that each two have an area equal to in common.
Solution
The answer is . The picture below shows five rectangles mutually intersecting at rectangles with unit area.
It is enough to show that there are no six horizontal or vertical rectangles with such a property. Assume that there are such rectangles.
Note that it is obvious that the intersection of two rectangles with parallel sides is again a rectangle. In solution first we show that there are at most three vertical and three horizontal rectangles. At the end we show that there are not three horizontal and three vertical rectangles satisfying the intersection property. For these we prove some lemmas.
Lemma 1. Composition of a reflection with respect to a point and a translation in the plane, is a reflection, too.
Proof. Let be the center of the reflection, and be the vector of the translation. Then by Thales' Theorem it is easy to see the composition is a reflection with respect to point such that .
Lemma 2. Let be a strictly convex shape in the plane. For any real number and any direction in the plane, there are at most two slices of with length parallel to the given direction. (We mean by a slice of , intersection of a line in the plane with . Obviously each slice is a line segment.)
Proof. Assume to the contrary there are three slices of length parallel to the given direction, say , and . Suppose that and lies between two others.
If or is outside the parallelogram , then the other point lies in the interior of and therefore the intersection of line containing has length greater than .
If lies on and lies on , then since is strictly convex there must be a point of between lines and outside the parallelogram, contradicts with the length of slice containing .
Lemma 3. There are no four horizontal or four vertical rectangles satisfying the conditions.
Proof. Assume that there are at least horizontal rectangles. By a horizontal scaling with factor we go to the case that there are unit squares with sides parallel to the axes, such that mutually intersecting at rectangles of area .
Every unit square determined uniquely by its center. It is easy to see that two unit squares with centers and intersect at a rectangle of area iff
Locus of points satisfying (*) (for fixed ) is boundary of a strictly convex shape in the plane (Look at the shape below). We call such shape an oval with center .
Suppose that , , and are the centers of these squares such that . Note that oval of is a translation of oval of with vector . By lemma these two ovals intersect in at most two points (Note that these ovals are strictly convex because they are intersection of strictly convex shapes). These two points must be and . Since is center of symmetry of oval of , by lemma , these two intersection points are symmetric with respect to the midpoint of . Note that , because if , or become less than contradicts with the minimality of . Now we have
Contradicts with .
Lemma 4. Every horizontal rectangle intersects every vertical rectangle in a square.
Proof. Intersection of such rectangles is a rectangle with sides at most . As intersection of every two rectangles has a unit area, both sides must be unit. □
Using lemma , we get that rectangles are vertical (V) and other are horizontal (H). Consider three horizontal rectangles with their centers sorted by . Fix the middle one and call it . Call left and right rectangles and respectively. Without loss of generality, we can assume that is not upper than . As in the figure below , intersect in a rectangle with length and , intersect in a rectangle with length . Left side of , right side of , top side of and bottom side of construct a rectangle named . Width of is and height of it is . These variables are based on rectangles in (H), we can define the same variables in (V) named , and .
Referring to the lemma , every two rectangles, one in (V) and one in (H) intersect in a unit square. So every rectangle in (V) must have a horizontal side in this means . Similarly we can show that . Without loss of generality, assume that . This yields:
Now we can calculate all variables in terms of (note that ). Intersection of is a rectangle with sides so:
We had . and so:
Now we change our variables to have simpler results. Assume that:
From (1) we have:
From (2) we conclude that the above quadratic polynomial must have a root in the interval satisfying the following condition:
so . Coefficients of are positive so is ascending so to prove that cannot be a root of , it's enough to show that . so we prove that .
Equivalently,
so the last inequality is obvious because . Thus we showed that there is no with those algebraic properties. This means there is no with that geometric properties and this is a big contradiction because was a length in our figure. Now we can say there are no six rectangles mutually intersecting at rectangles with unit area. This yields there are no such rectangles.