Maths Olympiad Prep

Library / /2 of 16

Number theory Difficulty 5.2 AIME, harder Prove it Brazil

Prove that there are no positive integers xx and yy such that x3+y3=22009x^3 + y^3 = 2^{2009}.

Solution

One can verify that x30,1,1(mod7)x^3 \equiv 0, 1, -1 \pmod{7}. Since 22009=(23)66922166944(mod7)2^{2009} = (2^3)^{669} \cdot 2^2 \equiv 1^{669} \cdot 4 \equiv 4 \pmod{7} and x3+y32,1,0,1,2(mod7)x^3 + y^3 \equiv -2, -1, 0, 1, 2 \pmod{7}, it is not possible that x3+y322009(mod7)x^3 + y^3 \equiv 2^{2009} \pmod{7}, so the equation x3+y3=22009x^3 + y^3 = 2^{2009} has no solutions.

Comment: One can solve the problem without the aid of arithmetic mod nn: let x=dxx = d \cdot x' and y=dyy = d \cdot y', where d=gcd(x,y)d = \gcd(x, y). So x3+y3=d3(x3+y3)=d3((x+y)(x2xy+y2))x^3 + y^3 = d^3(x'^3 + y'^3) = d^3((x'+y')(x'^2 - x'y'+y'^2)) and one can prove that gcd(x+y,x2xy+y2)=gcd(x+y,(x+y)23xy)=gcd(x+y,3xy)\gcd(x'+y', x'^2-x'y'+y'^2) = \gcd(x'+y', (x'+y')^2 - 3x'y') = \gcd(x'+y', 3x'y') equals 1 or 3. Since x3+y3x^3+y^3 is not divisible by 3, gcd(x+y,x2xy+y2)=1\gcd(x' + y', x'^2 - x'y' + y'^2) = 1 and, considering that both x+yx' + y' and x2xy+y2x'^2 - x'y' + y'^2 are powers of 2, x+y=1x' + y' = 1, which is not possible because xx', yy' are positive integers.

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.