Maths Olympiad Prep

Library / /18 of 48

Number theory Difficulty 5.7 AIME, harder Prove it Greece

Determine all possible pair of positive integers xx, yy satisfying the equation: xy(x+y10)3x22y2+21x+16y=60xy(x+y-10)-3x^2-2y^2+21x+16y=60.

Solution

1. The equation is written:
xy(x+y10)3x22y2+21x+16y=60(y3)x2+(y210y+21)x=2y216y+60(y3)x2+(y7)(y3)x=2(y3)(y5)+30(y3)x2+(y7)(y3)x2(y3)(y5)=30(y3)[x2+(y7)x2(y5)]=30(y3)(x27x+xy2y+10)=30(y3)(x247x+xy2y+14)=30(y3)((x2)(x+2)7(x2)+(x2)y)=30(y3)(x2)(x+y5)=30=1235. xy(x+y-10)-3x^2-2y^2+21x+16y=60 \\ \Leftrightarrow (y-3)x^2+(y^2-10y+21)x=2y^2-16y+60 \\ \Leftrightarrow (y-3)x^2+(y-7)(y-3)x=2(y-3)(y-5)+30 \\ \Leftrightarrow (y-3)x^2+(y-7)(y-3)x-2(y-3)(y-5)=30 \\ \Leftrightarrow (y-3)[x^2+(y-7)x-2(y-5)]=30 \\ \Leftrightarrow (y-3)(x^2-7x+xy-2y+10)=30 \\ \Leftrightarrow (y-3)(x^2-4-7x+xy-2y+14)=30 \\ \Leftrightarrow (y-3)((x-2)(x+2)-7(x-2)+(x-2)y)=30 \\ \Leftrightarrow (y-3)(x-2)(x+y-5)=30=1 \cdot 2 \cdot 3 \cdot 5.
Since x2x-2, y3y-3 and x+y5x+y-5 are integers such that x2+y3=x+y5x-2+y-3=x+y-5
and moreover x21x-2 \ge -1, y32y-3 \ge -2 and x+y53x+y-5 \ge -3, we have to consider the following cases:
{x2=2y3=3x+y5=5 or {x2=3y3=2x+y5=5 or {x2=1y3=5x+y5=6 or {x2=5y3=1x+y5=6(x,y)=(4,6) or (x,y)=(5,5) or (x,y)=(3,8) or (x,y)=(7,4). \begin{cases} x-2=2 \\ y-3=3 \\ x+y-5=5 \end{cases} \text{ or } \begin{cases} x-2=3 \\ y-3=2 \\ x+y-5=5 \end{cases} \text{ or } \begin{cases} x-2=1 \\ y-3=5 \\ x+y-5=6 \end{cases} \text{ or } \begin{cases} x-2=5 \\ y-3=1 \\ x+y-5=6 \end{cases} \\ (x,y) = (4,6) \text{ or } (x,y) = (5,5) \text{ or } (x,y) = (3,8) \text{ or } (x,y) = (7,4).

Alternatively, from the equation (y3)x2+(y3)(y7)x=2(y28y+30)(y-3)x^2+(y-3)(y-7)x=2(y^2-8y+30) we get:
(y3)[x2+(y7)x]=2y216y+60(1) (y-3)[x^2+(y-7)x]=2y^2-16y+60 \quad (1)
From which, since xx, yy are positive integers, arises that: (y3)2y216y+60(y-3)|2y^2-16y+60. Since 2y216y+60=(y3)(2y10)+302y^2-16y+60=(y-3)(2y-10)+30 arises that y330y-3|30. Therefore y3{±1,±2,±3,±5,±6,±10,±15,±30}y-3 \in \{\pm1, \pm2, \pm3, \pm5, \pm6, \pm10, \pm15, \pm30\}, and since y32y-3 \ge -2 we get: y3{±1,±2,3,5,6,10,15,30}y-3 \in \{\pm1, \pm2, 3, 5, 6, 10, 15, 30\}.
For each of these values, by substituting to (1) we obtain a trinomial of xx.

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.