Maths Olympiad Prep

Library / /12 of 19

Combinatorics Difficulty 8.2 Shortlist Prove it Germany

Problem:

Let nn real numbers x1,x2,,xnx_{1}, x_{2}, \ldots, x_{n} and nn real numbers y1,y2,,yny_{1}, y_{2}, \ldots, y_{n} be given, respectively. The entries of an n×nn \times n matrix AA are defined as follows: (1i,jn1 \leq i, j \leq n)
aij={1 if xi+yj00 if xi+yj<0 a_{ij}= \begin{cases}1 & \text{ if } x_{i}+y_{j} \geq 0 \\ 0 & \text{ if } x_{i}+y_{j}<0\end{cases}
Further, let BB be an n×nn \times n matrix with entries 00 or 11, such that the sum of the entries in each row and each column of BB equals the sum of the entries in the corresponding row or column of AA.
Prove that then A=BA=B holds.

Solution

Solution:

We assume that there exists a matrix BB of the required kind with BAB \neq A. Now we consider in AA only those entries aija_{ij} that differ from the corresponding entries bijb_{ij}. There must be at least one such entry. All other entries of AA are struck out. Then, within each row or column, the number of remaining zeros equals the number of remaining ones, since these numbers are precisely interchanged in BB given equal row or column sums. Hence every number xix_{i} occurs in the remaining arrangement just as often as a summand of a sum xi+yj<0x_{i}+y_{j}<0 as it does as a summand of a sum xi+yj0x_{i}+y_{j} \geq 0. The same holds for every number yjy_{j}.

Now we add up all the sums xi+yj<0x_{i}+y_{j}<0 with aijbija_{ij} \neq b_{ij}. The sum of these sums is necessarily <0<0. Likewise we add up all the sums xi+yj0x_{i}+y_{j} \geq 0 with aijbija_{ij} \neq b_{ij}. The sum of these sums is necessarily 0\geq 0. But since each of the numbers xix_{i} and yjy_{j} occurs equally often in both sums, these sums must have the same value — a contradiction! Therefore there can be no differing entries in AA and BB, and hence A=BA=B.

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 translated into English from de; metadata (topic, difficulty) added by this project.