Maths Olympiad Prep

Library / /44 of 56

Algebra Difficulty 6.7 National Olympiad Prove it JBMO

Problem:
Let a,b,c,da, b, c, d be real numbers such that 0abcd0 \leq a \leq b \leq c \leq d. Prove the inequality
ab3+bc3+cd3+da3a2b2+b2c2+c2d2+d2a2 a b^{3}+b c^{3}+c d^{3}+d a^{3} \geq a^{2} b^{2}+b^{2} c^{2}+c^{2} d^{2}+d^{2} a^{2}

Solution

Solution:
The inequality is equivalent to
(ab3+bc3+cd3+da3)2(a2b2+b2c2+c2d2+d2a2)2 \left(a b^{3}+b c^{3}+c d^{3}+d a^{3}\right)^{2} \geq\left(a^{2} b^{2}+b^{2} c^{2}+c^{2} d^{2}+d^{2} a^{2}\right)^{2}
By the Cauchy-Schwarz inequality,
(ab3+bc3+cd3+da3)(a3b+b3c+c3d+d3a)(a2b2+b2c2+c2d2+d2a2)2 \left(a b^{3}+b c^{3}+c d^{3}+d a^{3}\right)\left(a^{3} b+b^{3} c+c^{3} d+d^{3} a\right) \geq\left(a^{2} b^{2}+b^{2} c^{2}+c^{2} d^{2}+d^{2} a^{2}\right)^{2}
Hence it is sufficient to prove that
(ab3+bc3+cd3+da3)2(ab3+bc3+cd3+da3)(a3b+b3c+c3d+d3a) \left(a b^{3}+b c^{3}+c d^{3}+d a^{3}\right)^{2} \geq\left(a b^{3}+b c^{3}+c d^{3}+d a^{3}\right)\left(a^{3} b+b^{3} c+c^{3} d+d^{3} a\right)
i.e. to prove ab3+bc3+cd3+da3a3b+b3c+c3d+d3aa b^{3}+b c^{3}+c d^{3}+d a^{3} \geq a^{3} b+b^{3} c+c^{3} d+d^{3} a.
This inequality can be written successively
a(b3d3)+b(c3a3)+c(d3b3)+d(a3c3)0 a\left(b^{3}-d^{3}\right)+b\left(c^{3}-a^{3}\right)+c\left(d^{3}-b^{3}\right)+d\left(a^{3}-c^{3}\right) \geq 0
or
(ac)(b3d3)(bd)(a3c3)0 (a-c)\left(b^{3}-d^{3}\right)-(b-d)\left(a^{3}-c^{3}\right) \geq 0
which comes down to
(ac)(bd)(b2+bd+d2a2acc2)0 (a-c)(b-d)\left(b^{2}+b d+d^{2}-a^{2}-a c-c^{2}\right) \geq 0
The last inequality is true because ac0,bd0a-c \leq 0, b-d \leq 0, and (b2a2)+(bdac)+(d2c2)0\left(b^{2}-a^{2}\right)+(b d-a c)+\left(d^{2}-c^{2}\right) \geq 0 as a sum of three non-negative numbers.
The last inequality is satisfied with equality whence a=ba=b and c=dc=d. Combining this with the equality cases in the Cauchy-Schwarz inequality we obtain the equality cases for the initial inequality: a=b=c=da=b=c=d.

Remark. Instead of using the Cauchy-Schwarz inequality, once the inequality ab3+bc3+cd3+a b^{3}+b c^{3}+c d^{3}+ da3a3b+b3c+c3d+d3ad a^{3} \geq a^{3} b+b^{3} c+c^{3} d+d^{3} a is established, we have 2(ab3+bc3+cd3+da3)(ab3+bc3+cd3+da3)+(a3b+b3c+c3d+d3a)=(ab3+a3b)+(bc3+b3c)+(cd3+c3d)+(da3+d3a)AMGM2\left(a b^{3}+b c^{3}+c d^{3}+d a^{3}\right) \geq\left(a b^{3}+b c^{3}+c d^{3}+d a^{3}\right)+\left(a^{3} b+b^{3} c+c^{3} d+d^{3} a\right)=\left(a b^{3}+a^{3} b\right)+\left(b c^{3}+b^{3} c\right)+\left(c d^{3}+c^{3} d\right)+\left(d a^{3}+d^{3} a\right) \stackrel{A M-G M}{\geq} 2a2b2+2b2c2+2c2d2+2d2a22 a^{2} b^{2}+2 b^{2} c^{2}+2 c^{2} d^{2}+2 d^{2} a^{2} which gives the conclusion.

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.