Dividing the Exponent

What is the sum of all odd positive integers n such that n 3 n + 1 n \mid 3^n + 1 ?


The answer is 1.

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.

2 solutions

Josh Rowley
Feb 23, 2014

It is clear that it holds for n = 1 n=1 . We will now show that it holds for no larger value of n : We will assume that there is some odd number n > 1 where n 3 n + 1 n \mid 3^n + 1 . Let p be the smallest prime which divides n . We know that p is odd. We also know therefore that p 3 n + 1 p \mid 3^n + 1 , ie. 3 n 1 ( m o d p ) 3^n \equiv -1 \pmod{p} . Squaring both sides of this congruence gives us 3 2 n 1 ( m o d p ) 3^{2n} \equiv 1 \pmod{p} . Now, let o r d p ( 3 ) = x ord_{p}(3)=x . This means that x x is the smallest positive integer such that 3 x 1 ( m o d p ) 3^x \equiv 1 \pmod{p} (you can read more here http://en.wikipedia.org/wiki/Multiplicative_order). Evidently 3 does not divide p . Therefore 3 ϕ ( p ) = 3 p 1 1 ( m o d p ) 3^{\phi(p)} = 3^{p-1} \equiv 1 \pmod{p} . From all of this we see that x 2 n x \mid 2n and x p 1 x \mid p-1 (this is a property of the multiplicative order). But we know that g c d ( n , p 1 ) = 1 gcd(n,p-1)=1 since p n p \mid n . So either x = 1 x=1 or x = 2 x = 2 . If x = 1 x=1 then 3 1 1 ( m o d p ) 3^{1} \equiv 1 \pmod{p} meaning that p = 2 p=2 , a contradiction. Similarly, if x = 2 x=2 then 3 2 1 ( m o d p ) 3^{2} \equiv 1 \pmod{p} meaning that p = 2 p=2 , again a contradiction. Therefore we have made a mistake with our assumption and thus the only value of n (and therefore the sum of all values) is 1 \fbox{1}

Nice. But I think you should make it clearer where you used the assumption that p p was the smallest prime divisor of n n , namely the fact that gcd ( n , p 1 ) = 1 (n,p-1) = 1 .

Patrick Corn - 7 years, 3 months ago

what do you mean by n | 3^n +1 ??

Log in to reply

It means that n n divides 3 n + 1 3^n+1 .

mietantei conan - 7 years, 3 months ago
Bryan Dellariarte
Mar 18, 2014

same solution :)

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...