1. Given the condition xy+yz+zx=x+y+z, we need to prove the inequality:
x2+y+11+y2+z+11+z2+x+11≤1
2. By the Cauchy-Schwarz inequality, we have:
(x2+y+1)(1+y+z2)≥(x+y+z)2
This implies:
x2+y+11≤(x+y+z)21+y+z2
3. Summing up similar inequalities for y and z, we get:
x2+y+11+y2+z+11+z2+x+11≤(x+y+z)21+y+z2+(x+y+z)21+z+x2+(x+y+z)21+x+y2
4. Simplifying the right-hand side, we obtain:
(x+y+z)21+y+z2+1+z+x2+1+x+y2=(x+y+z)23+x+y+z+x2+y2+z2
5. Therefore, it suffices to prove that:
(x+y+z)2≥3+x+y+z+x2+y2+z2
6. Expanding and rearranging terms, we get:
x2+y2+z2+2(xy+yz+zx)≥3+x+y+z+x2+y2+z2
2(xy+yz+zx)≥3+x+y+z
7. Using the given condition xy+yz+zx=x+y+z, we substitute:
2(x+y+z)≥3+x+y+z
x+y+z≥3
8. We know that 3(x+y+z)=3(xy+yz+zx)≤(x+y+z)2, which implies:
x+y+z≥3
9. Equality holds if x=y=z=1, as this satisfies both the given condition and the inequality.
■