一道数学奥林匹克题的简证及推广

1999年加拿大数学奥林匹克竞赛有这样一道题目 :令 x,y,z是满足 x y z=1的非负实数 .证明 :x2 y y2 z z2 x≤ 42 7,并求不等式成立的条件 .简证　由于不等式是关于 x,y,z轮换对称的 ,故可设 x≥y≥z,从而　 x2 y y2 z z2 x≤ x2 y 2 xyz=xy(x 2 z) =12 x· 2 y· (x 2 z)≤ 12 (x 2 y x 2 z3 ) 3=12 2 (x y z)3 ]3=12 × (23) 3 =42 7.等号在 x=2 y=x 2 z时成立 ,即 x=23,y=13,z=0时成立 .若条件不变则结论可推广为 :xnym ynzm znxm≤ nn· mm(n m) n m(n>m,n,m∈ N) .证明　推广后的不等式仍是关于 x,y,z的轮换对称…