Olympiad Maths Prep

Library / /1 of 5

Number theory Difficulty 5.8 AIME, harder Prove it Greece

Solve in the set of integers the equation
x3y2(2yx)=x2y436. x^3 y^2 (2y - x) = x^2 y^4 - 36.

Solution

After manipulation equation becomes
x2y2(xy)262=0,x,yZ[xy(xy)6][xy(xy)+6]=0xy(xy)=6,x,yZ or xy(xy)=6,x,yZxy(xy)=6,x,yZ (1) or xy(yx)=6,x,yZ (2) \begin{align*} x^2 y^2 (x-y)^2 - 6^2 &= 0, \quad x, y \in \mathbb{Z} \\ &\Leftrightarrow [xy(x-y)-6][xy(x-y)+6] = 0 \\ &\Leftrightarrow xy(x-y) = 6, \quad x, y \in \mathbb{Z} \text{ or } xy(x-y) = -6, \quad x, y \in \mathbb{Z} \\ &\Leftrightarrow xy(x-y) = 6, \quad x, y \in \mathbb{Z} \text{ (1) or } xy(y-x) = 6, \quad x, y \in \mathbb{Z} \text{ (2)} \end{align*}
---
From (1) and (2) it is clear that, if (x0,y0)(x_0, y_0) is a solution of (1), then the pair (y0,x0)(y_0, x_0) is a solution of (2) and vice versa. Thus is enough to solve equation (1).
Since x,yZx, y \in \mathbb{Z}, equation (1) is equivalent to:
{xy=6,xy=1}(Σ1) or {xy=6,xy=1}(Σ2)or {xy=3,xy=2}(Σ3) or {xy=3,xy=2}(Σ4)or {xy=1,xy=6}(Σ5) or {xy=1,xy=6}(Σ6)or {xy=2,xy=3}(Σ7) or {xy=2,xy=3}(Σ8). \begin{array}{l} \{xy = 6, x - y = 1\} (\Sigma_1) \text{ or } \{xy = -6, x - y = -1\} (\Sigma_2) \\ \text{or } \{xy = 3, x - y = 2\} (\Sigma_3) \text{ or } \{xy = -3, x - y = -2\} (\Sigma_4) \\ \text{or } \{xy = 1, x - y = 6\} (\Sigma_5) \text{ or } \{xy = -1, x - y = -6\} (\Sigma_6) \\ \text{or } \{xy = 2, x - y = 3\} (\Sigma_7) \text{ or } \{xy = -2, x - y = -3\} (\Sigma_8). \end{array}
From the eight systems only (Σ1),(Σ3),(Σ8)(\Sigma_1), (\Sigma_3), (\Sigma_8) have integer solutions:
(x,y)=(3,2),(x,y)=(2,3),(x,y)=(3,1),(x,y)=(1,3),(x,y)=(2,1),(x,y)=(1,2). \begin{aligned} (x, y) &= (3, 2), \quad (x, y) = (-2, -3), \quad (x, y) = (3, 1), \\ (x, y) &= (-1, -3), \quad (x, y) = (-2, 1), \quad (x, y) = (-1, 2). \end{aligned}
According to the previous discussion equation (2) has also the solutions:
(x,y)=(2,3),(x,y)=(3,2),(x,y)=(1,3),(x,y)=(3,1),(x,y)=(1,2),(x,y)=(2,1). \begin{aligned} (x, y) &= (2, 3), \quad (x, y) = (-3, -2), \quad (x, y) = (1, 3), \\ (x, y) &= (-3, -1), \quad (x, y) = (1, -2), \quad (x, y) = (2, -1). \end{aligned}

Looking for a route rather than 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.