Maths Olympiad Prep

Library / /4 of 5

Combinatorics Difficulty 6.9 National Olympiad Prove it Taiwan

Let nn and kk be positive integers. A baby uses n2n^2 blocks to form a n×nn \times n grid, with each of the blocks having a positive integer no greater than kk on it. The father passes by and notice that:
1. each row on the grid can be viewed as an arithmetic sequence with the left most number being its leading term, with all of them having distinct common differences;
2. each column on the grid can be viewed as an arithmetic sequence with the top most number being its leading term, with all of them having distinct common differences,
Find the smallest possible value of kk (as a function of nn.)
Note: The common differences might not be positive.

Solution

For an n×nn \times n grid, when n=2m+1n = 2m + 1, the smallest possible value of kk is 2m2+12m^2 + 1; when n=2mn = 2m, the smallest possible value of kk is 2m2m+12m^2 - m + 1.

Estimate: First, let [x][x] denote the greatest integer not exceeding xx, and let m=[n/2]m = [n/2]. Since all the common differences of the rows are distinct, we need n2mn \ge 2m distinct common differences; and since from m+1-m + 1 to m1m - 1 there are only 2(m1)+1=2m1<n2(m-1) + 1 = 2m - 1 < n numbers in total, there must be a row whose common difference is m\ge m or m\le -m. Without loss of generality, suppose that row's common difference is m\ge m, then since the leading term 1\ge 1, we have
last term1+(n1)m={2m2m+1,if n=2m,2m2+1,if n=2m+1. \text{last term} \ge 1 + (n-1)m = \begin{cases} 2m^2 - m + 1, & \text{if } n = 2m, \\ 2m^2 + 1, & \text{if } n = 2m + 1. \end{cases}

Construction: First consider the case n=2m+1n = 2m + 1. Let t=m2+1t = m^2 + 1, and consider the construction
(tm2t2mtmtt+mt+2mt+m2t2mt4t2tt+2t+4t+2mtmt2t1tt+1t+2t+mtttttttt+mt+2t+1tt1t2tmt+2mt+4t+2tt2t4t2mt+m2t+2mt+mttmt2mtm2) \begin{pmatrix} t - m^2 & \cdots & t - 2m & t - m & t & t + m & t + 2m & \cdots & t + m^2 \\ \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots \\ t - 2m & \cdots & t - 4 & t - 2 & t & t + 2 & t + 4 & \cdots & t + 2m \\ t - m & \cdots & t - 2 & t - 1 & t & t + 1 & t + 2 & \cdots & t + m \\ t & \cdots & t & t & t & t & t & \cdots & t \\ t + m & \cdots & t + 2 & t + 1 & t & t - 1 & t - 2 & \cdots & t - m \\ t + 2m & \cdots & t + 4 & t + 2 & t & t - 2 & t - 4 & \cdots & t - 2m \\ \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots \\ t + m^2 & \cdots & t + 2m & t + m & t & t - m & t - 2m & \cdots & t - m^2 \end{pmatrix}

It is easy to verify that each row is respectively an arithmetic sequence with common difference from m-m to mm, and each column is also respectively an arithmetic sequence with common difference from m-m to mm, and the largest number is t+m2=2m2+1t + m^2 = 2m^2 + 1.

If n=2mn = 2m, then consider the construction above, and remove the last row and the last column. It is easy to see that each row and each column is still an arithmetic sequence with distinct common differences, and the largest number at this time is t+m(m1)=2m2m+1t + m(m-1) = 2m^2 - m + 1.

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