Maths Olympiad Prep

Library / /23 of 56

Number theory Difficulty 5.6 AIME, harder Prove it JBMO

Problem:
Find all pairs of positive integers (x,y)(x, y) such that 2x+3y2^{x} + 3^{y} is a perfect square.

Solution

Solution:
In order for the expression 2x+3y2^{x} + 3^{y} to be a perfect square, a positive integer tt such that 2x+3y=t22^{x} + 3^{y} = t^{2} should exist.

Case 1. If xx is even, then there exists a positive integer zz such that x=2zx = 2z. Then
(t2z)(t+2z)=3y (t - 2^{z})(t + 2^{z}) = 3^{y}
Since t+2z(t2z)=2z+1t + 2^{z} - (t - 2^{z}) = 2^{z+1}, which implies gcd(t2z,t+2z)2z+1\gcd(t - 2^{z}, t + 2^{z}) \mid 2^{z+1}, it follows that gcd(t2z,t+2z)=1\gcd(t - 2^{z}, t + 2^{z}) = 1, hence t2z=1t - 2^{z} = 1 and t+2z=3yt + 2^{z} = 3^{y}, so we have 2z+1+1=3y2^{z+1} + 1 = 3^{y}.
For z=1z = 1 we have 5=3y5 = 3^{y} which clearly has no solution. For z2z \geq 2 we have (modulo 4) that yy is even. Let y=2ky = 2k. Then 2z+1=(3k1)(3k+1)2^{z+1} = (3^{k} - 1)(3^{k} + 1) which is possible only when 3k1=23^{k} - 1 = 2, i.e. k=1,y=2k = 1, y = 2, which implies that t=5t = 5. So the pair (4,2)(4, 2) is a solution to our problem.

Case 2. If yy is even, then there exists a positive integer ww such that y=2wy = 2w, and
(t3w)(t+3w)=2x (t - 3^{w})(t + 3^{w}) = 2^{x}
Since t+3w(t3w)=23wt + 3^{w} - (t - 3^{w}) = 2 \cdot 3^{w}, we have gcd(t3w,t+3w)23w\gcd(t - 3^{w}, t + 3^{w}) \mid 2 \cdot 3^{w}, which means that gcd(t3w,t+3w)=2\gcd(t - 3^{w}, t + 3^{w}) = 2. Hence t3w=2t - 3^{w} = 2 and t+3w=2x1t + 3^{w} = 2^{x-1}. So we have
23w+2=2x13w+1=2x2 2 \cdot 3^{w} + 2 = 2^{x-1} \Rightarrow 3^{w} + 1 = 2^{x-2}
Here we see modulo 3 that x2x - 2 is even. Let x2=2mx - 2 = 2m, then 3w=(2m1)(2m+1)3^{w} = (2^{m} - 1)(2^{m} + 1), whence m=1m = 1 since gcd(2m1,2m+1)=1\gcd(2^{m} - 1, 2^{m} + 1) = 1. So we arrive again to the solution (4,2)(4, 2).

Case 3. Let xx and yy be odd. For x3x \geq 3 we have 2x+3y3(mod4)2^{x} + 3^{y} \equiv 3 \pmod{4} while t20,1(mod4)t^{2} \equiv 0, 1 \pmod{4}, a contradiction. For x=1x = 1 we have 2+3y=t22 + 3^{y} = t^{2}. For y2y \geq 2 we have 2+3y2(mod9)2 + 3^{y} \equiv 2 \pmod{9} while t20,1,4,7(mod9)t^{2} \equiv 0, 1, 4, 7 \pmod{9}. For y=1y = 1 we have 5=2+3=t25 = 2 + 3 = t^{2}, clearly this doesn't have solution.

Note. The proposer's solution used Zsigmondy's theorem in the final steps of cases 1 and 2.

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.