Yes or No?

2 0 + 2 1 + 2 2 + + 2 2015 \Large 2^{0}+2^{1}+2^{2} + \cdots + 2^{2015}

Is this sum divisible by 15?

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.

6 solutions

Kay Xspre
Nov 17, 2015

1 + 2 + 4 + + 2 2015 = 2 2016 1 1+2+4+\dots+2^{2015} = 2^{2016}-1 . As 15 = 2 4 1 15 = 2^4-1 , set y = 2 4 y = 2^4 . We will get that 2 2016 1 y 1 = y 504 1 y 1 = 1 + y + y 2 + + y 503 \frac{2^{2016}-1}{y-1} = \frac{y^{504}-1}{y-1} = 1+y+y^2+\dots+y^{503} Hence, 15 1 + 2 + 4 + + 2 2015 15|1+2+4+\dots+2^{2015} , with no remainders.

Great solution!

Another way of framing your idea is to say that 2 0 + 2 1 + 2 2 + 2 3 = 15 , 2^0 + 2^1 + 2^2 + 2^3 = 15, so each group of 4 terms will be a multiple of 15, so the entire sum is divisible by 15.

For example, 2 40 + 2 41 + 2 42 + 2 43 = 2 40 ( 2 0 + 2 1 + 2 2 + 2 3 ) = 2 40 15. 2^{40}+2^{41}+2^{42}+2^{43} = 2^{40} \cdot \left(2^0 + 2^1 + 2^2 + 2^3\right) = 2^{40} \cdot 15.

Eli Ross Staff - 5 years, 6 months ago

Log in to reply

Eli, I might add that every 4th term is in the form 2^(4x-1), such as 2^3, where x is a positive integer. Then, checking to see that 2015 is in the form 4x - 1, we get x=504. Thus, the sum to 2^2015 is divisible by 15.

Richard Levine - 5 years, 6 months ago

How is 1+2+4+......+2^{2015} = 2^{2016}-1 ?? And I didn't understand the next step too..!! Please Help.

Mishal Sheik - 5 years, 6 months ago

Log in to reply

I will write a less complex proof for the first equation. Let x = 1 + 2 + 4 + + 2 2015 x = 1+2+4+\dots+2^{2015} , multiply by 2 gives 2 x = 2 + 4 + 8 + + 2 2016 2x = 2+4+8+\dots+2^{2016} . If you subtract x x from 2 x 2x on the left-handed side, you will notice that almost every terms on the right-handed side can be removed, except 1 1 and 2 2016 2^{2016} Hence, x = 2 2016 1 x = 2^{2016}-1

The subsequent step is a result of the equation ( 1 m ) ( 1 + m + m 2 + + m n 1 ) = 1 m n (1-m)(1+m+m^2+\dots+m^{n-1}) = 1-m^n for m 1 m\neq1 . The proof is just distribute LHS which gives ( 1 + m + m 2 + + m n 1 ) ( m + m 2 + m 3 + + m n ) (1+m+m^2+\dots+m^{n-1})-(m+m^2+m^3+\dots+m^n) The rest is equal to RHS. Here, just substitute m m with 2 4 2^4 and n n with 504, thus concluding the solution

Kay Xspre - 5 years, 6 months ago

Log in to reply

Yeah, Now I understood clearly.....Thank You..!!

Mishal Sheik - 5 years, 6 months ago

1+ 2+ 4+...+ 2^2015= Geometric Sum, that 1st term= 1 and r= 2.

Panya Chunnanonda - 5 years, 6 months ago

Great solution, Kay!

John King - 5 years, 6 months ago

OutstandingSolution

Cleres Cupertino - 4 years, 8 months ago
Matías Bruna
Nov 27, 2015

1 + 2 + 4 + + 2 2015 = 2 2016 1 1+2+4+\cdots +2^{2015}=2^{2016}-1

2 2016 ( 2 4 ) 504 1 504 1 ( m o d 15 ) 2^{2016} \equiv (2^{4})^{504} \equiv 1^{504} \equiv 1 \pmod{15}

Then 2 2016 1 0 ( m o d 15 ) 2^{2016}-1 \equiv 0 \pmod{15}

Finally 15 ( 1 + 2 + 4 + + 2 2015 ) \boxed{15|(1+2+4+\cdots+2^{2015})}

Fenil Tailor
Nov 20, 2015

1+2+....+2^2015=2^2016-1
Last digit of 2^2016=6(as 2 has cyclicity of 4(2,4,8,6)) so 2^2016-1 ends with 5 as last digit...so it's divisible by 5

next to check divisible by 3 we'll find remainder of 2^2016-1. 2%3=-1 so (2^2016)%3=(-1)^2016=1 and -1%3=-1 so (2^2016-1)%3=1-1=0...it's divisible by 3

number is divisible by both 5 and 3...so it's divisible by 15

Brilliant. The use of remainder theorem is great idea.

Sachin Sharma - 5 years, 6 months ago
Caleb Hanger
Nov 29, 2015

The sum of the series in binary is a string of two thousand and sixteen 1's. Fifteen in binary is 1111. Obviously 1111 will divide the sum since four divides 2016 (the quotient in binary will be 504 repetitions of "0001").

Very nice! I like your solution.

Angel Krastev - 4 years, 8 months ago
Fred Shuman
Oct 17, 2016

k = 0 n 1 2 k = 2 n 1 \displaystyle \sum_{k=0}^{n-1} 2^k = 2^n - 1

And 2 n 1 2^n - 1 is divisible by 2 m 1 2^m - 1 if m | n . . . m & n being positive integers.

Which works for m=4 here, where n= 2016 = 504m.

So the given sum, which = 2 2016 1 2^{2016} - 1 , is divisible by 2 4 1 2^4 - 1 = 15.

Put another way,

2 2016 1 = ( 2 4 ) 504 1 = 1 6 504 1 2^{2016} - 1 = (2^{4})^{504} - 1 = 16^{504} - 1

and that is divisible by 16 - 1 = 15.

1 + 2 + 4 + . . . + 2 20015 = 2 2016 1 1 + 2 + 4 + ... + 2^{20015} = 2^{2016} - 1 Applying Euler's theorem or Fermat's little theorem we get: { 2 4 1 m o d ( 5 ) 5 2 2016 1 2 2 1 m o d ( 3 ) 3 2 2016 1 \begin{cases} 2^4 \equiv 1 \mod(5) \Rightarrow 5 \space | \space 2^{2016} - 1 \\ 2^2 \equiv 1 \mod(3) \Rightarrow 3 \space | \space 2^{2016} - 1 \end{cases} . Now, gcd ( 3 , 5 ) = 1 15 2 2016 1 \gcd(3,5) = 1 \Rightarrow 15 \space | \space 2^{2016} - 1

$2^0 + 2^1 + 2^2 + ... + 2^{2015} = 2^{2016} - 1$.

But $2^4 \equiv 1 \mod (15) \rightarrow (2^4)^{504} = 2^{2016} \equiv 1 \mod (15)$. i.e. $2^{2016} - 1$ is divisible by 15.

Arnab Chatterjee - 4 years, 8 months ago

Log in to reply

Yes, it's easier like this.

Guillermo Templado - 4 years, 8 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...