Olympiad Maths Prep

Track / Stage 5 / 53 of 400 #653 of 2000

Problem 653

AIME late
Algebra Difficulty 5.1 Find the answer

Example 3 Given that x,y,zx, y, z are non-negative real numbers, not all zero. Find
u=x2+y2+xy+y2+z2+yz+z2+x2+zxx+y+z u=\frac{\sqrt{x^{2}+y^{2}+x y}+\sqrt{y^{2}+z^{2}+y z}+\sqrt{z^{2}+x^{2}+z x}}{x+y+z}

the minimum value.

Official solution

Let z1=x+y2+32yiz_{1}=x+\frac{y}{2}+\frac{\sqrt{3}}{2} y \mathrm{i},
z2=y+z2+32zi,z3=z+x2+32xi, z_{2}=y+\frac{z}{2}+\frac{\sqrt{3}}{2} z \mathrm{i}, z_{3}=z+\frac{x}{2}+\frac{\sqrt{3}}{2} x \mathrm{i},

where x0,y0,z0x \geqslant 0, y \geqslant 0, z \geqslant 0. Then
x2+y2+xy+y2+z2+yz+z2+x2+zx=z1+z2+z3z1+z2+z3=32(x+y+z)+32(x+y+z)i=3x+y+z. \begin{array}{l} \sqrt{x^{2}+y^{2}+x y}+\sqrt{y^{2}+z^{2}+y z}+\sqrt{z^{2}+x^{2}+z x} \\ =\left|z_{1}\right|+\left|z_{2}\right|+\left|z_{3}\right| \geqslant\left|z_{1}+z_{2}+z_{3}\right| \\ =\left|\frac{3}{2}(x+y+z)+\frac{\sqrt{3}}{2}(x+y+z) \mathrm{i}\right| \\ =\sqrt{3}|x+y+z| . \end{array}

Therefore, u3u \geqslant \sqrt{3}.
Equality holds if and only if argz1=argz2=argz3\arg z_{1}=\arg z_{2}=\arg z_{3}, i.e., x=y=z>0x=y=z>0. Thus, umin =3u_{\text {min }}=\sqrt{3}.

Note: The key to this solution is the clever elimination of x+y+zx+y+z by utilizing the cyclic symmetry of the given algebraic expressions in x,y,zx, y, z.

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