Given inequality is equivalent to:
1+yx+xy1+1+zy+yz1+1+xz+zx1≤2+xz1+2+yx1+2+zy1.
Now we can take substitution yx=a, zy=b, xz=c⇒abc=1, so our inequality becomes:
1+a+a11+1+b+b11+1+c+c11≤2+a1+2+b1+2+c1.
After some computations and also using abc=1, this becomes equivalent to:
(ab+bc+ca)2+(ab+bc+ca)(a+b+c)+(a+b+c)23(a+b+c)+3(ab+bc+ca)+(ab+bc+ca)(a+b+c)≤9+2(ab+bc+ca)+4(a+b+c)12+4(a+b+c)+(ab+bc+ca).
Now, we take substitution a+b+c=S, ab+bc+ca=P and inequality becomes:
P2+PS+S23S+3P+SP≤9+2P+4S12+4S+P⇔P3+4S3+3P2S+PS2+6P2≥27S+27P+15PS(∗)
It is not difficult to prove that S2≥3P and also S≥3,P≥3 (by AM ≥ GM and abc=1). Therefore:
4S3P3=4S2⋅S≥12PS,PS2=S⋅PS≥3PS,3P2S≥3⋅32⋅S=27S,=P2⋅P≥32⋅P=9P,6P2=6P⋅P≥6⋅3P=18P.
By summing these inequalities we found (*) to be true so our proof is finished. Equality is obviously achieved when
S2=3P=9⇒a=b=c=1⇒x=y=z.