Maths Olympiad Prep

Library / /235 of 520

Algebra Difficulty 6.5 National olympiad Prove it

60. Let a,b,c,da, b, c, d be positive real numbers, and a2+b2+c2+d2=1a^{2}+b^{2}+c^{2}+d^{2}=1, prove: a2b2cd+ab2c2d+a^{2} b^{2} c d+a b^{2} c^{2} d+ abc2d2+a2bcd2+a2bc2d+ab2cd2332a b c^{2} d^{2}+a^{2} b c d^{2}+a^{2} b c^{2} d+a b^{2} c d^{2} \leqslant \frac{3}{32}. (2008 Iran Mathematical Olympiad)

Solution

60. Since a,b,c,da, b, c, d are positive real numbers, a2+b2+c2+d2=14a2b2c2d24a^{2}+b^{2}+c^{2}+d^{2}=1 \geqslant 4 \sqrt[4]{a^{2} b^{2} c^{2} d^{2}}, so abcda b c d \leqslant 116\frac{1}{16}. Also,
ab+bc+cd+ad+ac+bda2+b22+b2+c22+c2+d22+a2+a22+a2+c22+b2+d22=3(a2+b2+c2+d2)2=32\begin{array}{l} a b+b c+c d+a d+a c+b d \leqslant \frac{a^{2}+b^{2}}{2}+\frac{b^{2}+c^{2}}{2}+\frac{c^{2}+d^{2}}{2}+\frac{a^{2}+a^{2}}{2}+ \\ \frac{a^{2}+c^{2}}{2}+\frac{b^{2}+d^{2}}{2}=\frac{3\left(a^{2}+b^{2}+c^{2}+d^{2}\right)}{2}=\frac{3}{2} \end{array}

Therefore,
a2b2cd+ab2c2d+abc2d2+a2bcd2+a2bc2d+ab2cd2=abcd(ab+bc+cd+ad+ac+bd)116×32=332\begin{array}{l} a^{2} b^{2} c d+a b^{2} c^{2} d+a b c^{2} d^{2}+a^{2} b c d^{2}+a^{2} b c^{2} d+a b^{2} c d^{2}= \\ a b c d(a b+b c+c d+a d+a c+b d) \leqslant \frac{1}{16} \times \frac{3}{2}=\frac{3}{32} \end{array}

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.