Maths Olympiad Prep

Library / /5 of 94

Algebra Difficulty 4.6 AIME Prove it Hong Kong

Let aa, bb, cc, dd be positive real numbers such that a+b+c+d=1a + b + c + d = 1. Prove that
6(a3+b3+c3+d3)(a2+b2+c2+d2)+18. 6(a^3 + b^3 + c^3 + d^3) \ge (a^2 + b^2 + c^2 + d^2) + \frac{1}{8}.

Solution

We claim that f(x)=6x3x25x18f(x) = 6x^3 - x^2 \ge \frac{5x-1}{8} for any x>0x > 0. Indeed,
6x3x25x1848x38x25x+10(4x1)2(3x+1)0. \begin{align*} & 6x^3 - x^2 \ge \frac{5x-1}{8} \\ \Leftrightarrow \quad & 48x^3 - 8x^2 - 5x + 1 \ge 0 \\ \Leftrightarrow \quad & (4x-1)^2(3x+1) \ge 0. \end{align*}
This clearly holds. It follows that
f(a)+f(b)+f(c)+f(d)5(a+b+c+d)48=18. f(a) + f(b) + f(c) + f(d) \ge \frac{5(a+b+c+d) - 4}{8} = \frac{1}{8}.
Equality holds when a=b=c=d=14a = b = c = d = \frac{1}{4}.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.