Maths Olympiad Prep

Library / /88 of 121

Algebra Difficulty 6.5 National Olympiad Prove it India

Problem:
Find all non-zero real numbers x,y,zx, y, z which satisfy the system of equations:
(x2+xy+y2)(y2+yz+z2)(z2+zx+x2)=xyz(x4+x2y2+y4)(y4+y2z2+z4)(z4+z2x2+x4)=x3y3z3 \begin{aligned} \left(x^{2}+x y+y^{2}\right)\left(y^{2}+y z+z^{2}\right)\left(z^{2}+z x+x^{2}\right) & =x y z \\ \left(x^{4}+x^{2} y^{2}+y^{4}\right)\left(y^{4}+y^{2} z^{2}+z^{4}\right)\left(z^{4}+z^{2} x^{2}+x^{4}\right) & =x^{3} y^{3} z^{3} \end{aligned}

Solution

Solution:
Since xyz0x y z \neq 0, we can divide the second relation by the first. Observe that
x4+x2y2+y4=(x2+xy+y2)(x2xy+y2) x^{4}+x^{2} y^{2}+y^{4}=\left(x^{2}+x y+y^{2}\right)\left(x^{2}-x y+y^{2}\right)
holds for any x,yx, y. Thus we get
(x2xy+y2)(y2yz+z2)(z2zx+x2)=x2y2z2 \left(x^{2}-x y+y^{2}\right)\left(y^{2}-y z+z^{2}\right)\left(z^{2}-z x+x^{2}\right)=x^{2} y^{2} z^{2}
However, for any real numbers x,yx, y, we have
x2xy+y2xy x^{2}-x y+y^{2} \geq |x y|
Since x2y2z2=xyyzzxx^{2} y^{2} z^{2}=|x y||y z||z x|, we get
xyyzzx=(x2xy+y2)(y2yz+z2)(z2zx+x2)xyyzzx |x y||y z||z x|=\left(x^{2}-x y+y^{2}\right)\left(y^{2}-y z+z^{2}\right)\left(z^{2}-z x+x^{2}\right) \geq |x y||y z||z x|
This is possible only if
x2xy+y2=xy,y2yz+z2=yz,z2zx+x2=zx x^{2}-x y+y^{2}=|x y|, \quad y^{2}-y z+z^{2}=|y z|, \quad z^{2}-z x+x^{2}=|z x|
hold simultaneously. However xy=±xy|x y|= \pm x y. If x2xy+y2=xyx^{2}-x y+y^{2}=-x y, then x2+y2=0x^{2}+y^{2}=0 giving x=y=0x=y=0. Since we are looking for nonzero x,y,zx, y, z, we conclude that x2xy+y2=xyx^{2}-x y+y^{2}=x y which is same as x=yx=y. Using the other two relations, we also get y=zy=z and z=xz=x. The first equation now gives 27x6=x327 x^{6}=x^{3}. This gives x3=1/27x^{3}=1 / 27 (since x0x \neq 0 ), or x=1/3x=1 / 3. We thus have x=y=z=1/3x=y=z=1 / 3. These also satisfy the second relation, as may be verified.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.