Maths Olympiad Prep

Library / /9 of 54

Algebra Difficulty 5.2 AIME, harder Prove it China

Given xx, yy, z(0,1)z \in (0, 1) satisfying
1xyz+1yzx+1zxy=2, \sqrt{\frac{1-x}{yz}} + \sqrt{\frac{1-y}{zx}} + \sqrt{\frac{1-z}{xy}} = 2,
find the maximum value of xyzxyz. (Posed by Tang Lihua)

Solution

Denote u=xyz6u = \sqrt[6]{xyz}. Then by the given condition and mean inequality,
2u3=2xyz=13x(33x)13x+(33x)2=33213(x+y+z)3323×xyz3=3323u2. \begin{aligned} 2u^3 &= 2\sqrt{xyz} = \frac{1}{\sqrt{3}}\sum \sqrt{x(3-3x)} \\ &\le \frac{1}{\sqrt{3}}\sum \frac{x+(3-3x)}{2} = \frac{3\sqrt{3}}{2} - \frac{1}{\sqrt{3}}(x+y+z) \\ &\le \frac{3\sqrt{3}}{2} - \sqrt{3} \times \sqrt[3]{xyz} = \frac{3\sqrt{3}}{2} - \sqrt{3}u^2. \end{aligned}
Therefore, 4u3+23u23304u^3 + 2\sqrt{3}u^2 - 3\sqrt{3} \le 0, i.e.
(2u3)(2u2+23u+3)0, (2u - \sqrt{3})(2u^2 + 2\sqrt{3}u + 3) \le 0,
and thus u32u \le \frac{\sqrt{3}}{2}. Following this, we have xyz2764xyz \le \frac{27}{64}, and equality holds when x=y=z=34x = y = z = \frac{3}{4}. Hence, the maximum is 2764\frac{27}{64}.

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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.