Maths Olympiad Prep

Library / /3 of 10

, 2011

Algebra Difficulty 8.1 Shortlist Prove it Balkan Mathematical Olympiad

Given an integer number n3n \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/(n1)n1/(n-1)^n and is achieved if and only if the xix_i are all equal to 1/(n1)1/(n-1).
The constraint on the xix_i is equivalent to
k=1n(k1)σk=1, \sum_{k=1}^{n} (k-1)\sigma_k = 1,
where
σk=1i1<<iknxi1xik,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(k1)(nk)tk1; \sum_{k=1}^{n} (k-1) \binom{n}{k} t^k \le 1;
that is, (t+1)n1((n1)t1)0(t+1)^{n-1}((n-1)t-1) \le 0. Consequently, t1/(n1)t \le 1/(n-1). Equality clearly forces all the xix_i to be equal to 1/(n1)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,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.