Maths Olympiad Prep

Library / /8 of 32

Algebra Difficulty 4.9 AIME Prove it Romania

Find all real numbers xx, yy, zz which verify the equalities
y=x3+12x3x2+4,z=y3+12y3y2+4,x=z3+12z3z2+4. y = \frac{x^3 + 12x}{3x^2 + 4}, \quad z = \frac{y^3 + 12y}{3y^2 + 4}, \quad x = \frac{z^3 + 12z}{3z^2 + 4}.

Solutions — 2

Solution 1

We have y+2=(x+2)33x2+4y + 2 = \frac{(x+2)^3}{3x^2+4}, y2=(x2)33x2+4y - 2 = \frac{(x-2)^3}{3x^2+4} and the analogous relations.
If y=2y = 2, then x=z=2x = z = 2. If y2y \ne 2, then y+2y2=(x+2x2)3\frac{y+2}{y-2} = \left(\frac{x+2}{x-2}\right)^3, z+2z2=(y+2y2)3\frac{z+2}{z-2} = \left(\frac{y+2}{y-2}\right)^3 and x+2x2=(z+2z2)3\frac{x+2}{x-2} = \left(\frac{z+2}{z-2}\right)^3. We obtain x+2x2=(x+2x2)27\frac{x+2}{x-2} = \left(\frac{x+2}{x-2}\right)^{27}, which leads to x+2x2{1,0,1}\frac{x+2}{x-2} \in \{-1, 0, 1\}. We find two more solutions, x=y=z=2x = y = z = -2 and x=y=z=0x = y = z = 0.

Solution 2

Let f:RRf : \mathbb{R} \to \mathbb{R}, f(x)=x3+12x3x2+4f(x) = \frac{x^3 + 12x}{3x^2 + 4}. We have f(a)f(b)=3(ab4)2+4(ab)2(3a2+4)(3b2+4)(ab)f(a) - f(b) = \frac{3(ab - 4)^2 + 4(a-b)^2}{(3a^2 + 4)(3b^2 + 4)} \cdot (a-b), so ff is strictly increasing.

Our equalities become y=f(x)y = f(x), z=f(y)z = f(y), x=f(z)x = f(z). Without loss of generality, we may assume that x=min{x,y,z}x = \min\{x, y, z\}. Then f(x)f(y)f(x) \le f(y), so yzy \le z, which leads to f(y)f(z)f(y) \le f(z) or zxz \le x. Hence xyzxx \le y \le z \le x, so x=y=zx = y = z. As the equation f(x)=xf(x) = x has three solutions, namely x=2x = -2, x=0x = 0 and x=2x = 2, we find that (x,y,z){(2,2,2);(0,0,0);(2,2,2)}(x, y, z) \in \{(-2, -2, -2); (0, 0, 0); (2, 2, 2)\}.

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.