Olympiad Maths Prep

Library / /16 of 21

, 2007

Geometry Difficulty 8.7 Shortlist Prove it IMO

A unit square is dissected into n>1n>1 rectangles such that their sides are parallel to the sides of the square. Any line, parallel to a side of the square and intersecting its interior, also intersects the interior of some rectangle. Prove that in this dissection, there exists a rectangle having no point on the boundary of the square.

Solutions — 2

Solution 1

Call the directions of the sides of the square horizontal and vertical. A horizontal or vertical line, which intersects the interior of the square but does not intersect the interior of any rectangle, will be called a splitting line. A rectangle having no point on the boundary of the square will be called an interior rectangle.

Suppose, to the contrary, that there exists a dissection of the square into more than one rectangle, such that no interior rectangle and no splitting line appear. Consider such a dissection with the least possible number of rectangles. Notice that this number of rectangles is greater than 22, otherwise their common side provides a splitting line.

If there exist two rectangles having a common side, then we can replace them by their union (see Figure 1).

Figure 1

Figure 1

The number of rectangles was greater than 22, so in a new dissection it is greater than 11. Clearly, in the new dissection, there is also no splitting line as well as no interior rectangle. This contradicts the choice of the original dissection.

Denote the initial square by ABCDABCD, with AA and BB being respectively the lower left and lower right vertices. Consider those two rectangles aa and bb containing vertices AA and BB, respectively. (Note that aba \neq b, otherwise its top side provides a splitting line.) We can assume that the height of aa is not greater than that of bb. Then consider the rectangle cc neighboring to the lower right corner of aa (it may happen that c=bc=b). By aforementioned, the heights of aa and cc are distinct. Then two cases are possible.

Figure 2

Figure 3

Case 1. The height of cc is less than that of aa. Consider the rectangle dd which is adjacent to both aa and cc, i.e. the one containing the angle marked in Figure 2. This rectangle has no common point with BCBC (since aa is not higher than bb), as well as no common point with ABAB or with ADAD (obviously). Then dd has a common point with CDCD, and its left side provides a splitting line. Contradiction.

Case 2. The height of cc is greater than that of aa. Analogously, consider the rectangle dd containing the angle marked on Figure 3. It has no common point with ADAD (otherwise it has a common side with aa), as well as no common point with ABAB or with BCBC (obviously). Then dd has a common point with CDCD. Hence its right side provides a splitting line, and we get the contradiction again.

Solution 2

Again, we suppose the contrary. Consider an arbitrary counterexample. Then we know that each rectangle is attached to at least one side of the square. Observe that a rectangle cannot be attached to two opposite sides, otherwise one of its sides lies on a splitting line.

We say that two rectangles are opposite if they are attached to opposite sides of ABCDABCD. We claim that there exist two opposite rectangles having a common point.

Consider the union LL of all rectangles attached to the left. Assume, to the contrary, that LL has no common point with the rectangles attached to the right. Take a polygonal line pp connecting the top and the bottom sides of the square and passing close from the right to the boundary of LL (see Figure 4). Then all its points belong to the rectangles attached either to the top or to the bottom. Moreover, the upper end-point of pp belongs to a rectangle attached to the top, and the lower one belongs to another rectangle attached to the bottom. Hence, there is a point on pp where some rectangles attached to the top and to the bottom meet each other. So, there always exists a pair of neighboring opposite rectangles.

Figure 3

Figure 4

Figure 4

Figure 5

Figure 5

Figure 6

Now, take two opposite neighboring rectangles aa and bb. We can assume that aa is attached to the left and bb is attached to the right. Let XX be their common point. If XX belongs to their horizontal sides (in particular, XX may appear to be a common vertex of aa and bb), then these sides provide a splitting line (see Figure 5). Otherwise, XX lies on the vertical sides. Let \ell be the line containing these sides.

Since \ell is not a splitting line, it intersects the interior of some rectangle. Let cc be such a rectangle, closest to XX; we can assume that cc lies above XX. Let YY be the common point of \ell and the bottom side of cc (see Figure 6). Then YY is also a vertex of two rectangles lying below cc.

So, let YY be the upper-right and upper-left corners of the rectangles aa' and bb', respectively. Then aa' and bb' are situated not lower than aa and bb, respectively (it may happen that a=aa=a' or b=bb=b'). We claim that aa' is attached to the left. If a=aa=a' then of course it is. If aaa \neq a' then aa' is above aa, below cc and to the left from bb'. Hence, it can be attached to the left only.

Analogously, bb' is attached to the right. Now, the top sides of these two rectangles pass through YY, hence they provide a splitting line again. This last contradiction completes the proof.

Looking for a route rather than 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 and solution reproduced as published; topic and difficulty added by this site.