Maths Olympiad Prep

Library / /64 of 105

Combinatorics Difficulty 5.0 AIME, harder Prove it United States

Problem:

An n×nn \times n matrix of integers is called "golden" if, for every row and every column, their union contains all of the numbers 1,2,3,,2n11,2,3, \ldots, 2 n-1. Find all golden matrices (of all sizes).

Solutions — 2

Solution 1

Solution:

The 1×11 \times 1 matrix whose only entry is 11 is certainly golden; we claim there are no others. To see this, note that each of the numbers 1,2,,2n11,2, \ldots, 2 n-1 must appear at least nn times in the matrix. (Proof: Suppose some number kk appears less than nn times. Because there are nn columns, some column does not contain kk. Likewise, some row does not contain kk; then the union of this row and this column fails to contain kk, contrary to the given). So we have at least n(2n1)n(2 n-1) entries in the matrix. But an n×nn \times n matrix has n2n^{2} entries, so n2n(2n1)n2n11nn^{2} \geq n(2 n-1) \Rightarrow n \geq 2 n-1 \Rightarrow 1 \geq n, and only the 1×11 \times 1 matrix can be golden.

Solution 2

Solution:

As before, the 1×11 \times 1 matrix consisting only of a 11 is golden. Now, note that the union of any row and any column in an n×nn \times n golden matrix contains exactly 2n12 n-1 entries, so each of the numbers 1,2,,2n11,2, \ldots, 2 n-1 must appear exactly once in this union. Therefore, there is no room in the matrix for any numbers other than 1,2,,2n11,2, \ldots, 2 n-1. Moreover, if any of these entries appeared twice, say once at the intersection of the iith row and jjth column and once at the ii'th row and jj'th column, then the union of the iith row and jj'th column would contain this number twice, not leaving enough room for the remaining 2n22 n-2 numbers. So each number can appear only once in the matrix, meaning it can have only 2n12 n-1 entries. Thus n2=2n1n22n+1=0n=1n^{2}=2 n-1 \Rightarrow n^{2}-2 n+1=0 \Rightarrow n=1, and only the 1×11 \times 1 matrix is golden.

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.