Maths Olympiad Prep

Library / China Western Mathematical Olympiad /8 of 51

China Western Mathematical Olympiad

Algebra Difficulty 5.2 AIME, harder Prove it China

Given xx, yy, z∈(0,1)z \in (0, 1) satisfying
1−xyz+1−yzx+1−zxy=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=13∑x(3−3x)≤13∑x+(3−3x)2=332−13(x+y+z)≤332−3×xyz3=332−3u2. \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+23u2−33≤04u^3 + 2\sqrt{3}u^2 - 3\sqrt{3} \le 0, i.e.
(2u−3)(2u2+23u+3)≤0, (2u - \sqrt{3})(2u^2 + 2\sqrt{3}u + 3) \le 0,
and thus u≤32u \le \frac{\sqrt{3}}{2}. Following this, we have xyz≤2764xyz \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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.