Maths Olympiad Prep

Library / /14 of 120

Number theory Difficulty 4.6 AIME Prove it Saudi Arabia

Let xx, yy be distinct positive integers. Prove that the number
(x+y)2x3+xy2x2yy3 \frac{(x+y)^2}{x^3 + x y^2 - x^2 y - y^3}
is not an integer.

Solution

Denote by E(x,y)E(x, y) the expression in the problem. We have
E(x,y)=(x+y)2x(x2+y2)y(x2+y2)=(x+y)2(xy)(x2+y2)(1) E(x, y) = \frac{(x+y)^2}{x(x^2 + y^2) - y(x^2 + y^2)} = \frac{(x+y)^2}{(x-y)(x^2 + y^2)} \tag{1}
and we can assume that x>yx > y.

If xy=1x-y = 1, then E(x,y)ZE(x, y) \in \mathbb{Z} if and only if x2+y22xyx^2 + y^2 \mid 2 x y. This is not possible because x2+y2>2xyx^2 + y^2 > 2 x y.

If xy>1x-y > 1, then xy2x-y \geq 2. We have
0<E(x,y)(x+y)22(x2+y2)<1 0 < E(x, y) \leq \frac{(x+y)^2}{2(x^2 + y^2)} < 1
hence E(x,y)ZE(x, y) \notin \mathbb{Z}.

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.