Maths Olympiad Prep

Library / /18 of 45

, 2008

Algebra Difficulty 5.5 AIME, harder Prove it Slovenia

Find all real numbers xx and yy that satisfy the equations
x3+8y3=x+2y,2x2y+4xy2=x+2y. \begin{aligned} x^3 + 8y^3 &= x + 2y, \\ 2x^2y + 4xy^2 &= x + 2y. \end{aligned}

Solution

We can rewrite the equations as
(x+2y)(x22xy+4y2)=x+2y,2xy(x+2y)=x+2y. \begin{aligned} (x + 2y)(x^2 - 2xy + 4y^2) &= x + 2y, \\ 2xy(x + 2y) &= x + 2y. \end{aligned}
Obviously, every pair of numbers xx and yy that satisfies x+2y=0x + 2y = 0, solves the equations. Now, assume x+2y0x + 2y \neq 0. We can then divide by x+2yx + 2y and get x22xy+4y2=1x^2 - 2xy + 4y^2 = 1 and 2xy=12xy = 1, so
(x+2y)2=x2+4xy+4y2=(x22xy+4y2)+6xy=4. (x + 2y)^2 = x^2 + 4xy + 4y^2 = (x^2 - 2xy + 4y^2) + 6xy = 4.
We consider two cases: x+2y=2x + 2y = 2 or x+2y=2x + 2y = -2. In the first case we have 1=2xy=2(22y)y=4y4y21 = 2xy = 2(2 - 2y)y = 4y - 4y^2, so 0=4y24y+1=(2y1)20 = 4y^2 - 4y + 1 = (2y - 1)^2. This implies y=12y = \frac{1}{2} and x=22y=1x = 2 - 2y = 1. In the second case we have x=22yx = -2 - 2y, so 1=2xy=2(22y)y=4y4y21 = 2xy = 2(-2 - 2y)y = -4y - 4y^2 and 0=(2y+1)20 = (2y + 1)^2. This implies y=12y = -\frac{1}{2} and x=1x = -1.

Solutions are all pairs of real numbers xx and yy such that x+2y=0x + 2y = 0, as well as the pairs x=1x = -1, y=12y = -\frac{1}{2} and x=1x = 1, y=12y = \frac{1}{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.