Maths Olympiad Prep

Library / NMO Selection Tests for the Junior Balkan Mathematical Olympiad - Fourth Selection Test /2 of 4

NMO Selection Tests for the Junior Balkan Mathematical Olympiad - Fourth Selection Test

Algebra Difficulty 6.2 National Olympiad Prove it Romania

Find the largest possible value of the expression
a+b−ca3+b3+abc+b+c−ab3+c3+abc+c+a−bc3+a3+abc, \frac{a+b-c}{a^3+b^3+abc} + \frac{b+c-a}{b^3+c^3+abc} + \frac{c+a-b}{c^3+a^3+abc},
where aa, bb, cc are positive real numbers such that a+b+c≥1a+1b+1ca + b + c \ge \frac{1}{a} + \frac{1}{b} + \frac{1}{c}.

Solution

Denote by E(a,b,c)E(a, b, c) the given expression. First, we find the maximum value of E(a,b,c)E(a, b, c) under the assumption that a+b−ca + b - c, b+c−ab + c - a, c+a−bc + a - b are non-negative.
Since a2+b2−ab≥aba^2 + b^2 - ab \ge ab, it follows that a3+b3=(a+b)(a2+b2−ab)≥ab(a+b)a^3 + b^3 = (a + b)(a^2 + b^2 - ab) \ge ab(a + b), so a3+b3+abc≥ab(a+b+c)a^3 + b^3 + abc \ge ab(a + b + c). Analogously, we have b3+c3+abc≥bc(a+b+c)b^3 + c^3 + abc \ge bc(a + b + c) and c3+a3+abc≥ca(a+b+c)c^3 + a^3 + abc \ge ca(a + b + c). Therefore:
E(a,b,c)=∑a+b−ca3+b3+abc≤∑a+b−cab(a+b+c)=1a+b+c⋅∑a+b−cab E(a, b, c) = \sum \frac{a+b-c}{a^3+b^3+abc} \le \sum \frac{a+b-c}{ab(a+b+c)} = \frac{1}{a+b+c} \cdot \sum \frac{a+b-c}{ab}
Since ∑a+b−cab=2(ab+bc+ca)−(a2+b2+c2)abc≤2(ab+bc+ca)−(ab+bc+ca)abc\sum \frac{a+b-c}{ab} = \frac{2(ab+bc+ca)-(a^2+b^2+c^2)}{abc} \le \frac{2(ab+bc+ca)-(ab+bc+ca)}{abc} (due to the well-known inequality a2+b2+c2≥ab+bc+caa^2 + b^2 + c^2 \ge ab + bc + ca), we infer that
E(a,b,c)≤1a+b+c⋅ab+bc+caabc=1a+b+c(1a+1b+1c)≤1. E(a, b, c) \le \frac{1}{a+b+c} \cdot \frac{ab+bc+ca}{abc} = \frac{1}{a+b+c} \left( \frac{1}{a} + \frac{1}{b} + \frac{1}{c} \right) \le 1.
Consider now the case when at least one of the numbers a+b−ca + b - c, b+c−ab + c - a, c+a−bc + a - b is negative. Without loss of generality, suppose that a+b−c<0a + b - c < 0. Then c>a+b>∣a−b∣c > a + b > |a - b|, so both numbers b+c−ab + c - a and c+a−bc + a - b are positive. It follows that:
∑a+b−ca3+b3+abc≤b+c−ab3+c3+abc+c+a−bc3+a3+abc≤b+c−abc(a+b+c)+c+a−bca(a+b+c)=1a+b+c⋅ac+bc−(a−b)2abc<1a+b+c⋅ab+bc+caabc=1a+b+c(1a+1b+1c)≤1. \begin{align*} \sum \frac{a+b-c}{a^3+b^3+abc} &\le \frac{b+c-a}{b^3+c^3+abc} + \frac{c+a-b}{c^3+a^3+abc} \\ &\le \frac{b+c-a}{bc(a+b+c)} + \frac{c+a-b}{ca(a+b+c)} \\ &= \frac{1}{a+b+c} \cdot \frac{ac+bc-(a-b)^2}{abc} < \frac{1}{a+b+c} \cdot \frac{ab+bc+ca}{abc} \\ &= \frac{1}{a+b+c} \left( \frac{1}{a} + \frac{1}{b} + \frac{1}{c} \right) \le 1. \end{align*}
In summary, the maximum value of E(a,b,c)E(a, b, c) is equal to 11 and it is attained if and only if a=b=c=1a = b = c = 1.

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.