Maths Olympiad Prep

Library / /3 of 3

Combinatorics Difficulty 9.1 IMO level Prove it Vietnam

Consider a rectangle board ABCDABCD of size m×nm \times n with (m+1)×(n+1)(m + 1) \times (n + 1) intersections. Some engineers want to build a route from AA which goes along the segments parallel to the sides of the board, passes through each intersection exactly once and finally turns back to AA.

a. Prove that they can build the route if and only if either mm is odd or nn is odd.

b. With m,nm, n satisfying the condition in (a), find the least number of intersections at each there is a turn.

Solution

We number the rows 11 to m+1m+1 from left to right, the columns 11 to n+1n+1 from top to bottom and suppose that the point AA is (1,1)(1, 1) (at the top left of the board).

a. Necessary condition: The route can be written as a letter sequence consisting of L,R,UL, R, U and DD, which respectively represents left, right, up and down direction. Since there are (m+1)(n+1)(m+1)(n+1) intersections, the length of the sequence is (m+1)(n+1)(m+1)(n+1).

Figure 1

Since the route starts at AA and returns to AA, it follows that the number of left turns is the same as the number of right turns and the number of up turns is equal to the number of down turns. In other words, the number of letter Ls is the same as the number of letter Rs, as well as the number of letter Us and the number of letter Ds are equal. This implies (m+1)(n+1)(m+1)(n+1) is even. Thus mm is odd or nn is odd.

Sufficient condition: Without loss of generality, suppose that mm is odd. We will construct the route by the following rules:

* The first horizontal movement: we start at AA, go through the columns 11 to nn.
* Every vertical movement is only one unit; if we move horizontally, move between columns 22 and nn.
* The last horizontal movement: move from column nn to 11, then move vertically to AA.

This process can be done since mm is odd. We reach the conclusion of (a).

b. Consider two intersections at each of which there is a turn and the distance between those two turns are the closest (AA is also counted as an intersection). Between the two intersections, there is a horizontal or vertical route.

Let rr be the number of horizontal sub-routes of the route, cc be the number of vertical sub-routes of the route and kk be the number of turns (not counted at AA). We will prove the following remarks.

Remark 1. k+1=2r=2ck + 1 = 2r = 2c.

Proof. For each intersection at which there is a turn, there is exactly one horizontal sub-route and vertical sub-route. The number of turns, also counted at AA, is also the number of non-ordered pairs of the form

(horizontal sub-route, vertical sub-route)

where the horizontal sub-route and vertical sub-route intersects at some intersection. Moreover, each horizontal sub-route has common intersections with exactly two vertical sub-routes, and similarly each vertical sub-route has common intersections with exactly two horizontal sub-routes, thus

k+1=2r=2c. k + 1 = 2r = 2c.

To find the least value of kk, we only need to find the least value of rr and cc.

Remark 2. rm+1r \ge m + 1 or cn+1c \ge n + 1.

Proof. Suppose that rmr \le m, then there is a row on which each intersection lies on some vertical sub-route, which implies cn+1c \ge n + 1. Similarly, if cnc \le n then rm+1r \ge m + 1.

We consider the following cases:

* If mm is odd, nn is even: suppose rmr \le m, by the above remark, there is a row on which each of n+1n + 1 intersections lies on some vertical sub-route, but since there is an odd number of intersections on this row, we cannot return to AA, a contradiction. Thus rm+1r \ge m + 1 and k=2r12m+1k = 2r - 1 \ge 2m + 1. We can construct a route with exactly m+1m + 1 vertical sub-routes similarly to (a). Therefore, mink=2m+1\min k = 2m + 1.

* If mm is even, nn is odd: following the same pattern, we have mink=2n+1\min k = 2n + 1.

* If m,nm, n are odd: Equalities occur in the inequalities rm+1r \ge m + 1 and cn+1c \ge n + 1, which implies that

mink=2min(m,n)+1. \min k = 2 \min(m, n) + 1.

In conclusion,

* If m,nm, n are odd then mink=2min(m,n)+1\min k = 2 \min(m, n) + 1.
* If mm is even and nn is odd then mink=2n+1\min k = 2n + 1.
* If mm is odd and nn is even then mink=2m+1\min k = 2m + 1.

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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.