Maths Olympiad Prep

Library / /6 of 8

Algebra Difficulty 6.5 National olympiad Prove it Ireland

For positive real numbers aa, bb, cc and dd such that a2+b2+c2+d2=1a^2 + b^2 + c^2 + d^2 = 1 prove that
a2b2cd+ab2c2d+abc2d2+a2bc2d+a2bcd2+ab2cd2332, a^2 b^2 c d + a b^2 c^2 d + a b c^2 d^2 + a^2 b c^2 d + a^2 b c d^2 + a b^2 c d^2 \le \frac{3}{32},
and determine the cases of equality.

Solution

We have
(a) (6,0,0,0)>(2,2,1,1) (a)\ (6, 0, 0, 0) > (2, 2, 1, 1)
(b) (2,2,2,0)>(2,2,1,1) (b)\ (2, 2, 2, 0) > (2, 2, 1, 1)
(c) (4,2,0,0)>(2,2,1,1) (c)\ (4, 2, 0, 0) > (2, 2, 1, 1)
By Muirhead and the above majorizations we have the following
1. 6(a6+b6+c6+d6)4(a2b2cd+ab2c2d+abc2d2+a2bc2d+a2bcd2+ab2cd2) 1.\ 6(a^6 + b^6 + c^6 + d^6) \geq 4(a^2 b^2 c d + a b^2 c^2 d + a b c^2 d^2 + a^2 b c^2 d + a^2 b c d^2 + a b^2 c d^2)
2. 6(a2b2c2+a2b2d2+a2c2d2+b2c2d2)4(a2b2cd+ab2c2d+abc2d2+a2bc2d+a2bcd2+ab2cd2) 2.\ 6(a^2 b^2 c^2 + a^2 b^2 d^2 + a^2 c^2 d^2 + b^2 c^2 d^2) \geq 4(a^2 b^2 c d + a b^2 c^2 d + a b c^2 d^2 + a^2 b c^2 d + a^2 b c d^2 + a b^2 c d^2)
3 (a4d2+a2b4+a2d4+b4d2+b2d4+a4c2+a2c4+b4c2+b2c4+c4d2+c2d4+b2a4)4(a2b2cd+ab2c2d+abc2d2+a2bc2d+a2bcd2+a2bcd2+ab2cd2) 3\ (a^4 d^2 + a^2 b^4 + a^2 d^4 + b^4 d^2 + b^2 d^4 + a^4 c^2 + a^2 c^4 + b^4 c^2 + b^2 c^4 + c^4 d^2 + c^2 d^4 + b^2 a^4) \geq 4(a^2 b^2 c d + a b^2 c^2 d + a b c^2 d^2 + a^2 b c^2 d + a^2 b c d^2 + a^2 b c d^2 + a b^2 c d^2)
And so we have
1(a6+b6+c6+d6)46(a2b2cd+ab2c2d+abc2d2+a2bc2d+a2bcd2+ab2cd2) 1' \quad (a^6 + b^6 + c^6 + d^6) \geq \frac{4}{6}(a^2 b^2 c d + a b^2 c^2 d + a b c^2 d^2 + a^2 b c^2 d + a^2 b c d^2 + a b^2 c d^2)
2(a2b2c2+a2b2d2+a2c2d2+b2c2d2)46(a2b2cd+ab2c2d+abc2d2+a2bc2d+a2bcd2+ab2cd2) 2' \quad (a^2 b^2 c^2 + a^2 b^2 d^2 + a^2 c^2 d^2 + b^2 c^2 d^2) \geq \frac{4}{6}(a^2 b^2 c d + a b^2 c^2 d + a b c^2 d^2 + a^2 b c^2 d + a^2 b c d^2 + a b^2 c d^2)
3(a4d2+a2b4+a2d4+b4d2+b2d4+a4c2+a2c4+b4c2+b2c4+c4d2+c2d4+b2a4)2(a2b2cd+ab2c2d+abc2d2+a2bc2d+a2bcd2+ab2cd2) 3' \quad (a^4 d^2 + a^2 b^4 + a^2 d^4 + b^4 d^2 + b^2 d^4 + a^4 c^2 + a^2 c^4 + b^4 c^2 + b^2 c^4 + c^4 d^2 + c^2 d^4 + b^2 a^4) \geq 2(a^2 b^2 c d + a b^2 c^2 d + a b c^2 d^2 + a^2 b c^2 d + a^2 b c d^2 + a b^2 c d^2)
Taking the linear combination (1)+6(2)+3(3)(1') + 6(2') + 3(3') we have it that l.h.s. of the resulting inequality becomes (a2+b2+c2+d2)3(a^2 + b^2 + c^2 + d^2)^3 and thus
(a2+b2+c2+d2)3323(a2b2cd+ab2c2d+abc2d2+a2bc2d+a2bcd2+ab2cd2). (a^2 + b^2 + c^2 + d^2)^3 \geq \frac{32}{3}(a^2 b^2 c d + a b^2 c^2 d + a b c^2 d^2 + a^2 b c^2 d + a^2 b c d^2 + a b^2 c d^2).
As a2+b2+c2+d2=1a^2 + b^2 + c^2 + d^2 = 1 the result follows.

Solution 2:

Writing the expression a2b2cd+ab2c2d+abc2d2+a2bc2d+a2bcd2+ab2cd2a^2 b^2 c d + a b^2 c^2 d + a b c^2 d^2 + a^2 b c^2 d + a^2 b c d^2 + a b^2 c d^2 as abcd(ab+bc+cd+ac+ad+bd)a b c d (a b + b c + c d + a c + a d + b d) and given the condition a2+b2+c2+d2=1a^2 + b^2 + c^2 + d^2 = 1 we note that abcda b c d can not exceed 1/161/16. Furthermore, using non-negativity of square of (ab),(bc),(cd),(da),(ca),(db)(a-b), (b-c), (c-d), (d-a), (c-a), (d-b), and the condition a2+b2+c2+d2=1a^2 + b^2 + c^2 + d^2 = 1 yields that ab+bc+cd+ac+ad+bda b + b c + c d + a c + a d + b d can not exceed 3/23/2, and result follows.

Solution 3:

As above, we have
a2b2cd+ab2c2d+abc2d2+a2bc2d+a2bcd2+ab2cd2=abcd(ab+bc+cd+ac+ad+bd) a^2 b^2 c d + a b^2 c^2 d + a b c^2 d^2 + a^2 b c^2 d + a^2 b c d^2 + a b^2 c d^2 = a b c d (a b + b c + c d + a c + a d + b d)
and abcd116a b c d \leq \frac{1}{16} (by AM-GM and a2+b2+c2+d2=1a^2 + b^2 + c^2 + d^2 = 1). Now
ab+bc+cd+ac+ad+bda2+b22+b2+c22+c2+d22+a2+c22+a2+d22+b2+d22 a b + b c + c d + a c + a d + b d \leq \frac{a^2+b^2}{2} + \frac{b^2+c^2}{2} + \frac{c^2+d^2}{2} + \frac{a^2+c^2}{2} + \frac{a^2+d^2}{2} + \frac{b^2+d^2}{2}
(apply AM-GM to each term of the left hand side). Now the right hand side of the last inequality is equal to 32(a2+b2+c2+d2)\frac{3}{2}(a^2 + b^2 + c^2 + d^2) which, by assumption is 32\frac{3}{2}. The required inequality follows immediately from these observations.

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 and solution reproduced as published; topic and difficulty added by this site.