Maths Olympiad Prep

Library / /147 of 397

Algebra Difficulty 5.5 AIME, harder Prove it Taiwan

Let aa, bb, cc, dd be nonnegative real numbers satisfying a+b+c+d=100a + b + c + d = 100. Prove that:
ab+73+bc+73+cd+73+da+73873 \sqrt[3]{\frac{a}{b+7}} + \sqrt[3]{\frac{b}{c+7}} + \sqrt[3]{\frac{c}{d+7}} + \sqrt[3]{\frac{d}{a+7}} \le \frac{8}{\sqrt[3]{7}}

Solutions — 2

Solution 1

Let
S=ab+73+bc+73+cd+73+da+73 S = \sqrt[3]{\frac{a}{b+7}} + \sqrt[3]{\frac{b}{c+7}} + \sqrt[3]{\frac{c}{d+7}} + \sqrt[3]{\frac{d}{a+7}}
Assume that xx, yy, zz, tt is a permutation of the variables, with
xyztx \le y \le z \le t. Then, by the rearrangement inequality,
S(xt+73+tx+73)+(yz+73+zy+73). S \le \left( \sqrt[3]{\frac{x}{t+7}} + \sqrt[3]{\frac{t}{x+7}} \right) + \left( \sqrt[3]{\frac{y}{z+7}} + \sqrt[3]{\frac{z}{y+7}} \right).

Claim. The first bracket above does not exceed
x+t+1473 \sqrt[3]{\frac{x+t+14}{7}}
Proof. Since
X3+Y3+3XYZZ3=12(X+YZ)((XY)2+(X+Z)2+(Y+Z)2), X^3+Y^3+3XYZ-Z^3 = \frac{1}{2}(X+Y-Z)((X-Y)^2+(X+Z)^2+(Y+Z)^2),
the inequality X+YZX + Y \le Z is equivalent (when XX, YY, Z0Z \ge 0) to
X3+Y3+3XYZZ3. X^3 + Y^3 + 3XYZ \le Z^3.
Therefore, the claim is equivalent to
xt+7+tx+7+3xt(x+t+14)7(x+7)(t+7)3x+t+147. \frac{x}{t+7} + \frac{t}{x+7} + 3\sqrt[3]{\frac{xt(x+t+14)}{7(x+7)(t+7)}} \le \frac{x+t+14}{7}.

Notice that
3xt(x+t+14)7(x+7)(t+7)3=3t(x+7)7(t+7)x(t+7)7(x+7)7(x+t+14)(t+7)(x+7)3t(x+7)7(t+7)x(t+7)7(x+7)7(x+t+14)(t+7)(x+7) \begin{aligned} 3\sqrt[3]{\frac{xt(x+t+14)}{7(x+7)(t+7)}} &= 3\sqrt[3]{\frac{t(x+7)}{7(t+7)} \cdot \frac{x(t+7)}{7(x+7)} \cdot \frac{7(x+t+14)}{(t+7)(x+7)}} \\ &\le \frac{t(x+7)}{7(t+7)} \cdot \frac{x(t+7)}{7(x+7)} \cdot \frac{7(x+t+14)}{(t+7)(x+7)} \end{aligned}
by the AM-GM inequality, so it suffices to prove
xt+7+tx+7+t(x+7)7(t+7)+x(t+7)7(x+7)+7(x+t+14)(t+7)(x+7)x+t+147. \frac{x}{t+7} + \frac{t}{x+7} + \frac{t(x+7)}{7(t+7)} + \frac{x(t+7)}{7(x+7)} + \frac{7(x+t+14)}{(t+7)(x+7)} \le \frac{x+t+14}{7}.
A straightforward check verifies that the last inequality is in fact an
equality. □

The claim leads now to
Sx+t+1473+y+z+14732x+y+z+t+28143=873, S \le \sqrt[3]{\frac{x+t+14}{7}} + \sqrt[3]{\frac{y+z+14}{7}} \le 2\sqrt[3]{\frac{x+y+z+t+28}{14}} = \frac{8}{\sqrt[3]{7}},
the last inequality being due to the AM-GM inequality (or to the fact
that 3\sqrt[3]{} is concave on [0,)[0, \infty)).

Solution 2

Start by using Hölder's inequality:
S3=(cyca6a6b+73)3cyc(a6)3cyc(a6)3cyc(1b+73)3=(cyca)2cyc1b+7. \begin{aligned} S^3 &= \left( \sum_{cyc} \frac{\sqrt[6]{a} \cdot \sqrt[6]{a}}{\sqrt[3]{b+7}} \right)^3 \\ &\le \sum_{cyc} (\sqrt[6]{a})^3 \cdot \sum_{cyc} (\sqrt[6]{a})^3 \cdot \sum_{cyc} \left( \frac{1}{\sqrt[3]{b+7}} \right)^3 \\ &= \left( \sum_{cyc} \sqrt{a} \right)^2 \sum_{cyc} \frac{1}{b+7}. \end{aligned}

Notice that
(x1)2(x7)2x2+70x216x+71448x2+7 \frac{(x-1)^2(x-7)^2}{x^2+7} \ge 0 \Leftrightarrow x^2 - 16x + 71 \ge \frac{448}{x^2+7}
yields
1b+71448(b16b+71)=1448(38416b)=482b56. \begin{aligned} \sum \frac{1}{b+7} &\le \frac{1}{448} \sum (b - 16\sqrt{b} + 71) \\ &= \frac{1}{448} (384 - 16 \sum \sqrt{b}) \\ &= \frac{48 - 2 \sum \sqrt{b}}{56}. \end{aligned}
Finally,
S3156(a)2(482a)156(a+a+(482a)3)3=5127 \begin{aligned} S^3 &\le \frac{1}{56} \left( \sum \sqrt{a} \right)^2 \left( 48 - 2 \sum \sqrt{a} \right) \\ &\le \frac{1}{56} \left( \frac{\sum \sqrt{a} + \sum \sqrt{a} + (48 - 2\sqrt{a})}{3} \right)^3 \\ &= \frac{512}{7} \end{aligned}
by the AM-GM inequality. The conclusions 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 translated into English from the original; metadata (topic, difficulty) added by this project.