Olympiad Maths Prep

Track / Stage 9 / 63 of 80 #1943 of 2000

Problem 1943

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, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

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 and solution reproduced as published; topic, difficulty and ordering added by this site.