Solution:
Let us denote a=xy+2y+1x−y, b=yz+2z+1y−z and c=zx+2x+1z−x. Then 1+a1=x−yxy+x+y+1 and from this a+1a=xy+x+y+1x−y=y+11−x+11; similarly b+1b=z+11−y+11 and c+1c=x+11−z+11.
From 0<x+11,y+11,z+11<1 it follows that a+1a,b+1b,c+1c<1, so a+1,b+1,c+1 are positive. Moreover, we have a+1a+b+1b+c+1c=0, i.e. a+11+b+11+c+11=3. Now by the Cauchy-Schwarz inequality (a+1)+(b+1)+(c+1)⩾3, i.e. a+b+c⩾0.
Second solution. Multiplying out and grouping, the required inequality reduces to
2(x−1)2(y−z)2+2(y−1)2(z−x)2+2(z−1)2(x−y)2+9(xy2+yz2+zx2−3xyz)+3(x2y+y2z+z2x−3xyz)⩾0
where all the terms are nonnegative by the AM-GM inequality.