What is the sum of all odd positive integers n such that ?
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.
It is clear that it holds for 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 . Let p be the smallest prime which divides n . We know that p is odd. We also know therefore that p ∣ 3 n + 1 , ie. 3 n ≡ − 1 ( m o d p ) . Squaring both sides of this congruence gives us 3 2 n ≡ 1 ( m o d p ) . Now, let o r d p ( 3 ) = x . This means that x is the smallest positive integer such that 3 x ≡ 1 ( m o d 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 ) . From all of this we see that x ∣ 2 n and x ∣ p − 1 (this is a property of the multiplicative order). But we know that g c d ( n , p − 1 ) = 1 since p ∣ n . So either x = 1 or x = 2 . If x = 1 then 3 1 ≡ 1 ( m o d p ) meaning that p = 2 , a contradiction. Similarly, if x = 2 then 3 2 ≡ 1 ( m o d p ) meaning that 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