Maths Olympiad Prep

Library / /2 of 31

Number theory Difficulty 4.6 AIME Prove it Estonia

Let xx and yy be different positive integers. Prove that x2+4xy+y2x3y3\frac{x^2+4xy+y^2}{x^3-y^3} is never an integer.

Solutions — 2

Solution 1

By symmetry we can assume that x>yx > y. If xy=1x - y = 1, then
x2+4xy+y2x3y3=x2+4xy+y2(xy)(x2+xy+y2)=(xy)2+6xy(xy)((xy)2+3xy)==1+6xy1+3xy=1+3xy1+3xy, \begin{aligned} \frac{x^2 + 4xy + y^2}{x^3 - y^3} &= \frac{x^2 + 4xy + y^2}{(x-y)(x^2 + xy + y^2)} = \frac{(x-y)^2 + 6xy}{(x-y)((x-y)^2 + 3xy)} = \\ &= \frac{1 + 6xy}{1 + 3xy} = 1 + \frac{3xy}{1 + 3xy}, \end{aligned}
which is clearly not an integer. If xy2x - y \ge 2, then
x2+4xy+y2x3y3=x2+4xy+y2(xy)(x2+xy+y2)x2+4xy+y22(x2+xy+y2)<<2x2+2xy+2y22(x2+xy+y2)=1, \begin{aligned} \frac{x^2 + 4xy + y^2}{x^3 - y^3} &= \frac{x^2 + 4xy + y^2}{(x-y)(x^2 + xy + y^2)} \le \frac{x^2 + 4xy + y^2}{2(x^2 + xy + y^2)} < \\ &< \frac{2x^2 + 2xy + 2y^2}{2(x^2 + xy + y^2)} = 1, \end{aligned}
where the last inequality follows from x22xy+y2=(xy)2>0x^2 - 2xy + y^2 = (x-y)^2 > 0.

Solution 2

If x2+4xy+y2x3y3\frac{x^2 + 4xy + y^2}{x^3 - y^3} were an integer, then
x2+4xy+y2x3y3(xy)1=3xyx2+xy+y2 \frac{x^2 + 4xy + y^2}{x^3 - y^3} \cdot (x - y) - 1 = \frac{3xy}{x^2 + xy + y^2}

\begin{aligned} \frac{x^2 + 4xy + y^2}{x^3 - y^3} &= \frac{x^2 + 4xy + y^2}{(x-y)(x^2 + xy + y^2)} \le \frac{x^2 + 4xy + y^2}{2(x^2 + xy + y^2)} < \\ &< \frac{2x^2 + 2xy + 2y^2}{2(x^2 + xy + y^2)} = 1, \end{aligned}

where the last inequality follows from x22xy+y2=(xy)2>0x^2 - 2xy + y^2 = (x-y)^2 > 0.

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.