Given that x, y, and z are positive reals such that x+y+z=xyz, we aim to find the minimum value of:
x7(yz−1)+y7(zx−1)+z7(xy−1).
First, we use the given condition x+y+z=xyz. By the AM-GM inequality, we have:
xyz=x+y+z≥33xyz,
which implies:
xyz≥33.
Now, consider the given expression:
x7(yz−1)+y7(zx−1)+z7(xy−1).
Rewriting it, we get:
x7(yz−1)+y7(zx−1)+z7(xy−1)=x6(xyz−x)+y6(xyz−y)+z6(xyz−z).
This simplifies to:
x6(xyz)+y6(xyz)+z6(xyz)−(x7+y7+z7).
Factoring out xyz from the first part, we get:
(x6+y6+z6)xyz−(x7+y7+z7).
Using the given xyz=x+y+z, we can rewrite it as:
(x6+y6+z6)(x+y+z)−(x7+y7+z7).
Expanding this, we have:
(x7+y7+z7)+(x6y+xy6+x6z+xz6+y6z+yz6)−(x7+y7+z7).
This simplifies to:
x6y+xy6+x6z+xz6+y6z+yz6.
By the AM-GM inequality, we know:
x6y+xy6+x6z+xz6+y6z+yz6≥66(xyz)14.
Given xyz≥33, we have:
66(33)14=66321=6⋅37/2=6⋅273=1623.
Therefore, the minimum value is:
1623.
This minimum is achieved when x=y=z=3.