Diophantus-2

Algebra Level 3

Find the number of nonnegative integer solutions to the equation 3 x 1 = y 3 3^x-1=y^3 .


The answer is 2.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

3 solutions

Nikola Alfredi
Feb 26, 2020

3 x 1 = 2 ( 1 + 3 + 3 2 + . . . + 3 x 2 + 3 x 1 ) = y 3 \displaystyle 3^x - 1 = 2(1 + 3 + 3^2 + ... + 3^{x-2} + 3^{x-1}) = y^3

2 ( 1 + 3 + 3 2 + . . . + 3 x 2 + 3 x 1 ) = y 3 \displaystyle \Rightarrow 2(1 + 3 + 3^2 + ... + 3^{x-2} + 3^{x-1}) = y^3

1 + 3 + 3 2 + . . . + 3 x 2 + 3 x 1 = 4 × k 3 \displaystyle \Rightarrow 1 + 3 + 3^2 + ... + 3^{x-2} + 3^{x-1} = 4 \times k^3

( 1 + 3 2 + 3 4 + . . . + 3 x 4 + 3 x 2 ) = k 3 \displaystyle \Rightarrow (1 + 3^2 + 3^4 + ... + 3^{x-4} + 3^{x-2}) = k^3 This is true for x = 0 , 1 \displaystyle x = 0,1

10 ( 1 + 3 4 + 3 8 + . . . + 3 x 8 + 3 x 4 ) = k 3 \displaystyle \Rightarrow 10 (1 + 3^4 + 3^8 + ... + 3^{x-8} + 3^{x-4}) = k^3 This is never true because the number ends with zero, and if we do this more times then, the sum diverges with a higher rate.

Mohammed Imran
Feb 25, 2020

Actually there is an even better solution. Since we have 3 x = y 3 + 1 3^x=y^3+1 , it can be rewritten as 3 x = ( y + 1 ) ( y 2 y + 1 ) 3^x=(y+1)(y^2-y+1) and this implies that either ( y + 1 ) ( y 2 y + 1 ) o r ( y 2 y + 1 ) ( y + 1 ) (y+1)|(y^2-y+1) or (y^2-y+1)|(y+1) taking each of them respectively as 2 cases, we have that in case 1 ( y + 1 ) ( y + 1 ) 2 3 y (y+1)|(y+1)^2-3y which furthermore implies that ( y + 1 ) 3 y (y+1)|-3y which again implies that ( y + 1 ) 3 ( y + 1 ) + 3 (y+1)|-3(y+1)+3 which again implies that ( y + 1 ) 3 (y+1)|3 so there are 2 solutions:(x,y)=(0,0)(or)(2,2). In case 2, since ( y 2 y + 1 ) ( y + 1 ) (y^2-y+1)|(y+1) we can conclude that y 2 y + 1 < = y + 1 y^2-y+1<=y+1 . So again by solving the inequality and substituting in 3 x = ( y + 1 ) ( y 2 y + 1 ) 3^x=(y+1)(y^2-y+1) we get again 2 solutions:(x,y)=(0,0)(or)(2,2). Hence the number of solutions is 2.

Mark Hennings
Feb 24, 2020

Looking for solutions with x , y Z x,y \in \mathbb{Z} ...

We cannot have x < 0 x < 0 , since that would make y 3 y^3 nonintegral. Hence x , y 0 x,y \ge 0 . Since 3 x = y 3 + 1 = ( y + 1 ) ( y 2 y + 1 ) 3^x = y^3 + 1 = (y+1)(y^2-y+1) , we deduce that y = 3 z 1 y = 3^z - 1 for some integer 0 z x 0 \le z \le x . Then 3 x z = y 2 y + 1 = 3 2 z 3 z + 1 + 3 3^{x-z} \; = \; y^2 - y + 1 \; = \; 3^{2z} - 3^{z+1} + 3 If z 1 z \ge 1 then 3 x z = 3 z + 1 ( 3 z 1 1 ) + 3 3 ( m o d 9 ) 3^{x-z} = 3^{z+1}\big(3^{z-1} - 1\big) + 3 \equiv 3 \pmod{9} , and hence x z = 1 x-z = 1 , so that 3 z + 1 ( 3 z 1 1 ) = 0 3^{z+1}\big(3^{z-1} - 1\big) = 0 , and hence 3 z 1 = 1 3^{z-1} = 1 , so that z = 1 z=1 , and hence x = y = 2 x=y=2 .

If z = 0 z=0 then y = 0 y=0 and hence x = 0 x=0 .

Thus the only solutions in integers are ( x , y ) = ( 2 , 2 ) , ( 0 , 0 ) (x,y) = (2,2)\,,\,(0,0) . There are 2 \boxed{2} solutions in integers.

WELL DONE MARK HENNINGS

Mohammed Imran - 1 year, 3 months ago

AND SORRY VIEWERS FOR NOT POSTING THE SOLUTION MYSELF

Mohammed Imran - 1 year, 3 months ago

I THOUGHT IT WOULD BE A GOOD IDEA NOT TO POST

Mohammed Imran - 1 year, 3 months ago

I SHALL DEFINITELY POST MORE QUESTIONS WITH SOLUTIONS

Mohammed Imran - 1 year, 3 months ago

SORRY FOR YOUR INCONVINIENCE

Mohammed Imran - 1 year, 3 months ago

nice solution

Nitin Kumar - 1 year, 3 months ago

1 pending report

Vote up reports you agree with

×

Problem Loading...

Note Loading...

Set Loading...