Maths Olympiad Prep

Library / /65 of 520

Number theory Difficulty 5.4 AIME, harder Find the answer

Determine all pairs (x,y)(x, y) of integers that satisfy the equation

7x213xy+7y23=xy+1 \sqrt[3]{7 x^{2}-13 x y+7 y^{2}}=|x-y|+1

A number or a short expression. Spacing and $ signs are ignored.

Solution

Equation (1) is symmetric in xx and yy, so we can initially assume xyx \geq y. For xyx \neq y, for each solution (x,y)(x, y), (y,x)(y, x) is also a solution. With
d=xy0d=x-y \geq 0 it follows that 7d2+xy3=d+1\sqrt[3]{7 d^{2}+x y}=d+1. Squaring yields x2dx+(d3+4d23d1)=0x^{2}-d x+\left(-d^{3}+4 d^{2}-3 d-1\right)=0 with the discriminant D=d24(d3+4d23d1)=(d2)2(4d+1)0D=d^{2}-4\left(-d^{3}+4 d^{2}-3 d-1\right)=(d-2)^{2}(4 d+1) \geq 0. Therefore, x1/2=d±(d2)4d+12x_{1 / 2}=\frac{d \pm(d-2) \sqrt{4 d+1}}{2}. For xx to be an integer, 4d+14 d+1 must be a perfect square, and specifically the square of an odd number. The approach 4d+1=(2m+1)24 d+1=(2 m+1)^{2} with m{0;1;2;}m \in\{0 ; 1 ; 2 ; \ldots\} yields d=m2+md=m^{2}+m, so that x1/2=12[(m2+m)±(m2+m2)(2m+1)]x_{1 / 2}=\frac{1}{2}\left[\left(m^{2}+m\right) \pm\left(m^{2}+m-2\right)(2 m+1)\right] results. This leads to (x1,y1)=(m3+2m2m1,m3+m22m1)\left(x_{1}, y_{1}\right)=\left(m^{3}+2 m^{2}-m-1, m^{3}+m^{2}-2 m-1\right) and for m1m \neq 1 to (x2,y2)=(m3m2+2m+1,m32m2+m+1)\left(x_{2}, y_{2}\right)=\left(-m^{3}-m^{2}+2 m+1,-m^{3}-2 m^{2}+m+1\right) and the solutions (y1,x1)\left(y_{1}, x_{1}\right) and (y2,x2)\left(y_{2}, x_{2}\right) for m>0m>0. A check confirms that these pairs are indeed solutions.

Hint: The simple special cases were found by most participants. Often, attempts were then made (in vain) to show that there are no further solutions using estimates.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.