Maths Olympiad Prep

Library / /233 of 520

Algebra Difficulty 6.5 National olympiad Prove it

Example 4 Let a,b,c,dR+a, b, c, d \in \mathbf{R}^{+}, prove that:
abc+bcd+cda+adb43a2+b2+c2+d24\sqrt[3]{\frac{a b c+b c d+c d a+a d b}{4}} \leqslant \sqrt{\frac{a^{2}+b^{2}+c^{2}+d^{2}}{4}}

Solution

Prove that by applying G2A2G_{2} \leqslant A_{2} twice, we get
abc+bcd+cda+adb4=12(abc+d2+cda+b2)12[(a+b2)2c+d2+(c+d2)2a+b2]=a+b2c+d2a+b+c+d4(a+b2+c+d22)2a+b+c+d4=(a+b+c+d4)3.\begin{aligned} & \frac{a b c+b c d+c d a+a d b}{4} \\ = & \frac{1}{2}\left(a b \cdot \frac{c+d}{2}+c d \cdot \frac{a+b}{2}\right) \\ \leqslant & \frac{1}{2}\left[\left(\frac{a+b}{2}\right)^{2} \cdot \frac{c+d}{2}+\left(\frac{c+d}{2}\right)^{2} \cdot \frac{a+b}{2}\right] \\ = & \frac{a+b}{2} \cdot \frac{c+d}{2} \cdot \frac{a+b+c+d}{4} \\ \leqslant & \left(\frac{\frac{a+b}{2}+\frac{c+d}{2}}{2}\right)^{2} \frac{a+b+c+d}{4}=\left(\frac{a+b+c+d}{4}\right)^{3} . \end{aligned}

Then, by A4Q4A_{4} \leqslant Q_{4}, we have
a+b+c+d4a2+b2+c2+d24\frac{a+b+c+d}{4} \leqslant \sqrt{\frac{a^{2}+b^{2}+c^{2}+d^{2}}{4}}

Thus, the original inequality holds.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.