一道国际竞赛题的简证

题目:(2006年土耳其国家队选拨考试)已知正数x,y,z满足xy yz zx=1,证明:247(x y)(y z)(z x)≥(x y y z z x)2≥63.文[1]采用三角换元法,并利用导数和Jensen不等式给出了证明.274(x y)(y z)(z x)≥(x y y z z x)2.但证明过程中错证了cosA cosB cosC≤323.从而证明247(x y)(y z)(z x)≥(x y y z z x)2的证法是错误的.下面给出一个简证.证明:先证(x y)(y z)(z x)≥98(x y z)(xy yz zx)①上面不等式等价于(x y z)(xy yz zx)-xyz≥98(x y z)(xy yz zx)(x y z)(xy yz zx)≥9xyz.由A—G不等式有x y z≥33xyz,xy yz zx≥33x2y2z2,故(x y z)(xy yz…