(IMO Shortlist 1998 N1/Problem 4) The solutions are (x,y)=(11t2,11t),(7,1),(121,1),(10,2) where t∈Z+.
The condition means xy2+y+11∣x2y+x+y. Since
y(x2y+x+y)−x(xy2+y+11)=y2−11x,
we have
xy2+y+11∣y2−11x.
* If y2−11x>0, then we have xy2+y+11≤y2−11x<y2. But then xy2+y+11>xy2≥y2. This is a contradiction.
* If y2−11x=0, then we can write y=11t for some t∈Z+. This yields x=11t2. Now, we check that
(11t2)(11t)2+(11t)+11(11t2)2(11t)+(11t2)+(11t)=11(121t4+t+1)11t(121t4+t+1)=t∈Z,
and so all pairs (x,y)=(11t2,11t) are solutions.
* If y2−11x<0, then we have xy2+y+11≤11x−y2<11x. It follows that 11x>xy2+y+11>xy2, and hence y2<11. This implies y=1,2,3.
- When y=1, we need x+12∣x2+x+1. This is equivalent to
x+12∣(−12)2+(−12)+1=133=7×19.
The solutions are (x,y)=(7,1),(121,1).
- When y=2, we need 4x+13∣2x2+x+2. Since 4x+13 is odd, this is the same as 4x+13∣8(2x2+x+2). As
8(2x2+x+2)=(4x+13)(4x−11)+159,
this means 4x+13∣159=3×53. The only solution is (x,y)=(10,2).
- When y=3, we need 9x+14∣3x2+x+3. Since 3∤9x+14, this is the same as 9x+14∣27(3x2+x+3). As
27(3x2+x+3)=(9x+14)(9x−11)+235,
this means 9x+14∣235=5×47. There is no solution.
Therefore, we conclude that the solutions are those listed at the beginning.