The Power of All Digits

2 123456789 1 2^{123456789} - 1

What is the remainder when the above number is divided by 19?


The answer is 17.

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.

1 solution

Since 19 513 = 2 9 + 1 19|513 = 2^9 + 1 , and 9 123456789 9|123456789 , then 2 123456789 + 1 = 2 9 n + 1 = ( 2 9 + 1 ) m 2^{123456789} + 1 = 2^{9n} + 1 = (2^9 + 1)m for some integers n n and m m .

Thus, 19 2 123456789 + 1 19| 2^{123456789} + 1 , and the remainder when dividing 2 123456789 1 2^{123456789}-1 by 19 19 equals 19 2 = 17 19-2 = \boxed{17} .

That's a great observation!

(Though it seems somewhat amazing.)

Calvin Lin Staff - 4 years, 4 months ago

Log in to reply

Thanks. It is amazing. :)

Worranat Pakornrat - 4 years, 4 months ago

Log in to reply

Actually, it's not too surprising.

Do you know how to explain this observation?

Hint: euler's theorem .

Calvin Lin Staff - 4 years, 4 months ago

Log in to reply

@Calvin Lin ϕ ( 19 ) = 18 \phi(19) = 18 , so 2 18 1 ( m o d 19 ) 2^{18} \equiv 1 \pmod {19} . 123456789 = 9 ( 2 n + 1 ) 123456789 = 9(2n+1) for some integer n n , so 2 123456789 2 9 1 ( m o d 19 ) 2^{123456789} \equiv 2^9 \equiv -1 \pmod {19} .

Thus, 2 123456789 1 2 17 ( m o d 19 ) 2^{123456789} - 1 \equiv -2 \equiv 17 \pmod {19} .

I think. ;)

Worranat Pakornrat - 4 years, 4 months ago

Log in to reply

@Worranat Pakornrat Great! Because we know that 2 18 1 0 ( m o d 19 ) 2^{18} - 1 \equiv 0 \pmod{19} , we could work directly with that to get the answer.

To explain what you did here, notice that ( 2 9 1 ) ( 2 9 + 1 ) = 2 18 1 0 ( m o d 19 ) ( 2 ^ { 9 } -1 ) ( 2^9 + 1 ) = 2 ^ { 18 } -1 \equiv 0 \pmod{19} , hence one of these terms must be 0 ( m o d 19 ) \equiv 0 \pmod{19} . IE We didn't need to magically pull that divisibility observation out of thin air, but have the motivation for why it's true (and in particular, why we didn't look at say 2 8 1 2^8 -1 ).

Calvin Lin Staff - 4 years, 4 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...