Number theoryDifficulty 6.1National OlympiadProve itBulgaria
Problem: Find the least positive integer a such that the system x+y+z=ax3+y3+z2=a has no integer solution.
Solution
Solution: When a=1,2,3 the system has solutions (1,0,0), (1,1,0) and (1,1,1), respectively. We shall prove that when a=4 the system has no integer solution.
Suppose the contrary. Then we have 4−z2=x3+y3=(x+y)(x2−xy+y2)=(4−z)(x2−xy+y2) giving (since z=4 does not lead to an integral solution) that 4−z4−z2 is an integer. Since 4−z4−z2=4−z−12+16−z2=4+z+z−412, we conclude that z−4 is a divisor of 12. Hence z−4=±1,±2,±3,±4,±6,±12 and therefore z=−8,−2,0,1,2,3,5,6,7,8,10 or 16.
Using (1) we have (x+y)2−3xy=4−z4−z2⟺3xy=(4−z)2−4−z4−z2 and we obtain the following system for x and y: x+y=4−zxy=3(4−z)(4−z)3+z2−4 It is easy to check that all the values of z listed above do not lead to an integral solution for x and y.
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.