Maths Olympiad Prep

Library / /71 of 136

Number theory Difficulty 7.9 National Olympiad, round 2 Prove it Hong Kong

Determine all pairs (x,y)(x, y) of positive integers such that x2y+x+yxy2+y+11\frac{x^2y + x + y}{xy^2 + y + 11} are integers.

Solution

(IMO Shortlist 1998 N1/Problem 4) The solutions are (x,y)=(11t2,11t),(7,1),(121,1),(10,2)(x, y) = (11t^2, 11t), (7, 1), (121, 1), (10, 2) where tZ+t \in \mathbb{Z}^+.
The condition means xy2+y+11x2y+x+yxy^2 + y + 11 \mid x^2y + x + y. Since
y(x2y+x+y)x(xy2+y+11)=y211x, y(x^2y + x + y) - x(xy^2 + y + 11) = y^2 - 11x,
we have
xy2+y+11y211x. xy^2 + y + 11 \mid y^2 - 11x.
* If y211x>0y^2 - 11x > 0, then we have xy2+y+11y211x<y2xy^2 + y + 11 \le y^2 - 11x < y^2. But then xy2+y+11>xy2y2xy^2 + y + 11 > xy^2 \ge y^2. This is a contradiction.
* If y211x=0y^2 - 11x = 0, then we can write y=11ty = 11t for some tZ+t \in \mathbb{Z}^+. This yields x=11t2x = 11t^2. Now, we check that
(11t2)2(11t)+(11t2)+(11t)(11t2)(11t)2+(11t)+11=11t(121t4+t+1)11(121t4+t+1)=tZ, \frac{(11t^2)^2(11t) + (11t^2) + (11t)}{(11t^2)(11t)^2 + (11t) + 11} = \frac{11t(121t^4 + t + 1)}{11(121t^4 + t + 1)} = t \in \mathbb{Z},
and so all pairs (x,y)=(11t2,11t)(x, y) = (11t^2, 11t) are solutions.
* If y211x<0y^2 - 11x < 0, then we have xy2+y+1111xy2<11xxy^2 + y + 11 \le 11x - y^2 < 11x. It follows that 11x>xy2+y+11>xy211x > xy^2 + y + 11 > xy^2, and hence y2<11y^2 < 11. This implies y=1,2,3y = 1, 2, 3.
- When y=1y = 1, we need x+12x2+x+1x + 12 \mid x^2 + x + 1. This is equivalent to
x+12(12)2+(12)+1=133=7×19. x + 12 \mid (-12)^2 + (-12) + 1 = 133 = 7 \times 19.
The solutions are (x,y)=(7,1),(121,1)(x, y) = (7, 1), (121, 1).
- When y=2y = 2, we need 4x+132x2+x+24x + 13 \mid 2x^2 + x + 2. Since 4x+134x + 13 is odd, this is the same as 4x+138(2x2+x+2)4x + 13 \mid 8(2x^2 + x + 2). As
8(2x2+x+2)=(4x+13)(4x11)+159, 8(2x^2 + x + 2) = (4x + 13)(4x - 11) + 159,
this means 4x+13159=3×534x + 13 \mid 159 = 3 \times 53. The only solution is (x,y)=(10,2)(x, y) = (10, 2).
- When y=3y = 3, we need 9x+143x2+x+39x + 14 \mid 3x^2 + x + 3. Since 39x+143 \nmid 9x + 14, this is the same as 9x+1427(3x2+x+3)9x + 14 \mid 27(3x^2 + x + 3). As
27(3x2+x+3)=(9x+14)(9x11)+235, 27(3x^2 + x + 3) = (9x + 14)(9x - 11) + 235,
this means 9x+14235=5×479x + 14 \mid 235 = 5 \times 47. There is no solution.
Therefore, we conclude that the solutions are those listed at the beginning.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.