Maths Olympiad Prep

Library / /6 of 34

, 2014

Algebra Difficulty 5.0 AIME Prove it Austria

Determine all real numbers xx and yy such that
x2+x=y3y. x^2 + x = y^3 - y.
y2+y=x3x. y^2 + y = x^3 - x.

Solution

We factorise both equations and obtain
x(x+1)=(y1)y(y+1),(1) x(x + 1) = (y - 1)y(y + 1), \quad (1)
y(y+1)=(x1)x(x+1).(2) y(y + 1) = (x - 1)x(x + 1). \quad (2)
We insert (2) into (1) and obtain
x(x+1)=(y1)(x1)x(x+1).(3) x(x + 1) = (y - 1)(x - 1)x(x + 1). \quad (3)
We first consider the cases x=0x = 0 and x=1x = -1, where (2) results in y{0,1}y \in \{0, -1\}. Thus we obtained the solutions
(0,0),(0,1),(1,0),(1,1). (0, 0), (0, -1), (-1, 0), (-1, -1).

From now on, we assume that x{0,1}x \notin \{0, -1\}. Cancelling x(x+1)x(x + 1) in (3) yields
1=(y1)(x1).(4) 1 = (y - 1)(x - 1). \quad (4)
In particular, we have x1x \neq 1 and y1y \neq 1. This is equivalent to
y=1+1x1=xx1    y+1=2x1x1. y = 1 + \frac{1}{x-1} = \frac{x}{x-1} \iff y + 1 = \frac{2x-1}{x-1}.
We insert this into (2) and obtain
xx12x1x1=x(x1)(x+1) \frac{x}{x-1} \cdot \frac{2x-1}{x-1} = x(x-1)(x+1)
which is equivalent to
2x1=(x1)3(x+1)    2x1=(x22x+1)(x21)    2x1=x42x3+x2x2+2x1    x42x3=0    x=2. \begin{align*} 2x - 1 = (x - 1)^3 (x + 1) &\iff 2x - 1 = (x^2 - 2x + 1)(x^2 - 1) \\ &\iff 2x - 1 = x^4 - 2x^3 + x^2 - x^2 + 2x - 1 \\ &\iff x^4 - 2x^3 = 0 \iff x = 2. \end{align*}

because x0x \neq 0. Inserting this in (4) yields y=2y = 2, so we got the fifth solution (2,2)(2, 2). Therefore, all solutions are given as
(0,0),(0,1),(1,0),(1,1),(2,2). (0, 0), (0, -1), (-1, 0), (-1, -1), (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 and solution reproduced as published; topic and difficulty added by this site.