Maths Olympiad Prep

Library / /23 of 105

Combinatorics Difficulty 5.1 AIME, harder Prove it JBMO

Problem:
A board n×nn \times n (n3n \geq 3) is divided into n2n^{2} unit squares. Integers from 00 to nn inclusive are written down: one integer in each unit square, in such a way that the sums of integers in each 2×22 \times 2 square of the board are different. Find all nn for which such boards exist.

Solution

Solution:
The number of the 2×22 \times 2 squares in a board n×nn \times n is equal to (n1)2(n-1)^{2}. All possible sums of the numbers in such squares are 0,1,,4n0, 1, \ldots, 4n. A necessary condition for the existence of a board with the required property is 4n+1(n1)24n + 1 \geq (n-1)^{2} and consequently n(n6)0n(n-6) \leq 0. Thus n6n \leq 6. The examples show the existence of boards n×nn \times n for all 3n63 \leq n \leq 6.

Figure 1

666655
665555
123445
350505
102100
101000

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.