Maths Olympiad Prep

Track / Stage 9 / 43 of 52 #1923 of 1964

Problem 1923

IMO P2/P5; hard shortlist
Algebra Difficulty 9.2 Prove it China National Team Selection Test · China

Let m,nN,m,n>1,aijm, n \in \mathbb{N}^*, m, n > 1, a_{ij} (i=1,2,,ni = 1, 2, \dots, n, j=1,2,,mj = 1, 2, \dots, m) be non-negative real numbers (not all zero). Find the maximum and minimum values of
f=ni=1n(j=1maij)2+mj=1m(i=1naij)2(i=1nj=1maij)2+mni=1nj=1maij2. f = \frac{n \sum_{i=1}^{n} (\sum_{j=1}^{m} a_{ij})^2 + m \sum_{j=1}^{m} (\sum_{i=1}^{n} a_{ij})^2}{(\sum_{i=1}^{n} \sum_{j=1}^{m} a_{ij})^2 + mn \sum_{i=1}^{n} \sum_{j=1}^{m} a_{ij}^2}.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

The maximum value of ff is 11.
Firstly, we prove that f1f \le 1. It suffices to show that
ni=1n(j=1maij)2+mj=1m(i=1naij)2(i=1nj=1maij)2+mni=1nj=1maij2, n \sum_{i=1}^{n} (\sum_{j=1}^{m} a_{ij})^2 + m \sum_{j=1}^{m} (\sum_{i=1}^{n} a_{ij})^2 \le (\sum_{i=1}^{n} \sum_{j=1}^{m} a_{ij})^2 + mn \sum_{i=1}^{n} \sum_{j=1}^{m} a_{ij}^2,
or(i=1nj=1maij)2+mni=1nj=1maij2ni=1n(j=1maij)2mj=1m(i=1naij)20, \text{or} \quad \left(\sum_{i=1}^{n} \sum_{j=1}^{m} a_{ij}\right)^2 + mn \sum_{i=1}^{n} \sum_{j=1}^{m} a_{ij}^2 - n \sum_{i=1}^{n} \left(\sum_{j=1}^{m} a_{ij}\right)^2 - m \sum_{j=1}^{m} \left(\sum_{i=1}^{n} a_{ij}\right)^2 \ge 0,
or1p<sn1q<rm(apq+asraprasq)20. \text{or} \quad \sum_{\substack{1 \le p < s \le n \\ 1 \le q < r \le m}} (a_{pq} + a_{sr} - a_{pr} - a_{sq})^2 \ge 0.
So f1f \le 1, and when all of aija_{ij} are equal to 11, f=1f = 1.

The minimum value of ff is m+nmn+min{m,n}\frac{m+n}{mn + \min\{m, n\}}.
To prove fm+nmn+min{m,n}f \ge \frac{m+n}{mn + \min\{m, n\}}, without loss of generality, we assume nmn \le m. Hence it is sufficient to prove that
fm+nmn+n1 f \ge \frac{m+n}{mn+n} \qquad \textcircled{1}
Let
S=n2(m+1)m+ni=1nri2+mn(m+1)m+nj=1mcj2 S = \frac{n^2(m+1)}{m+n} \sum_{i=1}^{n} r_i^2 + \frac{mn(m+1)}{m+n} \sum_{j=1}^{m} c_j^2
(i=1nj=1maij)2mni=1nj=1maij2, -(\sum_{i=1}^{n} \sum_{j=1}^{m} a_{ij})^2 - mn \sum_{i=1}^{n} \sum_{j=1}^{m} a_{ij}^2,
where ri=j=1maijr_i = \sum_{j=1}^{m} a_{ij}, 1in1 \le i \le n, cj=i=1naijc_j = \sum_{i=1}^{n} a_{ij}, 1jm1 \le j \le m.

Now 1S0\textcircled{1} \Leftrightarrow S \ge 0. Consider Lagrange's equation.
(i=1naibi)2=(i=1nai2)(i=1nbi2)1k<ln(akblalbk)2 (\sum_{i=1}^{n} a_i b_i)^2 = (\sum_{i=1}^{n} a_i^2)(\sum_{i=1}^{n} b_i^2) - \sum_{1 \le k < l \le n} (a_k b_l - a_l b_k)^2
Put ai=ria_i = r_i, bi=1b_i = 1, 1in1 \le i \le n. Then
(i=1nj=1maij)2=ni=1nri2+1k<ln(rkrl)2, -(\sum_{i=1}^{n} \sum_{j=1}^{m} a_{ij})^2 = -n \sum_{i=1}^{n} r_i^2 + \sum_{1 \le k < l \le n} (r_k - r_l)^2,
and
S=mn(n1)m+ni=1nri2+mn(m+1)m+nj=1mcj2=mni=1nj=1maij2+1k<ln(rkrl)2=mn(n1)m+nj=1mi=1naij(riaij)2+mn(m+1)m+ni=1nj=1maij(cjaij)2+1k<ln(rkrl)2. \begin{aligned} S &= \frac{mn(n-1)}{m+n} \sum_{i=1}^{n} r_i^2 + \frac{mn(m+1)}{m+n} \sum_{j=1}^{m} c_j^2 \\ &= -mn \sum_{i=1}^{n} \sum_{j=1}^{m} a_{ij}^2 + \sum_{1 \le k < l \le n} (r_k - r_l)^2 \\ &= \frac{mn(n-1)}{m+n} \sum_{j=1}^{m} \sum_{i=1}^{n} a_{ij} (r_i - a_{ij})^2 \\ &\quad + \frac{mn(m+1)}{m+n} \sum_{i=1}^{n} \sum_{j=1}^{m} a_{ij} (c_j - a_{ij})^2 \\ &\quad + \sum_{1 \le k < l \le n} (r_k - r_l)^2. \end{aligned}
Since aij0a_{ij} \ge 0, riaijr_i \ge a_{ij}, cjaijc_j \ge a_{ij}, so S0S \ge 0.

When a11=a22==amn=1a_{11} = a_{22} = \cdots = a_{mn} = 1 and the other aij=0a_{ij} = 0, the minimum value of ff is m+nmn+n\frac{m+n}{mn+n}.

With the above arguments, we conclude that the maximum value of ff is 11 and the minimum value of ff is m+nmn+min{m,n}\frac{m+n}{mn+\min\{m, n\}}.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.