Maths Olympiad Prep

Library / /106 of 121

Combinatorics Difficulty 7.0 National Olympiad Prove it India

Problem:

Suppose the n2n^{2} numbers 1,2,3,,n21,2,3, \ldots, n^{2} are arranged to form an nn by nn array consisting of nn rows and nn columns such that the numbers in each row (from left to right) and each column (from top to bottom) are in increasing order. Denote by ajka_{j k} the number in jj-th row and kk-th column. Suppose bjb_{j} is the maximum possible number of entries that can occur as ajj,1jna_{j j}, 1 \leq j \leq n. Prove that
b1+b2+b3+bnn3(n23n+5) b_{1}+b_{2}+b_{3}+\cdots b_{n} \leq \frac{n}{3}\left(n^{2}-3 n+5\right)
(Example: In the case n=3n=3, the only numbers which can occur as a22a_{22} are 4, 5 or 6 so that b2=3b_{2}=3.)

Solution

Solution:

Since ajja_{j j} has to exceed all the numbers in the top left j×jj \times j submatrix (excluding itself), and since there are j21j^{2}-1 entries, we must have ajjj2a_{j j} \geq j^{2}. Similarly, ajja_{j j} must not exceed each of the numbers in the bottom right (nj+1)×(nj+1)(n-j+1) \times (n-j+1) submatrix (other than itself) and there are (nj+1)21(n-j+1)^{2}-1 such entries giving ajjn2(nj+1)2+1a_{j j} \leq n^{2}-(n-j+1)^{2}+1. Thus we see that
ajj{j2,j2+1,j2+2,,n2(nj+1)2+1} a_{j j} \in\left\{j^{2}, j^{2}+1, j^{2}+2, \ldots, n^{2}-(n-j+1)^{2}+1\right\}
The number of elements in this set is n2(nj+1)2j2+2n^{2}-(n-j+1)^{2}-j^{2}+2. This implies that
bjn2(nj+1)2j2+2=(2n+2)j2j2(2n1) b_{j} \leq n^{2}-(n-j+1)^{2}-j^{2}+2=(2 n+2) j-2 j^{2}-(2 n-1)
It follows that
j=1nbj(2n+2)j=1nj2j=1nj2n(2n1)=(2n+2)(n(n+1)2)2(n(n+1)(2n+1)6)n(2n1)=n3(n23n+5) \begin{aligned} \sum_{j=1}^{n} b_{j} & \leq (2 n+2) \sum_{j=1}^{n} j - 2 \sum_{j=1}^{n} j^{2} - n(2 n-1) \\ & = (2 n+2)\left(\frac{n(n+1)}{2}\right) - 2\left(\frac{n(n+1)(2 n+1)}{6}\right) - n(2 n-1) \\ & = \frac{n}{3}\left(n^{2}-3 n+5\right) \end{aligned}
which is the required bound.

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.