Maths Olympiad Prep

Library / /5 of 12

, 2019

Algebra Difficulty 8.1 Shortlist Prove it Romania

Given an integer n3n \ge 3, determine the least value the sum i=1n(1/xixi)\sum_{i=1}^{n} (1/x_i - x_i) may achieve, as the xix_i run through the positive real numbers subject to i=1n1xi+n1=1\sum_{i=1}^{n} \frac{1}{x_i + n - 1} = 1. Also, determine the xix_i at which this minimum is achieved.

Solution

The required minimum is 00 and is achieved if and only if the xix_i are all equal to 11. Let x1,,xnx_1, \dots, x_n be positive real numbers satisfying the condition in the statement. Let yi=xi/(xi+n1)y_i = x_i/(x_i + n - 1), i=1,2,,ni = 1, 2, \dots, n, and notice that the yiy_i are positive real numbers that add up to 11. Express the xix_i in terms of the yiy_i to get xi=(n1)yi/(1yi)x_i = (n-1)y_i/(1-y_i), and write successively
i=1n1xi=1n1i=1n1yiyi=1n1i=1n1yijiyj=1n1ijyjyi=1n1ijyiyj=1n1i=1nyiji1yj1n1i=1nyi(n1)2jiyj=i=1n(n1)yi1yi=i=1nxi. \begin{aligned} \sum_{i=1}^{n} \frac{1}{x_i} &= \frac{1}{n-1} \sum_{i=1}^{n} \frac{1-y_i}{y_i} = \frac{1}{n-1} \sum_{i=1}^{n} \frac{1}{y_i} \sum_{j \neq i} y_j = \frac{1}{n-1} \sum_{i \neq j} \frac{y_j}{y_i} = \frac{1}{n-1} \sum_{i \neq j} \frac{y_i}{y_j} \\ &= \frac{1}{n-1} \sum_{i=1}^{n} y_i \sum_{j \neq i} \frac{1}{y_j} \ge \frac{1}{n-1} \sum_{i=1}^{n} y_i \cdot \frac{(n-1)^2}{\sum_{j \neq i} y_j} = \sum_{i=1}^{n} \frac{(n-1)y_i}{1-y_i} = \sum_{i=1}^{n} x_i. \end{aligned}
Equality clearly forces the yiy_i all equal to 1/n1/n, which is the case if and only if the xix_i are all equal to 11.

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.