Maths Olympiad Prep

Library / /72 of 84

, 2013

Number theory Difficulty 5.8 AIME, harder Prove it United States

Problem:

Thaddeus is given a 2013×20132013 \times 2013 array of integers each between 11 and 20132013, inclusive. He is allowed two operations:
- Choose a row, and subtract 11 from each entry.
- Choose a column, and add 11 to each entry.

He would like to get an array where all integers are divisible by 20132013. On how many arrays is this possible?

Solution

Solution:

Answer: 201340252013^{4025}

We claim that the set of grids on which it is possible to obtain an array of all zeroes (mod 20132013) is indexed by ordered 40254025-tuples of residues (mod 20132013), corresponding to the starting entries in the first row and first column of the grid, giving the answer of 201340252013^{4025}.

To do this, we show that after fixing all of the entries in the first row and column, there is a unique starting grid which can become an array of all zeroes after applying the appropriate operations.

Let ai,ja_{i, j} be the entry in the ii-th row and the jj-th column. Suppose there is a sequence of operations giving all zeroes in the array; let rir_{i} be the number of times we operate on row ii, and let cjc_{j} be the number of times we operate on column jj. It is enough to take all of these values to be residues modulo 20132013. Clearly, ai,j+ri+cj0(mod2013)a_{i, j} + r_{i} + c_{j} \equiv 0 \pmod{2013} for each i,ji, j. In particular, r1+c1a1,1r_{1} + c_{1} \equiv a_{1,1}.

Now, for each i,ji, j, we have
ai,jricj(ai,1+c1)+(a1,j+r1)ai,1+a1,ja1,1, \begin{aligned} a_{i, j} &\equiv -r_{i} - c_{j} \\ &\equiv (a_{i,1} + c_{1}) + (a_{1,j} + r_{1}) \\ &\equiv a_{i,1} + a_{1,j} - a_{1,1}, \end{aligned}
which is fixed. Thus, the rest of the entries in the grid are forced.

Conversely, if we set ai,ja_{i, j} to be the appropriate representative of the residue class of ai,1+a1,ja1,1a_{i,1} + a_{1,j} - a_{1,1} modulo 20132013, we may take riai,1(mod2013)r_{i} \equiv -a_{i,1} \pmod{2013}, and cja1,1a1,j(mod2013)c_{j} \equiv a_{1,1} - a_{1,j} \pmod{2013} for each i,ji, j. It is clear that ai,j+ri+cj0(mod2013)a_{i, j} + r_{i} + c_{j} \equiv 0 \pmod{2013} for each i,ji, j, so we're done.

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.