Maths Olympiad Prep

Library / ShortlistBMO /3 of 9

ShortlistBMO, 2011

Algebra Difficulty 8.1 Shortlist Prove it Balkan Mathematical Olympiad

Given an integer number n≥3n \ge 3, determine the maximum value the product of nn non-negative real numbers x1,x2,…,xnx_1, x_2, \dots, x_n may achieve, subject to
x11+x1+x21+x2+⋯+xn1+xn=1. \frac{x_1}{1+x_1} + \frac{x_2}{1+x_2} + \dots + \frac{x_n}{1+x_n} = 1.

Solution

The required maximum is 1/(n−1)n1/(n-1)^n and is achieved if and only if the xix_i are all equal to 1/(n−1)1/(n-1).
The constraint on the xix_i is equivalent to
∑k=1n(k−1)σk=1, \sum_{k=1}^{n} (k-1)\sigma_k = 1,
where
σk=∑1≤i1<⋯<ik≤nxi1⋯xik,k=1,2,…,n. \sigma_k = \sum_{1 \le i_1 < \dots < i_k \le n} x_{i_1} \cdots x_{i_k}, \quad k = 1, 2, \dots, n.
By the AM-GM inequality,
σk≥(nk)σnk/n,k=1,2,…,n, \sigma_k \ge \binom{n}{k} \sigma_n^{k/n}, \quad k = 1, 2, \dots, n,
so, upon substitution t=σn1/nt = \sigma_n^{1/n},
∑k=1n(k−1)(nk)tk≤1; \sum_{k=1}^{n} (k-1) \binom{n}{k} t^k \le 1;
that is, (t+1)n−1((n−1)t−1)≤0(t+1)^{n-1}((n-1)t-1) \le 0. Consequently, t≤1/(n−1)t \le 1/(n-1). Equality clearly forces all the xix_i to be equal to 1/(n−1)1/(n-1). Since these xix_i obey the constraint, the conclusion follows.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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