Maths Olympiad Prep

Library / Greece — Selection Examination /23 of 61

Greece — Selection Examination

Number theory Difficulty 5.7 AIME, harder Prove it Greece

Determine the integer solutions of the equation
8x3−4=y(6x−y2) 8x^3 - 4 = y(6x - y^2)

Solution

The given equation can be written as
8x3+y3−6xy=4⇔(2x)3+y3+13−3⋅2x⋅y⋅1=5⇔(2x+y+1)(4x2+y2+1−2xy−2x−y)=5(1) \begin{aligned} 8x^3 + y^3 - 6xy &= 4 \Leftrightarrow (2x)^3 + y^3 + 1^3 - 3 \cdot 2x \cdot y \cdot 1 = 5 \\ &\Leftrightarrow (2x + y + 1)(4x^2 + y^2 + 1 - 2xy - 2x - y) = 5 \end{aligned} \quad (1)
⇔12(2x+y+1)[(2x−y)2+(2x−1)2+(y−1)2]=5(2) \Leftrightarrow \frac{1}{2}(2x+y+1)[(2x-y)^2+(2x-1)^2+(y-1)^2]=5 \quad (2)
From (2), since (2x−y)2+(2x−1)2+(y−1)2>0(2x-y)^2 + (2x-1)^2 + (y-1)^2 > 0, we have 2x+y+1>02x + y + 1 > 0, and hence from (1) we get
2x+y+1=1 or 2x+y+1=5⇔2x+y=0 or 2x+y=4. 2x + y + 1 = 1 \text{ or } 2x + y + 1 = 5 \Leftrightarrow 2x + y = 0 \text{ or } 2x + y = 4.
From (1), for 2x+y=42x + y = 4, we have
4x2+y2+1−2xy−2x−y=1⇔(2x+y)2−6xy−(2x+y)=0⇔xy=2 4x^2 + y^2 + 1 - 2xy - 2x - y = 1 \Leftrightarrow (2x + y)^2 - 6xy - (2x + y) = 0 \Leftrightarrow xy = 2
From the system 2x+y=42x + y = 4, xy=2xy = 2 we get the solution (x,y)=(1,2)(x, y) = (1, 2).
Also, from (1) for 2x+y=02x + y = 0 we have
4x2+y2+1−2xy−2x−y=5⇔(2x+y)2−6xy−(2x+y)=4⇔xy=−23. 4x^2 + y^2 + 1 - 2xy - 2x - y = 5 \Leftrightarrow (2x + y)^2 - 6xy - (2x + y) = 4 \Leftrightarrow xy = -\frac{2}{3}.
However, from the system 2x+y=02x + y = 0, xy=−23xy = -\frac{2}{3} we get no solutions.
We also can work in the following way: The equation can be written as
8x3+y3−6xy=4⇔(2x+y)3−3⋅2x⋅y⋅(2x+y)−6xy=4,8x^3 + y^3 - 6xy = 4 \Leftrightarrow (2x + y)^3 - 3 \cdot 2x \cdot y \cdot (2x + y) - 6xy = 4, and so by putting 2x+y=s2x + y = s, 2xy=p2xy = p, we get
s3−3ps−3p=4⇒p=s3−43(s+1). s^3 - 3ps - 3p = 4 \Rightarrow p = \frac{s^3 - 4}{3(s + 1)}.
Since 3p∈Z3p \in \mathbb{Z}, we have that
s3−4s+1=s3+1−5s+1=s2−s+1−5s+1∈Z. \frac{s^3 - 4}{s + 1} = \frac{s^3 + 1 - 5}{s + 1} = s^2 - s + 1 - \frac{5}{s + 1} \in \mathbb{Z}.
---
Thus s+1s+1 must be a divisor of 5, that is
s+1∈{−1,1,−5,5} or s∈{−2,0,−6,4}, s+1 \in \{-1, 1, -5, 5\} \text{ or } s \in \{-2, 0, -6, 4\},
And hence we find the pairs
(s,p)=(−2,4),(s,p)=(0,−43),(s,p)=(−6,443),(s,p)=(4,4), (s, p) = (-2, 4), (s, p) = \left(0, -\frac{4}{3}\right), (s, p) = \left(-6, \frac{44}{3}\right), (s, p) = (4, 4),
From which only the last gives integer values for x,yx, y, i. e. x=1,y=2x = 1, y = 2.

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.