试试这个

去分母，化简，要证的是：

(x+y+z) + (xy+yz+zx) >= 6

由AG不等式及xyz=1可得。