Maths Olympiad Prep

Library / /7 of 38

Algebra Difficulty 6.3 National olympiad Prove it China

Let f(x)=(x+a)(x+b)f(x) = (x+a)(x+b) where aa, bb are given positive real numbers, n2n \ge 2 be a given integer. For non-negative real numbers x1,x2,,xnx_1, x_2, \dots, x_n that satisfy x1+x2++xn=1x_1 + x_2 + \dots + x_n = 1, find the maximum of F=1i<jnmin{f(xi),f(xj)}F = \sum_{1 \le i < j \le n} \min\{f(x_i), f(x_j)\}.

Solutions — 2

Solution 1

As
min{f(xi),f(xj)}=min{(xi+a)(xi+b),(xj+a)(xj+b)}(xi+a)(xi+b)(xj+a)(xj+b)12((xi+a)(xj+b)+(xi+b)(xj+a))=xixj+12(xi+xj)(a+b)+ab, \begin{align*} \min\{f(x_i), f(x_j)\} &= \min\{(x_i + a)(x_i + b), (x_j + a)(x_j + b)\} \\ &\le \sqrt{(x_i + a)(x_i + b)(x_j + a)(x_j + b)} \\ &\le \frac{1}{2}((x_i + a)(x_j + b) + (x_i + b)(x_j + a)) \\ &= x_i x_j + \frac{1}{2}(x_i + x_j)(a + b) + ab, \end{align*}
so
F1i<jnxixj+a+b21i<jn(xi+xj)+Cn2ab=12[(i=1nxi)2i=1nxi2]+a+b2(n1)i=1nxi+Cn2ab=12(1i=1nxi2)+n12(a+b)+Cn2ab12(11n(i=1nxi)2)+n12(a+b)+Cn2ab=12(11n)+n12(a+b)+n(n1)2ab=n12(1n+a+b+nab). \begin{align*} F &\le \sum_{1 \le i < j \le n} x_i x_j + \frac{a+b}{2} \sum_{1 \le i < j \le n} (x_i + x_j) + C_n^2 \cdot ab \\ &= \frac{1}{2} \left[ \left( \sum_{i=1}^n x_i \right)^2 - \sum_{i=1}^n x_i^2 \right] + \frac{a+b}{2} (n-1) \sum_{i=1}^n x_i + C_n^2 \cdot ab \\ &= \frac{1}{2} \left( 1 - \sum_{i=1}^n x_i^2 \right) + \frac{n-1}{2} (a+b) + C_n^2 \cdot ab \\ &\le \frac{1}{2} \left( 1 - \frac{1}{n} \left( \sum_{i=1}^n x_i \right)^2 \right) + \frac{n-1}{2} (a+b) + C_n^2 \cdot ab \\ &= \frac{1}{2} \left( 1 - \frac{1}{n} \right) + \frac{n-1}{2} (a+b) + \frac{n(n-1)}{2} ab \\ &= \frac{n-1}{2} \left( \frac{1}{n} + a + b + nab \right). \end{align*}
The equality holds when x1=x2==xn=1nx_1 = x_2 = \cdots = x_n = \frac{1}{n}. So the maximum of FF is n12(1n+a+b+nab)\frac{n-1}{2} \left( \frac{1}{n} + a + b + nab \right).

Solution 2

We show that the maximum value is attained when x1=x2==xn=1nx_1 = x_2 = \cdots = x_n = \frac{1}{n}, and Fmax=n12(1n+a+b+nab)F_{\max} = \frac{n-1}{2} \left(\frac{1}{n} + a + b + nab\right).
We induct on nn to show a more general statement: for non-negative real numbers x1,x2,,xnx_1, x_2, \dots, x_n satisfying x1+x2++xn=sx_1 + x_2 + \dots + x_n = s (where ss is a fixed non-negative real number), the maximum value of F=1i<jnmin{f(xi),f(xj)}F = \sum_{1 \le i < j \le n} \min\{f(x_i), f(x_j)\} is attained when x1=x2==xn=snx_1 = x_2 = \cdots = x_n = \frac{s}{n}.
Since FF is symmetric, we may assume x1x2xnx_1 \le x_2 \le \cdots \le x_n. Note that f(x)f(x) is strictly increasing on non-negative real numbers, we have
F=(n1)f(x1)+(n2)f(x2)++f(xn1). F = (n-1)f(x_1) + (n-2)f(x_2) + \cdots + f(x_{n-1}).
When n=2n=2, F=f(x1)f(s2)F = f(x_1) \le f(\frac{s}{2}), equality holds when x1=x2x_1 = x_2. Assume that the statement holds for nn, consider the case of n+1n+1. Applying inductive hypothesis on x2+x3++xn+1=sx1x_2 + x_3 + \cdots + x_{n+1} = s - x_1, we have
Fnf(x1)+12n(n1)f(sx1n)=g(x1), F \le nf(x_1) + \frac{1}{2}n(n-1)f(\frac{s-x_1}{n}) = g(x_1),
where g(x)g(x) is a quadratic function of xx, the leading coefficient is 1+n12n21 + \frac{n-1}{2n^2}, and the coefficient of xx is a+bn12n(a+b+s2n)a + b - \frac{n-1}{2n}(a + b + \frac{s}{2n}), therefore, the axis of symmetry is
n12n(a+b+s2n)ab2+n1n2s2(n+1). \frac{\frac{n-1}{2n}\left(a+b+\frac{s}{2n}\right)-a-b}{2+\frac{n-1}{n^2}} \le \frac{s}{2(n+1)}.
(The above inequality is equivalent to [(n1)s2n(n+1)(a+b)](n+1)2s(2n2+n1)[(n-1)s - 2n(n+1)(a+b)](n+1) \le 2s(2n^2 + n - 1); obviously, left-hand side <(n21)s<< (n^2-1)s < right-hand side.) Therefore, g(sn+1)g(\frac{s}{n+1}) is the maximum of g(x)g(x) on [0,sn+1][0, \frac{s}{n+1}]. Thus, FF attains its maximum when x2=x3==xn+1=sx1n=sn+1=x1x_2 = x_3 = \cdots = x_{n+1} = \frac{s-x_1}{n} = \frac{s}{n+1} = x_1, completing the solution. \square

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