Euler

n = 1 1008 n 2018 \large \sum_{n=1}^{1008} n^{2018}

Find the remainder when the expression above is divided by 2017?


The answer is 0.

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

Chew-Seong Cheong
Apr 20, 2017

Relevant wiki: Euler's Theorem

n = 1 1008 n 2018 n = 1 1008 n 2018 mod ϕ ( 2017 ) (mod 2017) As 2017 is a prime, gcd ( n , 2017 ) = 1 , Euler’s theorem applies. n = 1 1008 n 2018 mod 2016 (mod 2017) Euler’s totient function ϕ ( 2017 ) = 2016 n = 1 1008 n 2 (mod 2017) Note that k = 1 n k 2 = n ( n + 1 ) ( 2 n + 1 ) 6 = 1008 ( 1009 ) ( 2017 ) 6 (mod 2017) = 0 (mod 2017) \begin{aligned} \sum_{n=1}^{1008} n^{2018} & \equiv \sum_{n=1}^{1008} n^{\color{#3D99F6} 2018 \text{ mod }\phi(2017)} \text{ (mod 2017)} & \small \color{#3D99F6} \text{As 2017 is a prime, }\gcd(n,2017)=1 \text{, Euler's theorem applies.} \\& \equiv \sum_{n=1}^{1008} n^{\color{#3D99F6} 2018 \text{ mod }2016} \text{ (mod 2017)} & \small \color{#3D99F6} \text{Euler's totient function }\phi(2017)=2016 \\& \equiv \sum_{n=1}^{1008} n^{\color{#3D99F6} 2} \text{ (mod 2017)} & \small \color{#3D99F6} \text{Note that }\sum_{k=1}^n k^2 = \frac {n(n+1)(2n+1)}6 \\ & = \frac {1008(1009)({\color{#3D99F6}2017})}6 \text{ (mod 2017)} \\ & = \boxed{0} \text{ (mod 2017)} \end{aligned}

It's worth mentioning that gcd ( n , 2017 ) = 1 n N : n < 2017 \operatorname{gcd}(n,2017) = 1 \ \forall \ n \in \mathbb{N} : n < 2017 and hence Euler's theorem is valid here n N : 1 n 1008 \forall \ n \ \in \mathbb{N} : 1 \le n \le 1008 .


Edit: Ah I see that it is enough to just tell that 2017 2017 is a prime number.

Tapas Mazumdar - 4 years, 1 month ago

Log in to reply

Yes, I just deleted it to make the solution shorter.

Chew-Seong Cheong - 4 years, 1 month ago

Log in to reply

It's completely okay sir. Stating that 2017 is a prime is a better shorthand than that (read my edit on my comment).

Tapas Mazumdar - 4 years, 1 month ago

Log in to reply

@Tapas Mazumdar I have added the gcd ( n , 2017 ) = 1 \gcd(n,2017)=1 .

Chew-Seong Cheong - 4 years, 1 month ago

Log in to reply

@Chew-Seong Cheong Thanks, it seems better to understand now.

Tapas Mazumdar - 4 years, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...