Find the number of integers n such that 1 < n ≤ 1 0 0 0 and 2 2 n ≡ 1 ( m o d 2 n − 1 ) .
Note: Even though I made this problem myself, it turns out that a similar problem has already been posed somewhere in USAJMO.
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.
Your whole line of argument is wrong. Let's say n = 7 , which doesn't divide 2 n , we clearly see, 2 n − 1 = 1 2 7 . and 2 2 n − 1 = 1 6 3 8 3 . and 1 6 3 8 3 and 1 2 7 have gcd 1 2 7 . So the above expression 2 2 n ≡ 1 ( m o d 2 n − 1 ) is true for all values of 1 < n ≤ 1 0 0 0 . Hence the number of integers for which above expression is true is : 9 9 9
Log in to reply
First of all, 2 2 7 − 1 is way more than 1 6 3 8 3 . In fact, 2 2 7 − 1 = 3 4 0 2 8 2 3 6 6 9 2 0 9 3 8 4 6 3 4 6 3 3 7 4 6 0 7 4 3 1 7 6 8 2 1 1 4 5 5 , and g cd ( 2 2 7 − 1 , 2 7 − 1 ) = 1 .
Second, even if my argument was wrong, you couldn't point out the mistake. All you did is that you tried to show a counterexample, which is not even valid!
Third, suppose n = 7 did satisfy the problem condition. How would you conclude that it holds for all positive integers?
simply use the fact that ,gcd(a^m -1,a^n -1)=[a^gcd(m,n)] -1
We know the order modulo 2 n − 1 of 2 is n . Therefore any D such that 2 D is congruent to 0 mod 2 n − 1 will be divisible by n . Therefore we just need to find all the n such that n divides 2 n . Then we see the only n that satisfy this are the ones which are a power of 2 , since 2 n is a power of 2 . Then, we simply check and reach the conclusion that there are 9 powers of 2 smaller or equal than 1 0 0 0 , thus yielding the answer. Note: n = 1 also satisfies the congruence, but the problem states that n > 1 .
let's write the equation as 2^(2^n) - 1 = 0 (mod 2^n-1)
Write both terms using binary representation:
111...111111 (2^n times ) = 0 (mod 111..1111 (n times) )
We can see that this will be satisfied if and only number of ones in the first term (2^n) is divisible by number of ones in the second term (n) so n should not have any prime factor except 2 so n must be a power of 2 so valid values will be 2,4,8,16,32,64,128,256,512
Well it is clear that $n$ is the order of 2 $(mod n)$ .Let the otherwise that $n$ is not order hence $\exists$ $h<n$ s.t $2^n-1|2^h-1$ but as $h<n$ hence $2^n-1>2^h-1$ hence contradiction.So order is $n$. Again $2^{2n} \equiv 1(mod 2^n-1)$ so $n|2^n$.Clearly $n$ mus be a power of $2$ and it is sufficient because $v_2(n)<n$ and thus it is true for all powers of $2$.As $2^9<1000<2^10$ the answer follows.
Well this is due to the LaTeX error.Let order of 2 mod 2 n − 1 is h .Clearly h ≥ n as 2 n ≡ 1 ( m o d n ) .Again if h < n then 2 h − 1 < 2 n − 1 hence contradiction.So h = n .So clearly as 2 2 n ≡ 1 ( m o d 2 n − 1 ) so it is clear that n ∣ 2 n .So it is necessary that n is a power of 2 .As v 2 ( n ) < n so it is sufficient also.Now as 2 9 < 1 0 0 0 < 2 1 0 ,so the result sollows.
2 2 n ≡ 1 ( m o d 2 n − 1 ) ⇒ 2 n − 1 divides 2 2 n − 1 . This gives g cd ( 2 n − 1 , 2 2 n − 1 ) = 2 g cd ( n , 2 n ) − 1 = 2 n − 1 . [By Euclid's division algorithm on indices] This gives n divides 2 n . So n must be a power of 2 as well i.e., n ∈ { 2 1 , 2 2 , . . . , 2 9 } .
Just pointing out a minor typo: the second last line should read g cd ( 2 n − 1 , 2 2 n − 1 ) = 2 g cd ( n , 2 n ) − 1 = 2 n − 1 .
Problem Loading...
Note Loading...
Set Loading...
We have: 2 2 n ≡ 1 ( m o d 2 n − 1 ) ⟺ ⟺ ⟺ ⟺ ⟺ 2 n − 1 ∣ 2 2 n − 1 g cd ( 2 n − 1 , 2 2 n − 1 ) = 2 n − 1 2 g cd ( 2 n , n ) − 1 = 2 n − 1 g cd ( 2 n , n ) = n n ∣ 2 n . Here we've used the well-known identity g cd ( a m − 1 , a n − 1 ) = a g cd ( m , n ) − 1 ∀ ( a , m , n ) ∈ N 3 . Note that n will divide 2 n if and only if n is a power of 2 . There are ⌊ lo g 2 ( 1 0 0 0 ) ⌋ = 9 powers of two in the given range, which is our answer.