Maths Olympiad Prep

Library / /22 of 22

Combinatorics Difficulty 7.2 National Olympiad, round 2 Prove it Czech-Polish-Slovak Mathematical Match

Find all triples (k,m,n)(k, m, n) of positive integers with the following property: The square with the side length mm can be cut into some number of rectangles of dimensions 1×k1 \times k and exactly one square of the side length nn.

Solution

Answer: The triples (k,m,n)(k, m, n) must satisfy nmn \leq m and at least one of the two conditions:
1 kmn, 1^{\circ}\ k \mid m-n,
2 km+n and r+nm, where r is the remainder of m modulo k. 2^{\circ}\ k \mid m+n \text{ and } r+n \leq m, \text{ where } r \text{ is the remainder of } m \text{ modulo } k.
We start from proving that if (k,m,n)(k, m, n) are as above, then the cut is possible. We identify the large square with [0,m]×[0,m][0, m] \times [0, m]. If kmnk \mid m-n, then we first cut the m×mm \times m square into the square [0,n]×[0,n][0, n] \times [0, n] and rectangles [0,n]×[n,m][0, n] \times [n, m] and [n,m]×[0,m][n, m] \times [0, m]. These rectangles can trivially be cut into rectangles of dimension 1×k1 \times k. If km+nk \mid m+n and r+nmr+n \leq m, then we cut [0,m]×[0,m][0, m] \times [0, m] into a square [r,r+n]×[r,r+n][r, r+n] \times [r, r+n] and

rectangles [0,r]×[0,n+r][0, r] \times [0, n+r], [r,m]×[0,r][r, m] \times [0, r], [r+n,m]×[r,m][r+n, m] \times [r, m] and [0,n+r]×[r+n,m][0, n+r] \times [r+n, m] (they are well defined if r+nmr+n \le m), each of which can be trivially cut into rectangles 1×k1 \times k. Note that we have used the assumption r+nmr+n \le m here.
Now we show that the conditions on (k,m,n)(k, m, n) are necessary. Suppose the smaller square is equal to [p,p+n]×[q,q+n][p, p+n] \times [q, q+n]; by symmetry we may assume that q1q \ge 1.
First we show that r+nmr+n \le m. Each unit square [i,i+1]×[0,1][i, i+1] \times [0, 1], where i{p,p+1,,p+n1}i \in \{p, p+1, \dots, p+n-1\}, is contained in some rectangle 1×k1 \times k coming from the cut. If we had r+n>mr+n > m, then we would have mn<km-n < k and this would imply that each such rectangle would be "level", i.e., of the form [t,t+k]×[0,1][t, t+k] \times [0, 1]. Let SS denote the union of these "level" rectangles and let P(S)P(S) denote the area of SS. Note that we have nP(S)mn \le P(S) \le m and P(S)P(S) is divisible by kk. This contradicts r+n>mr+n > m.
Now we show that kmnk \mid m-n or km+nk \mid m+n. Suppose that this is not true. The idea is to write an integer aija_{ij} in each unit square [i1,i]×[j1,j][i-1, i] \times [j-1, j], 1i,jm1 \le i, j \le m, in such a way that
(a) for any rectangle 1×k1 \times k of the cut the sum of numbers lying inside equals 0,
(b) the sum of all the numbers and the sum of the numbers lying inside the square n×nn \times n are different.
The existence of such a sequence clearly yields the claim.
A second idea is to work with the sequences (aij)(a_{ij}) of the form aij=aibja_{ij} = a_i b_j, where (ai)i=1m(a_i)_{i=1}^m and (bj)j=1n(b_j)_{j=1}^n are kk-periodic and
i=1kai=j=1kbj=0.(1) \sum_{i=1}^{k} a_i = \sum_{j=1}^{k} b_j = 0. \qquad (1)
This implies (a); furthermore, (b) takes form
i=1maij=1mbji=p+1p+naij=q+1q+nbj, \sum_{i=1}^{m} a_i \cdot \sum_{j=1}^{m} b_j \neq \sum_{i=p+1}^{p+n} a_i \cdot \sum_{j=q+1}^{q+n} b_j,
or, by periodicity and (1),
i=1raij=1rbji=p+1p+saij=q+1q+sbj,(2) \sum_{i=1}^{r} a_i \cdot \sum_{j=1}^{r} b_j \neq \sum_{i=p+1}^{p+s} a_i \cdot \sum_{j=q+1}^{q+s} b_j, \qquad (2)
where ss denotes the remainder coming from the division of nn by kk.
If r=0r=0, then the left-hand side is 0. Furthermore, as kmnk \nmid m-n, we have s>0s > 0; it suffices to take ap+1=ap+2==ap+s=bq+1=bq+2==bq+s=1a_{p+1} = a_{p+2} = \dots = a_{p+s} = b_{q+1} = b_{q+2} = \dots = b_{q+s} = 1 and choose the remaining aia_i's and bjb_j's so that the periodicity and (1) hold.

Suppose then, that r>0r > 0. The conditions kmnk \nmid m-n, km+nk \nmid m+n imply rsr \neq s, r+skr+s \neq k. We set b1=b2==br=1b_1 = b_2 = \dots = b_r = 1 and pick the remaining bjb_j's so that periodicity and (1) hold. Let A={1,2,,r}A = \{1, 2, \dots, r\}, B={p+1,p+2,,p+s}(modk)B = \{p+1, p+2, \dots, p+s\} \pmod k denote the sets of indices appearing in the sums involving (aj)(a_j). Note that we take the set BB modulo kk. Consider two cases:
i) AB{0,1,,k1}A \cup B \neq \{0, 1, \dots, k-1\}. Then, as ABA \neq B (as rsr \neq s) and AA \neq \emptyset, we may choose aia'_is with iABi \in A \cup B in such a way that
iAai=1,iBai=0 \sum_{i \in A} a_i = 1, \qquad \sum_{i \in B} a_i = 0
(for example, if ABA \setminus B \neq \emptyset, set ai=0a_i = 0 for all iABi \in A \cup B except for one iABi \in A \setminus B, for which ai=1a_i = 1; if ABA \subset B, take ai=0a_i = 0 for iABi \in A \cup B except for one iAi \in A, for which ai=1a_i = 1 and except for one jBAj \in B \setminus A, for which aj=1a_j = -1) and complete the sequence (ai)(a_i) so that it satisfies periodicity and (1). This completion is possible as there exists i{0,1,,k1}i \in \{0, 1, \dots, k-1\} not covered by ABA \cup B. Then the right-hand side of (2) is 0, while the left one is not.
ii) AB={0,1,,k1}A \cup B = \{0, 1, \dots, k-1\}. Then A⊈BA \not\subseteq B and B⊈AB \not\subseteq A; furthermore, as r+skr+s \neq k, we have ABA \cap B \neq \emptyset. Therefore, there exist i1ABi_1 \in A \setminus B, i2BAi_2 \in B \setminus A, i3ABi_3 \in A \cap B and we set ai1=0a_{i_1} = 0, ai2=1a_{i_2} = -1, ai3=1a_{i_3} = 1 and ai=0a_i = 0 for i{0,1,2,,k1}{i1,i2,i3}i \in \{0, 1, 2, \dots, k-1\} \setminus \{i_1, i_2, i_3\}. Then we have
i=1rai=iAai=1,i=p+1p+sai=iBai=0 \sum_{i=1}^{r} a_i = \sum_{i \in A} a_i = 1, \quad \sum_{i=p+1}^{p+s} a_i = \sum_{i \in B} a_i = 0
and hence the right-hand side of (2) is 0, while the left one is not.
The proof is complete.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.