Maths Olympiad Prep

Library / /20 of 43

Algebra Difficulty 5.6 AIME, harder Prove it JBMO

Problem:
Let a,b,c,da, b, c, d be positive real numbers such that abcd=1a b c d = 1. Prove the inequality
1a3+b+c+d+1a+b3+c+d+1a+b+c3+d+1a+b+c+d3a+b+c+d4 \frac{1}{a^{3}+b+c+d}+\frac{1}{a+b^{3}+c+d}+\frac{1}{a+b+c^{3}+d}+\frac{1}{a+b+c+d^{3}} \leqslant \frac{a+b+c+d}{4}

Solution

Solution:
From the Cauchy-Schwarz Inequality, we obtain
(a+b+c+d)2(a3+b+c+d)(1a+b+c+d) (a+b+c+d)^{2} \leqslant (a^{3}+b+c+d)\left(\frac{1}{a}+b+c+d\right)
Using this, together with the other three analogous inequalities, we get
1a3+b+c+d+1a+b3+c+d+1a+b+c3+d+1a+b+c+d33(a+b+c+d)+(1a+1b+1c+1d)(a+b+c+d)2 \begin{aligned} \frac{1}{a^{3}+b+c+d}+\frac{1}{a+b^{3}+c+d}+\frac{1}{a+b+c^{3}+d} & +\frac{1}{a+b+c+d^{3}} \\ & \leqslant \frac{3(a+b+c+d)+\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{1}{d}\right)}{(a+b+c+d)^{2}} \end{aligned}
So it suffices to prove that
(a+b+c+d)312(a+b+c+d)+4(1a+1b+1c+1d) (a+b+c+d)^{3} \geqslant 12(a+b+c+d)+4\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{1}{d}\right)
or equivalently, that
(a3+b3+c3+d3)+3a2b+6(abc+abd+acd+bcd)12(a+b+c+d)+4(abc+abd+acd+bcd) \begin{aligned} & \left(a^{3}+b^{3}+c^{3}+d^{3}\right)+3 \sum a^{2} b+6(a b c+a b d+a c d+b c d) \\ & \quad \geqslant 12(a+b+c+d)+4(a b c+a b d+a c d+b c d) \end{aligned}
(Here, the sum is over all possible x2yx^{2} y with x,y{a,b,c,d}x, y \in \{a, b, c, d\} and xyx \neq y.) From the AM-GM Inequality we have
a3+a2b+a2b+a2c+a2c+a2d+a2d+b2a+c2a+d2a+bcd+bcd12a18b6c6d612=12aa^{3}+a^{2} b+a^{2} b+a^{2} c+a^{2} c+a^{2} d+a^{2} d+b^{2} a+c^{2} a+d^{2} a+b c d+b c d \geqslant 12 \sqrt[12]{a^{18} b^{6} c^{6} d^{6}}=12 a.
Similarly, we get three more inequalities. Adding them together gives the inequality we wanted. Equality holds if and only if a=b=c=d=1a=b=c=d=1.

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.