For all n ∈ N , let S n be the set of all possible remainders when a power of 2 , to a non-negative exponent, is divided by n . Find the number of positive integers n ≤ 1 0 0 0 for which the sum of elements of S n is a multiple of n .
Details and assumptions
1 = 2 0 is a power of 2 to a non-negative exponent.
As an explicit example, when n = 5 , we list down the first few residues of 2 x ( m o d 5 ) . x 0 1 2 3 4 2 x 1 2 4 8 1 6 2 x ( m o d 5 ) 1 2 4 3 1 The residues 2 x ( m o d 5 ) become periodic from now on. Thus, S n = { 1 , 2 , 4 , 3 } . The sum of elements of S n is 1 + 2 + 4 + 3 = 1 0 , which is a multiple of 5 .
The elements of the set S n are distinct.
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.
Can you share the source of this problem with us? I like problems of this kind :D
Log in to reply
I made this problem myself.
Log in to reply
Oh that's fabulous! I really liked it!
Problem Loading...
Note Loading...
Set Loading...
We do casework based on the parity of n .
Note that the only power of 2 which is odd is 1 . All other elements in S n are even. The sum of the elements of S n , therefore, is odd. Since no odd number can be a multiple of an even number, n can't be even.
Let r be the order of 2 modulo n , so 2 r ≡ 1 ( m o d n ) . Since the residues 2 x ( m o d n ) become periodic after 2 r , the elements of S n are equivalent to { 2 0 , 2 1 , ⋯ , 2 r − 1 } modulo n . Modulo n , the sum of elements of S n is 2 0 + 2 1 + ⋯ + 2 r − 1 ≡ ≡ ≡ 2 r − 1 1 − 1 0 ( m o d n ) ( m o d n ) ( m o d n ) .
Conclusion: All such n are the odd positive integers.
There are 5 0 0 odd integers between 1 and 1 0 0 0 , which is our answer.