We have
(a) (6,0,0,0)>(2,2,1,1)
(b) (2,2,2,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)
2. 6(a2b2c2+a2b2d2+a2c2d2+b2c2d2)≥4(a2b2cd+ab2c2d+abc2d2+a2bc2d+a2bcd2+ab2cd2)
3 (a4d2+a2b4+a2d4+b4d2+b2d4+a4c2+a2c4+b4c2+b2c4+c4d2+c2d4+b2a4)≥4(a2b2cd+ab2c2d+abc2d2+a2bc2d+a2bcd2+a2bcd2+ab2cd2)
And so we have
1′(a6+b6+c6+d6)≥64(a2b2cd+ab2c2d+abc2d2+a2bc2d+a2bcd2+ab2cd2)
2′(a2b2c2+a2b2d2+a2c2d2+b2c2d2)≥64(a2b2cd+ab2c2d+abc2d2+a2bc2d+a2bcd2+ab2cd2)
3′(a4d2+a2b4+a2d4+b4d2+b2d4+a4c2+a2c4+b4c2+b2c4+c4d2+c2d4+b2a4)≥2(a2b2cd+ab2c2d+abc2d2+a2bc2d+a2bcd2+ab2cd2)
Taking the linear combination (1′)+6(2′)+3(3′) we have it that l.h.s. of the resulting inequality becomes (a2+b2+c2+d2)3 and thus
(a2+b2+c2+d2)3≥332(a2b2cd+ab2c2d+abc2d2+a2bc2d+a2bcd2+ab2cd2).
As a2+b2+c2+d2=1 the result follows.
Solution 2:
Writing the expression a2b2cd+ab2c2d+abc2d2+a2bc2d+a2bcd2+ab2cd2 as abcd(ab+bc+cd+ac+ad+bd) and given the condition a2+b2+c2+d2=1 we note that abcd can not exceed 1/16. Furthermore, using non-negativity of square of (a−b),(b−c),(c−d),(d−a),(c−a),(d−b), and the condition a2+b2+c2+d2=1 yields that ab+bc+cd+ac+ad+bd can not exceed 3/2, and result follows.
Solution 3:
As above, we have
a2b2cd+ab2c2d+abc2d2+a2bc2d+a2bcd2+ab2cd2=abcd(ab+bc+cd+ac+ad+bd)
and abcd≤161 (by AM-GM and a2+b2+c2+d2=1). Now
ab+bc+cd+ac+ad+bd≤2a2+b2+2b2+c2+2c2+d2+2a2+c2+2a2+d2+2b2+d2
(apply AM-GM to each term of the left hand side). Now the right hand side of the last inequality is equal to 23(a2+b2+c2+d2) which, by assumption is 23. The required inequality follows immediately from these observations.