Maths Olympiad Prep

Library / Belarus — Selection and Training Session /34 of 78

Belarus — Selection and Training Session

Algebra Difficulty 5.5 AIME, harder Prove it Belarus

Let xx, yy, zz be pairwise distinct real numbers such that x2−1/y=y2−1/z=z2−1/xx^2 - 1/y = y^2 - 1/z = z^2 - 1/x. Given z2−1/x=az^2 - 1/x = a, prove that
(x+y+z)xyz=−a2.(I. Voronovich) (x+y+z)xyz = -a^2. \qquad \text{(I. Voronovich)}

Solution

First, note that a≠0a \neq 0, x≠−yx \neq -y, etc. (this easily follows from the given relation). Now, the equality x2−1/y=y2−1/zx^2 - 1/y = y^2 - 1/z can be written in two other ways:
x2−y2+1x−1y=1x−1z⇔(x−y)(x+y−1xy)=z−xxz(x−y)(x2+xy−1y)=z−xz⇔(x−y)(a+xy)=z−xz(1) \begin{aligned} x^2 - y^2 + \frac{1}{x} - \frac{1}{y} &= \frac{1}{x} - \frac{1}{z} \quad \Leftrightarrow \quad (x-y)(x+y-\frac{1}{xy}) = \frac{z-x}{xz} \\ (x-y)(x^2+xy-\frac{1}{y}) &= \frac{z-x}{z} \quad \Leftrightarrow \quad (x-y)(a+xy) = \frac{z-x}{z} \end{aligned} \quad (1)
and
x2−y2−1x−1y=1x−1z⇔(x+y)(x−y−1xy)=−z+xxz(x+y)(x2−xy−1y)=−z+xz.(2) \begin{aligned} x^2 - y^2 - \frac{1}{x} - \frac{1}{y} &= \frac{1}{x} - \frac{1}{z} \quad \Leftrightarrow \quad (x+y)(x-y-\frac{1}{xy}) = -\frac{z+x}{xz} \\ (x+y)(x^2 - xy - \frac{1}{y}) &= -\frac{z+x}{z}. \end{aligned} \quad (2)
Now, multiplying (1) by two similar equalities and reducing by (x−y)(y−z)(z−x)≠0(x-y)(y-z)(z-x) \neq 0, we obtain (a+xy)(a+yz)(a+zx)=1xyz(a+xy)(a+yz)(a+zx) = \frac{1}{xyz}
a3+a2(xy+yz+zx)+a(x+y+z)xyz+(xyz)2=1xyz.(3) a^3 + a^2(xy + yz + zx) + a(x + y + z)xyz + (xyz)^2 = \frac{1}{xyz}. \quad (3)
Proceeding similarly with (2), we obtain
a3−a2(xy+yz+zx)+a(x+y+z)xyz−(xyz)2=−1xyz.(4) a^3 - a^2(xy + yz + zx) + a(x + y + z)xyz - (xyz)^2 = -\frac{1}{xyz}. \quad (4)
Summing (3) and (4) and reducing by 2a≠02a \neq 0, we obtain the required equality.

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.