Maths Olympiad Prep

Library / /473 of 520

Algebra Difficulty 7.5 National olympiad, round 2 Prove it

46. Given that x,y,zx, y, z are positive numbers, and x+y+z=1x+y+z=1, prove:
(1xx)(1yy)(1zz)(83)3\left(\frac{1}{x}-x\right)\left(\frac{1}{y}-y\right)\left(\frac{1}{z}-z\right) \geqslant\left(\frac{8}{3}\right)^{3}

Solution

46. By the AM-GM inequality, we have xyz+yzx2y,yzx+zxy2z,xyz+zxy2x\frac{x y}{z}+\frac{y z}{x} \geqslant 2 y, \frac{y z}{x}+\frac{z x}{y} \geqslant 2 z, \frac{x y}{z}+\frac{z x}{y} \geqslant 2 x. Adding these three inequalities, we get xyz+yzx+zxyx+y+z=1\frac{x y}{z}+\frac{y z}{x}+\frac{z x}{y} \geqslant x+y+z=1. Also, by 1=x+y+z3xyz31=x+y+z \geqslant 3 \sqrt[3]{x y z}, we have xyz127x y z \leqslant \frac{1}{27}. Therefore,
(1xx)(1yy)(1zz)=1xyz[(1+x)(1+y)(1+z)][(1x)(1y)(1z)]=1xyz(2+xy+yz+zx+xyz)(xy+yz+zxxyz)=2(1x+1y+1z)2+(xy+yz+zx)2xyzxyz=2(1x+1y+1z)2+xyz+yzx+zxy+2(x+y+z)xyz6xyz32+1+2xyz18+1127=(83)3\begin{array}{l} \left(\frac{1}{x}-x\right)\left(\frac{1}{y}-y\right)\left(\frac{1}{z}-z\right)= \\ \frac{1}{x y z}[(1+x)(1+y)(1+z)][(1-x)(1-y)(1-z)]= \\ \frac{1}{x y z}(2+x y+y z+z x+x y z)(x y+y z+z x-x y z)= \\ 2\left(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\right)-2+\frac{(x y+y z+z x)^{2}}{x y z}-x y z= \\ 2\left(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\right)-2+\frac{x y}{z}+\frac{y z}{x}+\frac{z x}{y}+2(x+y+z)-x y z \geqslant \\ \frac{6}{\sqrt[3]{x y z}}-2+1+2-x y z \geqslant 18+1-\frac{1}{27}=\left(\frac{8}{3}\right)^{3} \end{array}

Equality holds if and only if x=y=z=13x=y=z=\frac{1}{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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.