Maths Olympiad Prep

Library / Hellenic Mathematical Olympiad /17 of 57

Hellenic Mathematical Olympiad

Number theory Difficulty 5.8 AIME, harder Prove it Greece

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

Solution

After manipulation equation becomes
x2y2(x−y)2−62=0,x,y∈Z⇔[xy(x−y)−6][xy(x−y)+6]=0⇔xy(x−y)=6,x,y∈Z or xy(x−y)=−6,x,y∈Z⇔xy(x−y)=6,x,y∈Z (1) or xy(y−x)=6,x,y∈Z (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,y∈Zx, y \in \mathbb{Z}, equation (1) is equivalent to:
{xy=6,x−y=1}(Σ1) or {xy=−6,x−y=−1}(Σ2)or {xy=3,x−y=2}(Σ3) or {xy=−3,x−y=−2}(Σ4)or {xy=1,x−y=6}(Σ5) or {xy=−1,x−y=−6}(Σ6)or {xy=2,x−y=3}(Σ7) or {xy=−2,x−y=−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}

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.