Maths Olympiad Prep

Library / /40 of 65

Number theory Difficulty 6.1 National Olympiad Prove it Bulgaria

Problem:
Find the least positive integer aa such that the system
x+y+z=ax3+y3+z2=a \left\lvert\, \begin{aligned} & x+y+z=a \\ & x^{3}+y^{3}+z^{2}=a \end{aligned}\right.
has no integer solution.

Solution

Solution:
When a=1,2,3a=1,2,3 the system has solutions (1,0,0)(1,0,0), (1,1,0)(1,1,0) and (1,1,1)(1,1,1), respectively. We shall prove that when a=4a=4 the system has no integer solution.

Suppose the contrary. Then we have
4z2=x3+y3=(x+y)(x2xy+y2)=(4z)(x2xy+y2) 4-z^{2}=x^{3}+y^{3}=(x+y)\left(x^{2}-x y+y^{2}\right)=(4-z)\left(x^{2}-x y+y^{2}\right)
giving (since z=4z=4 does not lead to an integral solution) that 4z24z\frac{4-z^{2}}{4-z} is an integer. Since 4z24z=12+16z24z=4+z+12z4\frac{4-z^{2}}{4-z}=\frac{-12+16-z^{2}}{4-z}=4+z+\frac{12}{z-4}, we conclude that z4z-4 is a divisor of 1212. Hence z4=±1,±2,±3,±4,±6,±12z-4= \pm 1, \pm 2, \pm 3, \pm 4, \pm 6, \pm 12 and therefore z=8,2,0,1,2,3,5,6,7,8,10z=-8,-2,0,1,2,3,5,6,7,8,10 or 1616.

Using (1) we have
(x+y)23xy=4z24z3xy=(4z)24z24z (x+y)^{2}-3 x y=\frac{4-z^{2}}{4-z} \Longleftrightarrow 3 x y=(4-z)^{2}-\frac{4-z^{2}}{4-z}
and we obtain the following system for xx and yy:
x+y=4zxy=(4z)3+z243(4z) \left\lvert\, \begin{aligned} & x+y=4-z \\ & x y=\frac{(4-z)^{3}+z^{2}-4}{3(4-z)} \end{aligned}\right.
It is easy to check that all the values of zz listed above do not lead to an integral solution for xx and yy.

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.