Maths Olympiad Prep

Library / /310 of 520

Algebra Difficulty 6.9 National olympiad Find the answer

Example 7 (1) If x,y,zx, y, z are positive integers not all equal, find the minimum value of (x+y+z)327xyz(x+y+z)^{3}-27 x y z;
(2) If x,y,zx, y, z are positive integers all different, find the minimum value of (x+y+z)327xyz(x+y+z)^{3}-27 x y z.

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

Solution

Solution (1)
(x+y+z)327xyz=x3+y3+z3+3(x2y+y2z+z2x)+3(xy2+yz2+zx2)+6xyz27xyz=(x+y+z)(x2+y2+z2xyyzzx)+3(x2y+y2z+z2x+xy2+yz2+zx26xyz)=x+y+z2[(xy)2+(yz)2+(zx)2]+3[x(yz)2+y(zx)2+z(xy)2].\begin{aligned} & (x+y+z)^{3}-27 x y z \\ = & x^{3}+y^{3}+z^{3}+3\left(x^{2} y+y^{2} z+z^{2} x\right)+3\left(x y^{2}+y z^{2}+z x^{2}\right)+6 x y z \\ & -27 x y z \\ = & (x+y+z)\left(x^{2}+y^{2}+z^{2}-x y-y z-z x\right)+3\left(x^{2} y+y^{2} z+\right. \\ & \left.z^{2} x+x y^{2}+y z^{2}+z x^{2}-6 x y z\right) \\ & =\frac{x+y+z}{2}\left[(x-y)^{2}+(y-z)^{2}+(z-x)^{2}\right]+3\left[x(y-z)^{2}+\right. \\ & \left.y(z-x)^{2}+z(x-y)^{2}\right] . \end{aligned}

Assume without loss of generality that xyzx \geqslant y \geqslant z, then z1,y1,x2z \geqslant 1, y \geqslant 1, x \geqslant 2.
Thus,
(x+y+z)327xyz1+1+22[(xy)2+(yz)2+(zx)2]+3[(yz)2+(zx)2+(xy)2]=5[(xy)2+(yz)2+(zx)2]10\begin{aligned} & (x+y+z)^{3}-27 x y z \\ \geqslant & \frac{1+1+2}{2} \cdot\left[(x-y)^{2}+(y-z)^{2}+(z-x)^{2}\right]+3\left[(y-z)^{2}+\right. \\ & \left.(z-x)^{2}+(x-y)^{2}\right] \\ = & 5 \cdot\left[(x-y)^{2}+(y-z)^{2}+(z-x)^{2}\right] \\ \geqslant & 10 \end{aligned}

Therefore, (x+y+z)327xyz10(x+y+z)^{3}-27 x y z \geqslant 10, and equality holds when (x,y,z)=(2,1,1)(x, y, z)=(2,1,1).
(2) Assume without loss of generality that x>y>zx>y>z, then z1,y2,x3z \geqslant 1, y \geqslant 2, x \geqslant 3.
From part (1),
(x+y+z)327xyz62[(xy)2+(yz)2+(zx)2]+3[3(yz)2+2(zx)2+(xy)2]3(12+12+22)+3(312+222+12)=54\begin{aligned} (x+y+z)^{3}-27 x y z \geqslant & \frac{6}{2} \cdot\left[(x-y)^{2}+(y-z)^{2}+(z-x)^{2}\right]+3 \cdot[3(y \\ & \left.-z)^{2}+2(z-x)^{2}+(x-y)^{2}\right] \\ \geqslant & 3 \cdot\left(1^{2}+1^{2}+2^{2}\right)+3 \cdot\left(3 \cdot 1^{2}+2 \cdot 2^{2}+1^{2}\right) \\ & =54 \end{aligned}

Therefore, (x+y+z)327xyz54(x+y+z)^{3}-27 x y z \geqslant 54, and equality holds when (x,y,z)=(3,2,1)(x, y, z)=(3,2,1). Note that part (1) is equivalent to the following proposition:
For distinct positive integers a,b,ca, b, c, we have
a+b+c3abc+10273\frac{a+b+c}{3} \geqslant \sqrt[3]{a b c+\frac{10}{27}}

Of course, (1) can also be proven using the following method (incremental substitution):
Proof Assume without loss of generality that 1abc,b=a+x,c=a+y1 \leqslant a \leqslant b \leqslant c, b=a+x, c=a+y. Then x,y0x, y \geqslant 0, and x,yx, y are not both 0(xy)0 (x \leqslant y).

At this point, (1) is equivalent to proving:
9a(x2xy+y2)+(x+y)3109 a\left(x^{2}-x y+y^{2}\right)+(x+y)^{3} \geqslant 10

Since a1,x2xy+y21,x+y1a \geqslant 1, x^{2}-x y+y^{2} \geqslant 1, x+y \geqslant 1, the above inequality clearly holds, and equality is achieved when a=1,x2xy+y2=1,x+y=1a=1, x^{2}-x y+y^{2}=1, x+y=1, i.e., (a,x,y)=(1,0,1)(a, x, y)=(1,0,1).

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.