Some 2016 Bash!

Let n n be any odd positive integer. Then the expression

1 n + 2 n + + 201 6 n \large 1^n+2^n+\cdots + 2016^n

is divisible by which of the following numbers?

None of the others 2016 2015 2018 2017

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

Ankit Nigam
Apr 16, 2016

1 n + 2 n + + 201 5 n + 201 6 n ( m o d 2017 ) 1 n + 2 n + 3 n + ( 3 ) n + ( 2 ) n + ( 1 ) n ( m o d 2017 ) 0 ( m o d 2017 ) 1^n+2^n+\cdots + 2015^n + 2016^n \pmod{2017} \equiv 1^n + 2^n + 3^n + \cdots (-3)^n + (-2)^n + (-1)^n\pmod{2017} \equiv 0 \pmod{2017} I generated negative pairs and since n n is odd all pairs will be equal to 0 0 .

\therefore 1 n + 2 n + + 201 5 n + 201 6 n 1^n+2^n+\cdots + 2015^n + 2016^n is divisible by 2017 \boxed{2017}

What's the remainder when you divide by 2016?

Otto Bretscher - 5 years, 1 month ago

Log in to reply

We can do the same thing right? For n > 1 n>1 we have

1 n + 2 n + + 201 5 n + 201 6 n ( m o d 2016 ) 1 n + 2 n + 3 n + 100 8 n + ( 3 ) n + ( 2 ) n + ( 1 ) n + 0 n ( m o d 2016 ) 100 8 n 0 ( m o d 2016 ) 1^n+2^n+\cdots + 2015^n + 2016^n \pmod{2016}\\ \equiv 1^n + 2^n + 3^n + \cdots 1008^n\cdots + (-3)^n + (-2)^n + (-1)^n + 0^n \pmod{2016} \\\equiv 1008^n \equiv 0 \pmod{2016}

Thus the sum is divisible by 2016 too!

Sravanth C. - 5 years, 1 month ago

Yes sir it is divisible by 2016 too (my bad!!) but initially i was looking for making negative pairs and with 2017 it seemed easy and eventually i came up with a result that 2017 is a divisor of above summation without looking 2016.

I think the question should ask which odd integer is divisible by the above summation..

Ankit Nigam - 5 years, 1 month ago

Log in to reply

Quite right. But note that when n = 1 n=1 the expression is not divisible by 2016 2016 .

100 8 n 0 ( m o d 2016 ) n 2 1008 ( m o d 2016 ) when n = 1 \begin{aligned} 1008^n &\equiv 0 \quad \pmod{2016} \quad \forall n\geq 2\\ &\equiv 1008 \pmod{2016} \quad \text{when n = 1} \end{aligned}

Sravanth C. - 5 years, 1 month ago

Log in to reply

@Sravanth C. Yes it is for n >= 2 and i think question should be changed to which positive odd integer is a divisor of above summation

Ankit Nigam - 5 years, 1 month ago

Log in to reply

@Ankit Nigam That will not work either: Since the sum is divisible by 2016, it is also divisible by the odd integers 3, 7, 9, etc., all the odd factors of 2016 (and many more).

What about my idea of making n n any odd positive integer, allowing n = 1 n=1 ?

Otto Bretscher - 5 years, 1 month ago

Log in to reply

@Otto Bretscher Yes sir i think it will work because if we put n = 1 n = 1 sum will be equal to 1008 2017 1008 \cdot 2017 and 1008 2017 ( m o d 2016 ) 1008 ( m o d 2016 ) 1008 \cdot 2017 \pmod{2016} \equiv 1008 \pmod{2016} .

Ankit Nigam - 5 years, 1 month ago

Log in to reply

@Ankit Nigam Exactly! Maybe you can add a remark to your solution explaining why the sum fails to be divisible by 2015, 2016, and 2018 for all odd n n .

Otto Bretscher - 5 years, 1 month ago

Great solution, +1!

Bonus Question: What will happen if n n is even?

Sravanth C. - 5 years, 1 month ago

Log in to reply

I would expect 48 to be the largest divisor that works for all even n n , but things get a bit messy

Otto Bretscher - 5 years, 1 month ago

Log in to reply

Sir Could you please explain Why 48?

Mr Yovan - 5 years, 1 month ago

Log in to reply

@Mr Yovan Just a hunch... somebody should work it out!

Otto Bretscher - 5 years, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...