Number theoryDifficulty 5.0AIME, harderProve itNorth Macedonia
Solve the equation x3+2y3−4x−5y+z2=2012, in the set of whole numbers.
Solution
It is easy to show that for every whole number a holds 3∣a3−a, and that the square of a number modulo 3 can be 0 or 1.
Now the given equation is equivalent to x3−x+2(y3−y)−3(x−y)+z2=2012. From the above concluded and from the fact that 2012≡2(mod3) we get that z2≡2(mod3), which is impossible. Hence the given equation has no solution in the set of whole numbers.
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.