Maths Olympiad Prep

Library / /453 of 520

Algebra Difficulty 7.4 National olympiad, round 2 Prove it

Example 1 (31st IMO Problem) Let a,b,c,d0a, b, c, d \geqslant 0, and ab+bc+cd+da=1a b+b c+c d+d a=1. Prove that:
a3b+c+d+b3c+d+a+c3d+a+b+d3a+b+c13\begin{array}{l} \frac{a^{3}}{b+c+d}+\frac{b^{3}}{c+d+a}+\frac{c^{3}}{d+a+b}+ \\ \frac{d^{3}}{a+b+c} \geqslant \frac{1}{3} \end{array}

Solution

First, prove the case where a,b,c,da, b, c, d are all non-zero.
From the given theorem: 2(ab+ac+ad+bc+bd+cd)3(a2+b2+c2+d2)2(a b+a c+a d+b c+b d+c d) \leqslant 3\left(a^{2}+b^{2}+c^{2}+d^{2}\right).
 The left side of (1) =a4ab+ac+ad+b4bc+bd+ab+c4cd+ac+bc+d4ad+bd+cd(a2+b2+c2+d2)22(ab+ac+ad+bc+bd+cd) (Cauchy inequality \begin{aligned} & \text { The left side of (1) }=\frac{a^{4}}{a b+a c+a d}+\frac{b^{4}}{b c+b d+a b} \\ + & \frac{c^{4}}{c d+a c+b c}+\frac{d^{4}}{a d+b d+c d} \\ \geqslant & \frac{\left(a^{2}+b^{2}+c^{2}+d^{2}\right)^{2}}{2(a b+a c+a d+b c+b d+c d)} \text { (Cauchy inequality } \end{aligned}
(a2+b2+c2+d2)23(a2+b2+c2+d2)=a2+b2+c2+d23=12[(a2+b2)+(b2+c2)+(c2+d2)+(d2+a2)]313\begin{array}{l} \geqslant \frac{\left(a^{2}+b^{2}+c^{2}+d^{2}\right)^{2}}{3\left(a^{2}+b^{2}+c^{2}+d^{2}\right)}=\frac{a^{2}+b^{2}+c^{2}+d^{2}}{3} \\ = \\ \frac{\frac{1}{2}\left[\left(a^{2}+b^{2}\right)+\left(b^{2}+c^{2}\right)+\left(c^{2}+d^{2}\right)+\left(d^{2}+a^{2}\right)\right]}{3} \\ \geqslant \frac{1}{3} \end{array}

If one or two of a,b,c,da, b, c, d are zero, then by removing the zero variables and following the same method, the inequality can still be proven.

Editor's note: The proof uses a variant of the Cauchy inequality:
 in the form: i=1nai2bi(i=1nai)2i=1nbi\text { in the form: } \sum_{i=1}^{n} \frac{a_{i}^{2}}{b_{i}} \geqslant \frac{\left(\sum_{i=1}^{n} a_{i}\right)^{2}}{\sum_{i=1}^{n} b_{i}}

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.