To solve this problem, we will use
AM ≥GM twice.
Firstly, let us consider
x,x,. ... x-times, y,y,....... y-times,z,z.... z-times.
AM of above numbers is x+y+zx.x+y.y+z.z = x+y+zx2+y2+z2
Since AM ≥ GM,
x+y+zx2+y2+z2 ≥ ( xx.yy.zz ) (x+y+z)1
=> ( x+y+zx2+y2+z2 ) x+y+z ≥ xx.yy.zz -----------> (1)
To prove (3x+y+z)x+y+z≤xxyyzz, secondly, let us consider
1/x, 1/x,. ... x-times, 1/y, 1/y,....... y-times,1/z, 1/z.... z-times.
AM of above numbers is x+y+zx.(1/x)+y.(1/y)+z.(1/z) = x+y+z3
[(1/x)x.(1/y)y.(1/z)z] (x+y+z)1
= [ xxyyzz1 ] (x+y+z)1
Since AM ≥ GM
x+y+z3 ≥ [xxyyzz1 ] (x+y+z)1
=> (x+y+z3 )(x+y+z) ≥ xxyyzz1
Reciprocating,
xx.yy.zz ≥ (3x+y+z )(x+y+z) ---------> (2)
By inequality (1) and (2)
(x+y+zx2+y2+z2 )(x+y+z) ≥ xx.yy.zz ≥
( 3x+y+z )(x+y+z)
=> (3x+y+z )(x+y+z)≤ xx.yy.zz ≤
(x+y+zx2+y2+z2 )(x+y+z)
Comments