Olympiad Maths Prep

Library / /3 of 3

Algebra Difficulty 5.9 AIME, harder Prove it Greece

Solve in the real numbers the system
x3=zy2yz,y3=xz2zx,z3=yx2xy. x^3 = \frac{z}{y} - \frac{2y}{z}, \quad y^3 = \frac{x}{z} - \frac{2z}{x}, \quad z^3 = \frac{y}{x} - \frac{2x}{y}.

Solution

For x,y,zRx, y, z \in \mathbb{R}, such that xyz0xyz \neq 0, the system is written:
x3yz=z22y2(1),y3zx=x22z2(2),z3xy=y22x2(3) x^3 y z = z^2 - 2y^2 \quad (1), \quad y^3 z x = x^2 - 2z^2 \quad (2), \quad z^3 x y = y^2 - 2x^2 \quad (3)
Using summation by parts we find:
xyz(x2+y2+z2)=(x2+y2+z2)(x2+y2+z2)(xyz+1)=0. xyz(x^2 + y^2 + z^2) = -(x^2 + y^2 + z^2) \Leftrightarrow (x^2 + y^2 + z^2)(xyz + 1) = 0.
Since xyz0xyz \neq 0 we have x2+y2+z2>0x^2 + y^2 + z^2 > 0, and so: xyz=1xyz = -1 (4)
Using equation (4) in the system of (1)-(3) we get:
x2=z2+2y2(5),y2=x2+2z2(6),z2=y2+2x2(7) x^2 = -z^2 + 2y^2 \quad (5), \quad y^2 = -x^2 + 2z^2 \quad (6), \quad z^2 = -y^2 + 2x^2 \quad (7)
From (5) and (6) we get y2=z2y^2 = z^2, while from (6) and (7) we get x2=z2x^2 = z^2, and so:
x2=y2=z2x=y=±zorx=y=±z.(8) x^2 = y^2 = z^2 \Leftrightarrow x = y = \pm z \quad \text{or} \quad x = -y = \pm z. \qquad (8)
Finally from equations (8) and (4) we have the solutions:
(x,y,z)=(1,1,1),(x,y,z)=(1,1,1),(x,y,z)=(1,1,1),(x,y,z)=(1,1,1). (x, y, z) = (-1, -1, -1), \quad (x, y, z) = (1, 1, -1), \quad (x, y, z) = (1, -1, 1), \quad (x, y, z) = (-1, 1, 1).

Looking for a route rather than 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.