Maths Olympiad Prep

Library / /10 of 97

Algebra Difficulty 7.2 National olympiad, round 2 Find the answer

xx, yy and zz are positive reals such that x+y+z=xyzx+y+z=xyz. Find the minimum value of:
x7(yz1)+y7(zx1)+z7(xy1) x^7(yz-1)+y^7(zx-1)+z^7(xy-1)

A number or a short expression. Spacing and $ signs are ignored.

Solution

Given that x x , y y , and z z are positive reals such that x+y+z=xyz x + y + z = xyz , we aim to find the minimum value of:
x7(yz1)+y7(zx1)+z7(xy1). x^7(yz-1) + y^7(zx-1) + z^7(xy-1).

First, we use the given condition x+y+z=xyz x + y + z = xyz . By the AM-GM inequality, we have:
xyz=x+y+z3xyz3, xyz = x + y + z \geq 3\sqrt[3]{xyz},
which implies:
xyz33. xyz \geq 3\sqrt{3}.

Now, consider the given expression:
x7(yz1)+y7(zx1)+z7(xy1). x^7(yz-1) + y^7(zx-1) + z^7(xy-1).

Rewriting it, we get:
x7(yz1)+y7(zx1)+z7(xy1)=x6(xyzx)+y6(xyzy)+z6(xyzz). x^7(yz-1) + y^7(zx-1) + z^7(xy-1) = x^6(xyz - x) + y^6(xyz - y) + z^6(xyz - z).

This simplifies to:
x6(xyz)+y6(xyz)+z6(xyz)(x7+y7+z7). x^6(xyz) + y^6(xyz) + z^6(xyz) - (x^7 + y^7 + z^7).

Factoring out xyz xyz from the first part, we get:
(x6+y6+z6)xyz(x7+y7+z7). (x^6 + y^6 + z^6)xyz - (x^7 + y^7 + z^7).

Using the given xyz=x+y+z xyz = x + y + z , we can rewrite it as:
(x6+y6+z6)(x+y+z)(x7+y7+z7). (x^6 + y^6 + z^6)(x + y + z) - (x^7 + y^7 + z^7).

Expanding this, we have:
(x7+y7+z7)+(x6y+xy6+x6z+xz6+y6z+yz6)(x7+y7+z7). (x^7 + y^7 + z^7) + (x^6y + xy^6 + x^6z + xz^6 + y^6z + yz^6) - (x^7 + y^7 + z^7).

This simplifies to:
x6y+xy6+x6z+xz6+y6z+yz6. x^6y + xy^6 + x^6z + xz^6 + y^6z + yz^6.

By the AM-GM inequality, we know:
x6y+xy6+x6z+xz6+y6z+yz66(xyz)146. x^6y + xy^6 + x^6z + xz^6 + y^6z + yz^6 \geq 6\sqrt[6]{(xyz)^{14}}.

Given xyz33 xyz \geq 3\sqrt{3} , we have:
6(33)146=63216=637/2=6273=1623. 6\sqrt[6]{(3\sqrt{3})^{14}} = 6\sqrt[6]{3^{21}} = 6 \cdot 3^{7/2} = 6 \cdot 27\sqrt{3} = 162\sqrt{3}.

Therefore, the minimum value is:
1623. \boxed{162\sqrt{3}}.

This minimum is achieved when x=y=z=3 x = y = z = \sqrt{3} .

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.